Online Web Directory. Web Directory @ Expo Central.
Your Online Guide to the Global and Local Marketplace
Home | About us | Advertise | Contact Us

Computers > Computer Science > Theoretical > Research Groups

Web Directory




Google Adwords

Google Adwords allows businesses to advertise on any number of sites, including Expo Central, regardless of the size of their budget. Ad campaigns can be set up to target based on keywords, geographical location of the visitor, and/or individual web sites. They handle the most common sizes of ads and allow text, image or video.

Firefox with Google Toolbar

Mozilla Firefox is a web browser with pop-up blocking, tabbed browsing, and privacy and security features. Integration of the Google Toolbar into the Firefox download offers users even more features: Google search, SpellCheck, and Autofill.


Google Pack Software

Get the power of Google on your desktop PCs! Google Pack provides a single installer for many essential PC applications from Google and other trusted partners. These applications improve your browsing with increased speed and security, provide better searching capability for the web and for your own PC and enable you to collect and organize your personal data, including photos.

Home > Computers > Computer Science > Theoretical > Research Groups
Directory of Web Resources @ Expo Central : Research Groups

Computers > Computer Science > Theoretical > Research Groups : Categories


Computers > Computer Science > Theoretical > Research Groups : Web Resources



Computers > Computer Science > Theoretical > Research Groups : Web-Sites


1. ACM SIGACT [ Report dead link ]
Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory.
http://sigact.acm.org/
_


2. Cambridge Theory and Semantics Group [ Report dead link ]
Centred around mathematical models of a variety of languages and logics, 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.
http://www.cl.cam.ac.uk/Research/TSG/
_


3. Centre for Discrete Mathematics and Theoretical Computer Science [ Report dead link ]
Research areas include artificial intelligence, combinatorial optimization, computability and complexity, and constructive algorithmics.
http://www.cs.auckland.ac.nz/CDMTCS/index.html
_


4. DIMACS [ Report dead link ]
Center for Discrete Mathematics and Theoretical Computer Science, Rutgers, New Jersey.
http://dimacs.rutgers.edu/
_


5. Formal Aspects of Computing Science Specialist Group - [ Report dead link ]
FACS promotes the development of formal approaches of production of computer-based systems.
http://www.bcs-facs.org/
_


6. Foundations of Computational Mathematics [ Report dead link ]
International Research Group for Computational Mathematics
http://www.damtp.cam.ac.uk/user/na/FoCM/
_


7. ICS Theory Group [ Report dead link ]
University of California, Irvine. Research centers on the design and analysis of algorithms and data structures as well as computational complexity.
http://www.ics.uci.edu/~theory/
_


8. MIT LCS Theory of Computation Group [ Report dead link ]
Research areas include algorithms, complexity theory, computation and biology, cryptography and information security, distributed systems, numerical analysis and scientific computing, semantics, and supercomputing technologies.
http://theory.lcs.mit.edu/
_


9. Research groups in Logic and Theoretical Computer Science [ Report dead link ]
Covered areas of this list are Theoretical Computer Science, Logic in Computer Science, Mathematical Logic, Philosophical Logic.
http://www.cs.swan.ac.uk/~csetzer/logic-server/index.html
_


10. Stanford CS Theory [ Report dead link ]
Research includes sequential and parallel algorithms, computational problems in databases, computational geometry, design and analysis of programs and programming languages, and combinatorial, logical, and algebraic mathematics.
http://theory.stanford.edu/
_

Pages: [1] 2

Next Page >>

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor


Computers > Computer Science > Theoretical > Research Groups : Web Resources


Google

[ Home | About us | Advertise | Contact Us ]