Quantitative property A, Poincar´e inequalities, Lp-compression and Lp-distortion for metric measure spaces. Romain Tessera September 1, 2008 Abstract

Source URL: www.normalesup.org

• Geometry
• Mathematics
• Space
• Metric geometry
• Banach space
• Metric space
• Quasi-isometry
• Embedding
• Metric
• Doubling space
• Tight span
• Hyperbolic metric space

C++ Exception Handling for IA-64 Christophe de Dinechin Hewlett-Packard IA-64 Foundation Lab Abstract The C++ programming language offers a feature

Source URL: www.usenix.org

• Software engineering
• Computer programming
• Computing
• Control flow
• Exception handling
• Setjmp.h
• C++
• Goto
• Subroutine
• Pointer
• Inline expansion
• Switch statement

Proof-producing Congruence Closure Robert Nieuwenhuis? and Albert Oliveras?? Technical University of Catalonia, Jordi Girona 1, 08034 Barcelona, Spain www.lsi.upc.es/~roberto www.lsi.upc.es/~oliveras Abstract. Many appl

Source URL: www.lsi.upc.edu

• Mathematics
• Algebra
• Theoretical computer science
• Modular arithmetic
• Logic in computer science
• Congruence relation
• Equivalence
• Closure
• Rewriting
• Congruence lattice problem
• Congruence subgroup

LEIBNIZ HOMOLOGY OF LIE ALGEBRAS AS FUNCTOR HOMOLOGY ERIC HOFFBECK AND CHRISTINE VESPA Abstract. We prove that Leibniz homology of Lie algebras can be described as functor homology in the category of linear functors from

Source URL: irma.math.unistra.fr

• Algebra
• Abstract algebra
• Mathematics
• Homological algebra
• Category theory
• Algebras
• Algebraic topology
• Operad theory
• Hochschild homology
• Functor
• Enriched category
• Monoidal category

MultiVAC: A High-Throughput Flexible Public Blockchain Based on Trusted Sharding Computation MultiVAC Foundation June, 2018, version 0.1 Abstract: MultiVAC is a next-generation high-performance public blockch

Source URL: www.mtv.ac

• Cryptocurrencies
• Blockchains
• Computing
• Concurrent computing
• Alternative currencies
• Data management
• Cross-platform software
• Ethereum
• Shard
• Smart contract
• Proof-of-stake
• Distributed ledger

On the Lp-distortion of finite quotients of amenable groups. Romain Tessera∗ December 11, 2007 Abstract

Source URL: www.normalesup.org

• Mathematics
• Mathematical analysis
• Algebra
• Solvable group
• Big O notation
• Generating function transformation
• Chebyshev's inequality

Delphy Foundation: Revolutionary Platform for Predicting Future Events Bo Wang Abstract

Source URL: delphy.org

Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W

Source URL: www.pepper-project.org

• Cryptography
• Randomized algorithms
• Computational complexity theory
• Mathematics
• Probabilistically checkable proof
• Complexity classes
• Interactive proof system
• IP
• NP
• Soundness
• PCP theorem
• Commitment scheme

The Anatomy of Web Censorship in Pakistan Zubair Nabi Information Technology University, Pakistan Abstract

Source URL: www.usenix.org

• Computing
• Internet
• Content-control software
• Internet privacy
• Information and communications technology
• Computer networking
• Internet censorship
• Privacy
• Great Firewall
• OpenDNS
• Public recursive name server
• Google Public DNS

Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi

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

• Mathematics
• Temporal logic
• Mathematical analysis
• Mathematical logic
• Formal languages
• Model theory
• Generalized functions
• Computation tree logic
• Logic in computer science
• Linear temporal logic
• Interpretation
• IP