Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control strategies modeled with this semantics are robust and implementable (without making the synchrony hypothesis). We show in this paper how to effectively encode this semantics using timed automata along with their classical se...

1) Introduction One of the most serious problems that limits the capacity of CDMA systems is the multi-access interference (MAI), caused by the cross-correlation between spreading sequences of active users. The undesirable impact of the MAI becomes more remarkable and sometimes disastrous when the number of active users becomes large or when the power level of certain users is significantly hig...

This paper addresses the challenges in real-time implementation of Simultaneous Localisation and Mapping (SLAM) on a UAV platform. When compared to the implementation of SLAM in 2D environments, airborne implementation imposes several difficulties in terms of computational complexity, difficulty in loop closure, and high nonlinearity in both vehicle dynamics and observations. Airborne SLAM is f...

background and objective: rapid diagnosis of pertussis is important for the timely isolation of the infection source and early prevention measures among the contact persons, especially among non-vaccinated infants for whom pertussis is life- threatening. materials and methods: targets is481 , is1001, bp0026 and human gapdh gene were used to develop a multiplex real- time pcr assay based on the ...