objective: to find shortest and reliable time period of urine collection for determination of proteinuria. materials and methods: it is a prospective study carried out on 125 pregnant women with preeclampsia after 20 weeks of gestation having urine albumin >1 using dipstick test. urine was collected in five different time intervals in colors labeled containers with the assistance of nursing sta...

We study recursive timed automata that extend timed automata with recursion. Timed automata, as introduced by Alur and Dill, are finite automata accompanied by a finite set of real-valued variables called clocks. Recursive timed automata are finite collections of timed automata extended with special states that correspond to (potentially recursive) invocations of other timed automata from their...

Because of the logistic complexity, excessive respondent burden, and high cost of conducting 24-h urine collections in a national survey, alternative strategies to monitor sodium intake at the population level need to be evaluated. We conducted a calibration study to assess the ability to characterize sodium intake from timed-spot urine samples calibrated to a 24-h urine collection. In this rep...

BACKGROUND GFR estimation is of major importance in everyday clinical practice. Usually it is done using one of the many eGFR equations available. In this study we compared in our population four widespread eGFR equations and our own empirical eGFR, with creatinine clearance calculated through a timed urine collection. PATIENTS AND METHODS We collected laboratory data of 907 patients from our...

Background and Objectives. This study proposes a novel urine collection device that can divide each urine collection into 20 parts and store and cool just one part. The aim of the current study is to compare measured biomarkers from the proposed urine collection device to those of conventional 24-hour sampling method. We also hypothesized that the new method would significantly increase patient...

the aim of study was to investigate and compare the concentric torque of quadriceps and hamstring muscles and timed-walking test in two groups. thus, one group of healthy subjects and one group of patients with low grade of tibiofemoral osteoarthritis (oa) were selected. concentric torque of quadriceps and hamstring were measured in both groups. besides, pain measurement, timed-walking test, ra...

In previous work the authors investigated the inconsistencies of how successful termination was modelled in Hoare, Brookes and Roscoe’s original CSP. This led to the definition of a variant of CSP, called CSPT . CSPT presents a solution to these problems by means of adding a termination axiom to the original process axioms. In this paper we investigate how successful process termination is mode...

A formal approach for modeling and analyzing concurrent systems is proposed which integrates performance characteristics in the early stages of the design process. The approach relies on both stochastically timed process algebras and stochastically timed Petri nets in order to exploit their complementary advantages. The approach is instantiated to the case of EMPA (Extended Markovian Process Al...