Counterfactual Theories of Causation
Society - Philosophy - Reference - Stanford Encyclope. Discussion of analysis of causal statements in terms of counterfactual conditionals; by Peter Menzies. ...
plato.stanford.edu
The Computation Institute
Reference - Education - Colleges and Universities - North America - United States - Illinois - University of Chicago - Departments and Programs. Addresses the most challenging problems arising in the ...
www-fp.mcs.anl.gov
Programming and Symbolic Computation Team
Computers - Algorithms - Computational Algebra - Research Groups. Department of Mathematics and Computer Science, University of La Rioja, Logroņo, Spain. Research has been focused on the design, spec ...
www.unirioja.es
Centre for Quantum Computation, Cambridge
Computers - Computer Science - Theoretical - Quantum Computing - Research Groups. Provides an overview of quantum computation and cryptography work at Cambridge University. There are also tutorials a ...
cam.qubit.org
Counterfactual
Society - People - Personal Homepages - Weblogs - C. Canadian shares his opinions, suggestions, hopes, rants, raves, and other useless pieces of information with the world. ...
counterfactual.blogdrive.com
Theory of Computation
Computers - Programming - Compilers - FAQs, Help, and Tutorials. A complete mini-course on Formal Languages and Automata ...
www.seas.upenn.edu
Curves and Computation
Science - Math - Number Theory - Events - Past Events. Edinburgh, Scotland; 24--29 March 1996. Workshop on cryptography and the computational number theoretic aspects of algebraic curves. ...
www.maths.ed.ac.uk
LMS Journal of Computation and Mathematics
Computers - Computer Science - Publications - Journals. An electronic journal published by the London Mathematical Society covering all areas where mathematics and computation meet. ...
www.lms.ac.uk
Lecture Notes on Theory of Computation
Computers - Computer Science - Theoretical. Introduction to basic topics including models of computation, finite automata, context free grammars and complexity theory. ...
www.jn.inf.ethz.ch
IEEE Transactions on Evolutionary Computation
Computers - Artificial Life - Publications - Journals. Devoted to the science and technology of evolutionary computation. Specific aspects include genetic algorithms, evolution strategies, evolutionar ...
ieee-cis.org
Symbolic Computation Group, University of Waterloo
Science - Math - Software - Maple. Research and development of algorithms for computer algebra, including both symbolic computation and hybrid symbolic-numeric computation. The algorithms developed ar ...
www.scg.uwaterloo.ca
International Society for Genetic and Evolutionary Computation
Computers - Artificial Intelligence - Genetic Programming. Promotes the creation and exchange of knowledge on Genetic and Evolutionary Computation and their application. ...
www.isgec.org
Genetic and Evolutionary Computation Conference (GECCO)
Computers - Artificial Intelligence - Conferences and Events - Past Conferences and Events. 2002, July 9-13, New York City, USA. For researchers and practitioners of all branches of evolutionary compu ...
www.isgec.org
MIT LCS Theory of Computation Group
Computers - Computer Science - Theoretical - Research Groups. Research areas include algorithms, complexity theory, computation and biology, cryptography and information security, distributed systems, ...
theory.csail.mit.edu
Applications of Linear Logic to Computation (1993)
To. Survey article by Vladimir Alexiev providing an overview of existing applications of Linear Logic to issues of computation. Discusses implications of the theory in several fields of theoretical co ...
citeseer.ist.psu.edu
Computation
Business - Environment - Waste Management - Recycling - Electronics. Provider of computer recycling, e-waste management, secure information destruction, IT asset management and services, and refurbish ...
www.computation.to
Internet Accessible Mathematical Computation
Computers - Algorithms - Computational Algebra - Conferences - Past Conferences. A workshop at ISSAC 2003. Drexel University, Philadelphia, PA, USA; Thursday 7 August 2003. ...
www.symbolicnet.org
Cognitive Computation Group at UIUC
Computers - Artificial Intelligence - Machine Learning - Research Groups. Developing theories and systems pertaining to intelligent behavior using a unified methodology. At the heart of the approach i ...
l2r.cs.uiuc.edu
Institute for Adaptive and Neural Computation
Computers - Computer Science - Academic Departments - Europe - United Kingdom - University of Edinburgh. School of Informatics. Theoretical and empirical study of brain processes and artificial learn ...
www.anc.ed.ac.uk
Introductory Materials on Quantum Computation
Computers - Computer Science - Theoretical - Quantum Computing. Tutorial, aome papers and links to books usefoul for students starting their work in quantum information. ...
www.fceia.unr.edu.ar
Quantum Computation: a Tutorial
Computers - Computer Science - Theoretical - Quantum Computing. By Samuel L. Braunstein, with links to tutorials on related subjects. ...
www-users.cs.york.ac.uk
QCL - Quantum Computation Language
Computers - Computer Science - Theoretical - Quantum Computing - Simulators and Programming Languages. Documentation and the source code for the QCL, high level, architecture independent programming l ...
tph.tuwien.ac.at
Programming Languages and Computation Theory
Computers - Programming - Languages - REBOL - FAQs, Help, and Tutorials - Advanced. REBOL features in this course at Clarion University - includes a lex scanner and yacc parsers of the language. ...
jupiter.clarion.edu
The Theory of Computation Group
Reference - Education - Colleges and Universities - Asia - Thailand - Chiang Mai - Chiang Mai University. Department of Computer Science, Faculty of Science. Focus on the design and analysis of algori ...
www2.cs.science.cmu.ac.th
top
