We describe a method for interpreting abstract fiat syntactic representations, LFG f-structures, as underspecified semantic representations , here Underspecified Discourse Representation Structures (UDRSs). The method establishes a one-to-one correspondence between subsets of the LFG and UDRS formalisms. It provides a model theoretic interpretation and an inferen-tial component which operates d...

This article gives a brief description of the use of diffraction contrast transmission electron microscopy for characterizing the deformation microstructure. The capabilities and limitations of different modes of microscopy are also discussed. One of strengths of transmission electron microscopy technique is its capability to identify uncommon deformation system. This is illustrated by the anal...

The discovery of new metal alloys and the technological advancement in welding processes are key resources for aerospace industry to obtain cost reduction better reliability. Thus, welded joints dissimilar materials such as aluminum titanium have been explored due their combined low density high mechanical performance. Otherwise, metals may present deleterious factors joint formation intermetal...

Abstract: Production of titanium aluminides in TiO2-Al-Ca system has been investigated. For this purpose, different compositions of raw materials were studied in a special reaction vessel. In a special case, the non-completed reaction of TiO2 with Al and Ca resulted in the production of granulates of titanium aluminides especially Ti3Al and other Ti – Al phases as the metallic product and C...

A framework for components on the Web needs a formal model that captures essen tial concepts such as contractual information and service matching We propose a typed calculus based model for Web components that formalises an extension of the currently discussed Web Services framework We address in particular activities in the stages of a component life cycle such as matching commitment connectio...

This paper presents a tec hnique for detecting process dynamics variations with barely essen tial computational resources, thus applicable in very low-end autotuning regulators. The method is based on the online computation of convenient indexes, compared to nominal values obtained in the tuning phase. After describing the procedure, the results of its validation on a linear test batch, a test ...