Theoretical
- 42
- Turing Machines
- A brief survey of finite state automata, pushdown automata, linear bounded automata and Turing machines.
- 43
- A Compendium of NP Optimization Problems
- This is a preliminary version of the catalog of NP optimization problems.
- 46
- Lecture notes on Complexity
- Collection of lecture notes by Prof. Eric Allender, Rutgers University.
- 47
- Parameterized Complexity
- Brief description, list of workers and problem compendium, compiled by Todd Wareham.
- 48
- SAT Live!
- A collection of up-to-date links about the satisfiability problem (solvers, benchmarks, articles). A discussion forum is available as well.
- 49
- SATLIB - The Satisfiability Library
- A collection of benchmark problems, solvers, and tools. Provides a uniform test-bed for SAT solvers as well as a site for collecting SAT problem instances, algorithms, and empirical characterisations of the algorithms' performance.
- 51
- Formal Language Theory for Natural Language Processing
- A draft manuscript with chapters on set theory, regular languages, context free languages and the Chomsky hierarchy. [PDF]
- 52
- Grammars
- A set of slides on grammars and language generation, with examples including a grammar for an abbreviated C language.
- 53
- Grammars and Parsing
- Description of several types of formal grammars for natural language processing, parse trees, and a number of parsing methods.
- 54
- LING 106 Introduction to Formal Linguistics
- Lecture notes providing definitions, examples, theorems and problems. Course taught at University of Pennsylvania, Department of Linguistics.
- 55
- Chair of Quantum Informatics
- Forum, publications, courses, seminar, links related to Quntum Informatics at Moscow State University.
- 56
- MagiQ Technologies Inc.
- Details of the contract research and development services in the field of quantum information and quantum computing.
- 58
- Quantum Algorithm Zoo
- A comprehensive list of all algorithms for quantum computers which provide a speedup over the fastest known classical algorithms.