Recently, the non-destructive methods have become of interest to the scientists in various fields. One of these method is Ground Penetration Radar (GPR), which can provide a valuable information from underground structures in a friendly environment and cost-effective way. To increase the signal-to-noise (S/N) ratio of the GPR data, multi-fold acquisition is performed, and the Common-Mid-Points ...

We introduce and investigate stack transducers, which are one-way stack automata with an output tape. A one-way stack automaton is a classical pushdown automaton with the additional ability to move the stack head inside the stack without altering the contents. For stack transducers, we distinguish between a digging and a non-digging mode. In digging mode, the stack transducer can write on the o...

Two new procedures for manipulating multiple stacks which share sequential memory locations are discussed. The first is the dynamic initial allocation procedure in which each stack is allocated as its first element arrives rather than having every stack preallocated at the very beginning of the entire process. The second is the local reallocation procedure; in this scheme, when a stack overflow...

This work presents a hardware/software data acquisition system developed for monitoring the temperature in real time of the cells in Air-Cooled Polymer Electrolyte Fuel Cells (AC-PEFC). These fuel cells are of great interest because they can carry out, in a single operation, the processes of oxidation and refrigeration. This allows reduction of weight, volume, cost and complexity of the control...

We prove that every separated Artin stack of finite type over a noetherian base scheme admits a proper covering by a quasi–projective scheme. An application of this result is a version of the Grothendieck existence theorem for Artin stacks.

Nowadays, there exists a large competition between maritime ports, so that the improvement of customer service became a serious important problem within port container terminals which led to several sub-problems (Vis and Koster 2003). One of these sub-problems is the Container Stacking Problem. A container stack is a type of temporary store where containers await further transport by truck, tra...