@article{Sens2014,
  author    = {Sens, Henriette},
  title     = {Web-Based map generalization tools put to the test: a jABC workflow},
  series = {Process Design for Natural Scientists: an agile model-driven approach},
  journal   = {Process Design for Natural Scientists: an agile model-driven approach},
  number    = {500},
  publisher = {Springer},
  address   = {Berlin},
  isbn      = {978-3-662-45005-5},
  issn      = {1865-0929},
  pages     = {175 -- 185},
  year      = {2014},
  abstract  = {Geometric generalization is a fundamental concept in the digital mapping process. An increasing amount of spatial data is provided on the web as well as a range of tools to process it. This jABC workflow is used for the automatic testing of web-based generalization services like mapshaper.org by executing its functionality, overlaying both datasets before and after the transformation and displaying them visually in a .tif file. Mostly Web Services and command line tools are used to build an environment where ESRI shapefiles can be uploaded, processed through a chosen generalization service and finally visualized in Irfanview.},
  language  = {en}
}
@article{Noack2014,
  author    = {Noack, Franziska},
  title     = {CREADED: Colored-Relief application for digital elevation data},
  series = {Process design for natural scientists: an agile model-driven approach},
  journal   = {Process design for natural scientists: an agile model-driven approach},
  number    = {500},
  publisher = {Springer},
  address   = {Berlin},
  isbn      = {978-3-662-45005-5},
  issn      = {1865-0929},
  pages     = {186 -- 199},
  year      = {2014},
  abstract  = {In the geoinformatics field, remote sensing data is often used for analyzing the characteristics of the current investigation area. This includes DEMs, which are simple raster grids containing grey scales representing the respective elevation values. The project CREADED that is presented in this paper aims at making these monochrome raster images more significant and more intuitively interpretable. For this purpose, an executable interactive model for creating a colored and relief-shaded Digital Elevation Model (DEM) has been designed using the jABC framework. The process is based on standard jABC-SIBs and SIBs that provide specific GIS functions, which are available as Web services, command line tools and scripts.},
  language  = {en}
}
@article{Respondek2014,
  author    = {Respondek, Tobias},
  title     = {A workflow for computing potential areas for wind turbines},
  series = {Process design for natural scientists: an agile model-driven approach},
  journal   = {Process design for natural scientists: an agile model-driven approach},
  number    = {500},
  publisher = {Springer},
  address   = {Berlin},
  isbn      = {978-3-662-45005-5},
  pages     = {200 -- 215},
  year      = {2014},
  abstract  = {This paper describes the implementation of a workflow model for service-oriented computing of potential areas for wind turbines in jABC. By implementing a re-executable model the manual effort of a multi-criteria site analysis can be reduced. The aim is to determine the shift of typical geoprocessing tools of geographic information systems (GIS) from the desktop to the web. The analysis is based on a vector data set and mainly uses web services of the "Center for Spatial Information Science and Systems" (CSISS). This paper discusses effort, benefits and problems associated with the use of the web services.},
  language  = {en}
}
@article{Scheele2014,
  author    = {Scheele, Lasse},
  title     = {Location analysis for placing artificial reefs},
  series = {Process design for natural scientists: an agile model-driven approach},
  journal   = {Process design for natural scientists: an agile model-driven approach},
  number    = {500},
  publisher = {Springer},
  address   = {Berlin},
  isbn      = {978-3-662-45005-5},
  issn      = {1865-0929},
  pages     = {216 -- 228},
  year      = {2014},
  abstract  = {Location analyses are among the most common tasks while working with spatial data and geographic information systems. Automating the most frequently used procedures is therefore an important aspect of improving their usability. In this context, this project aims to design and implement a workflow, providing some basic tools for a location analysis. For the implementation with jABC, the workflow was applied to the problem of finding a suitable location for placing an artificial reef. For this analysis three parameters (bathymetry, slope and grain size of the ground material) were taken into account, processed, and visualized with the The Generic Mapping Tools (GMT), which were integrated into the workflow as jETI-SIBs. The implemented workflow thereby showed that the approach to combine jABC with GMT resulted in an user-centric yet user-friendly tool with high-quality cartographic outputs.},
  language  = {en}
}
@article{Holler2014,
  author    = {Holler, Robin},
  title     = {GraffDok - a graffiti documentation application},
  series = {Process design for natural scientists: an agile model-driven approach},
  journal   = {Process design for natural scientists: an agile model-driven approach},
  number    = {500},
  publisher = {Springer},
  address   = {Berlin},
  isbn      = {978-3-662-45005-5},
  issn      = {1865-0929},
  pages     = {239 -- 251},
  year      = {2014},
  abstract  = {GraffDok is an application helping to maintain an overview over sprayed images somewhere in a city. At the time of writing it aims at vandalism rather than at beautiful photographic graffiti in an underpass. Looking at hundreds of tags and scribbles on monuments, house walls, etc. it would be interesting to not only record them in writing but even make them accessible electronically, including images. GraffDok's workflow is simple and only requires an EXIF-GPS-tagged photograph of a graffito. It automatically determines its location by using reverse geocoding with the given GPS-coordinates and the Gisgraphy WebService. While asking the user for some more meta data, GraffDok analyses the image in parallel with this and tries to detect fore- and background - before extracting the drawing lines and make them stand alone. The command line based tool ImageMagick is used here as well as for accessing EXIF data. Any meta data is written to csv-files, which will stay easily accessible and can be integrated in TeX-files as well. The latter ones are converted to PDF at the end of the workflow, containing a table about all graffiti and a summary for each - including the generated characteristic graffiti pattern image.},
  language  = {en}
}
@phdthesis{Schnjakin2014,
  author    = {Schnjakin, Maxim},
  title     = {Cloud-RAID},
  pages     = {137},
  year      = {2014},
  language  = {de}
}
@phdthesis{Schacht2014,
  author    = {Schacht, Alexander},
  title     = {Konzepte und Strategien mobiler Plattformen zur Erfassung und Anlayse von Vitalparametern in heterogenen Telemonotoring-Systemen},
  pages     = {215},
  year      = {2014},
  language  = {de}
}
@phdthesis{Lindauer2014,
  author    = {Lindauer, T. Marius},
  title     = {Algorithm selection, scheduling and configuration of Boolean constraint solvers},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-71260},
  school      = {Universit{\"a}t Potsdam},
  pages     = {ii, 130},
  year      = {2014},
  abstract  = {Boolean constraint solving technology has made tremendous progress over the last decade, leading to industrial-strength solvers, for example, in the areas of answer set programming (ASP), the constraint satisfaction problem (CSP), propositional satisfiability (SAT) and satisfiability of quantified Boolean formulas (QBF). However, in all these areas, there exist multiple solving strategies that work well on different applications; no strategy dominates all other strategies. Therefore, no individual solver shows robust state-of-the-art performance in all kinds of applications. Additionally, the question arises how to choose a well-performing solving strategy for a given application; this is a challenging question even for solver and domain experts. One way to address this issue is the use of portfolio solvers, that is, a set of different solvers or solver configurations. We present three new automatic portfolio methods: (i) automatic construction of parallel portfolio solvers (ACPP) via algorithm configuration,(ii) solving the \$NP\$-hard problem of finding effective algorithm schedules with Answer Set Programming (aspeed), and (iii) a flexible algorithm selection framework (claspfolio2) allowing for fair comparison of different selection approaches. All three methods show improved performance and robustness in comparison to individual solvers on heterogeneous instance sets from many different applications. Since parallel solvers are important to effectively solve hard problems on parallel computation systems (e.g., multi-core processors), we extend all three approaches to be effectively applicable in parallel settings. We conducted extensive experimental studies different instance sets from ASP, CSP, MAXSAT, Operation Research (OR), SAT and QBF that indicate an improvement in the state-of-the-art solving heterogeneous instance sets. Last but not least, from our experimental studies, we deduce practical advice regarding the question when to apply which of our methods.},
  language  = {en}
}
@phdthesis{Fudickar2014,
  author    = {Fudickar, Sebastian},
  title     = {Sub Ghz transceiver for indoor localisation of smartphones},
  school      = {Universit{\"a}t Potsdam},
  pages     = {IV, 167},
  year      = {2014},
  language  = {en}
}
@inproceedings{BreitlauchNoskovaRensingetal.2014,
  author    = {Breitlauch, Linda and Noskova, Tatiana N. and Rensing, Christoph and Ifenthaler, Dirk and Owassapian, Dominik and Hensinger, Johannes and Buschmann, Jana and Glasemann, Marie and Dirwelis, Swenja and Mach, Michael and Kallookaran, Michael and Robra-Bissantz, Susanne and Zoerner, Dietmar and K{\"o}hlmann, Wiebke and Brandt, Christopher and Kutzner, Tobias and Steinert, Christian},
  title     = {E-Learning Symposium 2014},
  editor    = {Lucke, Ulrike and Gr{\"u}newald, Franka and Hafer, J{\"o}rg},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  doi       = {10.25932/publishup-6984},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-72154},
  pages     = {59},
  year      = {2014},
  abstract  = {Der Tagungsband zum E-Learning Symposium 2014 an der Universit{\"a}t Potsdam beleuchtet die diversen Zielgruppen und Anwendungsbereiche, die aktuell in der E-Learning-Forschung angesprochen werden. W{\"a}hrend im letzten Symposium 2012 der Dozierende mit den unterschiedlichen M{\"o}glichkeiten der Studierendenaktivierung und Lehrgestaltung im Fokus der Diskussionen stand, werden in diesem Jahr in einem großen Teil der Beitr{\"a}ge die Studierenden ins Zentrum der Aufmerksamkeit ger{\"u}ckt. Dass nicht nur der Inhalt des Lernmediums f{\"u}r den Lernerfolg eine Rolle spielt, sondern auch dessen Unterhaltungswert und die Freude, die die Lernenden w{\"a}hrend des Prozesses der Wissensakquise empfinden, zeigt sehr anschaulich die Keynote von Linda Breitlauch zum Thema „Faites vos Jeux" (Spielen Sie jetzt). Der Beitrag von Zoerner et al. verbindet den Gedanken des spiele-basierten Lernens mit dem nach wie vor aktuellen Thema des mobilen Lernens. Auch in diesem Forschungsbereich spielt die Fokussierung auf den Lernenden eine immer herausragendere Rolle. Einen Schritt weiter in Richtung Individualisierung geht in diesem Zusammenhang der eingeladene Vortrag von Christoph Rensing, der sich mit der Adaptivit{\"a}t von mobilen Lernanwendungen besch{\"a}ftigt. Mit Hilfe zur Verf{\"u}gung stehender Kontextinformationen sollen gezielt individuelle Lernprozesse unterst{\"u}tzt werden. Alle Beitr{\"a}ge, die sich auf mobile Applikationen und auf Spiele beziehen, sprechen auch die zwischenmenschliche Komponente am Lernen an. So wird neben der Mobilit{\"a}t insbesondere auch der Austausch von Lernobjekten zwischen Lernenden (vergleiche den Beitrag von Zoerner et al.) sowie die Kooperation zwischen Lernenden (siehe Beitrag von Kallookaran und Robra-Bissantz) diskutiert. Der interpersonelle Kontakt spielt allerdings ebenfalls in den Beitr{\"a}gen ohne Spiel- oder App-Fokussierung eine Rolle. Tutoren werden beispielsweise zur Moderation von Lernprozessen eingesetzt und Lerngruppen gegr{\"u}ndet um das problem-orientierte Lernen st{\"a}rker in den Mittelpunkt zu r{\"u}cken (siehe Beitrag von Mach und Dirwelis) bzw. n{\"a}her am Bedarf der Studierenden zu arbeiten (wie in eingeladenen Vortrag von Tatiana N. Noskova sowie in dem Beitrag von Mach und Dirwelis beschrieben). In der Evaluation wird ebenfalls der Schritt weg von anonymen, akkumulierten statistischen Auswertungen hin zu individualisierten Nutzerprofilen im Bereich des Learning Analytics untersucht (vergleiche dazu den Beitrag von Ifenthaler). Neben der Schwerpunktsetzung auf die Lernenden und deren Mobilit{\"a}t r{\"u}ckt das Thema Transmedialit{\"a}t st{\"a}rker ins Zentrum der Forschung. W{\"a}hrend schon die Keynote mit ihrem Spielefokus darauf anspricht, geht es in weiteren Beitr{\"a}gen darum Abl{\"a}ufe aus der analogen Welt bestm{\"o}glich in der digitalen Welt abzubilden. Lerninhalte, die bisher mittels Bildern und Texten f{\"u}r Lehrende und Lernende zug{\"a}nglich gemacht wurden, werden nunmehr mit weiteren Medien, insbesondere Videos, angereichert um deren Verst{\"a}ndnis zu erh{\"o}hen. Dies ist beispielsweise geeignet, um Bewegungsabl{\"a}ufe im Sport (vergleiche dazu den Beitrag von Owassapian und Hensinger) oder musikpraktische {\"U}bungen wie Bodyperkussion (beschrieben im Beitrag von Buschmann und Glasemann) zu erlernen Lernendenfokussierung, pers{\"o}nlicher Austausch, Mobilit{\"a}t und Transmedialit{\"a}t sind somit einige der Kernthemen, die Sie in diesem Sammelband erwarten. Auch zeigt die h{\"a}ufige Verkn{\"u}pfung verschedener dieser Kernthemen, dass keines davon ein Randthema ist, sondern sich die Summe aus allen im E-Learning b{\"u}ndelt und damit eine neue Qualit{\"a}t f{\"u}r Lehre, Studium und Forschung erreicht werden kann.},
  language  = {mul}
}
@phdthesis{Videla2014,
  author    = {Videla, Santiago},
  title     = {Reasoning on the response of logical signaling networks with answer set programming},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-71890},
  school      = {Universit{\"a}t Potsdam},
  year      = {2014},
  abstract  = {Deciphering the functioning of biological networks is one of the central tasks in systems biology. In particular, signal transduction networks are crucial for the understanding of the cellular response to external and internal perturbations. Importantly, in order to cope with the complexity of these networks, mathematical and computational modeling is required. We propose a computational modeling framework in order to achieve more robust discoveries in the context of logical signaling networks. More precisely, we focus on modeling the response of logical signaling networks by means of automated reasoning using Answer Set Programming (ASP). ASP provides a declarative language for modeling various knowledge representation and reasoning problems. Moreover, available ASP solvers provide several reasoning modes for assessing the multitude of answer sets. Therefore, leveraging its rich modeling language and its highly efficient solving capacities, we use ASP to address three challenging problems in the context of logical signaling networks: learning of (Boolean) logical networks, experimental design, and identification of intervention strategies. Overall, the contribution of this thesis is three-fold. Firstly, we introduce a mathematical framework for characterizing and reasoning on the response of logical signaling networks. Secondly, we contribute to a growing list of successful applications of ASP in systems biology. Thirdly, we present a software providing a complete pipeline for automated reasoning on the response of logical signaling networks.},
  language  = {en}
}