Outline SMT: Where Do We Go From Here? Clark Barrett, New York University SMT Workshop, July 17, 2014

Source URL: smt2014.it.uu.se

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Logic in computer science
• NP-complete problems
• Electronic design automation
• Formal methods
• Constraint programming
• Satisfiability modulo theories
• Boolean satisfiability problem
• Solver
• Automated reasoning

Sharing is Caring: Combination of Theories? Dejan Jovanovi´c and Clark Barrett New York University Abstract. One of the main shortcomings of the traditional methods for combining theories is the complexity of guessing t

Source URL: csl.sri.com

• Model theory
• Mathematics
• Metalogic
• Logic
• Mathematical logic
• Interpretation
• Structure

Unfailing Haskell: A Static Checker for Pattern Matching Neil Mitchell and Colin Runciman http://www.cs.york.ac.uk/∼ndm , http://www.cs.york.ac.uk/∼colin University of York, UK

Source URL: community.haskell.org

• Computer programming
• Software engineering
• Declarative programming
• Recursion
• Functional programming
• Computability theory
• Theoretical computer science
• Programming paradigms
• Algebraic data type
• Fold
• Pattern matching
• Conditional

Asking and evaluating natural language questions Anselm Rothe1 , Brenden M. Lake2 , and Todd M. Gureckis1 1 Department of Psychology, 2 Center for Data Science, New York University

Source URL: cims.nyu.edu

• Learning
• Education
• Human behavior
• Educational psychology
• Educational practices
• Philosophy of education
• Curricula
• Bayesian network
• Active learning
• Question
• Bayesian inference
• Machine learning

Learning Inductive Biases with Simple Neural Networks Reuben Feinman () Center for Neural Science New York University Abstract People use rich prior knowledge about the world in order to

Source URL: cims.nyu.edu

• Artificial neural networks
• Computational neuroscience
• Artificial intelligence
• Learning
• Applied mathematics
• Machine learning
• Computational statistics
• Computer vision
• Convolutional neural network
• Deep learning
• Concept learning
• One-shot learning

Solving Non-Linear Arithmetic Dejan Jovanovi´c1 and Leonardo de Moura2 1 2 New York University

Source URL: csl.sri.com

• Algebra
• Mathematics
• Polynomials
• Abstract algebra
• Computer algebra
• Polynomial
• Factorization of polynomials
• Constraint programming
• Resultant
• Constraint logic programming
• Polynomial ring

The University of York Department of Computer Science Programming Languages and Systems Group Unfailing Haskell Qualifying Dissertation

Source URL: community.haskell.org

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Recursion
• Higher-order functions
• Programming language comparisons
• Haskell
• Lazy evaluation
• ML
• Conditional

Towards A Framework for Mobile Behavior Change Research Fabian Okeke Cornell Tech, Cornell University New York, New York

Source URL: destrin.smalldata.io

• Computing
• Technology
• Classes of computers
• Mobile computers
• Humancomputer interaction
• Cloud clients
• Smartphones
• Mobile phones
• Ubiquitous computing
• Persuasive technology
• Mobile app
• Wearable computer

Brenden Lake Positions: New York University Assistant Professor

Source URL: cims.nyu.edu

• Cognitive science
• Neuroscience
• Artificial intelligence
• Computational neuroscience
• Conference on Neural Information Processing Systems
• International Conference on Machine Learning
• Deep learning
• Cognitive Science Society
• Vasant Honavar
• Amir Hussain

The Research Foundation for SUNY Frequently Asked Questions (FAQ) History, Purpose, and Organizational Structure What is the RF? The Research Foundation for The State University of New York (RF) is the largest comprehens

Source URL: www.rfsuny.org