A characterization of Riemann integrability Cosmin Burtea Faculty of Mathematics, "Al. I. Cuza" University of Ia³i, Romania Abstract We prove a characterization of Riemann integrability by using some Darboux-like sums w

Source URL: math.univ-lyon1.fr

Algebraic techniques for number field computations (extended abstract) Jean-Fran¸cois Biasse1 , Michael J. Jacobson, Jr.2? , and Alan K. Silvester3 ´ Ecole Polytechnique, 91128 Palaiseau, France

Source URL: www.lix.polytechnique.fr

• Algebra
• Abstract algebra
• Mathematics
• Finite fields
• Group theory
• Logarithms
• Algebraic number theory
• Numerical linear algebra
• XTR
• Discrete logarithm
• Gaussian elimination
• Quadratic field

THE LARGE-SCALE GEOMETRY OF LOCALLY COMPACT SOLVABLE GROUPS ROMAIN TESSERA Abstract. This short survey deals with the large-scale geometry of solvable groups. Instead of giving a global overview of this wide subject, we

Source URL: www.normalesup.org

• Geometry
• Mathematics
• Group theory
• Geometric group theory
• Dehn function
• Amenable group
• Nilpotent group
• Lattice
• Solvable group
• Quasi-isometry
• Kazhdan's property
• Distribution

Abstract  Joint Ventures brings a much-needed change to the current digital content landscape. Our aim  is to create an economy that rewards every participant of the network, including publishers,  authors, commenters

Source URL: icorating.com

• Marketing
• World Wide Web
• Digital marketing
• Online advertising
• Adtech
• Targeted advertising
• Ad serving
• AdSense
• Advertising
• Ad blocking
• Facebook
• Pay-per-click

On the Size of Pairing-based Non-interactive Arguments? Jens Groth?? University College London, UK Abstract. Non-interactive arguments enable a prover to convince a verifier that a statement is true. R

Source URL: eprint.iacr.org

• Algebra
• Mathematics
• Multilinear algebra
• Non-interactive zero-knowledge proof
• Proof theory
• IP
• Snark
• Zero-knowledge proof
• Zero knowledge
• Soundness
• Bilinear map
• Model theory

The Education Bulge: The Road to Mass Protest By Kimberly Turner Phd Candidate Southern Illinois University Carbondale Abstract:

Source URL: www.saramitchell.org

• Politics
• Political philosophy
• Forms of government
• Culture
• Democracy
• Social change
• Social movement
• Authoritarianism
• Democratization
• Arab Spring

Probabilistic Model Checking Christel Baier, Luca de Alfaro, Vojtˇech Forejt, and Marta Kwiatkowska Abstract The model-checking approach was originally formulated for verifying qualitative properties of systems, for exa

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

• Temporal logic
• Theoretical computer science
• Probability
• Markov decision process
• Markov chain
• Probabilistic CTL
• Linear temporal logic
• Computation tree logic
• PL

IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar

Source URL: jorgenavas.github.io

• Software engineering
• Computing
• Software
• Compilers
• Compiler construction
• Compiler optimizations
• Abstract interpretation
• LLVM
• Programming language implementation
• Intermediate representation
• Polyspace
• Static program analysis

Local Soundness for QBF Calculi? Martin Suda and Bernhard Gleiss TU Wien, Vienna, Austria Abstract. We develop new semantics for resolution-based calculi for Quantified Boolean Formulas, covering both the CDCL-derived ca

Source URL: forsyte.at

• Measure theory
• FO
• Finite model theory
• Ergodic theory
• Mathematics
• Logic
• Mathematical logic
• Lie algebras
• Hopf decomposition
• Pattern language

Zero-Knowledge Protocols for Search Problems Ben Berger Zvika Brakerski Weizmann Institute of Science, Israel∗ Abstract

Source URL: eprint.iacr.org

• Complexity classes
• Cryptography
• Computational complexity theory
• Computing
• Interactive proof system
• Zero-knowledge proof
• NP
• IP
• Soundness
• Proof of secure erasure
• Certificate
• Zero knowledge