CS - PDFSEARCH.IO - Document Search Engine

CS
Results: 61295

#	Item
361	Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers Stuart Pernsteiner1 , Calvin Loncaric1 , Emina Torlak1 , Zachary Tatlock1 , Xi Wang1 , Michael D. Ernst1 , and Jonathan Jacky2 1 Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:06 Formal methods Theoretical computer science Automation Safety case Embedded system Electromagnetism Computing Carbon nanotubes Electrical engineering
362	We know (nearly) nothing! But can we learn? Stephan Schulz DHBW Stuttgart Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:46 Theoretical computer science School of Computer Science University of Manchester Software Automated theorem proving Logic in computer science Mathematical logic E theorem prover Prover9 Vampire Andrei Voronkov Geoff Sutcliffe Rewriting
363	PlateClick: Bootstrapping Food Preferences Through an Adaptive Visual Interface Longqi Yang†,‡ , Yin Cui†,‡ , Fan Zhang†,‡ , John P. Pollak‡ , Serge Belongie†,‡ , Deborah Estrin†,‡ † Department o Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2018-10-25 09:08:19 Artificial neural networks Mathematics Information science Applied mathematics Collective intelligence Computational neuroscience Feature detection Search algorithms Cold start Recommender system Collaborative filtering K-means clustering
364	Phase Recognition from Power Traces of HPC Workloads Joseph Granados, Jake Probst, Nick Armour, Jeff Bahns, Suzanne Rivoire Chung-Hsing Hsu Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:47 Kernel Trace Phase Benchmark Mach
365	The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2017-08-06 02:05:36 Mathematical logic Mathematics Theoretical computer science Automated theorem proving Logic in computer science Methods of proof Boolean algebra Mathematical proofs Proof complexity Boolean satisfiability problem
366	Understanding User Interactions with Podcast Recommendations Delivered Via Voice Longqi Yang Michael Sobolev Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2018-10-25 09:08:13 Humancomputer interaction Recommender system Human behavior User interface techniques Computing User interface Usability Association for Computing Machinery Human communication GroupLens Research Collaborative filtering
367	The Problem Our Approach Quantified Event Automata Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 07:27:30 Ancient Greek technology Automation Automaton Robotics Formal methods Programming paradigms
368	Robustness Analysis of Networked Systems? Roopsha Samanta1 , Jyotirmoy V. Deshmukh2 , and Swarat Chaudhuri3 1 University of Texas at Austin 2 Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Mathematics Elementary mathematics Formal languages Theoretical computer science Finite automata Linguistics Dynamic programming String Levenshtein distance Finite-state transducer Term Sequence
369	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
370	arXiv:1504.04974v1 [cs.DC] 20 Apr 2015 UNDERSTANDING BIG DATA ANALYTIC WORKLOADS ON MODERN PROCESSORS Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-04-20 20:50:36 Computing Economy Data Data management Cloud infrastructure Big data Technology forecasting Transaction processing Business intelligence Analytics Benchmark MapR

UPDATE