ScienceDirectory.info is a leading science website including agriculture, metrology, industrial engineering, earth sciences, geography, mathematic, aquaculture, aerospace and more.
Browse Categories
Agriculture
Alternative Science
Amateur Science
Biology
Chemistry
Cognitive Science
Complex Systems
Computer Science
Directories
Earth Sciences
Ecology
Education
Energy
Engineering
Environment
Forensics
Geography
Institutions
Mathematics
Physics
Resources
Shopping and Services
Social Sciences
Space
Technology
 
 
Computer Science
You are here: Home > Computer Science
Categories
Academic Departments
Evolutionary Computation
Artificial Intelligence
HCI
Computational Sciences
Institutes
Computer Vision
Organizations
Distributed Computing
Supercomputing & Parallel Computing
ECAD
User Interface
Listings
University of Massachusetts Amherst - Architecture and Language Implementation (ALI)
specialized parallel architectures research group.
http://spa-www.cs.umass.edu/
University of Tuebingen Computer Architecture Department
research topics include computer architecture, computational intelligence, neural networks, evolutionary algorithms, robotics, mobile robots, artificial life, multi-agent systems.
http://www-ra.informatik.uni-tuebingen.de/
University of Waterloo - Symbolic Computation
information on the computer algebra system Maple.
http://www.scg.uwaterloo.ca/
Verification and Validation Laboratory - Brigham Young University
conducts research that optimizes explicit state model checking to find and interpret errors in real world design while retaining exhaustive coverage.
http://lal.cs.byu.edu/
WWW Virtual Library: Formal Methods
points to sites containing information on formal methods, useful for mathematically describing and reasoning about computer-based systems.
http://www.afm.sbu.ac.uk/

Pages: << 1 2