Common algorithms for sentence and word-alignment allow the automat ic identification of word translations from paxalhl texts. This s tudy suggests tha t the identification of word translations should also be possible with non-paxMlel and even unrelated texts. The method proposed is based on the assumption tha t there is a correlation between the pat terns of word cooccurrences in texts of diff...

BACKGROUND Low molecular weight heparins (LMWH's) are used to prevent and treat thrombosis. Tests for monitoring LMWH's include anti-factor Xa (anti-FXa), activated partial thromboplastin time (aPTT) and thrombin generation. Anti-FXa is the current gold standard despite LMWH's varying affinities for FXa and thrombin. AIM To examine the effects of two different LMWH's on the results of 4 diffe...

1 I n t r o d u c t i o n OBJ3 is a programming language based on equational logic: programs are given in terms of abst ract da ta types and their semantics relies on order sorted algebras, which enables inclusion of types. The problem approached here is the correctness of axiom sets, in the following sense. The operational semantics of OBJ3 is rewriting, which means tha t when a program is exe...

This paper summarizes a feedback stability theory developed by the author during 1959-64. It introduces the concept of an extended space, and establishes three equivalent principles for input-output stability (or incremental stability): the 'small-gain,' 'positive-operator,' and 'conic-sector' theorems. Applications include the circle criterion, and a new proof of Popov's criterion. [The SCI in...

results that include the well-known matrix equality condition [1] as a special case, still allowing arbitrary state weighting matrices. Theorem 6 and Corollary 4 are also new results that weaken the condition on the state weighting matrix. It is known that the terminal weighting matrices presented in this paper can be represented as LMI forms and computed by using existing semi-definite program...

In this paper the flatness [M. Fliess, J. Lévine, P. Martin, and P. Rouchon, Internat. J. Control, 61 (1995), pp. 1327–1361, M. Fliess, J. Lévine, P. Martin, and P. Rouchon, IEEE Trans. Automat. Control, 44 (1999), pp. 922–937] of heavy chain systems, i.e., trolleys carrying a fixed length heavy chain that may carry a load, is addressed in the partial derivatives equations framework. We paramet...

In this paper we report on the first edit ion of the HEp-2 Cells Classificat ion contest , held at the 2012 edit ion of the Internat ional Conference on Pattern Recognit ion, and focused on Indirect Immunofluorescence (IIF) image analysis. The IIF methodology is used to detect autoimmune diseases by searching for ant ibodies in the pat ient serum but, unfortunately, it is st ill a subject ive m...

Introduction According to the standard view of early modern science and medicine, two different approaches to human physiology dominated 17-century physiology. One was the iatromechanical, originating from Descartes, and the other was the iatrochemical, which started with Paracelsus and was subsequently articulated by Jean Baptiste van Helmont. Historians of science and medicine have drawn a fi...

Markov games, as the generalization of Markov decision processes to the multi agent case, have long been used for modeling multi-agent systems. In this paper, several learning automata based multi-agent system algorithms for finding optimal policies in fully-cooperative Markov Games are proposed. In the proposed algorithms, Markov problem is described as a directed graph in which the nodes are ...

A research p ro jec t f o r improving the recogni t i o n of f l u e n t l y spoken German speech is presented. The work is in progress at present . * It should be i nves t i ga ted , how fa r aspects of semantics and inferences could improve the automat i c speech recogn i t i on . The work is part of a speech recogn i t ion system that receives speech s i g na l s , converts them in to forms ...