Computer Science

QUINFO at University College London QUINFO at University College London- Quantum Information theory group based at Department of Physics and Astronomy, University College London. Group lead by Sougato Bose. Research… Quantum Information Science @ MIT Quantum Information Science @ MIT- Offers an of the activities of groups at MIT interested in Quantum Information Science. HP QIP HP QIP- Quantum Information Processing (QIP) Group based in HP Laboratories, Bristol, UK. Areas of interest include quantum computation, quantum cryptography and quantum communica… Quantum Informatics at the University of Aarhus Quantum Informatics at the University of Aarhus- Performs research on quantum computing with an emphasis on quantum cryptography. Institute for Quantum Information Institute for Quantum Information- CalTech's Institute provides lectures and papers for intermediate and advanced readers on the subject of Quantum Information and Quantum Computi… Institute for Quantum Computing Institute for Quantum Computing- Official website of the Institute for Quantum Computing. Based at the University of Waterloo, Canada. Centre for Quantum Computation - Qubit.org Centre for Quantum Computation - Qubit.org- Research centre based at the Oxford University. It conducts theoretical and experimental research into all aspects of quantum informati… Uhlmann, Armin Uhlmann, Armin- Professor of Theoretical Physics, Institut für Theoretische Physik, Universität Leipzig, Germany. Życzkowski, Karol Życzkowski, Karol- Associate Professor at the Institute of Physics, Jagiellonian University, Kraków, Poland. Ekert, Artur Ekert, Artur- Professor of Quantum Physics, Mathematical Institute, University of Oxford, U.K. Tsomokos, Dimitris Tsomokos, Dimitris- Postdoctoral researcher in the Quantum Dynamics Group at Royal Holloway, University of London, U.K. Peter Gursky Peter Gursky- PhD student at University of Pavol Jozef Šafárik, Slovakia Jason Ernst, M.Sc. Jason Ernst, M.Sc.- Graduate student at the University of Guelph specializing in wireless mesh networks. Fabio Mogavero Fabio Mogavero- PhD student at University of Naples "Federico II". Rok Strniša Rok Strniša- Ph.D. student working in the Theory and Semantics Group at the Computer Laboratory, University of Cambridge. Arvind W. Kiwelekar Arvind W. Kiwelekar- A PhD Student in IIT Bombay. Contains brief bio-data, publications and bibliography for Software Architecture. Mahdi Cheraghchi Mahdi Cheraghchi- PhD student at Ecole Polytechnique Federale de Lausanne. Hong Jiang Hong Jiang- PhD student at Yale University. Amir Shpilka Amir Shpilka- Postdoc at The Weizmann Institute of Science Thomas Groß Thomas Groß- PhD Student at IBM Zurich Research Lab Weiwen Xu Weiwen Xu- Postdoc at LIX Ecole Polytechnique Hadrien Hugot Hadrien Hugot- PhD student at Dauphine University, France. Regular Expression Regular Expression- A Wikipedia article on regular expressions with an informal discussion, a formal definition and examples. Regular Expression Regular Expression- The formal definition of regular expressions, also used to define regular languages. Grammars for Regular Languages Grammars for Regular Languages- A series of pages showing that a regular grammar is either a right-linear or left-linear grammar. Regular Languages Regular Languages- This short chapter proves that regular languages are those accepted by finite state automata. Regular Languages Regular Languages- This site gives a recursive definition of the class of regular languages, discusses its closure properties and gives examples. Regular Language Regular Language- Basic definitions of regular languages, how they are generated, closure properties, and comparison with context free languages. Recursively Enumerable Languages Recursively Enumerable Languages- This chapter shows that the family of regular languages is a proper subset of context free languages and the latter is a proper subset of recursi… Recursively Enumerable Languages Recursively Enumerable Languages- This site discusses denumerable sets and recursive and recursively enumerable languages Recursively Enumerable Language Recursively Enumerable Language- Wikipedia offers 3 equivalent definitions of recursively enumerable languages and states closure properties for certain operations. Phrase Structure Grammars and Context Sensitive Grammars Phrase Structure Grammars and Context Sensitive Grammars- A site which shows that the languages generated by phrase structure grammars are recursively enumerable languages. Simila… Processing Natural and Formal Languages Processing Natural and Formal Languages- Lecture notes from a course at the University of Edinburgh, covering processing natural and artificial languages. Context-sensitive Examples Context-sensitive Examples- Grammars for three context sensitive languages that are not context free. Context Sensitive Languages and Linear Bounded Automata Context Sensitive Languages and Linear Bounded Automata- A set of slides defining these terms and showing that context sensitive languages are accepted by linear bounded automata. Context-sensitive Language Context-sensitive Language- A Wikipedia article which defines context sensitive languages in terms of context sensitive grammars which are defined in a linked article. Context-Free Grammars and Parsing Context-Free Grammars and Parsing- An article defining the grammar and how Binary Normal Form (BNF) is used to parse words in a context free language. An example shows how operato… Formal Grammars and Languages Formal Grammars and Languages- A survey article on formal systems that define families of formal languages arising in many computer science applications with primary focus on cont… Push-Down Automata and Context-Free Grammars Push-Down Automata and Context-Free Grammars- Lecture notes defining context free grammars and closure and decidability properties of context free languages. There is a short sect… Context-free Grammar Context-free Grammar- A Wikipedia article that defines context free grammars and uses them to generate context free languages. Computational Complexity Computational Complexity- (Birkhäuser) Tables of contents from vol.7 (1998) on. Full text to subscribers via LINK. Complexity and Approximation Complexity and Approximation- Combinatorial optimization problems and their approximability properties: by G. Ausiello, P. Crescenzi, G. Gambosi, V. Kann, A. Marchetti-Spaccamela,… Hypertext Bibliography of Measures of Complexity Hypertext Bibliography of Measures of Complexity- Bruce Edmonds; Manchester Metropolitan University. Moore, Cris Moore, Cris- University of New Mexico. Vadhan, Salil Vadhan, Salil- Harvard University. Case, John Case, John- University of Delaware. Arsham, Hossein Arsham, Hossein- University of Baltimore. Kutylowski, Miroslaw Kutylowski, Miroslaw- University of Paderborn. Jiang, Tao Jiang, Tao- Professor of Computer Science, University of California - Riverside. Savicky, Petr Savicky, Petr- Institute of Computer Science, Academy of Sciences of the Czech Republic.