Edu - PDFSEARCH.IO - Document Search Engine

Edu
Results: 1439644

#	Item
911	MuJoCo: A physics engine for model-based control Emanuel Todorov, Tom Erez and Yuval Tassa University of Washington Abstract— We describe a new physics engine tailored to model-based control. Multi-joint dynamics are r Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2012-07-24 02:47:44 Mathematical optimization Mechanics Physics Dynamical systems Mechanical engineering Contact dynamics Linear complementarity problem Multibody system Trajectory optimization Constraint Degrees of freedom Inverse dynamics
912	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
913	Efficient Generation of Unsatisfiability Proofs and Cores in SAT Roberto As´ın, Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell? Abstract. Some modern DPLL-based propositional SAT solvers now have fas Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-09-01 09:50:28 Theoretical computer science Mathematical logic Automated theorem proving Mathematics Logic in computer science Propositional calculus Constraint programming DPLL algorithm Logic programming Boolean satisfiability problem Unsatisfiable core Maximum satisfiability problem
914	1 Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) VINCENT ST-AMOUR, DANIEL FELTEY, SPENCER P. FLORENCE, SHU-HUNG YOU, and ROBERT BRUCE FINDLER, PLT @ Northwestern University, USA Add to Reading List Source URL: www.ece.northwestern.edu Language: English - Date: 2017-07-17 18:35:27 Mathematics Algebra Fractals L-system Fractal curves Hygienic macro Arity Constructible universe
915	COSC 544 Probabilistic Proof SystemsThe Power of Randomness: Fingerprinting and Freivalds’ Algorithm Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-09-14 15:31:47 Computational complexity theory Randomized algorithms Analysis of algorithms With high probability PP IP RP P Freivalds' algorithm
916	Multivariate Pattern Connectivity Add to Reading List Source URL: saxelab.mit.edu Language: English - Date: 2016-08-17 14:35:44 Magnetic resonance imaging Neuroimaging Neuroscience Cognitive neuroscience Medical imaging Resting state fMRI Functional magnetic resonance imaging Univariate Principal component analysis Nervous system Mathematical analysis
917	Snuggle: Designing for efficient socialization and ideological critique Aaron Halfaker Research & Data Wikimedia Foundation Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2014-04-15 20:28:34 Social information processing Humancomputer interaction Human behavior Collaboration Human resource management Communities Wikipedia community Wikipedia Digital media Wiki Socialization Feminist HCI
918	EnvironmentalSystemsandSustainability_BS_CoastalMarineSystems.pdf Add to Reading List Source URL: catalog.southernct.edu Language: English - Date: 2018-10-06 18:05:28 Course Curricula
919	Overview Groundwork Functional Transducers Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Finite automata Finite-state transducer Lipschitz continuity Computability
920	SPECIFICATION AND DEVELOPMENT OF PARALLEL ALGORITHMS WITH THE PROTEUS SYSTEM ALLEN GOLDBERG, PETER MILLS, LARS NYLAND, JAN PRINS, JOHN REIF, AND JAMES RIELY Abstract. The Proteus language is a wide-spectrum parallel prog Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:00 Computing Parallel computing Computer programming Software engineering Data parallelism Proteus Implicit parallelism Concurrent computing Parallelism Scala

UPDATE