Vanishing of the first reduced cohomology with values in an Lp-representation. Romain Tessera March 7, 2008 Abstract We prove that the first reduced cohomology with values in a mixing

Source URL: www.normalesup.org

• Geometry
• Algebra
• Abstract algebra
• Geometric group theory
• Cohomology theories
• Metric geometry
• Topological groups
• -hyperbolic space
• Cohomology
• Sheaf
• Quasi-isometry
• Hyperbolic metric space

Statement of Votes Cast Hocking County, Ohio General Election November 3, 2009 SOVC For Jurisdiction Wide, All Counters, All Races OFFICIAL ABSTRACT DB2

Source URL: hocking.ohioboe.com

Temporal Logic Control under Incomplete or Conflicting Information Georgios Fainekos, and Herbert G. Tanner Abstract— Temporal logic control methods have provided a viable path towards solving the single- and multi-rob

Source URL: www.public.asu.edu

• Temporal logic
• Algebraic structures
• Mathematics
• Logic
• Metaphysics
• Linear temporal logic
• Logic in computer science
• Computation tree logic
• Non-classical logic
• Model checking
• Many-valued logic
• Lattice

SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri? , Robert Nieuwenhuis?? , and Albert Oliveras?? Abstract. Predicate abstraction is a technique for automatically extracting finite-state abstractions for s

Source URL: www.lsi.upc.edu

• Mathematical logic
• Mathematics
• Theoretical computer science
• Formal methods
• Electronic design automation
• Logic in computer science
• NP-complete problems
• Boolean algebra
• Satisfiability modulo theories
• Boolean satisfiability problem
• 120-cell
• Predicate

Full version of an extended abstract published in Proceedings of Eurocrypt 2014, Springer-Verlag, 2014. D´ej`a Q: Using Dual Systems to Revisit q-Type Assumptions Sarah Meiklejohn∗ UC San Diego

Source URL: smeiklej.com

• Algebra
• Abstract algebra
• XTR
• Verifiable random function
• Computational hardness assumptions
• Group theory
• Lie groups

NEARBY SLOPES AND BOUNDEDNESS FOR `-ADIC SHEAVES IN POSITIVE CHARACTERISTIC by Jean-Baptiste Teyssier Abstract. — The goal of this paper is to motivate a boundedness conjecture for

Source URL: jbteyssier.com

• Algebra
• Abstract algebra
• Ring theory
• Algebraic number theory
• Field theory
• Complex analysis
• Algebraic topology
• Ramification
• Conductor
• Valuation
• Proper morphism
• Field extension

Order-LWE and the Hardness of Ring-LWE with Entropic Secrets Zvika Brakerski Renen Perlman Weizmann Institute of Science∗ Abstract

Source URL: eprint.iacr.org

• Cryptography
• Post-quantum cryptography
• Lattice-based cryptography
• Computational hardness assumptions
• Lie groups
• Ring learning with errors
• Learning with errors
• Lattice
• Homomorphic encryption
• Order
• Entropy
• Ring learning with errors key exchange

Erays: Reverse Engineering Ethereum’s Opaque Smart Contracts Yi Zhou Deepak Kumar Surya Bakshi Joshua Mason Andrew Miller Michael Bailey University of Illinois, Urbana-Champaign Abstract Interacting with Ethereum smart

Source URL: kumarde.com

• Cryptocurrencies
• Blockchains
• Ethereum
• Alternative currencies
• Concurrent computing
• Computing
• Distributed computing
• Cross-platform software
• Smart contract
• Solidity
• ERC-20
• CryptoKitties

The Cost of AI  Matt Mahoney  Draft, Mar. 27, 2013  Abstract  In 2011, we paid people worldwide US $70 trillion to do work that machines did not know how 

Source URL: mattmahoney.net

• Technology
• Futurology
• Philosophy of artificial intelligence
• Computational neuroscience
• Future
• Metaphysics
• Artificial intelligence
• Cybernetics
• Human genome
• Entropy
• Moore's law
• The Singularity Is Near

Exploiting Search Space Structure in Classical Planning: Analyses and Algorithms (Dissertation Abstract) Masataro Asai Graduate School of Arts and Sciences University of Tokyo

Source URL: icaps16.icaps-conference.org

• Game artificial intelligence
• Routing algorithms
• Computer programming
• Computing
• Mathematics
• Automated planning and scheduling
• Theoretical computer science
• Macro
• Satisficing
• A* search algorithm
• Planning Domain Definition Language
• Heuristic