Invariant - PDFSEARCH.IO - Document Search Engine

Invariant
Results: 1457

#	Item
181	157 Documenta Math. Equivariant Weierstrass Preparation and Values of L-functions at Negative Integers Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2003-12-22 16:28:28 Artin L-function Class field theory Regular representation Main conjecture of Iwasawa theory Invariant theory Group theory
182	Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information Nurlida Basir1 , Ewen Denney2 , and Bernd Fischer1 1 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Static program analysis Theoretical computer science Safety Computer security Safety case KeY Hoare logic Formal verification Proof-carrying code Hazard analysis Loop invariant
183	A Methodology for the Construction of Scheduled Systems K. Altisen, G. Goler, and J. Sifakis Abstract We study a methodology for constructing scheduled systems by restricting Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Control theory Invariant K1 Controllability State-space representation
184	1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logi Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Formal methods Monitor Hoare logic Invariant Loop invariant Flag semaphore Variable ALGOL 68 Predicate transformer semantics
185	ON THE GRAPH ATTACHED TO TRUNCATED BIG WITT VECTORS NICHOLAS M. KATZ Warning to the reader After this paper was written, we became aware of S.D.Cohen’s 1998 Add to Reading List Source URL: web.math.princeton.edu Language: English - Date: 2012-03-14 17:59:26 Matrix theory Algebra Determinant Linear algebra Field extension Lefschetz hyperplane theorem Fundamental theorem of algebra Semi-invariant of a quiver
186	Solving Systems of Polynomial Equations with ¨ Symmetries Using SAGBI-Grobner Bases ` Add to Reading List Source URL: issac2009.kias.re.kr Language: English - Date: 2009-07-31 03:37:58 Invariant theory Donald Knuth
187	Towards Modular Development in Event-B Thai Son Hoang1 1 2 Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-23 10:08:00 Invariant theory Probability theory Information theory Linear algebra Invariant of a binary form
188	279 Documenta Math. Essential Dimension: a Functorial Point of View Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2003-12-20 16:37:49 Algebraic groups Functors Essential dimension Category theory Cohomological invariant Separable extension Representable functor Sheaf Field extension Equivalence of categories Algebraic closure Cohomology
189	Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz 1 , Francesco Logozzo 2 , Manuel F¨ahndrich 2 ´ Ecole Normale Sup´erieure, Paris Add to Reading List Source URL: mehdi.bouaziz.org Language: English - Date: 2014-01-23 20:24:46 Formal methods Logic in computer science Object-oriented programming Postcondition Precondition Class invariant Design by contract Assertion Constructor Class Invariant Loop invariant
190	Recursiveness of indifference prices and translation-invariant preferences∗ Patrick Cheridito† Michael Kupper‡ Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2009-08-11 11:10:38 Decision theory Utility Constructible universe Indifference price Partial differential equation

UPDATE