Learn More
Stochastic Process Algebras SPA are process algebras in which the duration of each activity i s g i v en by a random variable. If the stochastic aspect is restricted to Markovian, i.e. exponentially distributed durations, nice algebraic foundations are available. They include a formal semantics and an equational theory for Markovian bisimulation, a(More)
The primary mechanism for eliminating synaptically released glutamate is uptake by astrocytes. In the present study, we examined whether traumatic brain injury (TBI) affects the cellular expression of glutamate transporters EAAT1 and EAAT2. Morphometrical immunohistochemical analysis demonstrated a predominant expression of EAAT1 and EAAT2 in astrocytes of(More)
Lateral control of trucks is a challenging task, especially in demanding environments such as road construction sites as the lane width is reduced. Detailed and highly accurate maps, which contain traffic infrastructure objects, will provide important information for a lane keeping assistant for heavy duty vehicles. This paper presents a new approach for(More)
White matter oligodendrocytes have been shown to actively regulate extracellular glutamate levels in the CNS. Such function has yet not been examined in satellite oligodendrocytes of gray matter. Similar to those in white matter, satellite oligodendrocytes are involved in myelination. In addition, they modulate the activity of surrounding neurons. This(More)
The pituitary adenylate cyclase-activating peptide (PACAP) is involved in many processes of the developing and mature central nervous system, such as proliferation, differentiation, apoptosis, neurotransmission, inflammation and neuroprotection. Alternative posttranslational processing of PACAP results in two biologically active, amidated 27- and 38-amino(More)
Robust ego-localization is an essential technology for future intelligent vehicles and cooperative systems. In this paper a multi sensor fusion framework for the precise estimation of the position, the orientation as well as the velocity and the yaw rate of a vehicle is proposed. Therefore, the data of different sensor systems is combined, such as laser(More)
  • 1