Home
AllMusicListings
AllMusicTalk
MusicNews
Community
Blogs
AllMusicPages
AllMusicBookmarks
AllMusicFun
Music Auctions
Music Apparel
Music Store
|
H (13) Categories:
Sites:
» Haas, Laura
![]() IBM Almaden Research Center - Database query processing. http://www.almaden.ibm.com/cs/people/laura/ » Halper, Nick
![]() University of Magdeburg - Computer graphics, non-photorealistic rendering, camera AI, computer games, real-time rendering. http://www.halper.de/ » Hannaford, Michael R.
![]() University of Newcastle - Object-oriented software engineering, object-oriented programming, computer architecture. http://www.cs.newcastle.edu.au/~mrh/ » Heiser, Gernot
![]() University of New South Wales - Operating systems and distributed systems, numerical modelling of silicon solar cells. http://www.cse.unsw.edu.au/~gernot/ » Held, Martin
![]() University of Salzburg - Computational geometry, computer graphics, program design, algorithms and data structures, computer-aided design and manufacturing. http://www.cosy.sbg.ac.at/~held/held.html » Henskens, Frans
![]() University of Newcastle - Global virtual memory, architectural and operating system support for persistence, resilience and availability in database systems, persistent stores for bulk data storage and manipulation. http://www.cs.newcastle.edu.au/~henskens/ » Herman, Gabor T.
![]() City University of New York - Image Reconstruction from Projections, Inverse Problems, Discrete Tomography, Biomedical Imaging, Medical Imaging, Geometry of Digital Spaces, Computer Graphics, Visualization, Computer Vision http://www.dig.cs.gc.cuny.edu/~gabor/ » Hesselink, Wim H.
![]() University of Groningen - Nondeterminacy, predicate transformation semantics, distributed programming, design and correctness of algorithms, and mechanical theorem proving for correctness and design of distributed systems. http://www.cs.rug.nl/~wim/ » Hoffmann, Achim
![]() University of New South Wales - Artificial intelligence, knowledge-based systems, intelligent data analysis, machine learning, knowledge acquisition, theory of neural networks, philosophical foundations of AI. http://www.cse.unsw.edu.au/~achim/ » Hofmann, Martin
![]() University of Edinburgh - Type theory, principles of programming languages, semantics, category theory, mathematical logic, formal methods. http://www.tcs.informatik.uni-muenchen.de/~mhofmann/ » Honsell, Furio
![]() University of Udine - Lambda calculus; foundations, especially of informatics; type systems for OO languages; logical frameworks and formal verification of proofs, programs, and systems; semantics of programming languages and program logics; mathematical http://users.dimi.uniud.it/~furio.honsell/ » Houle, Michael
![]() University of Sydney - Algorithmics, including computational geometry, graph algorithms, combinatorial geometry, optimization, and parallel algorithms. http://www.cs.usyd.edu.au/~meh/ » Howell, Rodney R.
![]() Kansas State University - Self-stabilizing systems, real-time scheduling, Petri nets, and computational complexity. http://people.cis.ksu.edu/~rhowell/ This category needs an editor
Last Updated: 2007-01-02 19:58:36 ![]()
The content of this directory is based on the Open Directory and has been modified by AllMusicSearch.com editors |