Decidability of invariant validation for paramaterized systems ⋆ Pascal Fontaine and E. Pascal Gribomont University of Li`ege (Belgium) {pfontain,gribomont}@montefiore.ulg.ac.be

Source URL: www.montefiore.ulg.ac.be

ON THE LINEARITY DEFECT OF THE RESIDUE FIELD LIANA M. S ¸ EGA Abstract. Given a commutative Noetherian local ring R, the linearity defect of a finitely generated R-module M , denoted ldR (M ), is an invariant that measu

Source URL: s.web.umkc.edu

Progress In Electromagnetics Research, Vol. 118, 415–423, 2011 POLARIZATION-INVARIANT DIRECTIONAL CLOAKING BY TRANSFORMATION OPTICS K. Agarwal1 , X. Chen1, * , L. Hu1 , H. Liu2 and G. Uhlmann3, 4 1 Department

Source URL: www.math.washington.edu

Not quite synchronous enough Compositional invariant proofs of reactive systems in an interactive theorem prover (Isabelle/HOL) Timothy Bourke INRIA Paris-Rocquencourt

Source URL: synchron2014.inria.fr

Maximal surface area of a convex set in Rn with respect to exponential rotation invariant measures

Source URL: www.math.kent.edu

Quantified Invariant Generation using an Interpolating Saturation Prover K. L. McMillan Cadence Berkeley Labs Abstract. Interpolating provers have a variety of applications in verification, including invariant generatio

Source URL: www.kenmcmil.com

Lower bounds for integration M. Weimar On lower bounds for integration of multivariate permutation-invariant functions

Source URL: www.mathematik.uni-kl.de

Inference of Tree Data Structure Invariant based on Language Identification from Samples Naoshi Tabuchi, Naoki Kobayashi, and Hiroshi Unno Tohoku University Abstract. We propose a method to infer invariants of tree data

Source URL: www.cs.tsukuba.ac.jp

Exploring the diffeomorphism invariant Hilbert space Hanno Sahlmann Spinoza Institute, Utrecht University (See also gr-qc)

Source URL: www.matmor.unam.mx

Bidirectional Spreadsheet Formulas ⇤ HASLab, Nuno Macedo⇤ , Hugo Pacheco† , Nuno Rocha Sousa⇤ , Alcino Cunha⇤ INESC TEC & Universidade do Minho, Portugal {nfmmacedo,nrsousa,alcino}@di.uminho.pt

Source URL: wiki.di.uminho.pt

• Spreadsheet software
• Software
• Spreadsheet
• Logical spreadsheet
• Numbers
• Microsoft Excel
• Formula
• Invariant
• Lotus Improv
• Functional Database Model