www.yurtseven.org
 www.yurtseven.org
 

 
 Computers » Computer Science » People » B


 Categories

Babbage, Charles (8)  

 Web Pages    1 - 10   of   35


Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture

http://www.cse.iitd.ernet.in/~mbala/

[more pages from this URL] 


 2 - Blelloch, Guy Browse Website open in new window
Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection.

http://www.cs.cmu.edu/~guyb/home.html

[more pages from this URL] 


IBM Research - Quantum information and computation theory.

http://researchweb.watson.ibm.com/people/b/bennetc/

[more pages from this URL] 


 4 - Bundy, Alan Browse Website open in new window
University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving.

http://homepages.inf.ed.ac.uk/bundy/

[more pages from this URL] 


 5 - Hans J. Boehm Browse Website open in new window
HP Labs - Java, Garbage collection, language theory

http://www.hpl.hp.com/personal/Hans_Boehm/

[more pages from this URL] 


NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science.

http://math.nist.gov/~RBoisvert/

[more pages from this URL] 


 7 - Borning, Alan Browse Website open in new window
University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling.

http://www.cs.washington.edu/homes/borning/

[more pages from this URL] 


 8 - Bultan, Tevfik Browse Website open in new window
University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.

http://www.cs.ucsb.edu/~bultan/

[more pages from this URL] 


 9 - Brandt, Felix Browse Website open in new window
Stanford University, California. Multiagent systems, preference aggregation, auctions, voting, cryptographic protocols, mechanism design, artificial intelligence, and game theory.

http://www.tcs.ifi.lmu.de/~brandtf/

[more pages from this URL] 


Indian Institute of Technology, Bombay - Neural Network Theory and Applications, Formal and Empirical Machine Learning, Natural Language Understanding, Distributed Artificial Intelligence.

http://www.cse.iitb.ac.in/~pb/

[more pages from this URL] 




1  2  3  4  Next »»




Callcenter Software


snel_aff_728x90


Add URL  |  My Listings  |  My Account  |  New Membership  |  Contact