Abstract - PDFSEARCH.IO - Document Search Engine

Abstract
Results: 68258

#	Item
261	Playing with AVATAR Giles Reger, Martin Suda and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. Modern first-order resolution and superposition theorem provers use saturation algorithms to search fo Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 13:24:35 Theoretical computer science Automated theorem proving Mathematics Mathematical logic Formal methods Logic in computer science Resolution Logic programming Clause Vampire Boolean satisfiability problem CARINE
262	Designing a Micro-Benchmark Suite to Evaluate gRPC for TensorFlow: Early Experiences Rajarshi Biswas, Xiaoyi Lu, and Dhabaleswar K. (DK) Panda {biswas.91,lu.932,panda.2}@osu.edu Abstract Add to Reading List Source URL: prof.ict.ac.cn Language: English - Date: 2018-03-19 22:54:07 Computing Deep learning Free statistical software GRPC Remote procedure call Benchmark TensorFlow Protocol Buffers Remote direct memory access InfiniBand Storage area network Standard Performance Evaluation Corporation
263	The K IND 2 Model Checker ? Adrien Champion, Alain Mebsout, Christoph Sticksel, and Cesare Tinelli The University of Iowa Abstract. K IND 2 is an open-source, multi-engine, SMT-based model checker for safety properties o Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Formal methods Theoretical computer science Computing Software engineering Satisfiability modulo theories Model checking Invariant Lustre
264	On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-06-19 11:02:11 Mathematical analysis Measure theory Mathematics Probability and statistics Determinacy Stochastic game Strategy Markov chain Stochastic process Support Mathematical optimization Statistical model
265	This is the full version of an extended abstract published in ACM CCSPosted as Reporton 19 August 2013; revised 8 SeptemberAlgebraic MACs and Keyed-Verification Anonymous Credentials Melissa Chase Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Cryptography Computer security Identity management Computational complexity theory Proof of knowledge Zero-knowledge proof Credential Message authentication code NP IP Authentication
266	Challenges for Fast Synthesis Procedures in SMT Andrew Reynolds1 Department of Computer Science, The University of Iowa Abstract A number of synthesis applications are made possible by automated tools for synthesis. Rece Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:48 Mathematical logic Theoretical computer science Mathematics Quantification Logic in computer science Formal methods Electronic design automation NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Universal quantification True quantified Boolean formula
267	DELOCALIZATION OF SCHRÖDINGER EIGENFUNCTIONS NALINI ANANTHARAMAN Abstract. A hundred years ago, Einstein wondered about quantization conditions for classically ergodic systems. Although a mathematical description of the Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-28 17:09:47 Mathematical analysis Mathematics Ergodic theory Spectral theory Operator theory Quantum mechanics Mixing Eigenfunction Quantum ergodicity Self-adjoint operator Geodesic Oseledets theorem
268	Decision procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools? Robert Nieuwenhuis and Albert Oliveras?? Abstract. An overview is given of a number of recent developments Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2005-10-12 08:17:46 Theoretical computer science Mathematical logic Mathematics Automated theorem proving Logic in computer science Constraint programming Boolean algebra Electronic design automation Boolean satisfiability problem Satisfiability modulo theories Unit propagation Resolution
269	RANDOM PLANAR METRICS ITAI BENJAMINI Abstract. A discussion regarding aspects of several quite different random planar metrics and related topics is presented. 1. Introduction Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2009-10-29 03:44:36 Graph theory Mathematics Discrete mathematics Stochastic processes Planar graphs Gaussian free field Oded Schramm Random graph Random walk Itai Benjamini Circle packing theorem First passage percolation
270	LOCAL RRH THOMAS WILLWACHER Abstract. In [6] Engeli and Felder describe a generalized Riemann-RochHirzebruch formula to compute the Lefschetz numbers of differential operators on holomorphic vector bundles. Essentially, Add to Reading List Source URL: people.math.ethz.ch Language: English - Date: 2016-05-02 09:25:10 Differential geometry Mathematical analysis Connection Geometry Topology Holomorphic vector bundle Connection form Hermitian manifold Curvature form Sheaf Affine connection Torsion tensor

UPDATE