Learn More
OBJECTIVES Since the introduction of non-vitamin K antagonist (VKA) oral anticoagulants (NOACs), an additional treatment option, apart from VKAs, has become available for stroke prevention in patients with atrial fibrillation (AF). For various reasons, it is important to consider patients' preferences regarding type of medication, particularly in view of(More)
— Extensive mechanical loads on the lumbar spine often lead to degenerative damages of spinal structures. In many cases surgical interventions, such as spinal fusion, are unavoidable. An appropriate method for the estimation of the mechanical effects of such interventions to adjacent vertebral segments is the mathematical computer simulation. This paper(More)
We present new results on a constraint satisfaction problem arising from the inference of resource types. Linear constraints were introduced by Hofmann and Jost in the context of type-based amor-tized resource analysis by the potential method [5] where it was applied to functional programs. The constraint systems appearing in this system and subsequent ones(More)
—Search processes exert influence on everyday life-they support information search and help us to understand complex topics. To facilitate these processes we introduce three different interactive visualization algorithms which allow the comparison of subsequent searches during a search process. Specifically, the visualizations help us to identify the(More)
Three methods of automatic classification of leaf diseases are described based on high-resolution multispectral stereo images. Leaf diseases are economically important as they can cause a loss of yield. Early and reliable detection of leaf diseases has important practical relevance, especially in the context of precision agriculture for localized treatment(More)
  • 1