Abstract

Results: 68258



#Item
71Luna Andre Ornish, Vinay Gupta, Aella, Dr. Aeron Buchanan Draft 1 · 24 October 2017 Abstract Online dating has emerged as one of the most extensive and still-growing online industries, but user experience remains poor d

Luna Andre Ornish, Vinay Gupta, Aella, Dr. Aeron Buchanan Draft 1 · 24 October 2017 Abstract Online dating has emerged as one of the most extensive and still-growing online industries, but user experience remains poor d

Add to Reading List

Source URL: lunalabs.github.io

Language: English - Date: 2018-10-23 22:44:24
72Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

Add to Reading List

Source URL: csl.sri.com

Language: English - Date: 2018-04-25 11:34:42
73HOW TO CLASSIFY FANO VARIETIES? OLIVIER DEBARRE Abstract. We review some of the methods used in the classification of Fano varieties and the description of their birational geometry. Mori theory brought important simplif

HOW TO CLASSIFY FANO VARIETIES? OLIVIER DEBARRE Abstract. We review some of the methods used in the classification of Fano varieties and the description of their birational geometry. Mori theory brought important simplif

Add to Reading List

Source URL: www.math.ens.fr

Language: English - Date: 2014-04-10 04:37:56
74Full version of an extended abstract published in Proceedings of ACM CCS 2007, ACM Press, The Geometry of Innocent Flesh on the Bone: Return-into-libc without Function Calls (on the x86) Hovav Shacham∗ hovav@cs.

Full version of an extended abstract published in Proceedings of ACM CCS 2007, ACM Press, The Geometry of Innocent Flesh on the Bone: Return-into-libc without Function Calls (on the x86) Hovav Shacham∗ hovav@cs.

Add to Reading List

Source URL: hovav.net

Language: English - Date: 2018-06-10 15:29:33
75Analyzing individual proofs as the basis of interoperability between proof systems Gilles Dowek? Abstract. We describe the first results of a project to analyze in which theories formal proofs can be expressed and use th

Analyzing individual proofs as the basis of interoperability between proof systems Gilles Dowek? Abstract. We describe the first results of a project to analyze in which theories formal proofs can be expressed and use th

Add to Reading List

Source URL: pxtp.github.io

Language: English - Date: 2017-09-19 19:50:55
76Article Neural Representations of Emotion Are Organized around Abstract Event Features Highlights d

Article Neural Representations of Emotion Are Organized around Abstract Event Features Highlights d

Add to Reading List

Source URL: saxelab.mit.edu

Language: English - Date: 2015-07-31 21:28:30
77Visualizing SMT-Based Parallel Constraint Solving Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyv¨arinen, and Natasha Sharygina Universit` a della Svizzera italiana, Switzerland Abstract

Visualizing SMT-Based Parallel Constraint Solving Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyv¨arinen, and Natasha Sharygina Universit` a della Svizzera italiana, Switzerland Abstract

Add to Reading List

Source URL: smt-workshop.cs.uiowa.edu

Language: English - Date: 2017-09-02 14:08:49
78Full version of an extended abstract published in PETSM¨obius: Trustless Tumbling for Transaction Privacy Sarah Meiklejohn University College London

Full version of an extended abstract published in PETSM¨obius: Trustless Tumbling for Transaction Privacy Sarah Meiklejohn University College London

Add to Reading List

Source URL: smeiklej.com

Language: English - Date: 2018-10-23 14:58:02
79PERIODS OF ALGEBRAIC VARIETIES OLIVIER DEBARRE Abstract. The periods of a compact complex algebraic manifold X are the integrals of its holomorphic 1-forms over paths. These integrals are in general not well-defined, but

PERIODS OF ALGEBRAIC VARIETIES OLIVIER DEBARRE Abstract. The periods of a compact complex algebraic manifold X are the integrals of its holomorphic 1-forms over paths. These integrals are in general not well-defined, but

Add to Reading List

Source URL: www.math.ens.fr

Language: English - Date: 2014-03-12 09:48:30
80Sharing is Caring: Combination of Theories? Dejan Jovanovi´c and Clark Barrett New York University Abstract. One of the main shortcomings of the traditional methods for combining theories is the complexity of guessing t

Sharing is Caring: Combination of Theories? Dejan Jovanovi´c and Clark Barrett New York University Abstract. One of the main shortcomings of the traditional methods for combining theories is the complexity of guessing t

Add to Reading List

Source URL: csl.sri.com

Language: English - Date: 2014-06-27 12:47:14