-------- INVARIANT THEORY OF MATRICES ;,.

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

Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes Kord Eickmeyer National Inst. of Informatics, Tokyo

Source URL: logic.las.tu-berlin.de

University of Heidelberg Department of Economics Discussion Paper Series NoOrder Invariant Evaluation of Multivariate

Source URL: www.wisostat.uni-koeln.de

Improving Strategies via SMT Solving Thomas Martin Gawlitza ∗ David Monniaux†

Source URL: www-verimag.imag.fr

• Algebra
• Mathematics
• Software engineering
• Predicate logic
• Abstract interpretation
• Galois connection
• Galois theory
• Order theory
• Linear map
• Free variables and bound variables
• Loop invariant
• Flow chart language

A comparative study of programmer-written and automatically inferred contracts Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch

Source URL: se.ethz.ch

• Software engineering
• Computer programming
• Software
• Formal methods
• Logic in computer science
• Object-oriented programming languages
• Object-oriented programming
• Software testing
• Postcondition
• Eiffel
• Assertion
• Class invariant

SiftGPU Manual Changchang Wu University of North Carolina at Chapel Hill Introduction SiftGPU is a GPU implementation of David Lowe‟s Scale Invariant Feature Transform.

Source URL: www.cs.unc.edu

RIDE: Reversal Invariant Descriptor Enhancement Lingxi Xie1∗ Jingdong Wang2 Weiyao Lin3 Bo Zhang4 Qi Tian5 1,4 LITS, TNList, Dept. of Comp. Sci. & Tech., Tsinghua University, Beijing, China 1 Department of Statistics,

Source URL: www.cv-foundation.org

Symbolic-Numeric Aspects in Computation of Invariant Pairs for Matrix Polynomials Esteban Segura Ugalde XLIM-DMI, Universit´e de Limoges The generalized eigenvalue/eigenvector problem for matrix polynomials consists in

Source URL: jncf2013.imag.fr

ON THE µ-INVARIANT IN IWASAWA THEORY R. SUJATHA Introduction The aim of this expository article is to discuss the µ-invariant associated to finitely generated modules over Iwasawa algebras. This is an important invaria

Source URL: www.math.tifr.res.in

REFERENTIAL SEMANTICS : DUALITY AND APPLICATIONS RAMON JANSANA, ALESSANDRA PALMIGIANO UNIVERSITAT DE BARCELONA 1. Introduction Substitution-invariant consequence relations between sets of formulas and formulas

Source URL: www.appliedlogictudelft.nl