We describe the mechanisation of an SLR parser produced by a parser generator, covering background properties of context-free languages and grammars, as well as the construction of an SLR automaton. Among the various properties proved about the parser we show, in particular, soundness: if the parser results in a parse tree on a given input, then the parse tree is valid with respect to the gramm...

Sign Language is a means of communication between audibly challenged people. To provide an interface between the audibly challenged community and the rest of the world we need Sign Language translators. A sign language recognition system computerizes the work of a sign language translator. Every Sign Language Recognition (SLR) System is trained to recognize specific sets of signs and they corre...

Deenite-clause grammars (DCGs) generalize context-free grammars in such a way that Prolog can be used as a parser in the presence of context-sensitive information. Prolog's proof procedure, however, is based on back-tracking, which may be a source of ineeciency. Parsers for context-free grammars which use backtracking, for instance, were soon replaced by more eecient methods such as LR parsers....

Satellite Laser Ranging (SLR) systems successfully measure attitude and spin period of Envisat. During the International Laser Ranging Service (ILRS) campaign the SLR stations observed the satellite and provided measurements that allow determination of the attitude and the spin period of Envisat during year 2013. The spin parameters of the spacecraft are stable within a coordinate system fixed ...

Accelerated sea level rise (SLR) in the twenty-first century will result in unprecedented coastal recession, threatening billions of dollars worth of coastal developments and infrastructure. Therefore, we cannot continue to depend on the highly uncertain coastal recession estimates obtained via the simple, deterministic method (Bruun rule) that has been widely used over the last 50 years. Furth...

Spatio-temporal data is intrinsically high dimensional, so unsupervised modeling is only feasible if we can exploit structure in the process. When the dynamics are local in both space and time, this structure can be exploited by splitting the global field into many lower-dimensional “light cones”. We review light cone decompositions for predictive state reconstruction, introducing three simple ...

The Eastern Sahara (Fig. i) is devoid of surface drainage -this unusual characteristic distinguishes its morphology from that of most other desert regions where running water dominates landscape development (Peel, 1939). Cyclic aridity, which is responsible for the obscuring eolian blankets and wind-erosion effects, had set in by the Pliocene-Pleistocene transition, about 2 million years ago (W...

Using kHz data of the SLR station Graz, spin parameters of the satellite Gravity Probe B (GP-B) are derived; these include spin period and its change over a 1.5 year period, as well as spin direction, and spin axis orientation. The results are compared to the actual data sets as determined by the GP-B mission itself – thus allowing independent confirmation of the kHz SLR derived results.

We present RSLR, an implicit higher order characterization of the class PP of those problems which can be decided in probabilistic polynomial time with error probability smaller than 1/2. Analogously, we can get a characterization of the class BPP. RSLR is an extension of Hofmann’s SLR with a probabilistic primitive. We prove that this system enjoys subject reduction. Polytime soundness is obta...