Abstract

Results: 68258



#Item
51Luca 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

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
52Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions Aleksandra Jovanovi´c, Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract

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
53Abstract 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

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
54Isometric 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

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
55Metric 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

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
56Challenges 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

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
57Computable Analysis, Hybrid Automata, and Decision Procedures (Extended Thesis Abstract) Sicun Gao 1 1.1

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
58Isometric 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

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
59Cooperating 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

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
60Model 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

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