| LTN |
Research Groups: Academic Research Groups in Theoretical Computer Science. Computer Science Theoretical Research Groups:  Quantum Computing: Groups English Science Math Logic and Foundations: Institutions Centre for Discrete Mathematics and Theoretical Computer ScienceComputers: Centre, Theoretical Research Groups Research areas include artificial intelligence for Discrete Mathematics and Theoretical Computer Science combinatorial optimization, computability and complexity, and constructive algorithmics. MIT LCS Theory of Computation GroupComputers: MIT LCS, Theoretical Research Groups Research areas include algorithms Theory of Computation Group complexity theory, computation and biology, cryptography and information security, distributed systems, numerical analysis and scientific computing, semantics, and supercomputing technologies. Foundations of Computational MathematicsComputers: Foundations, Theoretical Research Groups International Research Group for Computational Mathematics of Computational Mathematics Formal Aspects of Computing Science Specialist Group - - Research GroupsComputers: Formal, Theoretical Research Groups FACS promotes the development of formal approaches of production of computer-based systems Aspects of Computing Science Specialist Group Research Groups . Theoretical Computer Science at the University of Waterloo - Research GroupsComputers: Theoretical, Theoretical Research Groups Research areas include design and analysis of algorithms Computer Science at the University of Waterloo Research Groups models of computation, and computational complexity. Theoretical Computer Science at the University of Limburg - Research GroupsComputers: Theoretical, Theoretical Research Groups Major field of research is database theory with a focus on query languages and use of the methods of mathematical logic Computer Science at the University of Limburg Research Groups . Programming Languages LabComputers: Programming, Theoretical Research Groups University of Calgary Languages Lab . The PORTIA ProjectComputers: The PORTIA, Theoretical Research Groups This project focuses on both the technical challenges of handling sensitive data and the policy and legal issues facing data subjects Project data owners, and data users. The Concurrency Research GroupComputers: The Concurrency, Theoretical Research Groups Oxford University Computing Laboratory Research Group Studying how multiple, independently controlled threads behave when running and interacting together. ACM SIGACTComputers: ACM SIGACT, Theoretical Research Groups Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory ACM SIGACT . DIMACSComputers: DIMACS, Theoretical Research Groups Center for Discrete Mathematics and Theoretical Computer Science DIMACS Rutgers, New Jersey. Computational Geometry - Parallel Processing - Internet Algorithms Research Groups Homepage - Research GroupsComputers: Computational, Theoretical Research Groups Homepage of "Computational Geometry" Geometry Parallel Processing Internet Algorithms Research Groups Homepage Research Groups "Parallel Processing" and "Internet Algorithms" Research Groups in Sharif University of Technology. ICS Theory Group - Research GroupsComputers: ICS Theory, Theoretical Research Groups University of California Group Research Groups Irvine. Research centers on the design and analysis of algorithms and data structures as well as computational complexity. Telekom Research & Development (TMR&D)Computers: Telekom, Theoretical Research Groups Designing Research & Development (TMR&D) fabrication and calibration for telecommunication industries. Cambridge Theory and Semantics GroupComputers: Cambridge, Theoretical Research Groups Centred around mathematical models of a variety of languages and logics Theory and Semantics Group using techniques such as structural operational semantics, linear logic, domain theory and category theory. Strong links with Logic and Set Theory in the Pure Mathematics Department. RamboqComputers: Ramboq, Theoretical Research Groups · A future research programme within the FET framework of the European Union investigating optical realisations for quantum information processing Ramboq Partners, programme, publications, resources. Laboratory for Theoretical and Quantum Computing, Montreal - Research GroupsComputers: Laboratory, Theoretical Research Groups · Publications for Theoretical and Quantum Computing, Montreal Research Groups laboratory staff members, and Java applets related to quantum cryptography, quantum information, quantum teleportation, computational complexity, algorithmics, and graph theory. Church-Turing ThesisComputer Science Theoretical - Wikipedia article Thesis . Interactive Computation - Research GroupsComputer Science Theoretical - Wikipedia article Computation Research Groups . Theory of ComputationComputer Science Theoretical - Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley of Computation . Theoretical Computer Science on the WebComputer Science Theoretical - A directory of resources related to theoretical computer science from Stanford University Computer Science on the Web . Computability TheoryComputer Science Theoretical - Wikipedia article Theory . | |||||||