Computer Science

Grammars and Parsing Grammars and Parsing- Description of several types of formal grammars for natural language processing, parse trees, and a number of parsing methods. Formal Language Theory for Natural Language Processing Formal Language Theory for Natural Language Processing- A draft manuscript with chapters on set theory, regular languages, context free languages and the Chomsky hierarchy. Grammars Grammars- A set of slides on grammars and language generation, with examples including a grammar for an abbreviated C language. A Hierarchy of Languages A Hierarchy of Languages- A brief discussion of context sensitive languages, recursively enumerable languages and languages with no grammars. Examples show these are not equivalen… Formal Language Theory Formal Language Theory- An introductory approach to the topic using many examples. Formal Language Theory Formal Language Theory- A lecture on grammars, generating languages from grammars, the Chomsky classification and derivation trees. Gandalf 2010 Gandalf 2010- A conference on games, automata, logics and formal verification. STOC STOC- ACM Symposium on Theory of Computing. Theoretical Computer Science Conferences & Journals Theoretical Computer Science Conferences & Journals- Conference calls for papers, conference and workshop programs, journal calls for papers. Midwest Theory Day Midwest Theory Day- Held twice a year, usually on a Saturday in December and on a Saturday in April. Details of past and future meetings. Computational Complexity Conference Computational Complexity Conference- Annual conference that deals with computational complexity broadly defined. Constraint Satisfaction Problems Constraint Satisfaction Problems- Research group in the Computing Laboratory, Oxford University. Computational Complexity Theory Computational Complexity Theory- Course COMS 30126: Computational Complexity Theory, Department of Computer Science, University of Bristol Efficient algorithms and intractable problems Efficient algorithms and intractable problems- Course taught by Christos Papadimitriou and Umesh Vazirani at the University of California at Berkeley. IBM Research: Algorithms & Theory IBM Research: Algorithms & Theory- An overview of computational models and methods and how they relate to complexity, with links to selected papers. Lecture notes on Complexity Lecture notes on Complexity- Collection of lecture notes by Prof. Eric Allender, Rutgers University. Complexity Theory Complexity Theory- Two set of lecture notes by Prof. Oded Goldreich, Weizmann Institute. Computational Complexity and Programming Languages Computational Complexity and Programming Languages- Summaries of talks of the DIMACS workshop (July 1996), collected by James Royer. Computational Complexity Theory Computational Complexity Theory- Wikipedia article. Complexity of Algorithms Complexity of Algorithms- A list of topics from a Computer Science course involving complexity of algorithms. HTML and PS format. Probabilistically Checkable Proofs and Approximation Probabilistically Checkable Proofs and Approximation- Pointers to some survey articles and their authors, by M. Bellare. Parameterized Complexity Parameterized Complexity- Brief description, list of workers and problem compendium, compiled by Todd Wareham. Computability and Complexity Computability and Complexity- An online course on complexity. SAT Live! SAT Live!- A collection of up-to-date links about the satisfiability problem (solvers, benchmarks, articles). A discussion forum is available as well. A Compendium of NP Optimization Problems A Compendium of NP Optimization Problems- This is a preliminary version of the catalog of NP optimization problems. ECCC - Electronic Colloquium on Computational Complexity ECCC - Electronic Colloquium on Computational Complexity- A forum for the rapid and widespread interchange of ideas, techniques, and research in computational complexity. Research… Automata Theory Automata Theory- Wikipedia article on finite state machines with links to articles about pushdown automata, linear bounded automata and Turing machines. Turing Machines Turing Machines- A brief survey of finite state automata, pushdown automata, linear bounded automata and Turing machines. Automata and Formal Languages Automata and Formal Languages- A terse statement of important definitions and theorems in this field of study. Finite State Machine Finite State Machine- Wikipedia article on FSA, Moore and Mealy machines. Automata Theory Automata Theory- An essay by David Weir. Computation, Automata, Languages Computation, Automata, Languages- Notes, small essays, explanations, reading lists. By Cosma Rohilla Shalizi. New algebra for digital sequential circuits New algebra for digital sequential circuits- Asynchronous sequential logic and its mathematical instruments: venjunction and sequention. Algebraic Topology and Distributed Computing Algebraic Topology and Distributed Computing- Powerpoint tutorials by Maurice Herlihy at Brown University. Lecture Notes in Computer Science Lecture Notes in Computer Science- A volume series which publishes workshop and conference proceedings as well as monographs in computer science and its subfields. Journal of Algorithms Journal of Algorithms- Includes mathematically oriented contributions on discrete and finite algorithms. Inria - Infoweb Inria - Infoweb- List of 300 computer science journals (articles are usually available electronically by subscription). Computing Computing- Covers research results in numerical computing and informatics. Reliable Computing Reliable Computing- An international journal devoted to reliable mathematical computations based on finite representations and guaranteed accuracy. Tables of contents. Full text t… LMS Journal of Computation and Mathematics LMS Journal of Computation and Mathematics- An electronic journal published by the London Mathematical Society covering all areas where mathematics and computation meet. Journal of Symbolic Computation Journal of Symbolic Computation- Presents research on algorithmic treatment of symbolic objects including objects in formal languages, algebraic objects, and geometrical objects. Multimedia Tools and Applications Multimedia Tools and Applications- A Springer journal that publishes original research articles on multimedia development and system support tools as well as case studies of multi… Advances in Multimedia Advances in Multimedia- A Hindawi peer-reviewed journal that publishes original research articles as well as review articles in all areas of multimedia. The website contains all t… IBM Journal of Research and Development IBM Journal of Research and Development- Publishes technical papers on the technology and science of information systems. Since 2009, the IBM Systems Journal has been included. Be… International Journal of Computer Vision (IJCV) International Journal of Computer Vision (IJCV)- A Springer journal focusing on the computer vision aspect of Multimedia. Its website contains information range from the aim and s… International Journal of Mathematics and Computer Science International Journal of Mathematics and Computer Science- Subscription and author information. First issue planned for January 2006. Robotica Robotica- Aims to be a forum for the multidisciplinary subject of robotics and encourage developments in this important field of automation with regard to industry, health, educat… Organised Sound Organised Sound- An international journal which focuses on the rapidly developing methods and issues arising from the use of technology in music today. Natural Language Engineering Natural Language Engineering- Meets the needs of professionals and researchers working in all areas of computerised language processing. Editorial board, pricing, advertising rate… Mathematical Structures in Computer Science Mathematical Structures in Computer Science- A journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathem…