S

Do you need S?
Check it out the following sites about S, or search S

» Chris Shiflett - Author of open source projects, articles, books, tutorials, and documentation
» Dimitris Spiliotopoulos - National and Kapodistrian University of Athens - Speech, Phonology, Intonation.
» Leonid Stoimenov - University of Nis - GIS and Interoperability, GIS and Ontologies, GIS and Mediation
» Navneeth Subramanian's - University of Buffalo - Computational geometry for cad/cam and medicine related projects.
» Saha, Debanjan - IBM's T. J. Watson Research Center - Computer Network Researcher
» Sajeev, A. S. M. - University of New England - Object-oriented software engineering; object-orientation, concurrency and visual programming; distributed systems and software engineering.
» Sammut, Claude - University of New South Wales - Machine learning, logic programming, and knowledge based systems.
» Sanghi, Dheeraj - Indian Institute of Technology, Kanpur - Computer Networks, Protocols, TCP/IP, IPv6, ATM, Multimedia, IP/PSTN Internetworking, Operating Systems.
» Sannella, Donald - University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.
» Saran, Huzur - Indian Institute of Technology, Delhi - High Speed Networks, Graph Theory, Algorithms
» Saraswat, Vijay - Pennsylvania State University - Theoretical computer science, programming systems, artificial intelligence.
» Sarawagi, Sunita - Indian Institute of Technology, Bombay - Databases, Data Mining, Data Warehousing, Database Mining integration, Temporal Mining, Data Mining Services
» Schreiner, Wolfgang - Johannes Kepler University - Parallel and distributed computing, generic programming, semantics of programming languages, parallel functional languages, symbolic and algebraic computation.
» Sellis, Timos - National Technical University of Athens - Extended relational database systems, active database systems, and spatial, image and multimedia database systems.
» Sen, Sandeep - Indian Institute of Technology, Delhi - Randomized Algorithms, Parallel Algorithms, Computational Geometry, Memory Hierarchy Models
» Sewell, Peter - University of Cambridge - Secure encapsulation, pi-calculus, mobile agents, operational semantics, locality typing.
» Shankar, B. Uma - Machine Intelligence Unit, Indian Statistical Institute, Kolkata - Pattern recognition, Image processing and Soft Computing with applications to Remote sensing.
» Sharma, Arun - University of New South Wales - Computational learning theory, machine learning, data mining, and theory of computation.
» Shawe-Taylor, John - Royal Holloway, University of London - Neural and Computational Learning Theory.
» Shepherd, John - University of New South Wales - Databases, web search engines, image databases, education via the Internet, information filtering, deductive databases, and functional programming.
» Shyamasundar, R. K. - Tata Institute of Fundamental Research, Mumbai - Real-Time and Reactive Programming, Logic Programming, Pi-Calculus and Mobile Computing, Parallel Programs, Programming Languages.
» Simon, Janos - University of Chicago - Computational complexity, including machine-based complexity, communication complexity, models of parallel computation, distributed computation, algorithms, problems inspired by the world wide web.
» Simpson, Alexander - University of Edinburgh - Category theory, domain theory, logic, type theory.
» Singh, Push - MIT Media Lab - Artificial Intelligence, open source web collaborations, leader of Open Mind Commonsense project.
» Sipper, Moshe - Swiss Federal Institute of Technology, Lausanne. Application of Biological Principles to Artificial Systems, Evolutionary Computation, Cellular Computing, Bio-inspired Systems, Evolvable Hardware, Complex Adaptive Systems.
» Sivakumar, G. - Indian Institute of Technology, Bombay - Automated Reasoning, Logic Programming, Rewrite Systems, Networks, Distributed Systems
» Sivasubramaniam, Anand - Pennsylvania State University - Computer architecture, operating systems, parallel computing, simulation and evaluation of computer systems.
» Skjellum, Anthony - Mississippi State University - Parallel algorithms, parallel software development, scientific computing.
» Slind, Konrad - University of Cambridge - Automated reasoning, implementation and application of higher order logic.
» Smedinga, Rein - University of Groningen - Discrete event systems and object oriented programming.
» Smits, Brian - University of Utah - Computer graphics, rendering, global illumination, and real time ray tracing.
» Snodgrass, Richard T. - University of Arizona - Temporal databases, query language design, query optimization and evaluation, storage structures, database design, and software development databases.
» Sowmya, Arcot - University of New South Wales - Computer vision, spatial reasoning, robotics, concurrent and real-time systems, and component reuse in VLSI design.
» Srivastava, Saurabh - Indian Institute of Technology, Kanpur - Physical and MAC layer issues in Wireless Ad hoc Networks, CDMA, Routing, Sensor Networks, Computational Biology
» Stantchev, Vladimir and Lubomira - Humboldt University, Berlin.
» Stark, Ian - University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages.
» Steedman, Mark - University of Edinburgh - Computational linguistics, artificial intelligence, formal grammar, intonation, spoken language processing, animated conversational agents.
» Steinemann, Marc-Alain - University of Bern - Architectures for remote learning, authentication and authorization infrastructures, didactic aspects of remote learning, dynamic on-line courses, communication systems for the next generation Internet
» Stevens, Rick - Argonne National Laboratory, University of Chicago - Collaborative scientific visualization environments, high-performance computer architectures, performance modeling.
» Stevenson, William - Pennsylvania State University - High performance computing, operating systems, cognitive science.
» Stewart, Charles - Boston University - Programming language theory, optimal reductions, graph reduction, linear logic, semantics of logic, formulae-as-types correspondence, continuation semantics.
» Stirling, Colin - University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties.
» Stork, David G. - Ricoh Innovations; and Stanford University - Pattern recognition, neural networks, machine learning, adaptive human interfaces for data repositories, strategic document studies, image and pattern recognition algorithms for novel parallel hardware, Open Mi
» Stout, Quentin - University of Michigan - Computer science professor with research in parallel computing, algorithms, scientific and statistical computing, and discrete mathematics.
» Stroustrup, Bjarne - Developer of the C++ programming language.
» Subramaniam, L. Venkata - IBM India Research Lab, New Delhi - Multimodal Speech Recognition, Image Processing.
» Sultanoglu, Sencer - Hacettepe University, Turkey - software engineering, metrics, quality.
» Sutcliffe, Geoff - James Cook University - Automated theorem proving, heterogeneous parallel deduction systems, Prolog-D-Linda.
» Sutter, Herb - Secretary of the ISO/ANSI C++ Standards Committee, Writer, Consultant - Information on C++
» Suvendu, D. - Texas A&M University.
» Sypniewski, Bernard Paul - Rowan University - Instructor in basic computer literacy, advanced MS office topics, introduction to programming in Visual Basic. Interests in linguistics, the environment, and online testing.