BACKGROUND There is a significant need to estimate creatinine clearance easily in acutely ill patients with unstable renal function, who have rapidly changing serum creatinine values and who need careful individualization of drug dosage, all without the problems associated with having to collect the traditional carefully timed urine specimen. METHOD The daily change in the total amount of cre...

As its name promises, the Unified Modeling Language (UML) provides a collection of diagrammatic modeling styles. To the early class/objects and use-case diagrams were almost immediately added state-, activity-, collaboration-, and component diagrams. All these modeling views, required for structural and behavioral representations of systems, were then progressed to further detailed expressivity...

In the last years, the increasing urbanization has constrained to face the dramatic growth of the urban waste production and the consequent socio-economical and environmental impact. The relevance of finding an optimal waste management further increases when it involves hazardous materials, since they represent a vulnerable infrastructure sector for homeland defense. Although there is a general...

OBJECTIVES To assess the reliability and reproducibility of estimations of group mean 24-h urinary sodium (Na) excretion through timed spot urines compared to 24 h urinary Na output in two independent cross-sectional population samples including men and women and different ethnic groups. METHODS AND RESULTS Study 1 was carried out in Britain and included 915 untreated 40-59 yrs male and femal...

in order to determine the value of dipstick analysis of urinary protein in pregnancy induced hypertension, a prospective study analyzing pregnant patients with a diagnosis of hypertensive disorder was conducted to compare the result of urinary protein dipstick analysis with 24hr. urine protein collection in obstetrical clinics affiliated to shiraz university of medical sciences. all patients fu...

Timed automata, and machines alike, currently lack a general mathematical characterisation. This work introduces a uniform understanding of these devices that encompasses known behavioural equivalences such as timed bisimulations and timed language equivalences as well as their weak and time-abstract counterparts. All these notions of equivalence between systems are naturally organised in expre...