Laboratory - PDFSEARCH.IO - Document Search Engine

Laboratory
Results: 71265

#	Item
31	MIT Saxelab Research Partnership In order to establish robust tools that can measure the educational impact of virtual exchange, the Saxelab Social Cognitive Neuroscience Laboratory at MIT is engaged in a multi-year iter Add to Reading List Source URL: virtualexchangecoalition.org Language: English - Date: 2015-09-30 10:27:54 Group processes Education Group dynamics Conflict Educational technology Sociology Behavioural sciences Contact hypothesis Integrated threat theory
32	Learning Deep Features for Discriminative Localization Bolei Zhou, Aditya Khosla, Agata Lapedriza, Aude Oliva, Antonio Torralba Computer Science and Artificial Intelligence Laboratory, MIT {bzhou,khosla,agata,oliva,torra Add to Reading List Source URL: cnnlocalization.csail.mit.edu Language: English - Date: 2016-05-16 13:14:18 Computer vision Artificial intelligence Computational neuroscience Artificial neural networks Convolutional neural network Computational statistics Neural networks AlexNet Conference on Computer Vision and Pattern Recognition ImageNet Object detection Receptive field
33	Automated Testing of Planning Models Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith Jet Propulsion Laboratory? , California Institute of Technology 4800 Oak Grove Drive, Pasadena/Los Angeles, C Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:31:15 Model checkers Promela Computing Model checking SPIN model checker Gerard J. Holzmann Modeling language Mars Exploration Rover Economic model Theoretical computer science Notation
34	Self-Practice Imitation Learning from Weak Policy Qing Da, Yang Yu, and Zhi-Hua Zhou National Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China {daq,yuy,zhouzh}@lamda.nju.edu.cn Add to Reading List Source URL: cs.nju.edu.cn Language: English - Date: 2016-01-04 03:15:09 Survey methodology Machine learning algorithms Sampling techniques Artificial intelligence Sampling Support vector machine Reinforcement learning Simple random sample Learning Machine learning Cognition
35	A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2012-12-17 05:23:36 Software development Aspect-oriented software development Aspect-oriented programming Formal methods Logic in computer science Runtime verification Pointcut Formal verification Join point Instrumentation
36	Characterization of TCC on Chip-Multiprocessors Austen McDonald, JaeWoong Chung, Hassan Chafi, Chi Cao Minh, Brian D. Carlstrom Lance Hammond, Christos Kozyrakis, Kunle Olukotun Computer Systems Laboratory Stanford Unive Add to Reading List Source URL: www.austenmcdonald.com Language: English - Date: 2016-01-26 12:43:51 Computing Concurrent computing Cache coherency Computer architecture Transaction processing Cache Parallel computing Concurrency control CPU cache MESI protocol Cache coherence Victim cache
37	Experience with Rule-Based Analysis of Spacecraft Logs? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory California Institute of Technology California, USA Add to Reading List Source URL: rjoshi.org Language: English - Date: 2015-01-06 12:33:50 Concurrency control Computing Computer programming Data management Lock N1 Monitor File locking APT
38	Probabilistic Mobile Ambients Marta Kwiatkowskaa , Gethin Norman∗,a , David Parkera , Maria Grazia Vigliottib a Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD of Computing, Imperi Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2009-01-19 04:25:05 Mathematics Mathematical logic Theoretical computer science Logic in computer science Temporal logic Process calculi Ambient calculus Computation tree logic Bisimulation Propositional calculus Distribution Well-formed formula
39	Verification Using SAT and SMT Solvers1 N. Shankar Computer Science Laboratory SRI International Menlo Park, CA Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-25 09:00:40 Theoretical computer science Mathematical logic Mathematics Boolean algebra Logic in computer science Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Satisfiability modulo theories Propositional calculus Model checking
40	The impact of speed on the running economy (ECOR and RE) In our book (www.thesecretofrunning.com) we have described our initial treadmill research on 14 test runners in the physiological laboratory of the Dutch Sp Add to Reading List Source URL: thesecretofrunning.com Language: English - Date: 2017-12-30 02:59:26 Exercise physiology Sports Human behavior Running economy Lactate threshold

UPDATE