Goldberg system - PDFSEARCH.IO - Document Search Engine

Goldberg system
Results: 112

#	Item
1	Dtre\|A Semi-Automatic Transformation System Lee Blaine and Allen Goldberg Kestrel Institute, 3260 Hillview Avenue, Palo Alto, California 94304, USA Abstract Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:01 Mathematical logic Mathematics Logic Type theory Model theory Hierarchy Interpretation Axiom Sheaf Theory Implementation of mathematics in set theory ZermeloFraenkel set theory
2	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
3	SPECIFICATION AND DEVELOPMENT OF PARALLEL ALGORITHMS WITH THE PROTEUS SYSTEM ALLEN GOLDBERG, PETER MILLS, LARS NYLAND, JAN PRINS, JOHN REIF, AND JAMES RIELY Abstract. The Proteus language is a wide-spectrum parallel prog Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:00 Computing Parallel computing Computer programming Software engineering Data parallelism Proteus Implicit parallelism Concurrent computing Parallelism Scala
4	Proceedings on Privacy Enhancing Technologies ; ):184–201 Raphael R. Toledo, George Danezis, and Ian Goldberg Lower-Cost -Private Information Retrieval Abstract: Private Information Retrieval (PIR), despite be Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-07-29 09:16:35 Information privacy Human rights Private information retrieval Internet privacy Differential privacy Privacy Database Anonymity Statistical database Domain Name System
5	UNIVERSITY PURDUE 2017 INTERNATIONAL ADMISSIONS GUIDE Add to Reading List Source URL: www.iss.purdue.edu Language: English - Date: 2016-06-14 16:21:49 Purdue University Rube Goldberg Machine Contest Higher education in the United States Purdue University system Purdue University College of Engineering
6	Practical PIR for Electronic Commerce∗ Ryan Henry Femi Olumofin Ian Goldberg Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2016-05-12 20:00:31 Data management Payment systems Private information retrieval WHOIS Digital wallet Internet privacy Database Distributed database Server Recommender system Secret sharing
7	Learning by Observation for Surgical Subtasks: Multilateral Cutting of 3D Viscoelastic and 2D Orthotropic Tissue Phantoms Adithyavairavan Murali1 , Siddarth Sen1 , Ben Kehoe2 , Animesh Garg3 , Seth McFarland2 , Sachin Add to Reading List Source URL: goldberg.berkeley.edu Language: English - Date: 2015-03-10 20:48:35 Medicine Surgery Health care Clinical medicine Computer-assisted surgery Health informatics Telehealth Robot kinematics Robotics Robot-assisted surgery Intuitive Surgical Da Vinci Surgical System
8	C:/Users/Jur van den Berg/Documents/papers/ICRA10 - Surgical Learning/vandenBergDuckworthMillerHuWanFuGoldbergAbbeel-icra10.dvi Add to Reading List Source URL: goldberg.berkeley.edu Language: English - Date: 2010-04-27 19:18:10 Physics Mechanics Mechanical engineering Ballistics Engineering Robot control Trajectory Kinematics Kalman filter Robotics Dynamical system Work
9	M-CAFE 1.0: Motivating and Prioritizing Ongoing Student Feedback During MOOCs and Large on-Campus Courses using Collaborative Filtering Mo Zhou1 Alison Cliff1 Sanjay Krishnan2 Brandie Nonnecke3 Camille Crittenden3 Kan Add to Reading List Source URL: goldberg.berkeley.edu Language: English - Date: 2015-07-31 20:04:06 Online education Educational technology Higher education Educational psychology Free software Massive open online course Course evaluation Recommender system Iversity Social presence theory Grading systems by country
10	An Interchangeable Surgical Instrument System with Application to Supervised Automation of Multilateral Tumor Resection. Stephen McKinley1 , Animesh Garg2 , Siddarth Sen3 , David V. Gealy1 , Jonathan P. McKinley1 , Yimin Add to Reading List Source URL: goldberg.berkeley.edu Language: English - Date: 2016-03-27 12:01:35 Medicine Clinical medicine Surgery Retractor Robot-assisted surgery Laparoscopic surgery Da Vinci Surgical System Surgical instrument Computer-assisted surgery Haptic technology Intuitive Surgical Debridement

UPDATE