Industrial Process Measurement and Control Systems are used in most of the industrial sectors to achieve production improvement, process optimization and time and cost reduction. Integration, reuse, flexibility and optimization are demanded to adapt to a rapidly changing and competitive market. In fact, standardization is a key goal to achieve these goals. The international standardization effo...

In this overview paper, we outline a tool supported approach to the design and analysis of complex systems at the architectural level. The foundations of this approach are the use of the architectural description language Darwin to capture structural information about components and their interconnection and the use of a process algebra FSP to describe the behaviour of individual components. Th...

Coarse-grain reconfigurable architectures have been a matter of intense research in the last few years. They promise to be more adequate for computational tasks due to their better efficiency and bigger speed. As the coarse granularity implies also a reduction of flexibility, a universal architecture seems to be hardly feasible. Based on the KressArray architecture family, a design-space explor...

We introduce a fully automated static analysis that takes a sequential Java bytecode program P as input and attempts to prove that there exists an infinite execution of P . The technique consists in compiling P into a constraint logic program PCLP and in proving non-termination of PCLP ; when P consists of instructions that are exactly compiled into constraints, the non-termination of PCLP enta...

There are many applications where precise mode analysis is required. However, within the framework of abstract interpretation, the precision of an analyser depends, in part, on the expressiveness of the abstract domain and its associated abstraction function. This paper considers abstract domains for polymorphically typed logic programs where each non-variable symbol is explicitly typed. We sho...

We propose a cognitively and linguistically motivated set of sorts for lexical semantics in a compositional setting: the classifiers in languages that do have such pronouns. These sorts are needed to include lexical considerations in a semantical analyser such as Boxer or Grail. Indeed, all proposed lexical extensions of usual Montague semantics to model restriction of selection, felicitous and...

We report the case of a patient suspected of voluntary massive poisoning by ethylene glycol. Prehospital diagnosis was established by portable blood analyser and an early antidote with 4 MP treatment initiated in out-of-hospital setting. Use of portable blood analyser in prehospital care should be considered in case of suspected massive poisoning by ethylene glycol.

A new approach for an efficient text analyser is proposed. The prosody generator-driven method is employed to design an efficient text analyser for Mandarin text-to-speech. More simple structure of text analysis, more suitable classification of linguistic features and more efficient contribution of linguistic features to the prosody generator can be achieved. Three heuristic and theoretical met...

AIMS To assess the accuracy and precision of INR measurement by trained practice and district nursing staff using the Thrombolytic Assessment System (TAS) analyser. METHODS Seventeen nurses from four practices were trained to measure INR using the TAS analyser on citrated capillary blood samples. Quality control (QC) consisted of: daily internal QC using normal and abnormal commercial plasmas...