An - PDFSEARCH.IO - Document Search Engine

An
Results: 460726

#	Item
361	An Abstract Domain of Uninterpreted Functions Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Mathematics Theoretical computer science Logic Automated theorem proving Logic programming Complex analysis Logical truth Propositional calculus Substitution Abstract interpretation Unification Term
362	Thorsten Ball writing an INTERPRETER in go Add to Reading List Source URL: interpreterbook.com Language: English Software engineering Computing Computer programming Compiler construction Source code Parsing Lexical analysis Programming language implementation Parser generators Syntax Identifier String literal
363	Proof-producing reflection for HOL with an application to model polymorphism Benja Fallenstein1 and Ramana Kumar2 1 2 Add to Reading List Source URL: cakeml.org Language: English - Date: 2016-04-20 00:08:12 Mathematical logic Metalogic Logic Model theory Type theory Proof assistants Proof theory Higher-order logic Theoretical computer science Isabelle Simply typed lambda calculus Gdel's incompleteness theorems
364	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
365	Counterfactual: Generalized State Channels Jeff Coleman, Liam Horne, and Li Xuanji L4∗ (Dated: June 12, 2018) Abstract. State channels are an important technique for reducing fees for blockchain users. Within their sco Add to Reading List Source URL: l4.ventures Language: English Cryptocurrencies Blockchains Economy Money Computing Alternative currencies Bitcoin Digital currencies Ethereum Counterparty Smart contract ternity
366	DEHN FUNCTION AND ASYMPTOTIC CONES OF ABELS’ GROUP YVES CORNULIER, ROMAIN TESSERA Abstract. We prove that Abels’ group over an arbitrary local field has a quadratic Dehn function. As applications, we exhibit connecte Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2012-03-03 14:33:06 Geometry Geometric group theory Mathematics Group theory Combinatorics on words Geometric topology Metric geometry Dehn function Quasi-isometry Ultralimit Presentation of a group Finitely generated abelian group
367	An Operational Semantics for JavaScript? Sergio Maffeis1 , John C. Mitchell2 , Ankur Taly2 , 1 2 Department of Computing, Imperial College London Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-14 07:09:04 Software engineering Computing Computer programming Functional languages High-level programming languages Object-oriented programming Data types Programming paradigms JavaScript Scope Operational semantics Semantics
368	An Treoirleabhar maidir le hIarratas a Dhéanamh ar líne An leagan seo den treoirleabhar: Aibreán 2016 Clár 1) Do chuntas EPSO Add to Reading List Source URL: europa.eu Language: English - Date: 2016-12-08 04:32:57 Draft:Cumann na nEolaochta Sceolaochta Cnaidhm Eoraip An Bonnn Bu Irish dialects
369	More than an Edit: Using Transcendental Information Cascades to Capture Hidden Structure in Wikipedia Ramine Tinati, Markus Luczak-Roesch, Wendy Hall University of Oxford Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:23:20 Digital media Wikipedia Wikis Social information processing Wikimedia projects World Wide Web Collaboration Burstiness WikiProject Wiki Information cascade
370	2016 Report on Angel Investing Activity in Canada An Analysis of Business Add to Reading List Source URL: silkstart.s3.amazonaws.com Language: English - Date: 2017-08-18 14:22:04 Finance Economy Money Venture capital Corporate finance Equity securities Investment Angel investor Deal flow Impact investing Keiretsu Forum

UPDATE