Abstract - PDFSEARCH.IO - Document Search Engine

Abstract
Results: 68258

#	Item
51	Luca Cardelli and the Early Evolution of ML David MacQueen Abstract Luca Cardelli has made an enormous range of contributions, but the focus of this paper is the beginning of his career and, in particular, his role in th Add to Reading List Source URL: sml-family.org Language: English - Date: 2016-04-04 09:33:37 Software engineering Computing Computer programming Functional languages Procedural programming languages Type theory Fellows of the Royal Society Data types ML Logic for Computable Functions Luca Cardelli Robin Milner
52	Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions Aleksandra Jovanovi´c, Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-05-12 04:35:43 Statistical models Probability and statistics Statistical theory Statistics Timed automaton Parametric model Parameter Markov decision process Markov chain
53	Abstract This is a survey of results on positivity of vector bundles, inspired by the BrunnMinkowski and Prékopa theorems. Applications to complex analysis, Kähler geometry and algebraic geometry are also discussed. Pr Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-25 13:17:42 Mathematical analysis Mathematics Topology Complex manifolds Vector bundles Algebraic geometry Holomorphic vector bundle Khler manifold Plurisubharmonic function Complex analysis Bo Berndtsson Harmonic function
54	Isometric group actions on Hilbert spaces: structure of orbits Yves de Cornulier, Romain Tessera, Alain Valette November 8, 2005 Abstract Our main result is that a finitely generated nilpotent group has no isometric acti Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2005-12-11 05:25:15 Mathematical analysis Mathematics Algebra Functional analysis C*-algebras Topological groups Von Neumann algebras Measure theory Kazhdan's property Unitary representation Representation theory Direct integral
55	Metric sparsification and operator norm localization Xiaoman Chen, Romain Tessera, Xianjin Wang, Guoliang Yu November 13, 2007 Abstract We study an operator norm localization property and its applications Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2007-11-13 16:29:19 Mathematics Mathematical analysis Algebra Field theory Measure theory Commutative algebra Localization Valuation ring Metric space Ergodic flow Abelian von Neumann algebra
56	Challenges in Satisfiability Modulo Theories Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell, and Albert Rubio? Abstract. Here we give a short overview of the DPLL(T ) approach to Satisfiability Modulo Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2007-09-19 06:11:44 Theoretical computer science Mathematical logic Mathematics Formal methods Logic in computer science Automated theorem proving Constraint programming Electronic design automation Conflict-driven clause learning Satisfiability modulo theories Boolean satisfiability problem Unit propagation
57	Computable Analysis, Hybrid Automata, and Decision Procedures (Extended Thesis Abstract) Sicun Gao 1 1.1 Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Computability theory Mathematics Mathematical logic Theory of computation Computable number Decision problem Computable function NC Continuous function First-order logic Real closed field Limit of a function
58	Isometric group actions on Banach spaces and representations vanishing at infinity Yves de Cornulier, Romain Tessera, Alain Valette November 28, 2006 Abstract Our main result is that the simple Lie group G = Sp(n, 1) act Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2006-11-27 19:35:09 Mathematical analysis Mathematics Geometry Geometric group theory Functional analysis Topological groups HahnBanach theorem Representation theory Kazhdan's property Uniform boundedness principle Reductive group Banach spaces
59	Cooperating Proof Attempts Giles Reger, Dmitry Tishkovsky, and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. This paper introduces a pseudo-concurrent architecture for first-order saturation-based Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 13:24:09 Formal methods Theoretical computer science Complexity classes Automated theorem proving Vampire NP IP Mathematics Constraint programming Proof compression
60	Model Checking Probabilistic Knowledge: A PSPACE Case Xiaowei Huang and Marta Kwiatkowska University of Oxford, UK Abstract Model checking probabilistic knowledge of memoryful semantics is undecidable, even for a simple Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2015-12-10 11:06:15 Temporal logic Mathematics Mathematical analysis Theoretical computer science Linear temporal logic Computation tree logic IP Symbol Distribution Craig interpolation Universal representation

UPDATE