Background and Aims: Iron deficiency anemia (IDA) and beta thalassemia minor (BTM) are the most common hypochromic microcytic anemias, and it is regarded important to differentiate between them. several formulae can be taken into consideration based on red blood cell (RBC) parameters in order to distinguish between these two disorders. Hence, the present study intended to evaluate the sensitivi...

Semantic coordination, namely the problem of finding an agreement on the meaning of heterogeneous semantic models, is one of the key issues in the development of the open agent-based systems. In this paper, we propose a new algorithm for discovering semantic mappings across autonomous agents’ local data models based on a new approach to semantic coordination. This approach shifts the problem of...

We study a logic whose formulae are interpreted as properties of a finite set over some universe. The language is propositional, with two unary operators inclusion and extension, both taking a finite set as argument. We present a basic Hilbert-style axiomatisation, and study its completeness. The main results are syntactic and semantic characterisations of complete extensions of the logic.

On the semantics of determiners in a rich type-theoretical framework The variation of word meaning according to the context led us to enrich the type system of our syntactical and semantic analyser of French based on categorial grammars and Montague semantics (or lambda-DRT). The main advantage of a deep semantic analyse is too represent meaning by logical formulae that can be easily used e.g. ...

Mathematical formulae in academic texts significantly contribute to the overall semantic content of such texts, especially in the fields of Science, Technology, Engineering and Mathematics. Knowing the definitions of the identifiers in mathematical formulae is essential to understand the semantics of the formulae. Similar to the sense-making process of human readers, mathematical information re...

LOTOS is a formal speciication language for concurrent and distributed systems. Basic LOTOS is the version of LOTOS without value-passing. A widely used approach to veriication of temporal properties is model checking. Often, in this approach the formal speciication is translated into a labeled transition systems on which formulae expressing properties are checked. A problem of this veriication...

This paper concerns a procedure that analyzes aspects of the meaning or semantics of scientific and engineering code. This procedure involves taking a user's existing code, adding semantic declarations for some primitive variables, and parsing this annotated code using multiple, independent expert parsers. These semantic parsers encode domain knowledge and recognize formulae in different discip...

background and aims: iron deficiency anemia (ida) and beta thalassemia minor (btm) are the most common hypochromic microcytic anemias, and it is regarded important to differentiate between them. several formulae can be taken into consideration based on red blood cell (rbc) parameters in order to distinguish between these two disorders. hence, the present study intended to evaluate the sensitivi...

background central venous catheterization is done frequently in cardiac surgery and intensive care settings. faulty positioning of the catheter can cause many complications. objectives the aim of our study was to study the average depth of insertion and formulate a general guideline through the right internal jugular vein (ijv). patients and methods the right ijv was cannulated over a period of...

predictions of suspended sediment load for soolegan river, iran using selected empirical equ-ations were made based on 355 data sets. data include flow discharges from 3.11 m3/s to 43.81 m3/s, flow velocities from 0.22 m/s to 1.03 m/s, and flow depths from 0.5 to 1.03 m. equations of einstein (1950), bagnold (1966), toufalleti (1968), brooks (1963), chang-simons-richardson(1965),lane-kalinske (...