Magnus - PDFSEARCH.IO - Document Search Engine

Magnus
Results: 1531

#	Item
231	The Semantics of Power and ARM Multiprocessor Machine Code Jade Alglave2 Anthony Fox1 Samin Ishtiaq3 Magnus O. Myreen1 Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2012-09-10 07:41:00
232	Canonical Correlation a Tutorial Magnus Borga January 12, 2001 Contents Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-04-05 21:01:47
233	Radio Aggregation Scheduling? 1 Rajiv Gandhi , Magnús M. Halldórsson 1 Add to Reading List Source URL: www.christiankonrad.de Language: English - Date: 2015-08-07 16:55:29
234	Roslin’s Self-Portrait with his Wife Marie Suzanne Giroust Painting a Portrait of Henrik Wilhelm Peill Magnus Olausson Director of Collections and the Swedish National Portrait Gallery Art Bulletin of Add to Reading List Source URL: nationalmuseum.diva-portal.org Language: English - Date: 2014-06-13 08:34:08
235	Detecting speculations, contrasts and conditionals in consumer reviews Maria Skeppstedt1,2 Teri Schamp-Bjerede3 Magnus Sahlgren1 Carita Paradis3 Andreas Kerren2 1 Gavagai AB, Stockholm, Sweden {maria, mange}@gavagai.se 2 Add to Reading List Source URL: www.emnlp2015.org Language: English - Date: 2015-12-05 03:42:24
236	forallx CambridgeP.D. Magnus University at Albany, State University of New York Modified for the Cambridge course by: Add to Reading List Source URL: people.ds.cam.ac.uk Language: English - Date: 2014-07-15 07:17:33
237	Social believability in games - the early years Magnus Johansson Department of Computer and Systems Sciences Stockholm University Kista, Stockholm, Sweden Add to Reading List Source URL: fdg2014.org Language: English - Date: 2014-04-16 20:00:44
238	UNIVERSITETSRANKNINGEN FRÅN TIMES HIGHER EDUCATION 2015 En analys av resultatet för Göteborgs universitet. Magnus MacHale-Gunnarsson, Analys och utvärdering, Forsknings- och Add to Reading List Source URL: medarbetarportalen.gu.se Language: Swedish - Date: 2015-10-01 06:04:55
239	What New Technologies Are Teaching Us About the Game of Baseball Alan M. Nathan University of Illinois at Urbana-Champaign October 15, 2012 Add to Reading List Source URL: baseball.physics.illinois.edu Language: English - Date: 2012-10-15 12:04:47 Baseball Baseball pitches Sports Ballistics Aerodynamics Fluid dynamics PITCHf/x Baseball pitching Knuckleball Fastball Magnus effect Pitch
240	Translation Validation for a Verified OS Kernel Thomas Sewell Magnus Myreen Gerwin Klein Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-09-23 09:29:29 Software engineering Theoretical computer science Computing Logic in computer science Subroutines Formal methods Formal verification Decompiler Calling convention Isabelle Separation logic Satisfiability modulo theories

UPDATE