2-1-1 - PDFSEARCH.IO - Document Search Engine

2-1-1
Results: 258872

#	Item
41	Experimental Biological Protocols with Formal Semantics Alessandro Abate2 , Luca Cardelli1,2 , Marta Kwiatkowska2 , Luca Laurenti2 , and Boyan Yordanov1 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2018-06-22 10:21:17 Mathematics Mathematical analysis Theoretical computer science Distribution Functional analysis Substitution Denotational semantics Markov chain
42	Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates Roberto Barbuti1 , Francesca Levi1 , Paolo Milazzo1 , and Guido Scatena2 1 2 Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Probabilistic CTL Temporal logic Markov chain
43	A Model-Constructing Satisfiability Calculus Leonardo de Moura1 and Dejan Jovanovi´c2 1 2 Microsoft Research Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 12:47:14 Theoretical computer science Mathematics Computational complexity theory Logic in computer science Automated theorem proving NP-complete problems Electronic design automation Formal methods Conflict-driven clause learning Boolean satisfiability problem Clause Unit propagation
44	BGPStream: A Software Framework for Live and Historical BGP Data Analysis Chiara Orsini 1 , Alistair King1 , Danilo Giordano2 , Vasileios Giotsas1 , Alberto Dainotti1 1 CAIDA, UC San Diego 2 Add to Reading List Source URL: www.caida.org Language: English - Date: 2018-09-13 19:49:01 Internet architecture Computing Internet Network architecture Border Gateway Protocol BGP hijacking Route Views Autonomous system Routing Router Multihoming Computer network
45	On the Ring-LWE and Polynomial-LWE Problems Miruna Rosca1,2 , Damien Stehlé1 , and Alexandre Wallet1 1 ENS de Lyon, Laboratoire LIP (U. Lyon, CNRS, ENSL, INRIA, UCBL), France Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2018-02-12 12:00:30 Algebra Abstract algebra Mathematics Commutative algebra Lattice-based cryptography Post-quantum cryptography Cryptography Field theory Ring learning with errors Ring learning with errors key exchange Ring learning with errors signature
46	Synthesis of Differentiable Functional Programs for Lifelong Learning Lazar Valkov 1 Dipak Chaudhari 2 Akash Srivastava 1 Charles Sutton 1 Swarat Chaudhuri 2 1. Summary Differentiable programming languages (Paszke et al Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Computational neuroscience Applied mathematics Cybernetics Mathematics Cognitive science Artificial intelligence Computational statistics Artificial neural networks Neural network Outline of machine learning Machine learning Shortest path problem
47	Learning to Detect Multiple Photographic Defects Ning Yu 1 Xiaohui Shen 2 Zhe Lin 2 1 Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-03-08 21:41:36 Geometry Digital photography Angular defect Hyperbolic geometry Polyhedra Image noise Random sample consensus
48	Auto-encoding Logic Programs Sebastijan Dumanˇci´c 1 Tias Guns 2 Wannes Meert 1 Hendrik Blockleel 1 1. Introduction Although deep learning (Goodfellow et al., 2016) has Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Software engineering Computer programming Computing Artificial neural network Computational neuroscience Market research Market segmentation Mathematical psychology Autoencoder Feature learning Logic programming Prolog
49	POLLING PLACE LISTING 1. LOGAN 1 Scenic Hills Senior Center 187 S. Spring St 2. LOGAN 2 Add to Reading List Source URL: hocking.ohioboe.com Language: English - Date: 2017-09-08 14:07:37 Ohio Geography of the United States Appalachian Ohio Hocking County Ohio Logan Ohio Laurelville Ohio Logan High School Hocking Hills Logan Utah Hocking United States
50	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: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Theoretical computer science Logic Automated theorem proving Logic programming Complex analysis Logical truth Propositional calculus Substitution Abstract interpretation Unification Term