We deene a speciication language called`timed CRL'. This language is designed to describe communicating processes employing data and time. Timed CRL is the successor of CRL 17]. It diiers in two main aspects. It is possible to make explicit reference to time using a newàt' operator; p,t is the process p where the rst action must take place at time t. Furthermore, a distinction has been made bet...

The good parallel computing properties of sparse-grid solution techniques are investigated. For this, an existing sequential CFD code for a standard 3D problem from computational aerodynamics is restructured into a parallel application. The restructuring is organized according to a master/slave protocol. The coordinator modules developed thereby are implemented in the coordination language MANI...

Adiponectin is an adipose tissue–secreted protein and is a multifunctional adipocytokine. However, the association of adiponectin with bladder contraction has not been investigated. In this study, the adiponectin-sense transgenic mouse (AdipSen mouse; age, 16–24 weeks; male) and age-matched controls (C57Bl mouse) were studied. The Adip-Sen mouse showed a significant increase in plasma adiponect...

The purpose of this study was to assess the self-determination of Spanish high school students with Intellectual Disability and other Special Educational Needs (SEN). A total of 371 students between 11 and 17 years of age participated in the study. Of these, 46.4% (n=171) presented SEN, specifically learning disabilities (n=97; 26.2%), borderline and intellectual disability with higher IQ score...

Poor lung function and respiratory disorders like asthma have a positive correlation with the development of adverse cardiovascular events. Increased adenosine levels are associated with lung inflammation that could lead to altered vascular responses and systemic inflammation. We hypothesized that asthmatic lung inflammation has systemic effects through A(1) adenosine receptors (A(1)AR) and inv...