People

Brain-Mind: Know Thyself Brain-Mind: Know Thyself- Philosophy of mind for artificial intelligence. This paper was originally commissioned by and published in NOVEMBER Magazine. Links will lead to the free… What Robots Can & Can't Be What Robots Can & Can't Be- Essay by Selmer Bringsjord argues that AI will continue to produce machines with the capacity to pass stronger versions of the Turing Test but that the… Epistemological Perspectives on Simulation Epistemological Perspectives on Simulation- Discussion of the epistemological status of simulation in a cross-disciplinary setting could contribute to a deeper understanding of re… MainFrame: Artificial Intelligence MainFrame: Artificial Intelligence- Material on Artificial Intelligence as engineering with emphasis on the exploitation of logic. A topography is presented with logic at the cent… Brain in a Vat Brain in a Vat- Can bad men make good brains do bad things? Being Real by Judith S. Donath Being Real by Judith S. Donath- This appears in Goldberg, K. (ed.) The Robot in the Garden: Telerobotics and Telepistemology in the Age of the Internet, MIT Press The Digital Philosopher The Digital Philosopher- by Harvey Blume Can robotics shed light on the human mind? On evolution? Daniel Dennett -- whose work unites neuroscience, computer science, and evolution… A Philosophical Encounter by Aaron Sloman A Philosophical Encounter by Aaron Sloman- In Proceedings 14th International Joint Conference on AI Montreal, August 1995: `A philosophical encounter: An interactive presentation … Stevan Harnad E-Prints on Cognitive Psychology Stevan Harnad E-Prints on Cognitive Psychology- Papers on categorical perception, the symbol grounding problem, and consciousness, with particular emphasis on the philosophy of AI. A Definition of AI A Definition of AI- A proposition for a formal definition of AI. Computational Algebra Group Computational Algebra Group- Producers of MAGMA. Based at the University of Sydney, Australia. Anthony C. Hearn Anthony C. Hearn- Resident consultant at RAND; research work includes symbolic and algebraic computation (especially REDUCE), scientific software, digital publication and computer… Centre for Interdisciplinary Research in Computational Algebra Centre for Interdisciplinary Research in Computational Algebra- University of St Andrews. Coordinates the international efforts to develop maintain and promote the GAP (groups, al… Programming and Symbolic Computation Team Programming and Symbolic Computation Team- Department of Mathematics and Computer Science, University of La Rioja, Logroño, Spain. Research has been focused on the design, specifi… Centre for Computer Algebra Centre for Computer Algebra- A scientific institution of the departments of Mathematics , Computer Science , and Electrical Engineering at the University of Kaiserslautern. The go… Hungarian Academy of Sciences Hungarian Academy of Sciences- Department of Computer Algebra. Members, research projects and computer algebra resources. Site in Hungarian and English. Computer Algebra Group Computer Algebra Group- Part of the Centre for Experimental and Constructive Mathematics (CECM), Simon Fraser University, BC, Canada. Details of members, projects, meetings and pu… Imai Laboratory Imai Laboratory- Department of Information Science, the University of Tokyo. Research projects include Computational Algebra and Geometry. Details of members' research and publica… Symbolic Computation Group Symbolic Computation Group- University of Waterloo, Canada. Covers both symbolic computation and hybrid symbolic-numeric computation. Groups, Algorithms and Programming Groups, Algorithms and Programming- Group at the University of St. Andrews developing GAP, a free system for computational discrete algebra. Ontario Research Centre for Computer Algebra (ORCCA) Ontario Research Centre for Computer Algebra (ORCCA)- University of Western Ontario and University of Waterloo. Carries out fundamental research in and development of mathematical… Research Institute for Symbolic Computation (RISC-Linz) Research Institute for Symbolic Computation (RISC-Linz)- An institute of the Johannes Kepler University in Linz, Austria, founded in 1987 by Prof. Bruno Buchberger. Research focus… Mukundan, R. Mukundan, R.- University of Canterbury. Image Analysis: Computer Vision, Pattern Recognition, Moment functions, Biometrics. Computer Graphics: Graphics Algorithms, Visualization, … Jeffrey D Ullman Jeffrey D Ullman- An author of computer science books, on algorithms and Discrete Mathematics. Georgiou, Chryssis Georgiou, Chryssis- Department of Computer Science, University of Cyprus. Design and Analysis of Algorithms; Parallel and Distributed Computing; Fault-Tolerance; Survivability of … Adleman, Leonard Adleman, Leonard- University of Southern California. DNA computing. Research papers, pictures, curriculum vitae. Rajeev Motwani Rajeev Motwani- A popular author for Discrete Mathematics and Algorithms. Frank Dehne Frank Dehne- Carleton University, Ottawa. Parallel computing. CSS3 PIE CSS3 PIE- Code for a Internet Explorer attached behavior which, that allows IE to recognize and display a number of CSS3 properties. Site includes download, documentation, a user … QuirksMode: CSS Contents and Browser Compatibility QuirksMode: CSS Contents and Browser Compatibility- Tests of CSS2 and CSS3 selectors, pseudoclasses and declarations, including compatibility information for Explorer, Mozilla, Sa…