All sites of Computer Science

Hirsch, Edward Hirsch, Edward
Hirsch, Edward- Steklov Institute of Mathematics at St.Petersburg. ...
Hypertext Bibliography of Measures of Complexity Hypertext Bibliography of Measures of Complexity
Hypertext Bibliography of Measures of Complexity- Bruce Edmonds; Manchester Metropolitan University. ...
Complexity and Approximation 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, M. Protasi (Springer, 1999). Table of co ...
Computational Complexity Computational Complexity
Computational Complexity- (Birkhäuser) Tables of contents from vol.7 (1998) on. Full text to subscribers via LINK. ...
Context-free Grammar Context-free Grammar
Context-free Grammar- A Wikipedia article that defines context free grammars and uses them to generate context free languages. ...
Push-Down Automata and Context-Free Grammars 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 section showing that natural languages are no ...
Formal Grammars and Languages 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 context-free languages. ...
Context-Free Grammars and Parsing 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 operator precedence is preserved in a context fr ...
Context-sensitive Language 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 Sensitive Languages and Linear Bounded Automata 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 Examples Context-sensitive Examples
Context-sensitive Examples- Grammars for three context sensitive languages that are not context free. ...
Processing Natural and Formal Languages 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. ...
Phrase Structure Grammars and Context Sensitive Grammars 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. Similarly, it shows that the languages generate ...
Recursively Enumerable Language Recursively Enumerable Language
Recursively Enumerable Language- Wikipedia offers 3 equivalent definitions of recursively enumerable languages and states closure properties for certain operations. ...
Recursively Enumerable Languages Recursively Enumerable Languages
Recursively Enumerable Languages- This site discusses denumerable sets and recursive and recursively enumerable languages ...
Recursively Enumerable 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 recursively enumerable languages. ...
Regular Language Regular Language
Regular Language- Basic definitions of regular languages, how they are generated, closure properties, and comparison with context free languages. ...
Regular Languages Regular Languages
Regular Languages- This site gives a recursive definition of the class of regular languages, discusses its closure properties and gives examples. ...
Regular Languages Regular Languages
Regular Languages- This short chapter proves that regular languages are those accepted by finite state automata. ...
Grammars for 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 Expression Regular Expression
Regular Expression- The formal definition of regular expressions, also used to define regular languages. ...
Regular Expression Regular Expression
Regular Expression- A Wikipedia article on regular expressions with an informal discussion, a formal definition and examples. ...
Hadrien Hugot Hadrien Hugot
Hadrien Hugot- PhD student at Dauphine University, France. ...
Weiwen Xu Weiwen Xu
Weiwen Xu- Postdoc at LIX Ecole Polytechnique ...
Thomas Groß Thomas Groß
Thomas Groß- PhD Student at IBM Zurich Research Lab ...
Amir Shpilka Amir Shpilka
Amir Shpilka- Postdoc at The Weizmann Institute of Science ...
Hong Jiang Hong Jiang
Hong Jiang- PhD student at Yale University. ...
Mahdi Cheraghchi Mahdi Cheraghchi
Mahdi Cheraghchi- PhD student at Ecole Polytechnique Federale de Lausanne. ...
Arvind W. Kiwelekar Arvind W. Kiwelekar
Arvind W. Kiwelekar- A PhD Student in IIT Bombay. Contains brief bio-data, publications and bibliography for Software Architecture. ...
Rok Strniša Rok Strniša
Rok Strniša- Ph.D. student working in the Theory and Semantics Group at the Computer Laboratory, University of Cambridge. ...
Fabio Mogavero Fabio Mogavero
Fabio Mogavero- PhD student at University of Naples "Federico II". ...
Centre for Quantum Computation - Qubit.org 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 information processing and providing information a ...
Institute for Quantum Computing Institute for Quantum Computing
Institute for Quantum Computing- Official website of the Institute for Quantum Computing. Based at the University of Waterloo, Canada. ...
Institute for Quantum Information 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 Computing. ...
Quantum Informatics at the University of Aarhus 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. ...
HP QIP 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 communication. ...
Quantum Information Science @ MIT Quantum Information Science @ MIT
Quantum Information Science @ MIT- Offers an of the activities of groups at MIT interested in Quantum Information Science. ...
QUINFO at University College London 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 work in quantum information theory, coup ...
Heinrich-Heine-Universitat Dusseldorf Heinrich-Heine-Universitat Dusseldorf
Heinrich-Heine-Universitat Dusseldorf- Group formed by Dagmar Bruss. Research in classification of entangled states, quantum cloning and state estimation. ...
Quantumlah Quantumlah
Quantumlah- Quantum Information Technology group at the National University of Singapore. Group focuses on new quantum protocols and its implementation, quantum cryptography, quantum computation and fundamentals of quant ...
Queen's Quantum Technology Group, UK Queen's Quantum Technology Group, UK
Queen's Quantum Technology Group, UK- Research division based as part of the School of Mathematics and Physics at Queen's University Belfast in Northern Ireland. Research interests involve the study of Quantum Optics, So ...
Quantum Systems of Informatics Group Quantum Systems of Informatics Group
Quantum Systems of Informatics Group- Quantum Computing group at the Institute of Theoretical and Applied Informatics, Polish Academy of Sciences. Research in quantum programming languages and simulations of quantum comp ...
Quantum Experiments and the Foundations of Physics Quantum Experiments and the Foundations of Physics
Quantum Experiments and the Foundations of Physics- Research group lead by Anton Zeilinger at the Institute for Experimental Physics, University of Vienna, Austria. The groups is working on photonic entanglement experime ...
Quantum Information Group at Innsbruck Quantum Information Group at Innsbruck
Quantum Information Group at Innsbruck- Group lead by Hans J. Briegel at the Institute for Theoretical Physics, University of Innsbruck. Research work in quantum information theory and quantum entanglement. ...
Quantum Cryptography in Norway Quantum Cryptography in Norway
Quantum Cryptography in Norway- Application-oriented research at NTNU, Trondheim and Telenor, Oslo ...
The Quantum Circuits Group, University of Michigan The Quantum Circuits Group, University of Michigan
The Quantum Circuits Group, University of Michigan- Automated synthesis, simulation and testing of conventional and quantum logic circuits. ...
Quantum Computing Group, Southern Illinois University Quantum Computing Group, Southern Illinois University
Quantum Computing Group, Southern Illinois University- Research in quantum compuation, simulating quantum systems, quantum information and quantum error correction. ...
Micro-analytical Research Centre Melbourne Micro-analytical Research Centre Melbourne
Micro-analytical Research Centre Melbourne- Melbourne Node of the Australian Research Council's Research Centre for Quantum Computer Technology. Based at the University of Melbourne, Victoria, Australia. ...
QI Group at the University of Leeds QI Group at the University of Leeds
QI Group at the University of Leeds- Group lead by Vlatko Vedral working on quantum information, quantum optics, Bose-Einstein condensates and statistical mechanics. ...
Quantum Computing at The Max Plank Institute Quantum Computing at The Max Plank Institute
Quantum Computing at The Max Plank Institute- An overview of quantum computer related research taking place at the Max Plank Institute. The primary focus is ion trap based computing. Selected reprints are available. ...

Latest sites from Computer Science