Department - PDFSEARCH.IO - Document Search Engine

Department
Results: 775307

#	Item
231	EVO: Event-based 6-DOF Parallel Tracking and Mapping in Real-time Department of Informatics - Institute of Neuroinformatics Henri Rebecq, Timo Horstschaefer, Guillermo Gallego, Davide Scaramuzza Add to Reading List Source URL: rpg.ifi.uzh.ch Language: English - Date: 2018-09-20 18:03:34 3D computer graphics 3D imaging Depth map Nintendo DSi 3D reconstruction
232	Rigorous Reachability Analysis and Domain Decomposition of Taylor Models Martin Berz and Kyoko Makino Department of Physics and Astronomy Michigan State University Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2017-07-24 10:20:50 Numerical methods for ordinary differential equations Domain decomposition methods Numerical analysis Numerical software Mathematical analysis PROPT
233	Federal Department of Home Affairs FDHA Federal Social Insurance Office FSIO International Affairs Social Security for Posted Workers Contracting States, outside EU/EFTA Add to Reading List Source URL: www.bsv.admin.ch Language: English Economy Money Finance Social programs Labour law Types of insurance Withholding taxes Insurance Unemployment benefits Federal Insurance Contributions Act tax European Free Trade Association Health insurance
234	From Trees to Graphs: On the Influence of Collapsing on Rewriting and on Termination Maria A Schett defensio: master thesis advised by Georg Moser department of CS @ UIBK Oktober 25, 2016 Add to Reading List Source URL: www.maria-a-schett.net Language: English - Date: 2016-12-11 09:16:58 Theoretical computer science Formal languages Mathematics Discrete mathematics Graph theory Abstract semantic graph Graph Rewriting Graph rewriting
235	Roopsha Samanta Assistant Professor Department of Computer Science Purdue University Í Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-10-03 12:50:28 Theoretical computer science Computing Computer science Symposium on Principles of Programming Languages Electronic design automation Formal methods Logic in computer science Computer Aided Verification Helmut Veith High-level synthesis Formal verification Computer music
236	TRADITION SEF, Inc. Scot J. Halvorsen Senior Regulatory Counsel and Secretary Legal Department Add to Reading List Source URL: www.traditionsef.com Language: English - Date: 2018-06-02 04:26:53 Systemic risk SEF Commodity Futures Trading Commission Securities Exchange Act Finance Regulatory compliance Credit default swap Economy CDX Swap Execution Facility
237	On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2015-10-18 19:42:36 Mathematical analysis Measure theory Mathematics Probability and statistics Determinacy Stochastic game Strategy Markov chain Stochastic process Support Mathematical optimization Statistical model
238	A Breadth-First Course in Multicore and Manycore Programming Suzanne Rivoire Sonoma State University Department of Computer Science Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:45:10 Concurrent computing Parallel computing Computing Computer programming Manycore processor Data parallelism General-purpose computing on graphics processing units Parallel programming model Multi-core processor Thread CUDA OpenMP
239	Federal Department of Home Affairs FDHA Federal Food Safety and Veterinary Office FSVO Animal Health Animal health statistics for 2017 The obligation to report diseases and suspected disease symptoms is laid down in Arti Add to Reading List Source URL: www.blv.admin.ch Language: English Veterinary medicine Animal virology Health Microbiology Classical swine fever Bovine spongiform encephalopathy African swine fever virus Vaccine Avian influenza Foot-and-mouth disease Infection Brucellosis

UPDATE