Non-trivial checks of novel consistency relations
نویسندگان
چکیده
منابع مشابه
Non–trivial Intertwined Second–order Recurrence Relations
In a recently published book, it is shown that there are essentially seven different non– trivial systems of three intertwined second–order recurrence relations, but the solutions are not given. In this note we present explicit solutions to all seven systems. AMS Classification: 11B39, 11B37
متن کاملTowards Trustworthy Specifications I: Consistency Checks
As the first of two methodological devices aimed at increasing the trust in the ‘correctness’ of a specification, we develop a calculus for proving consistency of Casl specifications. It turns out to be possible to delegate large parts of the proof load to syntactical criteria by structuring consistency proofs along the given specification structure, so that only in rather few remaining focus p...
متن کاملTwo color consistency checks for voxel coloring
In this paper two different consistency testing methods for voxel coloring will be evaluated using voxel coloring algorithm proposed by Seitz & Dyer [1] as a basic tool. The first method is a statistical approach called Kolmogorov-Smirnov distance measure between two color distributions. The second method is a histogram-based consistency method proposed by Stevens & Culbertson [3]. Both of thes...
متن کاملFault Prevention and Removal Using Consistency Checks
Two-Stage Programming (2SP) is an experimental mixed-paradigm (functional/imperative) programming language with strong support for fault prevention and removal [3] through automatic verification of computation results with respect to a given specification. 2SP combines ideas of program verification, run-time checking, and result-checking [4]. The 2SP approach is to coordinate a functional speci...
متن کاملTrivial Stable Structures with Non-trivial Reducts
We offer a new viewpoint on some of the generic structures constructed using Hrushovski’s predimensions and show that they are natural reducts of quite straightforward trivial, one-based stable structures. 2000 Mathematics Subject Classification: 03C45.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Cosmology and Astroparticle Physics
سال: 2014
ISSN: 1475-7516
DOI: 10.1088/1475-7516/2014/06/056