Institute - PDFSEARCH.IO - Document Search Engine

Institute
Results: 275473

#	Item
121	Inside a Verified Flash File System: Transactions & Garbage Collection ? ?? Gidon Ernst, J¨ org Pf¨ ahler, Gerhard Schellhorn, and Wolfgang Reif Institute for Software and Systems Engineering Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:48:58 Computer memory Computer data storage Embedded Linux Data management Computing Non-volatile memory Flash file system Flash memory Data UBIFS File system JFFS2
122	Discovering Structure by Learning Sparse Graphs Brenden M. Lake and Joshua B. Tenenbaum Department of Brain and Cognitive Sciences Massachusetts Institute of Technology {brenden, jbt}@mit.edu Abstract Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2011-02-04 14:34:11 Machine learning Artificial intelligence Learning Mathematics Sparse approximation Semantic memory Regularization Supervised learning Semantic network Sparse matrix Dense graph
123	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
124	KITP-93: An Automated Inference System for Program Analysis T. C. Wang and Allen Goldberg Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94304 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:01 Mathematical logic Logic Type theory Theoretical computer science Logic in computer science Automated theorem proving Reasoning Program analysis Natural deduction Logical framework Resolution First-order logic
125	A Versatile, Sound Tool for Simplifying Definitions Alessandro Coglio Matt Kaufmann Kestrel Institute Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2017-04-21 01:19:46 Computer programming Software engineering Computing Lisp Functional languages Subroutines Programming languages Data types Functional programming Defun ACL2 Cons
126	From Underapproximations to Overapproximations and Back! Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Carnegie Mellon University Cyberwarfare Software Engineering Institute Mellon Software engineering Carnegie Pittsburgh
127	HONG KONG INSTITUTE FOR MONETARY RESEARCH ROADS AND THE REAL EXCHANGE RATE Qingyuan Du, Shang-Jin Wei and Peichu Xie HKIMR Working Paper No Add to Reading List Source URL: www.hkimr.org Language: English - Date: 2018-07-20 02:40:31 Economy Economics Currency Purchasing power BalassaSamuelson effect Foreign exchange market International macroeconomics Exchange rate Purchasing power parity Law of one price Gross domestic product RER D
128	Research Project Publication List October 10, 2018 Blockchain Research Institute – Research Project Publication List Table of Contents Add to Reading List Source URL: www.blockchainresearchinstitute.org Language: English - Date: 2018-10-12 04:38:58 Blockchains Cryptocurrencies Computing Bitcoin Data management Data Don Tapscott Ethereum Alex Tapscott Nuco
129	Comprehension of spacecraft telemetry using hierarchical specifications of behavior? 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: 2014-10-22 16:12:25 E1 Hepatitis C virus
130	HONG KONG INSTITUTE FOR MONETARY RESEARCH INTERNATIONAL TRADE FINANCE AND THE COST CHANNEL OF MONETARY POLICY IN OPEN ECONOMIES Nikhil Patel Add to Reading List Source URL: www.hkimr.org Language: English - Date: 2018-07-20 02:59:26 Economy Macroeconomics Economics Monetary policy New Keynesian economics Monetary economics Keynesian economics Macroeconomic policy Nominal rigidity Inflation Dynamic stochastic general equilibrium Money supply

UPDATE