Research Groups

The SNePS Research Group The SNePS Research Group- Design and construction of a natural-language-using computerized cognitive agent with a focus on knowledge representation, reasoning, and natural-languag… Information Systems Laboratory Information Systems Laboratory- Active in the areas of information modelling, knowledge and data base management systems, ontology-driven systems, terminology management systems a… FORWISS FORWISS- De­velops knowledge-based systems on the basis of mathematical models. Features current and completed projects and contact information. Analysis, Engineering, Simulation & Optimization of Performance Group (AESOP) Analysis, Engineering, Simulation & Optimization of Performance Group (AESOP)- Department of Computing. Research includes quantitative evaluation of systems, queueing networks, st… Department of Computing Department of Computing- Research areas: Distributed software engineering; High-performance informatics; Interactive media; Logic and AI; Software technology and theory. Also host… Universitas Indonesia, Jakarta Universitas Indonesia, Jakarta- Faculty of Computer Science. STMIK AMIKOM Yogyakarta STMIK AMIKOM Yogyakarta- The free of sources computer and information technology knowledge D'Angelo, Angelo D'Angelo, Angelo- University of Udine - Autonomous robot control, behaviour-based planning, coordination among autonomus agents, self-organization in autonomous robotics. Di Gianantonio, Pietro Di Gianantonio, Pietro- University of Udine - Real number computability, semantics of concurrency, lambda-calculus. Dawar, Anuj Dawar, Anuj- University of Cambridge - Applications of logic to computing, finite model theory, computational complexity. Daugman, John Daugman, John- University of Cambridge - Neuroscience, statistical pattern recognition, wavelets, computer vision. Duch, Wlodzislaw Duch, Wlodzislaw- Nicholas Copernicus University - Local learning, Machine Learning and Pattern Recognition, NeuroFuzzy systems, Cognition, Computational neurobiology, Application… Dodgson, Neil Dodgson, Neil- University of Cambridge - Autostereoscopic 3D imaging, rendering algorithms, compression. Dehne, Frank Dehne, Frank- School of Computer Science, Carleton University - Parallel Computing, Coarse Grained Parallel Algorithms, Parallel Data Mining and OLAP, Computational Geometry, Imag… Dhamdhere, Dhananjay Dhamdhere, Dhananjay- Indian Institute of Technology, Bombay - Distributed Algorithms, Programming Languages, Operating Systems, Optimizing Compilers Diwan, Ajit Diwan, Ajit- Indian Institute of Technology, Bombay - Algorithms, Graph theory, Combinatorics Davies, Rowan Davies, Rowan- Carnegie Mellon University - Standard ML with refinement-type checking, relationships between modal logics and programming languages. Day, Bill Day, Bill- Technology Evangelist at Sun Microsystems, interests include software and aerospace engineering, molecular nanotechnology, streaming media and multimedia, java, and com… Journal of Parallel and Distributed Computing Journal of Parallel and Distributed Computing- This international journal is directed to researchers, engineers, educators, managers, programmers, and users of computers who have … Cluster Computing Cluster Computing- International peer-reviewed journal published by Springer. Papers covering parallel processing, distributed computing systems and computer networks are publishe… Concurrency and Computation: Practice and Experience (Journal) Concurrency and Computation: Practice and Experience (Journal)- Peer-reviewed articles covering concurrent solutions, algorithms, programming environments and applications. Publis… Distributed Computing Distributed Computing- The aim of this international journal is to provide a forum for original and significant contributions in the field of distributed computing. Table of conte… ACM Transactions on Computer Systems (Journal) ACM Transactions on Computer Systems (Journal)- Peer reviewed journal published four times a year. Wide coverage of distributed computing includes distributed system design, verif… Martin Bramleys Publications Martin Bramleys Publications- Repository for personal publications while researching in Distributed Application design. Papers include meeting response targets, distributed synchr… Requirements, Design Points and Recommendations for Conversational Distributed Protocols and Convers Requirements, Design Points and Recommendations for Conversational Distributed Protocols and Convers- In Scientific Emphasis proceedings. Paper and links to related material. Distributed Systems Engineering Distributed Systems Engineering- A quarterly journal covering practical engineering approaches to integrating subsystems into a distributed or networked system. Parallel Processing Letters (Journal) Parallel Processing Letters (Journal)- International peer-reviewed journal published four times a year by World Scientific. Publishes short papers covering parallel computations a… Bibliographies on Distributed Computing Bibliographies on Distributed Computing- Searchable collection of BibTeX bibliographies on distributed computing research. Kasprzyk's ALife Page Kasprzyk's ALife Page- Artificial Life for the Macintosh. Darwinbots Darwinbots- A free artificial life program running under Windows. Similar to C-Robots with a biological bent, where the robots mutate and evolve over time.