Search Results

Chapter 4. CAN (RO)BOTS REALLY BE MORAL?

Authors: Wallach, Wendell; Allen, Colin

Source: Moral Machines, February 2009 , pp. 55-73(19)

Publisher: Oxford Scholarship Online Monographs

The elementary computable functions over the real numbers: applying two new techniques

Authors: Campagnolo, Manuel; Ojakian, Kerry

Source: Archive for Mathematical Logic, Volume 46, Numbers 7-8, May 2008 , pp. 593-627(35)

Publisher: Springer

Agents of History: Autonomous agents and crypto-intelligence

Author: Geoghegan, Bernard Dionysius

Source: Interaction Studies, Volume 9, Number 3, 2008 , pp. 403-414(12)

Publisher: John Benjamins Publishing Company

Dilly Knox—A Reminiscence of this Pioneer Enigma Cryptanalyst

Author: Batey, Mavis

Source: Cryptologia, Volume 32, Number 2, April 2008 , pp. 104-130(27)

Publisher: Taylor and Francis Ltd

Fast computation by population protocols with a leader

Authors: Angluin, Dana; Aspnes, James; Eisenstat, David

Source: Distributed Computing, Volume 21, Number 3, September 2008 , pp. 183-199(17)

Publisher: Springer

Relations entre l'entropie physique, le codage de l'information et l'énergie de simulation

Authors: Bigerelle, M; Iost, A

Source: Canadian Journal of Physics, Volume 85, Number 12, 1 December 2007 , pp. 1381-1394(14)

Publisher: NRC Research Press

A Review on DNA Computing Models

Authors: Xu, Jin; Tan, Gangjun

Source: Journal of Computational and Theoretical Nanoscience, Volume 4, Numbers 7-8, November/December 2007 , pp. 1219-1230(12)

Publisher: American Scientific Publishers

The need for alternative paradigms in science and engineering education

Author: Baggi, D. L.

Source: European Journal of Engineering Education, Volume 32, Number 4, August 2007 , pp. 441-449(9)

Publisher: Taylor and Francis Ltd

Three fundamental misconceptions of Artificial Intelligence

Author: Wang, Pei

Source: Journal of Experimental & Theoretical Artificial Intelligence, Volume 19, Number 3, September 2007 , pp. 249-268(20)

Publisher: Taylor and Francis Ltd

A language for easy and efficient modeling of Turing machines

Author: Chakraborty, Pinaki

Source: Progress in Natural Science, Volume 17, Number 7, July 2007 , pp. 867-871(5)

Publisher: Taylor and Francis Ltd

On the recognition of context-free languages using accepting hybrid networks of evolutionary processors

Source: International Journal of Computer Mathematics, Volume 84, Number 3, March 2007 , pp. 273-285(13)

Publisher: Taylor and Francis Ltd

The Turing Test as Interactive Proof

Author: Shieber, StuartM.

Source: Noûs, Volume 41, Number 4, December 2007 , pp. 686-713(28)

Publisher: Blackwell Publishing

Computational modelling vs. Computational explanation: Is everything a Turing Machine, and does it matter to the philosophy of mind?

Author: Piccinini, Gualtiero

Source: Australasian Journal of Philosophy, Volume 85, Number 1, March 2007 , pp. 93-115(23)

Publisher: Routledge, part of the Taylor & Francis Group

On the Power of Unambiguity in Alternating Machines

Authors: Spakowski, Holger; Tripathi, Rahul

Source: Theory of Computing Systems, Volume 41, Number 2, August 2007 , pp. 291-326(36)

Publisher: Springer

On mind & Turing's machines

Author: Sieg, Wilfried

Source: Natural Computing, Volume 6, Number 2, June 2007 , pp. 187-205(19)

Publisher: Springer

The Complexity of Tensor Circuit Evaluation

Authors: Beaudry, Martin; Holzer, Markus

Source: computational complexity, Volume 16, Number 1, May 2007 , pp. 60-111(52)

Publisher: Springer

The brain as a system of nested but partially overlapping networks. Heuristic relevance of the model for brain physiology and pathology

Authors: Agnati, L. F.; Guidolin, D.; Fuxe, K.

Source: Journal of Neural Transmission, Volume 114, Number 1, January 2007 , pp. 3-19(17)

Publisher: Springer

Inductive Time-Space Lower Bounds for Sat and Related Problems

Author: Williams, Ryan

Source: computational complexity, Volume 15, Number 4, December 2006 , pp. 433-470(38)

Publisher: Springer

Programming in Polygon R&D: Explorations with a Spatial Language II

Author: Morey, Jim

Source: International Journal of Computers for Mathematical Learning, Volume 11, Number 2, October 2006 , pp. 147-175(29)

Publisher: Springer

After Gödel

Author: Putnam, Hilary

Source: Logic Journal of the IGPL, Volume 14, Number 5, October 2006 , pp. 745-754(10)

Publisher: Oxford University Press