Contact: Virginia Gold

Source URL: fellows.acm.org

• Association for Computing Machinery
• ACM SIGACT
• Allen Newell
• Computer science
• ACM Eugene L. Lawler Award
• Paris Kanellakis Award
• SIGAI
• Turing Award

hlf_2016_participating_laureates.indd

Source URL: www.heidelberg-laureate-forum.org

• Turing Award laureates
• Turing Award
• Nevanlinna Prize
• Robert Tarjan
• John Hopcroft
• Barbara Liskov
• Fields Medal
• Leslie Lamport
• Stephen Cook
• Alan Turing
• Tony Hoare
• Turing

Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARLS Probabilistic Functional Programming in Haskell

Source URL: web.engr.oregonstate.edu

• Probability distributions
• Probability theory
• Probabilistic complexity theory
• Monty Hall problem
• Normalizing constant
• Expected value
• Normal distribution
• Uniform distribution
• Distribution
• Probabilistic Turing machine

A Neural Conversational Model

Source URL: cs224d.stanford.edu

• Artificial intelligence applications
• Computational neuroscience
• Philosophy of artificial intelligence
• Cybernetics
• Alan Turing
• Cleverbot
• Artificial neural network
• Artificial intelligence
• Turing test
• Machine learning
• Conversation
• Machine translation

Spectral Graph Theory and Applications WSLecture 9: Undirected Connectivity in Log-Space Lecturer: Thomas Sauerwald & He Sun

Source URL: resources.mpi-inf.mpg.de

• Complexity classes
• Graph connectivity
• SL
• Expander graph
• Connectivity
• St-connectivity
• Zig-zag product
• L
• Connected component
• Spectral graph theory
• Symmetric Turing machine

Computational Irreducibility and Computational Analogy

Source URL: www.complex-systems.com

• Computability theory
• Theory of computation
• Turing machine
• Alan Turing
• Models of computation
• Computability
• ChurchTuring thesis
• Computable function
• Algorithm
• Reduction
• Turing completeness
• Machine that always halts

TURING 機構に関連するパターンとダイナミクス PATTERNS AND DYNAMICS RELATED TO TURING’S MECHANISMS 広島大学理学研究科  E 棟 002 講義室 2015 年 12 月 18 日 – 19 日

Source URL: www.mls.sci.hiroshima-u.ac.jp

Towards Automatic Generation of Vulnerability-Based Signatures David Brumley, James Newsome, and Dawn Song Carnegie Mellon University Pittsburgh, PA, USA {dbrumley,jnewsome,dawnsong}@cmu.edu

Source URL: users.ece.cmu.edu

• Computability theory
• Vulnerability
• Public-key cryptography
• Theoretical computer science
• Models of computation
• Buffer overflow
• Social vulnerability
• Zero-day
• Ring signature
• Symbolic execution
• Turing machine
• Halting problem

On more realistic environment distributions for defining, evaluating and developing intelligence Jos´e Hern´ andez-Orallo1 David L. Dowe2 Sergio Espa˜

Source URL: users.dsic.upv.es

• Artificial intelligence
• Intelligent agent
• Artificial life
• Intelligence
• Ambient intelligence
• Artificial general intelligence
• Turing test
• Universal intelligence
• Outline of artificial intelligence
• Existential risk from artificial general intelligence

Technische Universität Wien, Fakultät für Informatik Pressemitteilung, 12. Mai 2014 Turing-Preisträger Ivan Sutherland und jüngster Informatikprofessor Erik Demaine an TU Wien Warum ein Paradigmenwechsel in der Prog

Source URL: www.informatik.tuwien.ac.at