Algorithmic Invariant Theory Gregor Kemper Invariant theory can be put in a very general context: If “∼” is an equivalence relation on a set X, then an invariant is a function on X which is constant on every equiva

Source URL: www.issac-conference.org

A tutorial on order- and arb-invariant logics Nicole Schweikardt Goethe-Universität Frankfurt am Main Journées d’Informatique Fondamentale de Paris Diderot 26 April 2013, Paris

Source URL: www.liafa.univ-paris-diderot.fr

UNIVERSITA’ DEGLI STUDI DI MILANO Dipartimento di Scienze dell’Informazione RAPPORTO INTERNO N◦ Goal Directed Invariant Synthesis

Source URL: users.mat.unimi.it

INVARIANT RADON MEASURES FOR HOROCYCLE FLOWS ON ABELIAN COVERS OMRI SARIG Dedicated to the memory of M. Babillot Abstract. We classify the ergodic invariant Radon measures for horocycle

Source URL: www.wisdom.weizmann.ac.il

Cubic surfaces with a Galois invariant pair of Steiner trihedra Andreas-Stephan Elsenhans∗ and J¨org Jahnel∗ Abstract Q

Source URL: www.staff.uni-bayreuth.de

MAXIMAL SURFACE AREA OF POLYTOPES WITH RESPECT TO LOG-CONCAVE ROTATION INVARIANT MEASURES. GALYNA LIVSHYTS Abstract. It was shown in [21] that the maximal surface area of a convex set in Rn with respect to a rotation

Source URL: www.math.kent.edu

Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA

Source URL: www.kestrel.edu

• Formal methods
• Logic in computer science
• Theoretical computer science
• Refinement
• Predicate transformer semantics
• Postcondition
• Program transformation
• Finite-state machine
• Invariant
• Formal verification
• Aspect-oriented software development
• Precondition

PDF Document

Source URL: asta.fnal.gov

• Mathematical analysis
• Mathematics
• Partial differential equations
• Integrable system
• Dirac delta function
• Invariant

arXiv:0706.2452v1 [physics.optics] 17 JunDesign of Electromagnetic Cloaks and Concentrators Using Form-Invariant Coordinate Transformations of Maxwell’s Equations

Source URL: arxiv.org

On the locality of arb-invariant first-order logic with modulo counting quantifiers F. Harwath N. Schweikardt

Source URL: highlights-conference.org