A new class of formal languages will be defined the Distributed Index Languages (DI-languages). The grammar-formalism generating the new class the DI-grammars cover unbound dependencies in a rather natural way. The place of DI-languages in the Chomsky-hierarchy will be determined: Like Aho's indexed Languages, DI-languages represent a proper subclass of Type 1 (contextsensitive languages) and p...

0

Conventional numerical di erentiation formulas based on interpolating polynomials, operators and lozenge diagrams can be simpli ed to one of the nite di erence approximations based on Taylor series, and closed-form expressions of these nite di erence formulas have already been presented. In this paper, we present new nite di erence formulas, which are more accurate than the available ones, espe...

In this thesis, I propose a robust and easy to implement method to calibrate an IMU without any external equipment. The procedure is based on a multi-position scheme, providing scale and misalignments factors for both the accelerometers and gyroscopes triads, while estimating the sensor biases. The method only requires the sensor to be moved by hand and placed in a set of different, static posi...

Functions We already observed in Section 5.2.2 that a function f : Z → Z is decomposed into elementary functions, i.e., assembly instructions within some basic block. Following the same approach, let us assume that the function f can be expressed as a composition of elementary functions, namely f = λx.h(g1(x, ..., x), ..., gk(x, ..., x)) where h : Zk → Z and gi : Zni → Z. More in general, each ...

DESCRIPTION: A 2-D imaging procedure for ultrasonic nondestructive testing has to be realized. It relies on both the use of pseudo-orthogonal sequences and of an inversion procedure made robust by combining the conjugate gradient iterative method with the Total Variation regularization. The effectiveness of the proposed procedure has been verified by experimental results: the overall system pro...

Sistemi informatici sempre più complessi sono ormai costantemente parte della vita di tutti i giorni di milioni di persone. Le applicazioni software che gestiscono questi sistemi informatici diventano man mano sempre più grosse e difficili da gestire e per questo l’incidenza del numero di bug al loro interno è diventata sempre più alta. La creazione di un software perfetto, ossia senza bug, è u...