Abstraction of temporal data (TA) aims to abstract time-points into higher-level interval con-ion of temporal data (TA) aims to abstract time-points into higher-level interval concepts and to detect significant trends in both low-level data and abstract concepts. TA methods are used for summarizing and interpreting clinical data. Dynamic Bayesian Networks (DBNs) are temporal probabilistic graph...

It is argued that reliable acoustic profiles of speech under stress can only be found if different types of stress are clearly distinguished and experimentally induced. We report first results of a study with 100 speakers from three language groups, using a computer-based induction procedure that allows distinguishing cognitive load due to task engagement from psychological stress. Findings sho...

Ophthalmic drug delivery to the posterior segment of eye has been challenging due complex ocular anatomy. Intravitreal injection drugs was introduced deliver therapeutic doses in segment. Different diseases including age-related macular degeneration, diabetic edema, retinal vein occlusions, uveitis, and cystoid among others, have historically treated with intravitreal corticosteroids injections...

In this paper we relate the Rabin Index of an !-language to the complexity of translation amongst automata, strategies for two-person regular games, and the complexity of controller-synthesis and veriication for real systems, via a new construction to transform Rabin automata to Chain automata. The Rabin Index is the minimum number of pairs required to realize the language as a deterministic Ra...

Machine Translation (MT) systems and Translation Aids (TA) aiming at costeffective high quality final translation are not yet usable by small firms, departments and individuals, and handle only a few languages and language pairs. This is due to a variety of reasons, some of them not frequently mentioned. But commercial, technical and cultural reasons make it mandatory to find ways to democratiz...

Acquisition of a single copy, large virulence plasmid, pINV, led to the emergence of Shigella spp. from Escherichia coli. The plasmid encodes a Type III secretion system (T3SS) on a 30 kb pathogenicity island (PAI), and is maintained in a bacterial population through a series of toxin:antitoxin (TA) systems which mediate post-segregational killing (PSK). The T3SS imposes a significant cost on t...

Certain Salmonella enterica serovars belonging to subspecies I carry low-copy-number virulence plasmids of variable size (50-90 kb). All of these plasmids share the spv operon, which is important for systemic infection. Virulence plasmids are present at low copy numbers. Few copies reduce metabolic burden but suppose a risk of plasmid loss during bacterial division. This drawback is counterbala...

Thioacetamide (TA), a potent centrilobular hepatotoxicant, undergoes a two-step bioactivation mediated by microsomal CYP2E1 to TA sulfoxide (TASO), and further to TA-S,S-dioxide (TASO2), a reactive metabolite that initiates cellular necrosis. Our earlier studies showed that bioactivation-mediated liver injury of TA is not dose-proportional. The objective of this study was to examine whether inc...

To analyze complex and heterogeneous real-time embedded systems, recent works have proposed interface techniques between real-time calculus (RTC) and timed automata (TA), in order to take advantage of the strengths of each technique for analyzing various components. But the time to analyze a state-based component modeled by TA may be prohibitively high, due to the state space explosion problem....

Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of TPNs concerns their translation to TAs, at which point efficient analysis tools for TAs can then be applied. One feature of much of this previous work has been the use of timed reachability analysis on the TPN in order to cons...