Computer Science

ICS Theory Group ICS Theory Group- University of California, Irvine. Research centers on the design and analysis of algorithms and data structures as well as computational complexity. DIMACS DIMACS- Center for Discrete Mathematics and Theoretical Computer Science, Rutgers, New Jersey. Oxford University Computing Laboratory Oxford University Computing Laboratory- A centre for research in computer science, numerical analysis, computational biology, quantum computation, computational linguistics, and i… David Mermin Lecture Notes David Mermin Lecture Notes- Lecture Notes and Homework Assignments from the Quantum Computation course at the Cornell University, Spring 2006. Good starting point for somebody ser… Quantum Algorithm Zoo Quantum Algorithm Zoo- A comprehensive list of all algorithms for quantum computers which provide a speedup over the fastest known classical algorithms. Quantum Computing with Electron Spins in Quantum Dots Quantum Computing with Electron Spins in Quantum Dots- A detailed study of using electron spins for quantum computation. Several possible implementations are discussed. Quantum Computation: a Tutorial Quantum Computation: a Tutorial- By Samuel L. Braunstein, with links to tutorials on related subjects. QUROPE QUROPE- FP6 Coordinated Actions program that aims at coordinating all efforts at the European level towards a unified community in Quantum Information Processing. Quantiki Quantiki- Community oriented wiki for quantum information science. Chair of Quantum Informatics Chair of Quantum Informatics- Forum, publications, courses, seminar, links related to Quntum Informatics at Moscow State University. Qualgorithms Qualgorithms- Weblog focused on quantum algorithms, the latest quantum computing advances, and interesting research. D-Wave Systems, Inc. D-Wave Systems, Inc.- Portal to the state of the art in the design of quantum computers, operating systems, algorithms, hardware, superconductors, and quantum physics. MagiQ Technologies Inc. MagiQ Technologies Inc.- Details of the contract research and development services in the field of quantum information and quantum computing. id Quantique id Quantique- Products include a quantum random number generator, and a quantum cryptography system. John Mitchell John Mitchell- Professor in Computer Science Department at Stanford University Simon Perdrix Simon Perdrix- Postdoc at the Laboratory for Foundation of Computer Science (LFCS). Research in models of quantum computation, high level methods for quantum computing and state t… Karl-Heinz Pennemann Karl-Heinz Pennemann- Researcher in theoretical computer science, specifically in the area verification of graph-based specifications. Website provides academic papers and persona… Adam D. Smith Adam D. Smith- Assistant Professor at PSU. Provides details of teaching and research. Saugata Basu Saugata Basu- Professor in Department of Mathematics at Purdue University. Murdoch James Gabbay Murdoch James Gabbay- Researcher in theoretical computer science. Home site with academic resources (academic papers and talks), opinions, and personal information. Bernard Jacquemin's NLP page Bernard Jacquemin's NLP page- Research interests in natural language processing, lexical semantics using both symbolic and statistical analysis methods for parsing and word sense … Tom Leighton Tom Leighton- Professor of Applied Mathematics at MIT and member of the Theory of Computation group at CSAIL. David R. Karger David R. Karger- Faculty at EECS Dept, MIT and member of CSAIL. Albert R. Meyer Albert R. Meyer- Hitachi America Professor of Engineering, EECS Dept, MIT and member of Theory of Computation Group at CSAIL. Madhu Sudan Madhu Sudan- Faculty at EECS Department, MIT and member of Theory of Computing group in CSAIL. Alex Lopez-Ortiz Alex Lopez-Ortiz- Professor, School of Computer Science, Faculty of Mathematics, University of Waterloo. Daniel A. Spielman Daniel A. Spielman- Professor of Applied Mathematics and Computer Science at Yale. Giorgi Japaridze Giorgi Japaridze- Associate Professor in Department of Computing Sciences, Villanova University, Pennsylvania. Christos H. Papadimitriou Christos H. Papadimitriou- Professor in CS Dept, UCB. Rajeev Motwani Rajeev Motwani- Professor and Director of Graduate Studies, Computer Science Department, Stanford University. Ronald L. Rivest Ronald L. Rivest- Andrew and Erna Viterbi Professor of Electrical Engineering and Computer Science in MIT's EECS Dept and member of Theory of Computation Group at CSAIL. European Association for Theoretical Computer Science European Association for Theoretical Computer Science- An international organization founded in 1972. Journal of Logic Programming Journal of Logic Programming- Journal of Logic Programming published up to 2000. Theoretical Computer Science Theoretical Computer Science- Elsevier journal covering the mathematical and theoretical basis of computer science. Journal of Graph Algorithms and Applications Journal of Graph Algorithms and Applications- The electronic edition of the journal hosted by Brown University. Transactions on Computational Logic Transactions on Computational Logic- This addition to ACM's Transactions Series is devoted to research concerned with all uses of logic in computer science. Theory of Computing Theory of Computing- An open-access electronic journal of theoretical computer science. Online archive and submission instructions. Discrete Mathematics and Theoretical Computer Science Discrete Mathematics and Theoretical Computer Science- DMTCS is an electronic journal published by the Maison de l'Informatique et des Mathématiques Discrètes. Mathematical Logic Quarterly Mathematical Logic Quarterly- MLQ is an international journal on mathematical logic and foundations of mathematics published by Wiley-VCH. Journal of Experimental Algorithmics Journal of Experimental Algorithmics- ACM's journal for experimental algorithmics . Electronic Journal of Combinatorics Electronic Journal of Combinatorics- Electronic journal maintained by the American Mathematical Society. Information and Computation Information and Computation- Covers all areas of theoretical computer science and computational aspects of information theory. Theory and Practice of Logic Programming Journal (TPLP) Theory and Practice of Logic Programming Journal (TPLP)- The official journal of the Association for Logic Programming. Electronic Colloquium on Computational Complexity Electronic Colloquium on Computational Complexity- ECCC publishes research reports, surveys and books in computational complexity and is hosted by the University of Trier. Chicago Journal of Theoretical Computer Science Chicago Journal of Theoretical Computer Science- Electronic journal hosted by the University of Chicago. Computability and Complexity in Analysis Network Computability and Complexity in Analysis Network- CCA Net aims to provide a central location for collecting information useful for researchers working in the field of computabilit… Average-Case Complexity Forum Average-Case Complexity Forum- Provides an overview, including surveys and a bibliography, of recent work on average-case complexity analysis. Information-Based Complexity Information-Based Complexity- Resources for computational complexity problems in the presence of partial or contaminated information. The Types Forum The Types Forum- E-mail forum for semantical, categorical, operational, and proof theoretical topics relating to type theory. LING 106 Introduction to Formal Linguistics LING 106 Introduction to Formal Linguistics- Lecture notes providing definitions, examples, theorems and problems. Course taught at University of Pennsylvania, Department of Lingu…