Abstract - PDFSEARCH.IO - Document Search Engine

Abstract
Results: 68258

#	Item
101	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 Metaphysics Formal methods Theoretical computer science Modal logic Philosophical logic Predicate abstraction Markov decision process Logic Refinement Abstraction Krivine machine
102	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 Linguistics Phonetics Phonology Human communication Human behavior Language Computer accessibility Speech recognition Amazon Alexa Phoneme Amazon Echo Alexa
103	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 Algebra Abstract algebra Mathematics Group theory Linear algebra Pairing-based cryptography Subgroup Pairing XTR Generalized flag variety
104	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 Multi-agent systems Automated planning and scheduling Artificial intelligence Systems science Computing Multi-agent planning Planning Domain Definition Language Intelligent agent Agent-based model
105	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 Computing Data management Data Information Technical communication Process calculi File sharing Business intelligence Data integration Effi Database -calculus
106	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 Mathematics Algebra Abstract algebra Elementary mathematics Algebraic number theory Quadratic forms Real algebraic geometry Number theory Binary quadratic form Ideal number Gaussian integer Complex number
107	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 Algebra Abstract algebra Mathematics Algebras Multilinear algebra Lie algebras Hopf algebras Category theory Universal enveloping algebra PoincarBirkhoffWitt theorem Exterior algebra F-algebra
108	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 Cryptography Computational complexity theory Randomized algorithms Complexity classes Probabilistically checkable proof Proof theory IP NP NEXPTIME Soundness PCP theorem Commitment scheme
109	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 Mathematics Order theory Algebra Abstract algebra Lattice theory Mathematical logic Algebraic structures Predicate logic Distributive lattice Complete Heyting algebra Mereology Partially ordered set
110	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 Group theory Geometry Algebra Geometric group theory Topological groups Amenable group Kazhdan's property Index of a subgroup Commutator subgroup Solvable group Coset Virtually

UPDATE