arXiv:1208.4943v2 [math.DG] 10 NovSPECTRAL RIGIDITY AND INVARIANT DISTRIBUTIONS ON ANOSOV SURFACES GABRIEL P. PATERNAIN, MIKKO SALO, AND GUNTHER UHLMANN Abstract. This article considers inverse problems on closed

Source URL: www.math.washington.edu

A CLASSIFICATION OF ORBITS ADMITTING A UNIQUE INVARIANT MEASURE NATHANAEL ACKERMAN, CAMERON FREER, ALEKSANDRA KWIATKOWSKA, AND REHANA PATEL Abstract. The group S∞ acts via the logic action on the space of countable str

Source URL: cfreer.org

Contract.Requires(amount > 0.0); Contract.Ensures(Balance == Contract.OldValue(Balance) + amount); Contract.Invariant(Balance > 0.0); Encouraging Effective Contract Specifications

Source URL: homes.cs.washington.edu

• Theoretical computer science
• Formal methods
• Logic in computer science
• Postcondition
• Null

Scale Invariant Optical Flow Li Xu Zhenlong Dai Jiaya Jia

Source URL: www.cse.cuhk.edu.hk

• Image segmentation
• Optical flow

ON THE OPTIMALITY OF THE ARF INVARIANT FORMULA FOR GRAPH POLYNOMIALS MARTIN LOEBL AND GREGOR MASBAUM Abstract. We prove optimality of the Arf invariant formula for the generating function of even subgraphs, or, equivalen

Source URL: iti.mff.cuni.cz

Translation invariant extensions of finite volume measures S. Goldstein∗, T. Kuna†, J. L. Lebowitz∗, ‡ and E. R. Speer∗ August 2, 2015 Keywords: pre-translation-invariance, translation invariant extensions, max

Source URL: math.rutgers.edu

Safety Envelope for Security∗ Ashish Tiwari Bruno Dutertre SRI International Pat Lincoln

Source URL: www.csl.sri.com

• Algebra
• Mathematics
• Linear algebra
• Matrix theory
• Invariant
• Kalman filter
• Eigenvalues and eigenvectors
• Principal component analysis
• Differential geometry of surfaces
• Control theory
• Trace
• Inertial measurement unit

PHYSICAL REVIEW X 4, Classical and Quantum Shortcuts to Adiabaticity for Scale-Invariant Driving Sebastian Deffner,1 Christopher Jarzynski,1 and Adolfo del Campo2,3 1

Source URL: www.chem.umd.edu

Loop Invariant Synthesis in a Combined Domain Shengchao Qin1 , Guanhua He2 , Chenguang Luo2? , and Wei-Ngan Chin3 1 Teesside University, Middlesbrough, TS1 3BA, UK 2

Source URL: www.comp.nus.edu.sg

Unsupervised Learning of Sparse and Invariant Features Hierarchies Marc’Aurelio Ranzato1 , Y-Lan Boureau1 , Fu Jie Huang1 and Yann LeCun1 1 The Courant Institute of Mathematical Sciences - New York University

Source URL: snowbird.djvuzone.org