Model - PDFSEARCH.IO - Document Search Engine

Model
Results: 136453

#	Item
121	Haptic SLAM: an ideal observer model for Bayesian inference of object shape and hand pose from contact dynamics Feryal M. P. Behbahani1 , Guillem Singla–Buxarrais2 and A. Aldo Faisal1,2,3 1 Add to Reading List Source URL: spiral.imperial.ac.uk Language: English - Date: 2016-09-08 00:46:08 Humancomputer interaction Artificial intelligence Robot control Virtual reality Multimodal interaction Video game controllers Robot navigation Haptic technology Haptic perception Simultaneous localization and mapping Occupancy grid mapping Kalman filter
122	Characteristics of four illustrative model pathways Different mitigation strategies can achieve the net emissions reductions that would be required to follow a pathway that limits global warming to 1.5°C with no or limi Add to Reading List Source URL: ipcc.ch Language: English - Date: 2018-10-15 09:46:52 Climate change Climate change mitigation Climatology Physical geography Carbon dioxide Climate engineering Bio-energy with carbon capture and storage Biomass Climate change policy Low-carbon economy Global warming
123	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:44:06 Logic Mathematical logic Theoretical computer science FO Finite model theory Predicate transformer semantics Model theory Substitution
124	Swiss-Cheese operad and Drinfeld center Najib Idrissi∗ January 5, 2017 We build a model in groupoids for the Swiss-Cheese operad, based on parenthesized permutations and braids. We relate algebras over this model Add to Reading List Source URL: idrissi.eu Language: English - Date: 2018-10-19 04:32:45 Algebra Mathematics Category theory Abstract algebra Operad theory Homotopy theory Algebraic topology Groupoid Algebra over a field Monoidal category F-algebra Center
125	Security in a Model for Long–running Transactions⋆ Damas P. Gruska1 , Andrea Maggiolo–Schettini2, and Paolo Milazzo2 1 2 Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Symbol Constructible universe
126	Computing and Estimating Information Leakage with a Quantitative Point-to-Point Information Flow Model by Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-06-07 20:45:26 Information theory Metaphysics Physics Information Information flow Entropy Leakage Mutual information
127	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–98) MODEL THEORY AND ULTRAPRODUCTS Maryanthe Malliaris Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-25 13:17:43 Model theory Mathematics Mathematical logic Metalogic Non-standard analysis Ultraproduct Maryanthe Malliaris Ultrafilter Saturated model O-minimal theory Type Finite set
128	Towards illumina.ng a Censorship Monitor’s Model to Facilitate Evasion Sheharbano Kha>ak, Mobin Javed, Philip D. Anderson and Vern P Add to Reading List Source URL: sheharbano.com Language: English - Date: 2017-02-16 07:58:43 Computing Transmission Control Protocol Network architecture Information and communications technology Handshaking Computer architecture Computer network security Computer security
129	The Need for a New Medical Model: A Challenge for Biomedicine Author(s): George L. Engel Source: Science, New Series, Vol. 196, NoApr. 8, 1977), ppPublished by: American Association for the Advancement Add to Reading List Source URL: www.drannejensen.com Language: English - Date: 2017-07-14 07:27:02 Academic publishing Andrew W. Mellon Foundation JSTOR Publishing Education
130	Model Based Theory Combination SMT 2007 Leonardo de Moura and Nikolaj Bjørner {leonardo, nbjorner}@microsoft.com. Microsoft Research Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2007-07-09 11:57:18 Logic Mathematical logic Theoretical computer science Model theory Logic in computer science Logical truth Philosophy of logic Satisfiability Convex function Universal quantification Boolean satisfiability problem

UPDATE