Semantic Integration Through Invariants

Source URL: ai2-website.s3.amazonaws.com

• Artificial intelligence
• Tests
• Standardized tests
• Psychometrics
• Winograd Schema Challenge
• Computational neuroscience
• SAT
• Cyc
• Turing test
• Graduate Record Examinations
• Commonsense knowledge
• Multiple choice

CHAPTER 5 Romeo and Juliet, Spontaneous Pattern Formation, and Turing’s Instability Bernold Fiedler

Source URL: dynamics.mi.fu-berlin.de

The Church-Turing thesis in a quantum world Ashley Montanaro Centre for Quantum Information and Foundations, Department of Applied Mathematics and Theoretical Physics, University of Cambridge

Source URL: www.cs.kent.ac.uk

Proceedings of the Society of PoC k GTFO Issue 0x01, an Epistle to the 10th H2HC in São Paulo From the writing desk, not the raven, of Rt. Revd. Preacherman Pastor Manul Laphroaig pastor@phrack org October 6, 2013 Legal

Source URL: greatscottgadgets.com

• Turing machine
• Computing
• Theoretical computer science
• Models of computation
• Theory of computation
• Computability theory
• Alan Turing
• Typewriter
• Computer
• Word processor

Microsoft Word - Priorities for the Archive Centre 2016.doc

Source URL: www.kings.cam.ac.uk

• Archival science
• Museology
• Humanities
• Science and technology
• Documents
• Archivists
• Archive
• Preservation
• Alan Turing

2016 Editorial Calendar January 2016 March 2016

Source URL: www.acm-media.org

• Internet Hall of Fame
• Turing Award laureates
• Vint Cerf
• Byte
• SIGGRAPH
• Internet privacy
• Computer ethics
• Turing Award

TURING AWARD LECTURE Reflections on Trusting Trust To what extent should one trust a statement that a program is free of Trojan horses? Perhaps it is more important to trust the people who wrote the software.

Source URL: www.ece.cmu.edu

• Software engineering
• Computer programming
• Computing
• Procedural programming languages
• Quine
• D
• ALGOL 68
• XPL
• Printf format string
• C
• Pascal
• Name mangling

Alan Turing Decoded ACKNOWLEDGMENTS Editors: Orlando Dos Reis, Nicole Sclama, and Carol Burrell Project Manager: Charles Kochman Designer: Pam Notarantonio

Source URL: www.gt-labs.com

Multiplication rapide d’entiers et de polynômes Joris van der Hoeven Laboratoire d’informatique, UMR 7161 CNRS Campus de l’École polytechnique 1, rue Honoré d’Estienne d’Orves Bâtiment Alan Turing, CS35003

Source URL: www.lifl.fr

Games and Synthesis Nir Piterman University of Leicester Telč, July-Autugst 2014 Games and Synthesis, EATCS Young Researchers School, Telč, Summer 2014

Source URL: eatcs-school.fi.muni.cz

• Theoretical computer science
• European Association for Theoretical Computer Science
• Fellows of the Royal Society
• Model checking
• Alan Turing