In this paper we introduce a novel approach to the specification of real-time behaviour with process algebras. In contrast to the usual pattern, involving a fixed, measurable, and global notion of time, we suggest to represent real-time constraints indirectly through uninterpreted clocks enforcing broadcast synchronization between processes. Our approach advocates the use of asynchronous proces...

In this paper, we are interested in empirical multiple predicate learning. The rst solution to this problem that consists in putting together the deenitions obtained by a single predicate learning system is rarely interesting. We explain why and we show how a single predicate learning system has been extended to a multiple predicate learning system called mult icn, which learns deenite logic pr...

Multicast is a key technology that provides efficient data communication among a set of nodes for wireless multi-hop networks. In sensor networks and MANETs, multicast algorithms are designed to be energy efficient and to achieve optimal route discovery among mobile nodes, respectively. However, in wireless mesh networks, which are required to provide high quality service to end users as the "l...

BACKGROUND Engagement of Toll-like receptor (TLR) 4 on intrinsic kidney cells is critical for the full development of renal ischaemia-reperfusion injury (IRI). Effects of TLR signalling in renal parenchymal cells include the production of cytokines, chemokines and other soluble mediators which contribute to local inflammation and leucocyte accumulation. Whether engagement of TLR4 on kidney cell...

Modeling extended lactations for the US Holsteins is useful because a majority (>55%) of the cows in the present population produce lactations longer than 305 d. In this study, 9 empirical and mechanistic models were compared for their suitability for modeling 305-d and 999-d lactations of US Holsteins. A pooled data set of 4,266,597 test-day yields from 427,657 (305-d complete) lactation recor...

published by admin on Mon, 09/08/2014 3:09pm Title Clinical outcomes assessment in multiple sclerosis: Part II. Publication Type Journal Article Year of Publication 1996 Authors Cutter, GR Journal Mult Scler Volume 2 Issue 5 Pagination 247-8 Date Published 1996 Dec ISSN 1352-4585