网站简介:Harrisonburg, Virginia
网站简介:University of Texas at Austin - Software engineering, system evolution, large-scale systems.
网站简介:A distributed computing project currently working on RC5-72 and OGR-27 (Optimal Golomb Rulers). Previous projects included CSC and DES.
网站简介:Projects in software and hardware for data storage, scientific and technical applications and materials technology, based in San Jose, CA.
网站简介:A research institute of the Academy of Sciences of the Czech Republic concerned with the development of control, information and computer sciences.
网站简介:Aalborg University - Temporal database systems.
网站简介:A Wikipedia article on regular expressions with an informal discussion, a formal definition and examples.
网站简介:Forums to support and otherwise take and give feedback about the Stanford Folding@home project.
网站简介:Department of Mathematics and Computer Science - Santa Clara, California
网站简介:Department of Computer Science and Engineering - Tampa, Florida
网站简介:School of Computing. Research areas: Distributed systems and mobile agents; Evolutionary computation; Edinburgh social informatics; Human-computer interaction; Database and object systems; HCI; ITC.
网站简介:BOINC project to predict and design protein structures and protein-protein and protein-ligand interactions. The goal is to develop methods that accurately predict and design protein structures and complexes.
网站简介:Applied research in high performance computing, applied mathematics, and intelligent systems. Research and publication abstracts.
网站简介:An electronic journal available via WWW. All papers freely available in PostScript and PDF.
网站简介:News, publications, and research.
网站简介:Department of Systems and Computer Science. Research areas include adaptive and predictive control, algorithms and data structures, applied mathematics, artificial intelligence, bioengineering and medical informatics, combinatorics, computer vision, databases, formal methods, modeling and identification, nonlinear dynamics, operations research, robust control, and software engineering.
网站简介:Department of Computing. Research areas: Databases, Formal methods, Software testing, Software engineering, Algorithms, Cryptography, AI, Graphics and Natural language processing.
网站简介:Schenectady, New York
网站简介:Witchita, Kansas
网站简介:Detroit, Michigan
网站简介:Department of Computer Science. Undergraduate and graduate programs, course offerings, faculty listing, and research information.
网站简介:CCA Net aims to provide a central location for collecting information useful for researchers working in the field of computability and complexity in analysis.
网站简介:Computing alliance funded by the Department of Defense to research modeling and simulation. Information about current research.
网站简介:Computer Science and Information Management postgraduate program (all courses in English). With information about faculties and researches.
网站简介:Institute for Practical Computer Science (System Software Group).