Bazsites.com Computability
Directory Topics
On the Web
- University of Limerick (CSIS) - Department of Computer Science and Information Systems. Research areas include computer support for cooperative work , information systems engineering, computational linguistics, computational musicology, intelligent systems, human-computer interfaces, localisation, multimedia, soft computing, and computational intelligence.
- Rensselaer Polytechnic Institute - Computer Science Department. Research areas: Algorithm design; Bioinformatics; Computational Science and Engineering; Computer Vision; Data Mining and Machine and Computational Learning; Database Systems; Generic Programming; Human Computer Interfaces; Networking; Parallel and Distributed Computing; Robotics; Worldwide computing. Troy, NY.
- Berlin, University of Technology - Department of Computer Science. Research interests include Computer graphics, computer vision, real time systems, robotics, computer architecture, logic design, data structures, functional and logic programming, scientific computing, communication, operating systems, neural networks, software engineering, theoretical computer science, formal specification, compiler construction, artificial intelligence, and knowledge based systems.
- Erlangen-Nürnberg, University - Institute of Computer Science. Research areas include theoretical computer science, graph grammars, visual programming, computational linguistics, evolutionary computation, parallel and distributed systems, soft computing, fault tolerance, object oriented systems, pattern recognition, data warehousing, scientific databases, workflow management, performance evaluation, artificial intelligence, computer graphics, and simulation.
- International Symposium on Parallel and Distributed Computing - Yearly international event. In 2006, July 6th-9th at Timisoara, Romania. Topics include: Grid Architecture and Systems, Software Agents and Multi-agent Systems, Programming Paradigms, Tools and Environments, Resource Discovery and Management, Task and Communication Scheduling and Load Balancing, Mobile and Ubiquitous Computing, Cluster and Grid based Computing and Environments, Performance Management, Parallel, Distributed and Mobile Databases, Distributed Software Components, Web and Peer-to-peerComputing and Services, Adaptive Computing, Real-time Distributed Systems, Security, Fault Tolerance, Scientific Computing and Large Scale Simulations, Distributed Applications and Case Studies.
- Imager Computer Graphics Laboratory - Works towards advancing the science of computer graphics, computer animation, human computer interaction, and computational geometry.
- Kaiserslautern, University - Department of Computer Science. Research involves software components, algorithms, CAD, computer graphics, computational geometry, information management, computer networks, database and information systems, computer architecture, numerical algorithms, foundations of computer science and programming, communication systems, system software, robotics, artificial intelligence, software engineering, learning, programming languages and compiler constructions, and VLSI design.
- Rome, University of - Computer Science Department. Research areas include algorithms, computer architecture, computer networks, combinatorics, computational complexity, database theory and management, formal methods, paradigms of computation, pictorial and linguistic computation, and random structures.
- Carleton University - School of Computing Science. Research labs focus on object oriented programming, software engineering, pervasive computing, networks, network security, parallel and distributed computing, algorithms, computer vision, database systems, graphics and multimedia, software agents, intelligent software and systems, knowledge representation, logic and functional programming, medical computing, natural language processing.
- Distributed Computing Group - The research interests of our group include: data structures and algorithms, distributed computing (e.g.: routing, file systems, and generally scalabiliy and decentralization of data and algorithms), peer-to-peer computing, mobile computing, networking, ad-hoc networks, online algorithms and randomization.
Wikipedia Articles
- Computability logic - Introduced by Giorgi Japaridze in 2003, Computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of truth. In this approach logical formulas represent computational problems (or, equivalently, computational resources), and their validity means being "always computable".
- Logics for computability - Logics for computability are formulations of logic which
- List of computability and complexity topics - This is a list of computability and complexity topics, by Wikipedia page.
- Computability theory - Computability theory may refer to:
- Numbering (computability theory) - In computability theory a numbering is the assignment of natural numbers to a set of objects like rational numbers, graphs or words in some language. A numbering can be used to transfer the computability concept, which is strictly defined on the natural numbers using computable functions, to different objects.