|
|
|
| Up One Level |
|
Topia!: Computers: Computer Science: People: G (21)
Ghodosi, Hossein - James Cook University - Secret sharing schemes, society-oriented cryptography. Gregersen, Heidi - Aalborg University - Temporal databases. Gabbrielli, Maurizio - University of Udine - Formal methods for program verification and analysis, theory of concurrent constraint programming, program transformations, languages for real-time applications, logic programming. Güting, Ralf Hartmut - University of Hagen - Spatial data models and query languages (algebras), finite resolution geometry for spatial database systems, extensible spatial database systems, graphs (networks) in spatial databases. Gazdar, Gerald - University of Sussex at Brighton - natural language processing and computational linguistics, lexical knowledge representation, multilingual lexicons, tree adjoining grammars. Grumberg, Orna - The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite objects, theorem provers, static analysis and model checking, coverage in model checking. Graham, Ian - De Montfort University - Business process re-engineering, IT strategy and, architecture, management decision support, financial modelling and executive information, systems, rapid application development (RAD) and prototyping. Gilmore, Stephen - University of Edinburgh - PEPA stochastic process algebra, Standard ML functional programming language. Gal, Avigdor - Rutgers University - Electronic commerce, cooperative information systems, temporal databases, active databases. Gupta, Deepak - Indian Institute of Technology, Kanpur - Distributed Systems, Operating Systems, Internet Technologies. George, Deepak - This site is for all in the field of VLSI design, VHDL/Verilog Coding and Synthesis. It has links to tutorials, style guides, tips on designing and some useful codes. Garg, Naveen - Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms Ghosh, R. K. - Indian Institute of Technology, Kanpur - Parallel Algorithms, Genetic Algorithms, Mobile Computing, PVM, MPI, and Distributed Databases. Gupta, Shyam - Indian Institute of Technology, Delhi - Databases and Data Mining, Graph Theory, Computer Vision Ghosh, Subir Kumar - Tata Institute of Fundamental Research, Mumbai - Computational Geometry and Applications, Robot Motion Planning, Geometric Graph Theory and Applications. Gerrard, Anthony - City University, London Gibbons, Nick - Keele University, UK Gueziec, Andre P. - Triangle Software - Medical imaging, data visualization, 3D graphics, video processing. Gupta, Abhinav - IIT Kanpur - Computer Vision and Geometric Modelling; Cryptography Projects. Goethals, Bart - Helsinki Institute for Information Technology - Data Mining Algorithms, Query Languages for Data Mining, Inductive Databases, Database Theory
Additional categories:
|
|
|
| G | ||
|
