Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Browse and Search the Library
Home : Math Topics : Applications/Connections : Sciences : Computer Science : AI

_____________________________________
Library Home || Search || Full Table of Contents || Suggest a Link || Library Help
_____________________________________


  Selected Sites   (see also All Sites in this category)

  1. Artificial Intelligence Resources - NRC - National Research Council (NRC) of Canada
    Internet resources useful to AI researchers: Archives for newsgroups and mailing lists; bibliographies; books; companies; conferences; employment opportunities; FAQs; journals; location index (various AI research groups, organized geographically); list of AI newsgroups, with live links; pointers to lists of AI personal pages; publishers that carry some AI books or journals; other resource lists; societies directory; software; subject index; Canadian companies and projects; Computer Science Technical Reports. more>>


 
  All Sites - 29 items found, showing 1 to 29

  1. Algorithms, Problems, Empirical Studies (APES) - Leeds and Strathclyde Universities, U.K.
    An informal group of researchers interested in the understanding of algorithms and problems through empirical studies. Brian Hayes' article Can't Get No Satisfaction, introduces phase transition research in satisfiability, outlining a problem near the ...more>>

  2. Centre for Discrete Mathematics and Theoretical Computer Science (CDMTCS) - Computer Science, Mathematics; Univ. of Auckland, NZ
    A centre founded to support basic research on the interface between mathematics and computing, to foster research and development in these areas within the South Pacific region, and to create links between researchers in that region and their counterparts ...more>>

  3. Changes of Mathematical State [PDF document] - Ivars Peterson - Science News Online
    A discussion of constraint-satisfaction problems, more specifically the logic puzzle in theoretical computer science known as the satisfiability (SAT) problem (e.g. working out a seating plan), the current state of research on computational "phase transitions," ...more>>

  4. Computers, Free Will, and Marching Ants (Math Chat) - Frank Morgan; Christian Science Monitor
    Is it logically possible for a computer to have free will? ...more>>

  5. CP-AI-OR 2001: Third International Workshop
    Third International Workshop on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems. Wye College (Imperial College), Ashford, Kent UK; 8-10 April, 2001. Papers available ...more>>

  6. C++ Simulator of a Turing Machine - Alex Vinokur
    A program that simulates the deterministic and nondeterministic multitape Turing Machine. The following demo Turing machines are demonstrated with using the C++ Simulator: an addition program deterministic, 1 tape), an addition program with marker (deterministic, ...more>>

  7. Cybernetics and Systems Theory - F. Heylighen; Principia Cybernetica Web
    General background material on the field of Cybernetics and Systems Science (also: (General) Systems Theory or Systems Research), an academic domain that touches virtually all traditional disciplines, from mathematics, technology, and biology to philosophy ...more>>

  8. Evil Mad Science - Evil Mad Science LLC
    Producers of do-it-yourself (DIY) and open-source hardware designs in support of art, education, and accessibility. See, in particular, the d20 and d12 Handbags of Holding Kits (zippered bags in the shape of dodecahedra and icosahedra) and the kit for ...more>>

  9. Fuzzy Logic - Quadralay Corporation
    A departure from classical two-valued sets and logic, Fuzzy Logic uses "soft" linguistic (e.g. large, hot, tall) system variables and a continuous range of truth values in the interval [0,1], rather than strict binary (True or False) decisions and assignments. ...more>>

  10. The Generalized Theory of Life - Vyacheslav L. Kalmykov; Institute of Cell Biophysics, Russian Academy of Sciences
    A paper that presents an integrally generalized theory or conceptualization of life that includes elements of an axiomatic approach and is physically interpretable, formulated as the result of attempts to invent a holistic system of creative synthetic ...more>>

  11. Great Math Programs - Xah Lee
    A listing about 40 excellent recreational math programs for Macintosh that do: polyhedra and Rubic cubes, curves and surfaces, fractals and L-systems, tilings and symmetry, game of hex and game of life, chess and five-in-a-row, peg solitare and polyominos, ...more>>

  12. INFORMS Computing Society (ICS) - Institute for Operations Research and the Management Sciences
    A society concerned with computer science, artificial intelligence, and their relation to operations research and the management sciences. The purpose of the ICS is twofold: to help keep INFORMS members abreast of useful developments in CS/AI, and to ...more>>

  13. Ivan Josť online - Ivan Josť Varzinczak
    Research on logic-based knowledge representation and reasoning in Artificial Intelligence. Research areas: logic-based knowledge representation and reasoning; description logics, ontology engineering and semantic web; nonmonotonic reasoning, belief revision ...more>>

  14. Journal of Artificial Intelligence Research (JAIR) - AI Access Foundation, Inc.
    JAIR covers all areas of artificial intelligence (AI), publishing refereed research articles, technical notes, expository and survey articles, and special issues. Established in 1993 as one of the first electronic scientific journals, JAIR is indexed ...more>>

  15. Keyword search of AI publications - College of Computing, Georgia Tech University
    To search, simply enter a query and press the 'search' button. If you enter two or more words, any document that contains ANY of the words will be found. ...more>>

  16. Linguistic Geometry (LG) - Boris Stilman; Dept. of Computer Science & Engineering, Univ. of Colorado-Denver
    Solving search problems of high dimension. Since 1991, Professor Stilman has been developing a new area in Artificial Intelligence, Linguistic Geometry, based on the investigation into sophisticated human heuristics resulting in highly selective searches, ...more>>

  17. Liz's Research Interests - Liz Bradley, Department of Computer Science, University of Colorado
    Artificial intelligence projects include Chaography, a pair of tools that use mathematics to generate choreographic variations: Chaographer, which uses a chaotic mapping to generate variations on a musical piece; and MotionMind, which uses machine learning ...more>>

  18. Mathematical Experience is Scruffy but Computable - Edmund Furse, University of Glamorgan
    A presentation in slide format, with expanded commentary side-by-side, refuting some of Roger Penrose's ideas about mathematics, computers, and artificial intelligence. Furse argues for a definition of these terms which allows for machines to be able ...more>>

  19. Mathematical Logic - Department of Mathematics, Manchester University, U.K.
    There is a strong tradition in mathematical logic at Manchester. The first logician at Manchester was Alan Turing, now considered to be the father of artificial intelligence and one of the great visionaries of the twentieth century... The present group ...more>>

  20. Mathematics - World Lecture Hall
    Links to pages created by faculty worldwide who are using the Web to deliver math class materials: course syllabi, assignments, lecture notes, exams, class calendars, multimedia textbooks, etc. Advanced Integer Programming, Advanced Linear Programming, ...more>>

  21. Nikkoa - Nikkoa, Inc.
    Ad hoc methods for analysis, estimation, prediction, detection, identification, tracking and association of signals and information include neural networks, case-based reasoning, fuzzy logic, evidential reasoning, and artificial intelligence. Product, ...more>>

  22. Nonlinear Systems Laboratory - Massachusetts Institute of Technology
    A group dedicated to the analysis of nonlinear systems: list of publications (some abstracts are available online) and animations of a robot arm catching a ball and a paper airplane. ...more>>

  23. Principia Cybernetica Web - Turchin, Joslyn, Heylighen, Bollen, eds.
    Principia Cybernetica Project (PCP) is an international organization that tries to tackle age-old philosophical questions with the help of the most recent cybernetic theories and technologies. The Project's aim is the computer-supported collaborative ...more>>

  24. Principles and Practice of Constraint Programming: Conferences - Department of Computing Science, Univ. of Alberta, B.C.
    Links to previous and future conferences concerned with all aspects of computing with constraints including: algorithms, applications, environments, languages, models, systems. Contributions are welcome from any discipline concerned with constraints, ...more>>

  25. Prognosis - Johann Rost
    Business software that uses artificial intelligence and statistical methodology to achieve forecasting accuracy for market shares, sales, profits, demand for services or material, etc. The program does not require a background in statistics or time series ...more>>

  26. QUdata.com - Icestone Trustee Limited
    Online tools and reference library resources for data mining and knowledge discovery. Collection of free online statistical and scientific calculators, 2D and 3D function plotters. ...more>>

  27. Silicon Champions of the Game - Ivars Peterson - Science News Online
    Deep Blue's triumph over Gary Kasparov in May of 1997 marked the first match victory by a chess-playing computer over a reigning world champion. Some of the world's top computer programs are also playing backgammon, bridge, checkers, chess, Go, Othello, ...more>>

  28. Solving Rubik's Cube - David Lee Winston Miller
    A "best-fast" Arity Prolog program and demonstration of an efficient heuristic search method to solve Rubik's Cube. Examine the cube's topography (its flat layout) and "submachines." Documentation includes "Understanding the problem," "Why this approach ...more>>

  29. Why 2001 Won't Be 2001 - Keith Devlin (Devlin's Angle)
    "It's a good story... But how realistic is the behavior of HAL? We don't yet have computers capable of genuinely independent thought, nor do we have computers we can converse with using ordinary language. True, there have been admirable advances in systems ...more>>


 
Page:  1


Search for these keywords:
               

Click only once for faster results:

all keywords, in any order at least one, that exact phrase
parts of words whole words


Power Search

[Privacy Policy] [Terms of Use]

_____________________________________
Home || The Math Library || Quick Reference || Search || Help
_____________________________________

© 1994-2014 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.