Thyroid nodule segmentation is a hard task due to different echo structures, textures and echogenicities in ultrasound (US) images as well as speckle noise. Currently, a typical c...
Eva N. K. Kollorz, Elli Angelopoulou, Michael Beck...
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
The alternative fuel butanol can be produced via acetone-butanol-ethanol (ABE) fermentation from renewable resources, i.e. biomass. Expensive feedstocks and the high costs for the...
Korbinian Kraemer, Andreas Harwardt, Rob Bronneber...
Inverse kinematics is the problem of manipulating the pose of an articulated figure in order to achieve a desired goal disregarding inertia and forces. One can approach the probl...
PhD students or researchers starting a new research project or initiating work in an unfamiliar research direction often undertake a scientific literature search in order to info...