In the context of real-time fault-tolerant architecture, as TTA (Time-Triggered Architecture), the temporal validation of the system behavior is very important. Indeed, the fault-tolerant mechanism execution must respects several temporal constraints. To validate the mechanism behaviors, and to give their maximum execution time (temporal bound), we propose here a temporal validation methodology...

4 Tiivistelmä 6 List of Abbreviations and Symbols 9

Neurons in primary visual cortex are commonly characterized using linear models, or simple extensions of linear models. Specifically, V1 simple cell responses are often characterized using a rectified linear receptive field, and complex cell responses are often described as the sum of squared responses of two linear subunits. We examined this class of model directly by applying spike-triggered ...

Objectives: To review current and explore future applications of neuromuscular electrical stimulation (NMES) to restore or retrain upper limb (UL) recovery after stroke. Methods: Short summaries of NMES applications that have been investigated and a discussion of future research directions are presented. Results: Neuromuscular electrical stimulation applications that have been developed and inv...

purpose: to report a case of diffuse lamellar keratitis (dlk) 9.5 months after laser in situ keratomileusis (lasik) associated with a corneal foreign body. patient and findings: a 32-year-old male developed dlk two days after removal of an intraepithelial corneal foreign body 9.5 months after noncomplicated lasik. dlk was eliminated after two weeks of topical steroid application and visual acui...

We consider the passivity analysis and passivation problems for event-triggered feedback interconnected systems. Based on the location of the event-triggered samplers, we consider two event-triggered control schemes respectively: event-triggered sampler of plant output and event-triggered sampler of controller output. For both schemes, we first derive the conditions to characterize the level of...