Abstract - PDFSEARCH.IO - Document Search Engine

Abstract
Results: 68258

#	Item
111	Asymptotic isoperimetry on groups and uniform embeddings into Banach spaces. Romain Tessera December 21, 2007 Abstract We characterize the possible asymptotic behaviors of the compression Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2007-12-21 18:24:15 Geometry Mathematics Algebra Geometric group theory Topological groups Operator theory Kazhdan's property Amenable group Metric geometry Banach space Hilbert space Ample line bundle
112	BOXES: Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University January 28, 2011 Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Systems science Carnegie Mellon University Systems engineering Systems theory Cyberwarfare Software Engineering Institute System of systems Carnegie Mellon Silicon Valley Software engineering Pittsburgh Science and technology in the United States
113	Bounds Analysis by Abstract Interpretation Xiaolei Qian Computer Science Laboratory SRI International Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:01 Mathematical analysis Mathematics Abstract interpretation Function Exponential function Complex analysis Formal methods Centripetal CatmullRom spline
114	Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell? Abstract. We consider optimization problems of th Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2009-04-02 05:06:42 Theoretical computer science Mathematics Formal methods Mathematical logic Boolean algebra Boolean satisfiability problem Electronic design automation Logic in computer science Resolution COMPASS/Sample Code BCD
115	Abstract The Theory and Practice of Causal Commutative Arrows Hai Liu 2011 Arrows are a popular form of abstract computation. Being more general than Add to Reading List Source URL: thev.net Language: English - Date: 2014-02-12 14:21:02 Software engineering Computing Computer programming Functional programming Evaluation strategy Programming paradigms Computer architecture Functional reactive programming Models of computation Dataflow Arrow Reactive programming
116	Listen carefully and you will hear: Creative formative assessments Abstract This showcase shares our experiences with creative formative assessments using affordances of the digital, including reflective blogging, ePortf Add to Reading List Source URL: www.amicalnet.org Language: English - Date: 2016-05-17 09:44:18 Education Educational psychology Educational software Educational technology Standards-based education Formative assessment Electronic portfolio Educational assessment
117	Two-Message Statistically Sender-Private OT from LWE Zvika Brakerski∗ Nico D¨ottling† Abstract Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2018-09-24 09:02:30 Algebra Mathematics Spectral theory Analytic geometry Lattice Lambda calculus Lie algebras -ring Spectral theory of compact operators
118	Differential Forgery Attack against LAC Ga¨etan Leurent Inria, France Abstract. LAC is one of the candidates to the CAESAR competition. Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2018-06-14 07:12:36 Cryptography Applied mathematics Differential cryptanalysis Data Encryption Standard Block cipher Truncated differential cryptanalysis ICE Cryptanalysis Statistical hypothesis testing Rebound attack Differential-linear attack
119	A Distributed Online Multi-Agent Planning System (Dissertation Abstract) Rafael C. Cardoso {} Supervisor: Rafael H. Bordini FACIN-PUCRS Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:23 Multi-agent systems Automated planning and scheduling Artificial intelligence Computing Systems science Multi-agent planning Hierarchical task network Intelligent agent Planning Domain Definition Language Agent-based model Planning Norm
120	GENERIC REPRESENTATIONS OF ORTHOGONAL GROUPS: PROJECTIVE FUNCTORS IN THE CATEGORY Fquad CHRISTINE VESPA Abstract. In this paper, we continue the study of the category of functors Fquad , associated to F2 -vector spaces e Add to Reading List Source URL: irma.math.unistra.fr Language: English - Date: 2008-04-11 05:38:22 Category theory Mathematics Algebra Functors Natural transformation Exact functor Forgetful functor Yoneda lemma Equivalence of categories Sheaf Calculus of functors Adjoint functors

UPDATE