Towards a common philosophy of explanation for artificial and biological intelligence Jessica A Thompson () International Laboratory for Brain, Music and Sound (BRAMS) Montreal Institute for Learni

Source URL: thompsonj.github.io

• Metaphysics
• Cognitive science
• Neuroscience
• Computational neuroscience
• Cognitive neuroscience
• Philosophy of science
• Emergence
• Mind
• Neurophilosophy
• Theory
• Neural network
• Occam's razor

Wireless Institute of Australia INFORMATION PAPER AUSTRALIAN REPEATER DIRECTORY Please advise any corrections or additions to: , or by mail to WIA Repeater Directory, PO Box 2042, Bayswater,

Source URL: www.wia.org.au

in Knowledge Engineering Reviews, 2001 Synthesis of EÆcient Constraint Satisfaction Programs Stephen J. Westfold and Douglas R. Smith Kestrel Institute 3260 Hillview Avenue

Source URL: www.kestrel.edu

• Constraint programming
• Mathematics
• Lattice theory
• Mathematical optimization
• Applied mathematics
• Constraint satisfaction
• Local consistency
• Semilattice
• Linear programming
• Optimization problem
• Constraint
• Feasible region

HONG KONG INSTITUTE FOR MONETARY RESEARCH LIQUIDITY SHOCKS AND “BORROW TO LEND” SHADOW BANKING ACTIVITIES Zhibo Tan

Source URL: www.hkimr.org

• Economy
• Money
• Finance
• Banking
• Financial markets
• Bank
• Short
• Central bank
• Market liquidity
• Shadow banking system
• Subprime crisis background information
• Reserve Bank of India

Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology Pasadena

Source URL: rjoshi.org

• Software testing
• Software engineering
• Computing
• Quality
• Fault injection
• Software verification
• Reliability engineering
• Formal verification
• Flash memory
• Software quality
• Stress testing
• Exception handling

Evolving Specification Engineering Dusko Pavlovic, Peter Pepper, Doug Smith Email: {dusko,smith}@kestrel.edu, Kestrel Institute and Technische Universit¨ at Berlin

Source URL: www.kestrel.edu

• Concurrent computing
• Liveness
• Temporal logic
• Safety property
• Category theory
• Computation tree logic
• Morphism
• Dual
• Category
• Natural transformation
• Mathematics
• Mathematical logic

Cryptanalysis of KeeLoq with COPACOBANA Martin Novotný1,2, Timo Kasper1 Horst Görtz Institute for IT-Security Ruhr University Bochum 1

Source URL: www.hyperelliptic.org

• Cryptography
• Radio electronics
• Block ciphers
• KeeLoq
• Rolling code
• Data Encryption Standard
• ICE

Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org

Source URL: arieg.bitbucket.io

• Theoretical computer science
• Formal methods
• Software engineering
• Logic in computer science
• Formal verification
• Satisfiability modulo theories
• Abstract interpretation
• Loop invariant
• Logic programming
• Model checking
• KeY
• Software verification

A Case Study on the Success of Altruistic Requests Tim Althoff, Cristian Danescu-Niculescu-Mizil, Dan Jurafsky Stanford University & Max Planck Institute SWS What makes a request successful?

Source URL: www.timalthoff.com

• Psychology
• Behavioural sciences
• Behavior
• Human behavior
• Normative ethics
• Interpersonal relationships
• Community building
• Positive psychology
• Reciprocity
• Gratitude
• Social psychology

Rene Peralta and John Kelsey, National Institute of Standards and Technology, Computer Security Division. Nigel Smart, Professor of Cryptology,

Source URL: zkp.science

• Cryptography
• Secret sharing
• Public-key cryptography
• Secure multi-party computation
• Commitment scheme
• Cryptographic protocol
• Block cipher
• Zero-knowledge proof