Pharmacokinetic-pharmacodynamic modeling of the electroencephalogram (EEG) effect was combined with intracerebral glutamate determinations using microdialysis for rats receiving norfloxacin intravenously (150 mg/kg of body weight). The EEG effect (accompanied by tremors and seizures) was consistently observed without glutamate level modifications. Therefore, norfloxacin-inducted seizures are no...

Sensor fusion is the combining of sensory data or data derived from sensory data in order to produce enhanced data in form of an internal representation of the process environment. The achievements of sensor fusion are robustness, extended spatial and temporal coverage, increased confidence, reduced ambiguity and uncertainty, and improved resolution. This thesis examines the application of sens...

Formal Model Layers The basis for the formal analysis work has been given in Chapter 2. It introduces adequate formal models to analyse distributed algorithms at different levels of abstraction. We have presented a formalization of the untimed synchronous system model, and a ground model for time-triggered systems. In particular, we have introduced abstract models of the communication network t...

Unprecedented recruitment of Gulf menhaden (Brevoortia patronus) followed the 2010 Deepwater Horizon blowout (DWH). The foregone consumption menhaden, after their many predator species were killed by oiling, increased competition among for food, resulting in poor physiological conditions and low lipid content during 2011 2012. Menhaden sampled length weight measurements, beginning 2011, exhibit...

This paper deals with the simultaneous design of a state feedback law and an event-triggering condition ensuring local exponential stability and LQ performance in the presence of plant input saturation and of a communication channel between the controller output and the saturated plant input. To this aim, we adopt Lyapunov-based techniques in a hybrid framework. The design of the event-triggere...

TTCAN is a time triggered layer using the CAN protocol to communicate in a time triggered fashion. As TTCAN is based on CAN it uses the power of CAN ́s error detection mechanisms and robustness, but it also provides a step towards determinism and time triggered technology. Future system architectures will include applications that need to access more than one TTCAN controller. This article descr...

This paper presents the design of highly optimized TTA architectures for image processing applications. An automatic processor design framework as described in [2] is used. Specialized hardware is used to improve the performance-cost ratio of the processors. An explorer searches the design space for solutions that are good in terms of cost and performance. We show that architectures can be foun...

A designer can chose from several options when mapping an application into a combination of hardware and software. Usage of an ASIP offers the advantage of a large design freedom, allowing optimal tuning of performance and costs. However there are two major problems related to the design of ASIPs: 1) the design trajectory is long, and 2) it is impossible to do a quantitative search of the whole...

1 Neural coding basics 1.1 Definitions 1. Response function ρ(t) = j δ(t − t j) where t j are the spikes 2. Firing rate r(t) = lim ∆t→0 1 ∆t t+∆t t ρ(s)ds 3. Spike count n = T 0 ρ(t)dt 4. Average firing rate˜r = 1 T T 0 ρ(t)dt = n T 5. Tuning curve f (s) = avg firing rate given a parameterized stimulus s (typically plotted as a histogram and then fit to some functional form) 6. Stimulus/Respons...