Computer Science

Computability Logic Computability Logic- Main web source on the subject: overview, downloadable articles, links. Interactive Computation Interactive Computation- Wikipedia article. Computability Theory Computability Theory- Wikipedia article. Church-Turing Thesis Church-Turing Thesis- Wikipedia article. Theory of Computation Theory of Computation- Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley. Maui High Performance Computing Center Maui High Performance Computing Center- Affiliated with the University of Hawaii. Training workshops and supercomputer documentation. Center for Computational Research Center for Computational Research- SUNY Buffalo. Links to other supercomputing resources and information about educational outreach programs. UK Science and Technology Facilities Council UK Science and Technology Facilities Council- One of Europe's largest multidisciplinary research organisations supporting scientists and engineers world-wide. Includes details of … MIT Laboratory for Computer Science MIT Laboratory for Computer Science- Research in a variety of areas in computer science. Description of research, publications, and news. Microsoft Research, Cambridge Microsoft Research, Cambridge- Research into distributed systems, hardware, information retrieval and analysis, integrated systems, machine learning, networking, and security. Pro… Research Computing Centre at the University of Houston Research Computing Centre at the University of Houston- Research information, supercomputer documentation, and links to other facilities. NASA Intelligent Systems Division NASA Intelligent Systems Division- News, publications, research areas, projects and highlights, contractors, and contact information. Bell Labs Computing Sciences Research Center Bell Labs Computing Sciences Research Center- Lucent Technologies, Murray Hill, NJ, USA. LAPIS LAPIS- University of Victoria Laboratory for Parallel and Intelligent Systems is a research group with interests in concurrent systems, interconnection networks, neural networks, … Advanced Simulation and Computing (ASC) at Livermore Advanced Simulation and Computing (ASC) at Livermore- Computing alliance funded by the Department of Defense to research modeling and simulation. Information about current researc… Cornell University Centre for Advanced Computing Cornell University Centre for Advanced Computing- News, publications, and research. Mechanical Systems Services - Southwest Research Institute Mechanical Systems Services - Southwest Research Institute- Conducts research and applied engineering projects in a range of machine vision technologies. Centre for Development of Advanced Computing Centre for Development of Advanced Computing- Bangalore, India. Research areas include parallel computing and multilingual technologies. Includes educational programs and conferen… Foundations of Computing Science Foundations of Computing Science- Universität Kaiserslautern, Fachbereich Informatik. Research and education in foundations of computer science. Staff, projects, publications. ASCI (Sandia National Lab) ASCI (Sandia National Lab)- Current research and archive of newsletters. Digital Systems and Media Computing Laboratory Digital Systems and Media Computing Laboratory- Hellenic Open University. Fundamental and applied research in Image and Video Processing, Intelligent Information Access, Digital L… IBM Almaden Research Center IBM Almaden Research Center- Projects in software and hardware for data storage, scientific and technical applications and materials technology, based in San Jose, CA. NIST Information Technology Laboratory NIST Information Technology Laboratory- Describes programs and projects at the NIST Information Technology Laboratory, which supports the information technology industry with meas… Institute of Informatics, University of Bern Institute of Informatics, University of Bern- Research projects, publications. BRICS BRICS- Basic Research in Computer Science, University of Aarhus, Denmark. News, projects, publications, personnel, meetings. Information Systems Research Centres Information Systems Research Centres- List maintained by Espen Andersen. Ontario Research Center for Computer Algebra Ontario Research Center for Computer Algebra- Researchers at ORCCA study algorithms and software systems for symbolic mathematical computation. At any given time a number of visit… NASA Advanced Supercomputing Division NASA Advanced Supercomputing Division- Research and development of high performance computing technologies, device modeling, nanotechnology, and scientific visualization. Informat… Innovative Computing Laboratory Innovative Computing Laboratory- At the University of Tennessee. Research in various areas of high-performance computing. Publications, links to projects, and news. Interdisciplinary Research Collaboration in Dependability of Computer-Based Systems Interdisciplinary Research Collaboration in Dependability of Computer-Based Systems- Led by the University of Newcastle, UK. Addresses the dependability of computer-based systems.… Supercomputing Institute Supercomputing Institute- Provides supercomputing resources to the University of Minnesota. Description of computers and technical support. Mississippi Center for Supercomputing Research Mississippi Center for Supercomputing Research- Provides high-performance computing support to the state-supported institutions of higher learning in Mississippi and the Universit… Center for Parallel Computers in Stockholm Center for Parallel Computers in Stockholm- Provides computing resources primarily for Swedish academic research. Information about computing resources and research. USC Information Sciences Institute USC Information Sciences Institute- Technical reports, software, research groups. ICSI ICSI- International Computer Science Institute at the University of California, Berkeley. Research groups and technical reports. High Performance System Software Laboratory High Performance System Software Laboratory- University of Maryland, College Park. Group contact information and research description. Swedish Institute of Computer Science Swedish Institute of Computer Science- Research focuses on distributed interactive real-time systems. Publications and software. NSF Science and Technology Center NSF Science and Technology Center- A collaboration of five universities researches scientific visualization. Information about the group and educational opportunities. Scientific Computing and Imaging Institute Scientific Computing and Imaging Institute- University of Utah. Researches visualization, imaging, and applications to biomedicine. Description of current projects. CSCS CSCS- The Swiss Center for Scientific Computing provides the Swiss research community with computing resources. Annual reports and papers available. Center for Reliable and High Performance Computing Center for Reliable and High Performance Computing- The center focuses on research in the areas of high-performance computing, high-performance architectures, fault tolerance, and… San Diego Supercomputer Center (SDSC) San Diego Supercomputer Center (SDSC)- Provides cyberinfrastructure resources to scientists who require massive compute and data-handling capabilities to conduct their research. P… IBM Research Lab in Haifa IBM Research Lab in Haifa- Perform research and development such as VLSI design, verification technology, storage subsystems, computer systems, programming languages and environme… CSRG CSRG- University of Toronto Computer Systems Research Group promotes research in the design, implementation, and operating characteristics of complex computing systems. Research a… RADIANT RADIANT- The Research and Development in Advanced Network Technology is a part of the Network Engineering Group (CIC-5) at Los Alamos National Laboratory. Publications bibliograph… Oak Ridge National Laboratory Computer Science and Mathematics Division. Oak Ridge National Laboratory Computer Science and Mathematics Division.- Applied research in high performance computing, applied mathematics, and intelligent systems. Research an… Center for Software Reliability Center for Software Reliability- Group at University of Newcastle upon Tyne that conducts research on how to achieve improved dependability from computing systems. Computer Technology Institute Computer Technology Institute- In association with the Computer Engineering and Informatics department of the University of Patras. News and links to other organizations. Institute of Information Science, Academia Sinica, Taiwan Institute of Information Science, Academia Sinica, Taiwan- Information about research groups, papers, and projects. EPCC EPCC- The Edinburgh Parallel Computing Centre provides computing resources to Edinburgh University and industry. Projects, technical support, and publications.