Using a well-known industrial case study from the verification literature, the bounded retransmission protocol, we show how active learning can be used to establish the correctness of protocol implementation I relative to a given reference implementation R. Using active learning, we learn a model MR of reference implementation R, which serves as input for a model based testing tool that checks ...

This paper describes a segmentation algorithm designed to separate bone from soft tissue in magnetic resonance (MR) images developed for computer-assisted surgery of the spine. The algorithm was applied to MR images of the spine of healthy volunteers. Registration experiments were carried out on a physical model of a spine generated from computed tomography (CT) data of a surgical patient. Segm...

The aim of the study was to assess the impact of mitral regurgitation (MR) on left ventricular (LV) anatomic and molecular remodeling and function and to determine whether early LV remodeling and function predict long-term outcome in experimental organic MR. A new rodent model of chronic MR was created. Twenty-eight rats had surgically induced MR, twelve rats had a sham operation, and twelve ra...

Background: Brain tissue segmentation for delineation of 3D anatomical structures from magnetic resonance (MR) images can be used for neuro-degenerative disorders, characterizing morphological differences between subjects based on volumetric analysis of gray matter (GM), white matter (WM) and cerebrospinal fluid (CSF), but only if the obtained segmentation results are correct. Due to image arti...

The mannose receptor (MR) has been implicated in the recognition and clearance of microorganisms and serum glycoproteins. Its endocytic function has been studied extensively using macrophages, although it is expressed by a variety of cell types, including dendritic cells (DC). In this study, we investigated its role in Ag presentation by DC using MR-/- mice. Uptake of the model Ag, soluble OVA,...

resistance exercise is associated with increased oxidative stress. however, it is not completely obvious how resistance training intensity can affect the rest levels of oxidative stress indexes. therefore, the aim of the present research was to study the effect of moderate resistance (mr) and high resistance (hr) training on oxidative stress. 20 males (age: 20.6±0.7 yr, height: 1.74±0.06 m, wei...