33. The Secret of Training In our books The Secret Of Running (www.thesecretofrunning.com) and The Secret Of Cycling (www.thesecretofcycling.com) we have described our unified theory for the performance in running and cy

Source URL: thesecretofrunning.com

Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2

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

• I0
• Invariant
• XC

Under consideration for publication in Theory and Practice of Logic Programming 1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗

Source URL: jorgenavas.github.io

• Mathematics
• Theoretical computer science
• Elementary mathematics
• Compiler optimizations
• Static single assignment form
• Logic programming
• Scope
• Unification
• Term
• FO
• Variable
• Singular spectrum analysis

DPLL(T) with Exhaustive Theory Propagation and its Application to Difference Logic Robert Nieuwenhuis and Albert Oliveras? Abstract. At CAV’04 we presented the DPLL(T ) approach for satisfiability modulo theories T . I

Source URL: www.lsi.upc.edu

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

PERIODS AND MODULI OLIVIER DEBARRE Abstract. This text is an introduction, without proofs and by means of many examples, to some elementary aspects of the theory of period maps, period domains, and their relationship wit

Source URL: www.math.ens.fr

• Algebraic geometry
• Algebra
• Abstract algebra
• Algebraic curves
• Algebraic surfaces
• Moduli theory
• Hodge theory
• Projective variety
• Abelian variety
• Hodge structure
• Divisor
• Moduli space

HONG KONG INSTITUTE FOR MONETARY RESEARCH THE FISCAL THEORY OF THE PRICE LEVEL IN A WORLD OF LOW INTEREST RATES Marco Bassetto and Wei Cui

Source URL: www.hkimr.org

• Economy
• Money
• Fiscal policy
• United States fiscal cliff
• Keynesian economics
• Inflation
• Real interest rate
• Macroeconomics
• Balanced budget
• Government budget balance
• National debt of the United States
• Deficit spending

Use Privacy in Data-Driven Systems Theory and Experiments with Machine Learnt Programs Anupam Datta CMU

Source URL: www.ieee-security.org

• Computing
• Data security
• Computer security
• Internet privacy
• Digital rights
• Human rights
• Terms of service
• Law
• Privacy
• Information privacy
• Information security
• Proxy

Toward a Theory of Maximally Concurrent Programs ∗ [Shortened Version] Rajeev Joshi Jayadev Misra

Source URL: rjoshi.org

• Algebra
• Mathematics
• Mathematical analysis
• Functional analysis
• Linear algebra
• Projection
• Constructible universe
• Lie algebras
• Lie groups

SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers Germain Faure, Robert Nieuwenhuis, Albert Oliveras and Enric Rodr´ıguez-Carbonell? Abstract. Many highly sophisticated tools exist for

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Boolean algebra
• Satisfiability modulo theories
• Boolean satisfiability problem
• Linear programming
• AMPL

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1278) REPRESENTATION THEORY OF W-ALGEBRAS AND HIGGS BRANCH CONJECTURE Tomoyuki Arakawa (荒川知幸)

Source URL: eta.impa.br

• Abstract algebra
• Lie algebras
• Mathematics
• Conformal field theory
• Representation theory
• Lie groups
• Algebras
• Vertex operator algebra
• Lie algebra
• Virasoro algebra
• W-algebra
• KacMoody algebra