New York University - PDFSEARCH.IO - Document Search Engine

New York University
Results: 19795

#	Item
1	Outline SMT: Where Do We Go From Here? Clark Barrett, New York University SMT Workshop, July 17, 2014 Add to Reading List Source URL: smt2014.it.uu.se Language: English - Date: 2014-07-21 06:41:07 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
2	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 Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 12:47:14 Model theory Mathematics Metalogic Logic Mathematical logic Interpretation Structure
3	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 Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2016-05-13 20:53:50 Learning Education Human behavior Educational psychology Educational practices Philosophy of education Curricula Bayesian network Active learning Question Bayesian inference Machine learning
4	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 Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2018-06-05 14:44:05 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
5	Solving Non-Linear Arithmetic Dejan Jovanovi´c1 and Leonardo de Moura2 1 2 New York University Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 12:47:14 Algebra Mathematics Polynomials Abstract algebra Computer algebra Polynomial Factorization of polynomials Constraint programming Resultant Constraint logic programming Polynomial ring
6	Towards A Framework for Mobile Behavior Change Research Fabian Okeke Cornell Tech, Cornell University New York, New York Add to Reading List Source URL: destrin.smalldata.io Language: English - Date: 2018-10-22 18:10:48 Computing Technology Classes of computers Mobile computers Humancomputer interaction Cloud clients Smartphones Mobile phones Ubiquitous computing Persuasive technology Mobile app Wearable computer
7	Brenden Lake Positions: New York University Assistant Professor Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2018-06-27 09:40:50 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
8	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 Add to Reading List Source URL: www.rfsuny.org Language: English - Date: 2018-08-15 09:40:23
9	SeekWhence A Retrospective Analysis Tool for General Game Design Tiago Machado New York University Add to Reading List Source URL: julian.togelius.com Language: English - Date: 2017-08-27 22:12:52
10	Teaching Coding in Journalism Schools: Considerations for a Secure Technological Infrastructure Meredith Broussard New York University 20 Cooper Square #702 New York, NY 10003 Add to Reading List Source URL: cj2015.brown.columbia.edu Language: English - Date: 2015-10-01 12:16:30