SYSTEMS SECURITY Editors: Patrick McDaniel, | Sean W. Smith, Beyond Planted Bugs in “Trusting Trust” The Input-Processing Frontier Sergey Bratus, Trey Darley, Michael Locasto

Source URL: langsec.org

• Computability theory
• Theory of computation
• Models of computation
• Turing machine
• Markup languages
• Parsing
• Halting problem
• Software bug
• Programming language
• Theoretical computer science
• Computer science
• Computing

Microsoft Word - Turing scholarship Flier.docx

Source URL: cns.ucsd.edu

UCRL-TREarly Computing and Its Impact on Lawrence Livermore National Laboratory

Source URL: e-reports-ext.llnl.gov

• University of Pennsylvania
• Turing machine
• Alan Turing
• ENIAC
• John Mauchly
• Von Neumann architecture
• John von Neumann
• J. Presper Eckert
• Universal Turing machine
• Computing
• Classes of computers
• History of computing hardware

Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

Source URL: www.paultaylor.eu

• Theory of computation
• Computability theory
• Functions and mappings
• Recursion
• Function
• Computable number
• Compact space
• Subspace topology
• Sierpiński space
• Topology
• Mathematics
• General topology

Extracting Product Features and Opinions from Reviews Ana-Maria Popescu and Oren Etzioni Department of Computer Science and Engineering University of Washington Seattle, WA {amp, etzioni}@cs.washington.edu

Source URL: turing.cs.washington.edu

• Syntax
• Sentiment analysis
• Opine
• Pattern recognition
• Preposition and postposition
• Phrase
• Linguistics
• Natural language processing
• Science

The Robots Must Be Crazy: Do We Need a DSM Turing Test? Greg Garvey Chair, Director Game Design & Development Quinnipiac University Hamden, CT 06518

Source URL: conferences.asucollegeoflaw.com

• Psychopathology
• Artificial intelligence
• Computational neuroscience
• Autism
• Turing test
• Strong AI
• Spectrum approach
• Diagnostic and Statistical Manual of Mental Disorders
• Artificial consciousness
• Psychiatry
• Medicine
• Abnormal psychology

Awards and Distinguished Papers

Source URL: ijcai.org

• Year of birth missing
• Turing Award laureates
• International Joint Conference on Artificial Intelligence
• Fellows of the British Computer Society
• Canada Research Chairs
• IJCAI Computers and Thought Award
• Alan Bundy
• Raymond Reiter
• Sarit Kraus
• Artificial intelligence
• Science
• Academia

Human-focused Turing tests: A framework for judging nudging and techno-social engineering of human beings Brett Frischmann Abstract This article makes two major contributions. First, it develops a methodology to investig

Source URL: conferences.asucollegeoflaw.com

• Alan Turing
• Libertarianism in the United States
• Nudge
• Turing test
• Cass Sunstein
• Human
• Engineering
• Logic
• Technology
• Zoology
• Megafauna
• Science

ALAN TURING: THE HIDDEN WARTIME MANUSCRIPT BY THE FATHER OF COMPUTING Monday April 13, 2015 New York

Source URL: ucalgary.ca

• Business models
• Commerce
• Game theory
• Auction
• Bonhams
• Bid
• EBay
• Auctioneering
• Business
• Auction theory

‘Computing’ as Information Compression by Multiple Alignment, Unification and Search∗ J Gerard Wolff (University of Wales, Bangor, UK )

Source URL: www.cognitionresearch.org

• Science
• Formal sciences
• Bioinformatics
• Formal grammar
• Regular expression
• Universal Turing machine
• Pattern matching
• Unification
• Pattern
• Applied mathematics
• Formal languages
• Mathematics