http://dl.gi.de/handle/20.500.12116/16385 2026-07-21T13:21:07Z http://dl.gi.de/handle/20.500.12116/16390 Opinion paper: Data provenance challenges in biomedical research Baum, Benjamin; Bauer, Christian R.; Franke, Thomas; Kusch, Harald; Parciak, Marcel; Rottmann, Thorsten; Umbach, Nadine; Sax, Ulrich In this opinion paper we provide an overview of some challenges concerning data provenance in biomedical research. We reflect current literature and depict some examples of existing implicit or explicit provenance aspects in some standard data types in translational research. Furthermore, we assess the need of further data provenance standardization in biomedical informatics. Basic data provenance should provide a recall about the origin of the data, transformation process steps, support replication and presentation of the data. Even though usable concepts for the documentation of data provenance can be found in other fields as early as 2005, the penetration rate in biomedical projects and in the biomedical literature is quite low. The awareness for the necessity of basic data provenance has to be raised, the education of data managers has to be further improved. 2017-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/16391 On narrowing the gap between verification and systematic testing Christakis, Maria Our work on narrowing the gap between verification and systematic testing has two directions: (1) complementing verification with systematic testing, and (2) pushing systematic testing toward reaching verification. In the first direction, we explore how to effectively combine static analysis with systematic testing, so as to guide test generation toward properties that have not been previously checked by a static analyzer in a sound way. This combination significantly reduces the test effort while checking more unverified properties. In the second direction, we push systematic testing toward checking as many executions as possible of a real and complex image parser, so as to prove the absence of a certain class of errors. This verification attempt required no static analysis or source code annotations; our purely dynamic techniques targeted the verification of the parser implementation, including complicated assembly patterns that most static analyses cannot handle. 2017-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/16387 Integration and visualization of spatial data in LIFE Lin, Ying-Chi; Groß, Anika; Kirsten, Toralf It is usually a challenging task to integrate and analyze huge amounts of heterogeneous data in large medical research projects. Often meaningful new insights can be achieved by visualizing medical data on geographical maps. For instance in epidemiological studies, data is often explored on a spatial dimension. LIFE is a large epidemiological study, managed by the LIFE Research Center for Civilization Diseases at Leipzig University. The study investigates the health-related states of the local population, e.g. by looking at the role of lifestyle factors on major civilization diseases. To allow for an effective data exploration, the development of sophisticated data analysis and spatial visualization techniques is necessary. Here, we present the interactive web application LIFE Spatial Data Visualization System (LIFE-SDVS) that adds a geographical facet to the data integration and analysis workflow of the LIFE research project. 2017-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/16388 How to improve information extraction from German medical records Starlinger, Johannes; Kittner, Madeleine; Blankenstein, Oliver; Leser, Ulf Vast amounts of medical information are still recorded as unstructured text. The knowledge contained in this textual data has a great potential to improve clinical routine care, to support clinical research, and to advance personalization of medicine. To access this knowledge, the underlying data has to be semantically integrated – an essential prerequisite to which is information extraction from clinical documents. 2017-01-01T00:00:00Z