Invariant (computer science)

Known as: Invariant, Programming invariant

In computer science, an invariant is a condition that can be relied upon to be true during execution of a program, or during some portion of it. It…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2008

We discuss (extended) super Schrödinger algebras which are subalgebras of the superconformal algebra psu(2,2|4). The Schrödinger…

2003

Algorithm-based fault tolerance (ABFT) is a technique to provide system level error detection and correction on array processors…

1999

A vector difference calculus is developed for physical models defined on a general triangulating graphG, which may be a regular…

1998

We prove that the number of linearly independent Vassiliev invariants for an r-component link of order n, which derived from the…

1998

The pseudo SU ~3! model, in an extended version in which proton and neutron degrees of freedom are incorporated explicitly, is…

1994

Translation planes of order 27 are classified. Various invariants play an important role in a computer search.

1993

This report presents an assumption commitment speci cation technique and a re nement calculus for networks of agents…

1992

This paper studies the invariant theory for its applications to computer vision. In the first part of the paper, three methods of…

1991

The signed log likelihood ratio r for a one-dimensional interest parameter can be modified as r * = r + r -' log (u/r) so that…

1967

From the basis of a chosen constitutive equation, an attempt was made to expand for snow a derived relationship for the state of…