OBJECTIVE To investigate the use of concepts of capacity and performance when assessing functioning of stroke survivors, measured with the Functional Independence Measure (FIM) and the International Classification of Functioning, Disability and Health (ICF). METHODS During an inpatient interdisciplinary rehabilitation programme for 62 subacute stroke survivors, limitations in speaking, walkin...

OBJECTIVES To determine whether delirium after noncardiac surgery is associated with functional decline 3 months postoperatively. DESIGN Secondary analysis of a prospective study. SETTING Thirteen hospitals in eight countries. PARTICIPANTS One thousand two hundred eighteen individuals aged 60 and older undergoing noncardiac surgery. MEASUREMENTS Participants were interviewed before surg...

different methods have been used to evaluate the beneficial effect of varicocelectomy; these include semen parameters and pregnancy rate. due to high biological variability of semen parameters, sperm functional tests have been considered as an efficient end point in assessment of fertility. therefore, the aim of this study was to evaluate the effect of varicocelectomy on semen parameters and sp...

Studies have shown that finding defects in a software system is much cheaper in terms of both money and time spent when done during requirements analysis, as opposed to development or testing. To this end, significant advances have been made in the early detection of system defects. However, research on exposing unexpected system behaviors is relatively scant, especially regarding to non-functi...

We describe a type system and typed semantics that use a hierarchy of monads to describe and delimit a variety of e ects, including non-termination, exceptions, and state, in a call-by-value functional language. The type system and semantics can be used to organize and justify a variety of optimizing transformations in the presence of e ects. In addition, we describe a simple monad inferencing ...

In the preceding paper results are presented, which are in serious conflict with state-of-the-art ab initio method. Based on these new results the authors propose a new explanation of the reason for the preferential production of a phosphorescent state. Here we show that these controversial results are flawed, since the model use exclude biradical electron structures.

The design of distributed programs is a difficult task which can greatly benefit from the application of formal methods. Since design solutions are determined not only by functional requirements imposed by the application but also by the structure and behavior of the underlying hardware architecture, a complete formal treatment of the program derivation process becomes a significant challenge. ...

Using formal methods, namely model checking, we can automatically verify a formal model of the requirements against given properties. This allows us to detect errors early an the design process, thus decreasing development cost and t ime t o market. However to modi fy a well established design process t o introduce formal methods is not easy. W e present a case study exploring the possibility o...