Abstract

Results: 68258



#Item
101Abstraction Refinement for Probabilistic Software Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. We present a methodolog

Abstraction Refinement for Probabilistic Software Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. We present a methodolog

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2008-10-24 07:08:14
102Skill Squatting Attacks on Amazon Alexa Deepak Kumar Riccardo Paccagnella Paul Murley Eric Hennenfent Joshua Mason Adam Bates Michael Bailey University of Illinois Urbana-Champaign Abstract

Skill Squatting Attacks on Amazon Alexa Deepak Kumar Riccardo Paccagnella Paul Murley Eric Hennenfent Joshua Mason Adam Bates Michael Bailey University of Illinois Urbana-Champaign Abstract

Add to Reading List

Source URL: kumarde.com

Language: English - Date: 2018-08-16 10:08:06
103Full version of an extended abstract published in Proceedings of PKC 2015, Springer-Verlag, 2015. Available from the IACR Cryptology ePrint Archive as ReportA Profitable Sub-Prime Loan: Obtaining the Advantage

Full version of an extended abstract published in Proceedings of PKC 2015, Springer-Verlag, 2015. Available from the IACR Cryptology ePrint Archive as ReportA Profitable Sub-Prime Loan: Obtaining the Advantage

Add to Reading List

Source URL: smeiklej.com

Language: English - Date: 2018-10-23 14:58:02
104Dissertation Abstract: Distributed Privacy-preserving Multi-agent Planning Andrea Bonisoli Univrsit`a degli Studi di Brescia Dipartimento di Ingegneria dell’Informazione Via Branze, Brescia (IT) andrea.bonis

Dissertation Abstract: Distributed Privacy-preserving Multi-agent Planning Andrea Bonisoli Univrsit`a degli Studi di Brescia Dipartimento di Ingegneria dell’Informazione Via Branze, Brescia (IT) andrea.bonis

Add to Reading List

Source URL: icaps16.icaps-conference.org

Language: English - Date: 2016-06-09 08:09:19
105Behavioural Equivalences for Dynamic Web Data Sergio Maffeis Philippa Gardner Department of Computing, Imperial College London {maffeis,pg}@doc.ic.ac.uk Abstract

Behavioural Equivalences for Dynamic Web Data Sergio Maffeis Philippa Gardner Department of Computing, Imperial College London {maffeis,pg}@doc.ic.ac.uk Abstract

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2009-08-14 07:09:04
106LONG-TERM HISTORY AND EPHEMERAL CONFIGURATIONS CATHERINE GOLDSTEIN Abstract. Mathematical concepts and results have often been given a long history, stretching far back in time. Yet recent work in the history of mathemat

LONG-TERM HISTORY AND EPHEMERAL CONFIGURATIONS CATHERINE GOLDSTEIN Abstract. Mathematical concepts and results have often been given a long history, stretching far back in time. Yet recent work in the history of mathemat

Add to Reading List

Source URL: eta.impa.br

Language: English - Date: 2018-07-28 17:09:47
107THE EXT ALGEBRA OF A QUANTIZED CYCLE DAMIEN CALAQUE AND JULIEN GRIVAUX Abstract. Given a quantized analytic cycle (X, σ) in Y, we give a categorical Lie-theoretic interpretation of a geometric condition, discovered by S

THE EXT ALGEBRA OF A QUANTIZED CYCLE DAMIEN CALAQUE AND JULIEN GRIVAUX Abstract. Given a quantized analytic cycle (X, σ) in Y, we give a categorical Lie-theoretic interpretation of a geometric condition, discovered by S

Add to Reading List

Source URL: jgrivaux.perso.math.cnrs.fr

Language: English - Date: 2017-11-26 10:28:12
108Making Argument Systems for Outsourced Computation Practical (Sometimes) Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract This paper describes the desig

Making Argument Systems for Outsourced Computation Practical (Sometimes) Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract This paper describes the desig

Add to Reading List

Source URL: www.pepper-project.org

Language: English - Date: 2017-11-11 14:59:54
109Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Add to Reading List

Source URL: isabelle.in.tum.de

Language: English - Date: 2018-08-15 07:19:09
110On the space of left-orderings of virtually solvable groups Cristobal Rivas & Romain Tessera∗ Abstract We show that the space of left-orderings of a countable virtually solvable group is either finite or homeomorphic t

On the space of left-orderings of virtually solvable groups Cristobal Rivas & Romain Tessera∗ Abstract We show that the space of left-orderings of a countable virtually solvable group is either finite or homeomorphic t

Add to Reading List

Source URL: www.normalesup.org

Language: English - Date: 2013-03-14 07:03:47