Approach - PDFSEARCH.IO - Document Search Engine

Approach
Results: 36997

#	Item
51	Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient Add to Reading List Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com Language: English - Date: 2015-08-03 08:46:53 Computing Data management Data Semantic Web Knowledge representation Structured storage Resource Description Framework As a service Graph database Linked data Cloud database Data as a service
52	Solving Nonlinear Integer Arithmetic with MCSAT? Dejan Jovanovi´c SRI International Abstract. We present a new method for solving nonlinear integer arithmetic constraints. The method relies on the MCSat approach to sol Add to Reading List Source URL: csl.sri.com Language: English - Date: 2016-11-28 15:21:09 Theoretical computer science Mathematical logic Mathematics Logic in computer science Constraint programming Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Satisfiability modulo theories Boolean algebra Local consistency
53	Using Alloy in a Language Lab Approach to Introductory Discrete Mathematics Charles Wallace Michigan Technological University In collaboration with Laura Brown, Adam Feltz Add to Reading List Source URL: alloytools.org Language: English - Date: 2018-06-13 06:07:43 Wombat Mongoose
54	1 A Localization Approach for Crowdsourced Air Traffic Communication Networks Martin Strohmeier∗ , Vincent Lenders+ , Ivan Martinovic∗ of Oxford, United Kingdom + armasuisse, Switzerland Add to Reading List Source URL: www.lenders.ch Language: English - Date: 2016-10-29 04:58:47 Wireless Air traffic control Geolocation Technology Navigation Elementary geometry Euclidean geometry Multilateration Ubiquitous computing Flightradar24 Wide area multilateration Automatic dependent surveillance broadcast
55	Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient Add to Reading List Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com Language: English - Date: 2014-11-03 11:28:51 Knowledge representation Computing Information science Technical communication Information Semantic Web Knowledge engineering Ontology Resource Description Framework Upper ontology Open data SPARQL
56	UCBoost: A Boosting Approach to Tame Complexity and Optimality for Stochastic Bandits Add to Reading List Source URL: www.research.att.com Language: English - Date: 2018-10-03 19:00:09 Analysis of algorithms Machine learning Statistics Computational complexity theory Computer science Probability and statistics Multi-armed bandit Stochastic optimization Time complexity Divergence Asymptotically optimal algorithm KullbackLeibler divergence
57	DiDomenico, S., & Boase, JBringing mobiles into the conversation: Applying a conversation analytic approach to the study of mobiles in co-present interaction. In D. Tannen & A. M. Trester (Eds.), Discourse 2.0: Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2017-09-21 13:37:55 Discourse analysis Linguistics Conversation analysis Mobile telephony Text messaging Erving Goffman Amy Turn-taking Film Culture
58	Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient Add to Reading List Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com Language: English - Date: 2015-11-27 10:43:10 Computing Information science Data management Semantic Web Knowledge representation Query languages Technical communication SPARQL Resource Description Framework Linked data RDF query language Ontology
59	Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover Add to Reading List Source URL: mirror.clarkson.edu Language: English - Date: 2018-08-15 07:19:09 Mathematics Order theory Algebra Abstract algebra Lattice theory Mathematical logic Algebraic structures Predicate logic Distributive lattice Complete Heyting algebra Mereology Partially ordered set
60	Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:19:09 Mathematics Order theory Algebra Abstract algebra Lattice theory Mathematical logic Algebraic structures Predicate logic Distributive lattice Complete Heyting algebra Mereology Partially ordered set

UPDATE