‎A universal schema for diagonalization was popularized by N.S‎. ‎Yanofsky (2003)‎, ‎based on a pioneering work of F.W‎. ‎Lawvere (1969)‎, ‎in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function‎. ‎It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema‎. ‎Here‎, ‎we fi...

This paper examines the difficulty of the schema conformance problem for the following XML schema languages: • DTD • RELAX NG with W3C XML Schema Datatypes • Schematron • W3C XML Schema • Namespace Routing Language The schema conformance problem is defined as follows: Given a schema, is there an XML document that conforms to the schema? For these five XML schema languages, the schema conformanc...

JSON Schema is an evolving standard for describing families of documents. It a logical language, based on set assertions that describe features the value under analysis and or structural combinators these assertions, including negation operator. Most languages with enjoy closure: every operator, they have negation-dual allows to be pushed through We show this not case Schema, study how changed ...

seismic inversion is a method that extracts acoustic impedance data from the seismic traces. sourcewavelets are band-limited, and thus seismic traces do not contain low and high frequency information.therefore, there is a serious problem when the deterministic seismic inversion is applied to real dataand the result of deterministic inversion is smooth. low frequency component is obtained from w...