Related:
Category
- Category 5
- Fs Category Review
- Category Management
- Category Search
Sponsored Links:
(UK) University of Wales, Bangor (Popularity:  )
(Score: 25.93)
http://www.informatics.bangor.ac.uk/public/math/research/compcat/
Computational Category Theory (part of The Computational Category Theory Project). People, activities, software.
Category:
Main\Science\Math\Algebra\Category Theory
|
Rosebrugh, Robert (Popularity: )
(Score: 24.50)
http://www.mta.ca/~rrosebru/index.html
Mount Allison University - Higher dimensional category theory, computational category theory and theory of database systems.
Category:
Main\Computers\Computer Science\People\R
|
Computational Category Theory (Popularity: )
(Score: 23.39)
http://www.cs.man.ac.uk/~david/categories/
An implementation of concepts and constructions from category theory in the functional programming language Standard ML. Documentation and code.
Category:
Main\Science\Math\Algebra\Category Theory
|
(Canada) Mt Allison University (Popularity: )
(Score: 18.79)
http://www.mta.ca/~rrosebru/compcat/compcat.html
Computational Category Theory. Software, people.
Category:
Main\Science\Math\Algebra\Category Theory
|
(UK) University of Leicester (Popularity: )
(Score: 18.40)
http://www.mcs.le.ac.uk/~ah83/compcat/
Computational Category Theory Project group. People, activities, software.
Category:
Main\Science\Math\Algebra\Category Theory
|
(Australia) Macquarie University (Popularity: )
(Score: 18.21)
http://www.ics.mq.edu.au/~mike/compcat/
Computational category theory project group. People, projects, publications.
Category:
Main\Science\Math\Algebra\Category Theory
|
Machine Learning at UC Santa Cruz (Popularity: )
(Score: 17.69)
http://www.soe.ucsc.edu/programs/cs/graduate/research.html#ai
Research on decision theory, neural networks, computational biology, computational geometry, theoretical computer science, on-line learning algorithms, computational learning theory, reinforcement learning.
Category:
Main\Computers\Artificial Intelligence\Machine Learning\Research Groups
|
Robertson, Edmund (Popularity: )
(Score: 17.31)
http://turnbull.mcs.st-and.ac.uk/~edmund/
University of St Andrews. Computational group theory, computational semigroup theory and algebra in general. Papers, seminars, teaching material and software.
Category:
Main\Computers\Algorithms\Computational Algebra\People
|
A Gentle Introduction to Category Theory (Popularity: )
(Score: 16.93)
http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.html
Lecture notes by Maarten M. Fokkinga introducing some important notions from category theory, in particular adjunctions. Proofs are given in a calculational style, and the (few) examples are taken from algorithmics. The text is a long PostScript file ...
Category:
Main\Science\Math\Algebra\Category Theory
|
(Canada) McGill University (Popularity: )
(Score: 16.78)
http://www.math.mcgill.ca/triples/
Category Theory Research Centre. Announcements of weekly seminars, conferences, and other research activities in category theory.
Category:
Main\Science\Math\Algebra\Category Theory
|
Category Theory (Popularity: )
(Score: 16.64)
http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.html
"A Gentle Introduction to Category Theory - the calculational approach" by Maarten M. Fokkinga in PostScript.
Category:
Main\Science\Math\Publications\Online Texts
|
CT Category Theory (Popularity: )
(Score: 16.39)
http://front.math.ucdavis.edu/math.CT
Section of the e-print arXiv dealing with category theory, including such topics as: enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
Category:
Main\Science\Math\Algebra\Category Theory
|
Simpson, Alexander (Popularity: )
(Score: 15.85)
http://www.dcs.ed.ac.uk/~als/
University of Edinburgh - Category theory, domain theory, logic, type theory.
Category:
Main\Computers\Computer Science\People\S
|
Interactions between Representation Theories, Knot Theory, Topology, Quantum Field Theory, Category Theory, and Mathematical Physics (Popularity: )
(Score: 15.59)
http://www2.potsdam.edu/mahdavk/Conf.htm
SUNY Potsdam, NY, USA; 2--6 June 2003.
Category:
Main\Science\Physics\Mathematical Physics\Events
|
Jones, John (Popularity: )
(Score: 15.35)
http://math.la.asu.edu/~jj/
Arizona State University. Algebraic number theory: Iwasawa theory, the arithmetic of elliptic curves, Galois theory; questions in computational number theory. Tables of number fields of small degree. "Discovering number theory" course material ...
Category:
Main\Science\Math\Number Theory\People
|
Cambridge Theory and Semantics Group (Popularity: )
(Score: 15.09)
http://www.cl.cam.ac.uk/Research/TSG/
Centred around mathematical models of a variety of languages and logics, using techniques such as structural operational semantics, linear logic, domain theory and category theory. Strong links with Logic and Set Theory in the Pure Mathematics Department ...
Category:
Main\Computers\Computer Science\Theoretical\Research Groups
|
Crans, Alissa S. (Popularity: )
(Score: 14.95)
http://myweb.lmu.edu/acrans/
Loyola Marymount University. Higher-dimensional algebra: Lie theory with elements of category theory, knot theory and Lie algebra cohomology. Publications, thesis.
Category:
Main\Science\Math\Algebra\People
|
Benjamin, D. Paul (Popularity: )
(Score: 14.81)
http://csis.pace.edu/~benjamin/
Pace University. Problem decomposition and theory reformulation, integrated cognitive architectures for autonomous robots, distributed constraint satisfaction problems, semigroup theory and dynamical systems, category theory in software design.
Category:
Main\Computers\Artificial Intelligence\People
|
ECCC - Electronic Colloquium on Computational Complexity (Popularity: )
(Score: 14.70)
http://www.eccc.uni-trier.de/eccc/
The Electronic Colloquium on Computational Complexity is a new forum for the rapid and widespread interchange of ideas, techniques, and research in computational complexity. The Electronic Colloquium on Computational Complexity (ECCC) welcomes papers ...
Category:
Main\Science\Math\Logic and Foundations\Computability
|
COLT 2001 and EuroCOLT 2001 (Popularity: )
(Score: 14.57)
http://www.learningtheory.org/colt2001
The Fourteenth Annual Conference on Computational Learning Theory (held jointly with the Fifth European Conference on Computational Learning Theory). Trippenhuis, Amsterdam, the Netherlands July 16 - July 19, 2001.
Category:
Main\Computers\Artificial Intelligence\Machine Learning\Conferences
|
(UK) University of Wales, Bangor (Popularity: )
(Score: 14.55)
http://www.informatics.bangor.ac.uk/public/mathematics/research/cathom/cathom1.html
School of Informatics, Category Theory and Homotopy Theory.
Category:
Main\Science\Math\Topology\Research Groups
|
Theory and Applications of Categories (TAC) (Popularity: )
(Score: 14.53)
http://www.tac.mta.ca/tac/
An electronic journal of category theory. Full text, free.
Category:
Main\Science\Math\Algebra\Category Theory
|
Garabedian , Paul R. (Popularity: )
(Score: 14.48)
http://www.math.nyu.edu/faculty/garabedi/index.html
Computational plasma physics and controlled fusion, stellarator theory. Division of Computational Fluid Dynamics, Courant Institute of Mathematical Sciences, New York University, USA.
Category:
Main\Science\Physics\Plasma\Personal Pages
|
Computational Intelligence Group - University of Bristol (Popularity: )
(Score: 14.48)
http://www.enm.bris.ac.uk/ai/
Research on kernel methods, support vector machines, neural networks, machine vision, bioinformatics, computational learning theory.
Category:
Main\Computers\Artificial Intelligence\Machine Learning\Research Groups
|
Boston, Nigel (Popularity:  )
(Score: 14.46)
http://www.math.wisc.edu/~boston/
University of Wisconsin, Madison. Algebraic number theory, group theory, arithmetic geometry, computational algebra, coding theory, cryptography, and other applications of algebra to electrical engineering. Preprints, students, resources.
Category:
Main\Science\Math\Number Theory\People
|
Stanford CS Theory (Popularity: )
(Score: 14.26)
http://theory.stanford.edu/
Research includes sequential and parallel algorithms, computational problems in databases, computational geometry, design and analysis of programs and programming languages, and combinatorial, logical, and algebraic mathematics.
Category:
Main\Computers\Computer Science\Theoretical\Research Groups
|
Keck Center for Computational Biology (Popularity: )
(Score: 14.10)
http://cohesion.rice.edu/centersandinst/gcc/keck.cfm
Computational, physical and biological scientists work to incorporate theory, simulation, and experiment to expand understanding of modern biological problems.
Category:
Main\Reference\Education\Colleges and Universities\North America
|
Hofmann, Martin (Popularity: )
(Score: 14.07)
http://www.dcs.ed.ac.uk/~mxh/
University of Edinburgh - Type theory, principles of programming languages, semantics, category theory, mathematical logic, formal methods.
Category:
Main\Computers\Computer Science\People\H
|
Fieker, Claus (Popularity: )
(Score: 13.96)
http://magma.maths.usyd.edu.au/users/claus/
Technische Universität Berlin. Algebraic number theory; computational class field theory; the KANT computer algebra system.
Category:
Main\Science\Math\Number Theory\People
|
(USA) Rice University (Popularity: )
(Score: 13.96)
http://cohesion.rice.edu/centersandinst/gcc/keck.cfm
Keck Center for Computational Biology. Computational, physical and biological science for theory, simulation, and experiment in biological problems. People, press, photos, jobs, library.
Category:
Main\Science\Math\Applications\Mathematical Biology
|
Horst, Steven (Popularity: )
(Score: 13.73)
http://shorst.web.wesleyan.edu/
A critic of naturalism about the mind in general, and the computational theory of the mind in particular. Although computational approaches to cognition may be scientifically valid, they do not explain intentionality or solve the mind-body problem.
Category:
Main\Society\Philosophy\Philosophy of Mind\Philosophers
|
McCammond, Jon (Popularity: )
(Score: 13.63)
http://www.math.ucsb.edu/~mccammon/
UC Santa Barbara. Geometric Group Theory and Low-Dimensional Topology, as well as the neighboring fields of Combinatorics, Graph theory, Computational Geometry and certain types of Riemannian Geometry. Courses, seminars, publications, preprints; resources ...
Category:
Main\Science\Math\Topology\People
|
Category Theory (Popularity: )
(Score: 13.60)
http://plato.stanford.edu/entries/category-theory/
Jean-Pierre Marquis of the University of Montreal introduces the general mathematical theory of structures and systems of structures.
Category:
Main\Society\Philosophy\Reference\Stanford Encyclopedia of Philosophy
|
Computational Logic Laboratory (Popularity: )
(Score: 13.50)
http://www.cs.sfu.ca/~cl/
Interests include logics for knowledge representation and for representing and reasoning about dynamic systems, belief revision, theorem proving, constraint satisfaction, database theory, and complexity of related computational tasks. People, events,projects ...
Category:
Main\Reference\Education\Colleges and Universities\North America
|
Stanford Encyclopedia - The Computational Theory of Mind (Popularity: )
(Score: 13.49)
http://plato.stanford.edu/entries/computational-mind/
The philosophical theory that the mind is, or functions like, a computer; by Steven Horst.
Category:
Main\Society\Philosophy\Philosophy of Mind
|
Elkies, Noam D. (Popularity: )
(Score: 13.49)
http://abel.math.harvard.edu/~elkies/
Harvard. Number theory, algebraic geometry. Preprints, tables in computational number theory.
Category:
Main\Science\Math\Number Theory\People
|
Computational Number Theory (Popularity: )
(Score: 13.46)
http://www.ma.utexas.edu/users/villegas/cnt/cnt.html
PARI-GP routines useful for number theory. Quaternion algebras; quadratic forms; Jacobians; invariants; elliptic units.
Category:
Main\Science\Math\Number Theory\Software
|
Molecular Information Theory (Popularity: )
(Score: 13.37)
http://www.lecb.ncifcrf.gov/~toms/
The theory of molecular machines from the NIH Laboratory of Computational and Experimental Biology.
Category:
Main\Science\Biology\Theoretical Biology
|
Winterhof, Arne (Popularity: )
(Score: 13.35)
http://www.ricam.oeaw.ac.at/people/page/winterhof/personal.html
Johann Radon Institute for Computational and Applied Mathematics (RICAM), Austrian Academy of Sciences (ÖAW). Finite Fields, Number Theory, Coding Theory, Pseudorandom Numbers, Cryptology, Combinatorics.
Category:
Main\Science\Math\Mathematicians\Personal Pages
|
Combinatorial Representation Theory (CREP) (Popularity: )
(Score: 13.16)
http://www.mathematik.uni-bielefeld.de/~sek/crep.html
CREP is designed to deal with categories whose morphism spaces are finite-dimensional over a field k. The main example of a category with this property is the category of finite-dimensional representations of an associative unital k-algebra.
Category:
Main\Science\Math\Algebra\Software
|
