Publications by authors named "W Reif"

COVID-19 presence classification and severity prediction via (3D) thorax computed tomography scans have become important tasks in recent times. Especially for capacity planning of intensive care units, predicting the future severity of a COVID-19 patient is crucial. The presented approach follows state-of-theart techniques to aid medical professionals in these situations.

View Article and Find Full Text PDF

We propose to use computerised medical guidelines as models for verification tools, so they can be validated with medical properties. To test the applicability we provide an implementation of the semantics of the medical planning language Asbru and also provide a formalised guideline for the treatment of breast cancer. With this case study we conduct experiments testing different proof techniques to cope with several challenges which guidelines provide.

View Article and Find Full Text PDF

In addition to their obvious negative effects ("pathogens"), endoparasites of various kinds play an important role in shaping and maintaining modern animal communities. In the long-term, parasites including pathogens are indispensable entities of any ecosystem. To understand this, it is essential that one changes the viewpoint from the host's interests to that of the parasite.

View Article and Find Full Text PDF

In biopharmaceutical processes, in the area of food and medical technology a variety of devices is used. These devices consist of various polymers. The detection and identification of potential extractables from these polymers during application are requested by the regulatory bodies.

View Article and Find Full Text PDF