Martin - PDFSEARCH.IO - Document Search Engine

Martin
Results: 36538

#	Item
31	Probabilistic Model for Code with Decision Trees Veselin Raychev Pavol Bielik Martin Vechev Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:56:01
32	PuroVerde eG, Goethestr. 20, 79100 Freiburg Telefon: Fax: Vorstand: Leo Pröstler, Heiko Rock Aufsichtsratsvorsitzender: Ulrich Martin Drescher Genossenschaftsregister: GnR, Amtsgeric Add to Reading List Source URL: www.puroverde.de Language: German - Date: 2017-09-20 06:03:24
33	SDN Use Cases for Service Provider Networks Evolving to an SDN-Enabled ISP Backbone: Key Technologies and Applications Martin Birk, Gagan Choudhury, Bruce Cortez, Alvin Goddard, Narayan Padi, Aswatnarayan Raghuram, Kath Add to Reading List Source URL: www.research.att.com Language: English - Date: 2018-10-24 08:56:51 Network architecture Computing Computer architecture Network protocols Internet architecture Computer networking Internet protocols Multiprotocol Label Switching Software-defined networking MPLS local protection Automatically switched optical network OpenFlow
34	NetHide: Secure and Practical Network Topology Obfuscation Roland Meier∗ , Petar Tsankov∗ , Vincent Lenders , Laurent Vanbever∗ , Martin Vechev∗ ∗ ETH Zürich Add to Reading List Source URL: nsg.romeier.ch Language: English - Date: 2018-07-10 02:11:19 Internet architecture Computing Network architecture Routing Information and communications technology Computer networking Internet protocols Traceroute Hop Network topology Forwarding plane Computer network
35	Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener University of Manchester, Manchester, UK Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Logic Mathematical logic Theoretical computer science Automated theorem proving Logic in computer science Formal methods Logic programming Propositional calculus Resolution Unification Satisfiability modulo theories Literal
36	Producing Skolem Expansion Trees with the CERESω method: A Case Study Martin Riener, joint work with Alexander Leitsch Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Mathematical logic Logic Mathematics Model theory Proof theory Quantification Predicate logic Thoralf Skolem Skolem normal form Soundness Quantifier Sequent calculus
37	Programming Languages and Machine Learning Martin Vechev DeepCode.ai and ETH Zurich PL Research: Last 10 years (sample) • (Semi-) Automated Program Synthesis Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:57:48 Probabilistic programming language Machine learning Information retrieval Cognition Cognitive science
38	Finding Finite Models in Multi-Sorted First-Order Logic? Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,University of Manchester, Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 16:49:46 Mathematics Mathematical logic Logic Model theory Logic in computer science Semantics Universal algebra Boolean satisfiability problem Interpretation First-order logic Resolution Clause
39	COLLOQUIUM Martin Frankland University of Regina An invitation to motivic homotopy theory Add to Reading List Source URL: www.uregina.ca - Date: 2018-09-17 16:41:16
40	Verifying MPI Applications with Mc SimGrid The Anh Pham, Thierry Jéron, Martin Quinson Univ. Rennes Inria CNRS IRISA (France) Correctness 2017 Denver, Colorado Add to Reading List Source URL: correctness-workshop.github.io Language: English - Date: 2017-11-14 22:52:13 Psychometrics Design of experiments Statistical hypothesis testing Test Psychology Education Parallel computing Human behavior

UPDATE