@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{SchaubWoltran2018,
  author    = {Schaub, Torsten H. and Woltran, Stefan},
  title     = {Answer set programming unleashed!},
  series = {K{\"u}nstliche Intelligenz},
  volume    = {32},
  journal   = {K{\"u}nstliche Intelligenz},
  number    = {2-3},
  publisher = {Springer},
  address   = {Heidelberg},
  issn      = {0933-1875},
  doi       = {10.1007/s13218-018-0550-z},
  pages     = {105 -- 108},
  year      = {2018},
  abstract  = {Answer Set Programming faces an increasing popularity for problem solving in various domains. While its modeling language allows us to express many complex problems in an easy way, its solving technology enables their effective resolution. In what follows, we detail some of the key factors of its success. Answer Set Programming [ASP; Brewka et al. Commun ACM 54(12):92-103, (2011)] is seeing a rapid proliferation in academia and industry due to its easy and flexible way to model and solve knowledge-intense combinatorial (optimization) problems. To this end, ASP offers a high-level modeling language paired with high-performance solving technology. As a result, ASP systems provide out-off-the-box, general-purpose search engines that allow for enumerating (optimal) solutions. They are represented as answer sets, each being a set of atoms representing a solution. The declarative approach of ASP allows a user to concentrate on a problem's specification rather than the computational means to solve it. This makes ASP a prime candidate for rapid prototyping and an attractive tool for teaching key AI techniques since complex problems can be expressed in a succinct and elaboration tolerant way. This is eased by the tuning of ASP's modeling language to knowledge representation and reasoning (KRR). The resulting impact is nicely reflected by a growing range of successful applications of ASP [Erdem et al. AI Mag 37(3):53-68, 2016; Falkner et al. Industrial applications of answer set programming. K++nstliche Intelligenz (2018)]},
  language  = {en}
}
@article{SchaubWang2002,
  author    = {Schaub, Torsten H. and Wang, T.},
  title     = {Preferred well-founded semantics for logic programming by alternating fixpoints : preliminary report},
  year      = {2002},
  language  = {en}
}
@article{SchaubWang2003,
  author    = {Schaub, Torsten H. and Wang, Kewen},
  title     = {A semantic framework for prefernce handling in answer set programming},
  year      = {2003},
  language  = {en}
}
@article{SchaubWang2001,
  author    = {Schaub, Torsten H. and Wang, Kewen},
  title     = {A comparative study of logic programs with preference},
  year      = {2001},
  language  = {en}
}
@article{SchaubWang2001,
  author    = {Schaub, Torsten H. and Wang, Kewen},
  title     = {A comparative study of logic programs with preference},
  isbn      = {1-558-60777-3},
  issn      = {1045-0823},
  year      = {2001},
  language  = {en}
}
@article{SchaubThielscher1996,
  author    = {Schaub, Torsten H. and Thielscher, Michael},
  title     = {Skeptical query-answering in constrained default logic},
  isbn      = {3-540-61313-7},
  year      = {1996},
  language  = {en}
}
@article{SchaubNicolas1997,
  author    = {Schaub, Torsten H. and Nicolas, Pascal},
  title     = {An implementation platform for query-answering in default logics : the XRay system, its implementation and evaluation},
  isbn      = {3-540-63255-7},
  year      = {1997},
  language  = {en}
}
@article{SchaubNicolas1997,
  author    = {Schaub, Torsten H. and Nicolas, Pascal},
  title     = {An implementation platform for query-answering in default logics : theoretical underpinnings},
  isbn      = {3-540-63614-5},
  year      = {1997},
  language  = {en}
}
@article{SchaubBrueningNicolas1996,
  author    = {Schaub, Torsten H. and Br{\"u}ning, Stefan and Nicolas, Pascal},
  title     = {XRay : a prolog technology theorem prover for default reasoning: a system description},
  isbn      = {3-540-61511-3},
  year      = {1996},
  language  = {en}
}
@article{SchaubBruening1996,
  author    = {Schaub, Torsten H. and Br{\"u}ning, Stefan},
  title     = {Prolog technology for default reasoning},
  isbn      = {0-471-96809-9},
  year      = {1996},
  language  = {en}
}
@article{SchaubBruening1998,
  author    = {Schaub, Torsten H. and Br{\"u}ning, Stefan},
  title     = {Prolog technology for default reasoning : proof theory and compilation techniques},
  year      = {1998},
  language  = {en}
}
@article{Schaub2003,
  author    = {Schaub, Torsten H.},
  title     = {Antwortmengenprogrammierung},
  year      = {2003},
  language  = {de}
}
@article{Schaub1998,
  author    = {Schaub, Torsten H.},
  title     = {The family of default logics},
  year      = {1998},
  language  = {en}
}
@article{SawadeBickelvonOertzenetal.2013,
  author    = {Sawade, Christoph and Bickel, Steffen and von Oertzen, Timo and Scheffer, Tobias and Landwehr, Niels},
  title     = {Active evaluation of ranking functions based on graded relevance},
  series = {Machine learning},
  volume    = {92},
  journal   = {Machine learning},
  number    = {1},
  publisher = {Springer},
  address   = {Dordrecht},
  issn      = {0885-6125},
  doi       = {10.1007/s10994-013-5372-5},
  pages     = {41 -- 64},
  year      = {2013},
  abstract  = {Evaluating the quality of ranking functions is a core task in web search and other information retrieval domains. Because query distributions and item relevance change over time, ranking models often cannot be evaluated accurately on held-out training data. Instead, considerable effort is spent on manually labeling the relevance of query results for test queries in order to track ranking performance. We address the problem of estimating ranking performance as accurately as possible on a fixed labeling budget. Estimates are based on a set of most informative test queries selected by an active sampling distribution. Query labeling costs depend on the number of result items as well as item-specific attributes such as document length. We derive cost-optimal sampling distributions for the commonly used performance measures Discounted Cumulative Gain and Expected Reciprocal Rank. Experiments on web search engine data illustrate significant reductions in labeling costs.},
  language  = {en}
}
@article{SarsakovSchaubTompitsetal.2004,
  author    = {Sarsakov, Vladimir and Schaub, Torsten H. and Tompits, Hans and Woltran, Stefan},
  title     = {A compiler for nested logic programming},
  isbn      = {3-540- 20721-x},
  year      = {2004},
  language  = {en}
}
@article{SaposhnikovMoshaninSaposhnikovetal.1999,
  author    = {Saposhnikov, Vl. V. V. V. and Moshanin, Vl. and Saposhnikov, V. V. and G{\"o}ssel, Michael},
  title     = {Experimental results for self-dual multi-output combinational circuits},
  year      = {1999},
  language  = {en}
}
@article{SaposhnikovSaposhnikovDimitrievetal.1998,
  author    = {Saposhnikov, Vl. V. and Saposhnikov, V. V. and Dimitriev, Alexej and G{\"o}ssel, Michael},
  title     = {Self-dual duplication for error detection},
  year      = {1998},
  language  = {en}
}
@article{SaposhnikovOtscheretnijSaposhnikovetal.1998,
  author    = {Saposhnikov, Vl. V. and Otscheretnij, Vitalij and Saposhnikov, V. V. and G{\"o}ssel, Michael},
  title     = {Design of Fault-Tolerant Circuits by self-dual Duplication},
  year      = {1998},
  language  = {en}
}
@article{SaposhnikovOcheretnijSaposhnikovetal.1999,
  author    = {Saposhnikov, Vl. V. and Ocheretnij, V. and Saposhnikov, V. V. and G{\"o}ssel, Michael},
  title     = {Modified TMR-system with reduced hardware overhead},
  year      = {1999},
  language  = {en}
}
@article{SaposhnikovMoshaninSaposhnikovetal.1997,
  author    = {Saposhnikov, Vl. V. and Moshanin, Vl. and Saposhnikov, V. V. and G{\"o}ssel, Michael},
  title     = {Self-dual multi output combinational circuits with output data compaction},
  year      = {1997},
  language  = {en}
}
@article{SaposhnikovDimitrievGoesseletal.1996,
  author    = {Saposhnikov, Vl. V. and Dimitriev, Alexej and G{\"o}ssel, Michael and Saposhnikov, Va. V.},
  title     = {Self-dual parity checking - a new method for on-line testing},
  year      = {1996},
  language  = {en}
}
@article{SaposhnikovMorosovSaposhnikovetal.1996,
  author    = {Saposhnikov, Va. V. and Morosov, Andrej and Saposhnikov, Vl. V. and G{\"o}ssel, Michael},
  title     = {Design of self-checking unidirectional combinational circuits with low area overhead},
  year      = {1996},
  language  = {en}
}
@article{SaposhnikovSaposhnikovGoesseletal.1999,
  author    = {Saposhnikov, V. V. and Saposhnikov, Vl. V. and G{\"o}ssel, Michael and Morosov, Andrej},
  title     = {A method of construction of combinational self-checking units with detection of all single faults},
  year      = {1999},
  language  = {en}
}
@article{SaposhnikovMorosovSaposhnikovetal.1998,
  author    = {Saposhnikov, V. V. and Morosov, Andrej and Saposhnikov, Vl. V. and G{\"o}ssel, Michael},
  title     = {A new design method for self-checking unidirectional combinational circuits},
  year      = {1998},
  language  = {en}
}
@article{SahlmannClemensNowaketal.2020,
  author    = {Sahlmann, Kristina and Clemens, Vera and Nowak, Michael and Schnor, Bettina},
  title     = {MUP},
  series = {Sensors},
  volume    = {21},
  journal   = {Sensors},
  number    = {1},
  publisher = {MDPI},
  address   = {Basel},
  issn      = {1424-8220},
  doi       = {10.3390/s21010010},
  pages     = {21},
  year      = {2020},
  abstract  = {Message Queuing Telemetry Transport (MQTT) is one of the dominating protocols for edge- and cloud-based Internet of Things (IoT) solutions. When a security vulnerability of an IoT device is known, it has to be fixed as soon as possible. This requires a firmware update procedure. In this paper, we propose a secure update protocol for MQTT-connected devices which ensures the freshness of the firmware, authenticates the new firmware and considers constrained devices. We show that the update protocol is easy to integrate in an MQTT-based IoT network using a semantic approach. The feasibility of our approach is demonstrated by a detailed performance analysis of our prototype implementation on a IoT device with 32 kB RAM. Thereby, we identify design issues in MQTT 5 which can help to improve the support of constrained devices.},
  language  = {en}
}
@article{RaetschSchoelkopfSmolaetal.2000,
  author    = {R{\"a}tsch, Gunnar and Sch{\"o}lkopf, B. and Smola, Alexander J. and M{\"u}ller, Klaus-Robert and Mika, Sebastian},
  title     = {V-Arc : ensemble learning in the preence of outliers},
  year      = {2000},
  language  = {en}
}
@article{RaetschSchoelkopfSmolaetal.2000,
  author    = {R{\"a}tsch, Gunnar and Sch{\"o}lkopf, B. and Smola, Alexander J. and Mika, Sebastian and Onoda, T. and M{\"u}ller, Klaus-Robert},
  title     = {Robust ensemble learning},
  isbn      = {0-262-19448-1},
  year      = {2000},
  language  = {en}
}
@article{RozinatVanderAalst2006,
  author    = {Rozinat, A and Van der Aalst, Wil M. P.},
  title     = {Conformance testing: Measuring the fit and appropriateness of event logs and process models},
  year      = {2006},
  abstract  = {Most information systems log events (e.g., transaction logs, audit traits) to audit and monitor the processes they support. At the same time, many of these processes have been explicitly modeled. For example, SAP R/3 logs events in transaction logs and there are EPCs (Event-driven Process Chains) describing the so-called reference models. These reference models describe how the system should be used. The coexistence of event logs and process models raises an interesting question: "Does the event log conform to the process model and vice versa?". This paper demonstrates that there is not a simple answer to this question. To tackle the problem, we distinguish two dimensions of conformance: fitness (the event log may be the result of the process modeled) and appropriateness (the model is a likely candidate from a structural and behavioral point of view). Different metrics have been defined and a Conformance Checker has been implemented within the ProM Framework},
  language  = {en}
}
@article{RoessnerLuedemannBrustetal.2001,
  author    = {Roessner, Ute and Luedemann, A. and Brust, D. and Fiehn, Oliver and Linke, Thomas and Willmitzer, Lothar and Fernie, Alisdair R.},
  title     = {Metabolic profiling allows comprehensive phenotyping of genetically or environmentally modified plant systems},
  issn      = {1040-4651},
  year      = {2001},
  language  = {en}
}
@article{RisticIlicAndjelkovicetal.2022,
  author    = {Ristic, Goran S. and Ilic, Stefan D. and Andjelkovic, Marko S. and Duane, Russell and Palma, Alberto J. and Lalena, Antonio M. and Krstić, Miloš and Jaksic, Aleksandar B.},
  title     = {Sensitivity and fading of irradiated RADFETs with different gate voltages},
  series = {Nuclear Instruments and Methods in Physics Research Section A},
  volume    = {1029},
  journal   = {Nuclear Instruments and Methods in Physics Research Section A},
  publisher = {Elsevier},
  address   = {Amsterdam},
  issn      = {0168-9002},
  doi       = {10.1016/j.nima.2022.166473},
  pages     = {7},
  year      = {2022},
  abstract  = {The radiation-sensitive field-effect transistors (RADFETs) with an oxide thickness of 400 nm are irradiated with gate voltages of 2, 4 and 6 V, and without gate voltage. A detailed analysis of the mechanisms responsible for the creation of traps during irradiation is performed. The creation of the traps in the oxide, near and at the silicon/silicon-dioxide (Si/SiO2) interface during irradiation is modelled very well. This modelling can also be used for other MOS transistors containing SiO2. The behaviour of radiation traps during postirradiation annealing is analysed, and the corresponding functions for their modelling are obtained. The switching traps (STs) do not have significant influence on threshold voltage shift, and two radiation-induced trap types fit the fixed traps (FTs) very well. The fading does not depend on the positive gate voltage applied during irradiation, but it is twice lower in case there is no gate voltage. A new dosimetric parameter, called the Golden Ratio (GR), is proposed, which represents the ratio between the threshold voltage shift after irradiation and fading after spontaneous annealing. This parameter can be useful for comparing MOS dosimeters.},
  language  = {en}
}
@article{RichterKyprianidisDoellner2013,
  author    = {Richter, Rico and Kyprianidis, Jan Eric and D{\"o}llner, J{\"u}rgen Roland Friedrich},
  title     = {Out-of-core GPU-based change detection in massive 3D point clouds},
  series = {Transactions in GIS},
  volume    = {17},
  journal   = {Transactions in GIS},
  number    = {5},
  publisher = {Wiley-Blackwell},
  address   = {Hoboken},
  issn      = {1361-1682},
  doi       = {10.1111/j.1467-9671.2012.01362.x},
  pages     = {724 -- 741},
  year      = {2013},
  abstract  = {If sites, cities, and landscapes are captured at different points in time using technology such as LiDAR, large collections of 3D point clouds result. Their efficient storage, processing, analysis, and presentation constitute a challenging task because of limited computation, memory, and time resources. In this work, we present an approach to detect changes in massive 3D point clouds based on an out-of-core spatial data structure that is designed to store data acquired at different points in time and to efficiently attribute 3D points with distance information. Based on this data structure, we present and evaluate different processing schemes optimized for performing the calculation on the CPU and GPU. In addition, we present a point-based rendering technique adapted for attributed 3D point clouds, to enable effective out-of-core real-time visualization of the computation results. Our approach enables conclusions to be drawn about temporal changes in large highly accurate 3D geodata sets of a captured area at reasonable preprocessing and rendering times. We evaluate our approach with two data sets from different points in time for the urban area of a city, describe its characteristics, and report on applications.},
  language  = {en}
}
@article{Richter1995,
  author    = {Richter, Peter},
  title     = {A new deterministic approach for the optimization of cable layouts for power supply systems},
  year      = {1995},
  language  = {en}
}
@article{Richter1994,
  author    = {Richter, Peter},
  title     = {Efficient shortest path algorithms for road traffic optimization},
  year      = {1994},
  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{Reso2014,
  author    = {Reso, Judith},
  title     = {Protein Classification 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},
  editor    = {Lambrecht, Anna-Lena and Margaria, Tiziana},
  publisher = {Springer Verlag},
  address   = {Berlin},
  isbn      = {978-3-662-45005-5},
  issn      = {1865-0929},
  pages     = {65 -- 72},
  year      = {2014},
  abstract  = {The protein classification workflow described in this report enables users to get information about a novel protein sequence automatically. The information is derived by different bioinformatic analysis tools which calculate or predict features of a protein sequence. Also, databases are used to compare the novel sequence with known proteins.},
  language  = {en}
}
@article{ReinkeGloedeLauertetal.1999,
  author    = {Reinke, Thomas and Gl{\"o}de, Dirk and Lauert, Alexander and Kupries, Mario and Horn, Erika},
  title     = {An architecture type-based development environment for agent application systems},
  isbn      = {3-9501023-0-2},
  year      = {1999},
  language  = {en}
}
@article{Reinke1996,
  author    = {Reinke, Thomas},
  title     = {Objektorientierte Modellierung eines Sicherheitskonzeptes f{\"u}r Verwaltungsvorg{\"a}nge},
  series = {MOSVO-Bericht},
  volume    = {UP.014.1},
  journal   = {MOSVO-Bericht},
  publisher = {Univ.},
  address   = {Potsdam},
  year      = {1996},
  language  = {de}
}
@article{Reinke2000,
  author    = {Reinke, Thomas},
  title     = {Architecture-based construction of multiagent systems},
  isbn      = {1-58603-013-2},
  year      = {2000},
  language  = {en}
}
@article{ReddyKunzPradhan1995,
  author    = {Reddy, S. M. and Kunz, Wolfgang and Pradhan, D. K.},
  title     = {Novel verification framework combining structural and OBDD methods in a synthesis environment},
  isbn      = {0-8186-7213-7},
  year      = {1995},
  language  = {en}
}
@article{RabenaltRichterPoehletal.2012,
  author    = {Rabenalt, Thomas and Richter, Michael and P{\"o}hl, Frank and G{\"o}ssel, Michael},
  title     = {Highly efficient test response compaction using a hierarchical x-masking technique},
  series = {IEEE transactions on computer-aided design of integrated circuits and systems},
  volume    = {31},
  journal   = {IEEE transactions on computer-aided design of integrated circuits and systems},
  number    = {6},
  publisher = {Inst. of Electr. and Electronics Engineers},
  address   = {Piscataway},
  issn      = {0278-0070},
  doi       = {10.1109/TCAD.2011.2181847},
  pages     = {950 -- 957},
  year      = {2012},
  abstract  = {This paper presents a highly effective compactor architecture for processing test responses with a high percentage of x-values. The key component is a hierarchical configurable masking register, which allows the compactor to dynamically adapt to and provide excellent performance over a wide range of x-densities. A major contribution of this paper is a technique that enables the efficient loading of the x-masking data into the masking logic in a parallel fashion using the scan chains. A method for eliminating the requirement for dedicated mask control signals using automated test equipment timing flexibility is also presented. The proposed compactor is especially suited to multisite testing. Experiments with industrial designs show that the proposed compactor enables compaction ratios exceeding 200x.},
  language  = {en}
}
@article{RabenaltGoesselLeininger2011,
  author    = {Rabenalt, Thomas and Goessel, Michael and Leininger, Andreas},
  title     = {Masking of X-Values by use of a hierarchically configurable register},
  series = {Journal of electronic testing : theory and applications},
  volume    = {27},
  journal   = {Journal of electronic testing : theory and applications},
  number    = {1},
  publisher = {Springer},
  address   = {Dordrecht},
  issn      = {0923-8174},
  doi       = {10.1007/s10836-010-5179-2},
  pages     = {31 -- 41},
  year      = {2011},
  abstract  = {In this paper we consider masking of unknowns (X-values) for VLSI circuits. We present a new hierarchical method of X-masking which is a major improvement of the method proposed in [4], called WIDE1. By the method proposed, the number of observable scan cells is optimized and data volume for X-masking can be significantly reduced in comparison to WIDEL This is demonstrated for three industrial designs. In cases where all X-values have to be masked the novel approach is especially efficient.},
  language  = {en}
}
@article{QuanteWillnerMiddelanisetal.2021,
  author    = {Quante, Lennart and Willner, Sven N. and Middelanis, Robin and Levermann, Anders},
  title     = {Regions of intensification of extreme snowfall under future warming},
  series = {Scientific reports},
  volume    = {11},
  journal   = {Scientific reports},
  number    = {1},
  publisher = {Macmillan Publishers Limited, part of Springer Nature},
  address   = {Berlin},
  issn      = {2045-2322},
  doi       = {10.1038/s41598-021-95979-4},
  pages     = {9},
  year      = {2021},
  abstract  = {Due to climate change the frequency and character of precipitation are changing as the hydrological cycle intensifies. With regards to snowfall, global warming has two opposing influences; increasing humidity enables intense snowfall, whereas higher temperatures decrease the likelihood of snowfall. Here we show an intensification of extreme snowfall across large areas of the Northern Hemisphere under future warming. This is robust across an ensemble of global climate models when they are bias-corrected with observational data. While mean daily snowfall decreases, both the 99th and the 99.9th percentiles of daily snowfall increase in many regions in the next decades, especially for Northern America and Asia. Additionally, the average intensity of snowfall events exceeding these percentiles as experienced historically increases in many regions. This is likely to pose a challenge to municipalities in mid to high latitudes. Overall, extreme snowfall events are likely to become an increasingly important impact of climate change in the next decades, even if they will become rarer, but not necessarily less intense, in the second half of the century.},
  language  = {en}
}
@article{PrzybyllaRomeike2018,
  author    = {Przybylla, Mareen and Romeike, Ralf},
  title     = {Empowering learners with tools in CS education},
  series = {it - Information Technology},
  volume    = {60},
  journal   = {it - Information Technology},
  number    = {2},
  publisher = {De Gruyter},
  address   = {Berlin},
  issn      = {1611-2776},
  doi       = {10.1515/itit-2017-0032},
  pages     = {91 -- 101},
  year      = {2018},
  abstract  = {In computer science, computer systems are both, objects of investigation and tools that enable creative learning and design. Tools for learning have a long tradition in computer science education. Already in the late 1960s, Papert developed a concept which had an immense impact on the development of informal education in the following years: his theory of constructionism understands learning as a creative process of knowledge construction that is most effective when learners create something purposeful that they can try out, show around, discuss, analyse and receive praise for. By now, there are numerous learning and programming environments that are based on the constructionist ideas. Modern tools offer opportunities for students to learn in motivating ways and gain impressive results in programming games, animations, implementing 3D models or developing interactive objects. This article gives an overview of computer science education research related to tools and media to be used in educational settings. We analyse different types of tools with a special focus on the categorization and development of tools for student adequate physical computing activities in the classroom. Research around the development and evaluation of tools and learning resources in the domain of physical computing is illustrated with the example of "My Interactive Garden", a constructionist learning and programming environment. It is explained how the results from empirical studies are integrated in the continuous development of the learning material.},
  language  = {en}
}
@article{PrescherBornscheinKoehlmannetal.2018,
  author    = {Prescher, Denise and Bornschein, Jens and K{\"o}hlmann, Wiebke and Weber, Gerhard},
  title     = {Touching graphical applications},
  series = {Universal Access in the Information Society},
  volume    = {17},
  journal   = {Universal Access in the Information Society},
  number    = {2},
  publisher = {Springer},
  address   = {Heidelberg},
  issn      = {1615-5289},
  doi       = {10.1007/s10209-017-0538-8},
  pages     = {391 -- 409},
  year      = {2018},
  abstract  = {Novel two-dimensional tactile displays enable blind users to not only get access to the textual but also to the graphical content of a graphical user interface. Due to the higher amount of information that can be presented in parallel, orientation and exploration can be more complex. In this paper we present the HyperBraille system, which consists of a pin-matrix device as well as a graphical screen reader providing the user with appropriate presentation and interaction possibilities. To allow for a detailed analysis of bimanual interaction strategies on a pin-matrix device, we conducted two user studies with a total of 12 blind people. The task was to fill in .pdf forms on the pin-matrix device by using different input methods, namely gestures, built-in hardware buttons as well as a conventional PC keyboard. The forms were presented in a semigraphic view type that not only contains Braille but also tactile widgets in a spatial arrangement. While completion time and error rate partly depended on the chosen input method, the usage of special reading strategies seemed to be independent of it. A direct comparison of the system and a conventional assistive technology (screen reader with single-line Braille device) showed that interaction on the pin-matrix device can be very efficient if the user is trained. The two-dimensional output can improve access to .pdf forms with insufficient accessibility as the mapping of input controls and the corresponding labels can be supported by a spatial presentation.},
  language  = {en}
}
@article{PrasseKnaebelMachlicaetal.2019,
  author    = {Prasse, Paul and Knaebel, Rene and Machlica, Lukas and Pevny, Tomas and Scheffer, Tobias},
  title     = {Joint detection of malicious domains and infected clients},
  series = {Machine learning},
  volume    = {108},
  journal   = {Machine learning},
  number    = {8-9},
  publisher = {Springer},
  address   = {Dordrecht},
  issn      = {0885-6125},
  doi       = {10.1007/s10994-019-05789-z},
  pages     = {1353 -- 1368},
  year      = {2019},
  abstract  = {Detection of malware-infected computers and detection of malicious web domains based on their encrypted HTTPS traffic are challenging problems, because only addresses, timestamps, and data volumes are observable. The detection problems are coupled, because infected clients tend to interact with malicious domains. Traffic data can be collected at a large scale, and antivirus tools can be used to identify infected clients in retrospect. Domains, by contrast, have to be labeled individually after forensic analysis. We explore transfer learning based on sluice networks; this allows the detection models to bootstrap each other. In a large-scale experimental study, we find that the model outperforms known reference models and detects previously unknown malware, previously unknown malware families, and previously unknown malicious domains.},
  language  = {en}
}
@article{PrasseIversenLienhardetal.2022,
  author    = {Prasse, Paul and Iversen, Pascal and Lienhard, Matthias and Thedinga, Kristina and Herwig, Ralf and Scheffer, Tobias},
  title     = {Pre-Training on In Vitro and Fine-Tuning on Patient-Derived Data Improves Deep Neural Networks for Anti-Cancer Drug-Sensitivity Prediction},
  series = {MDPI},
  volume    = {14},
  journal   = {MDPI},
  edition   = {16},
  publisher = {MDPI},
  address   = {Basel, Schweiz},
  issn      = {2072-6694},
  doi       = {10.3390/cancers14163950},
  pages     = {1 -- 14},
  year      = {2022},
  abstract  = {Large-scale databases that report the inhibitory capacities of many combinations of candidate drug compounds and cultivated cancer cell lines have driven the development of preclinical drug-sensitivity models based on machine learning. However, cultivated cell lines have devolved from human cancer cells over years or even decades under selective pressure in culture conditions. Moreover, models that have been trained on in vitro data cannot account for interactions with other types of cells. Drug-response data that are based on patient-derived cell cultures, xenografts, and organoids, on the other hand, are not available in the quantities that are needed to train high-capacity machine-learning models. We found that pre-training deep neural network models of drug sensitivity on in vitro drug-sensitivity databases before fine-tuning the model parameters on patient-derived data improves the models' accuracy and improves the biological plausibility of the features, compared to training only on patient-derived data. From our experiments, we can conclude that pre-trained models outperform models that have been trained on the target domains in the vast majority of cases.},
  language  = {en}
}
@article{PrasseIversenLienhardetal.2022,
  author    = {Prasse, Paul and Iversen, Pascal and Lienhard, Matthias and Thedinga, Kristina and Bauer, Christopher and Herwig, Ralf and Scheffer, Tobias},
  title     = {Matching anticancer compounds and tumor cell lines by neural networks with ranking loss},
  series = {NAR: genomics and bioinformatics},
  volume    = {4},
  journal   = {NAR: genomics and bioinformatics},
  number    = {1},
  publisher = {Oxford Univ. Press},
  address   = {Oxford},
  issn      = {2631-9268},
  doi       = {10.1093/nargab/lqab128},
  pages     = {10},
  year      = {2022},
  abstract  = {Computational drug sensitivity models have the potential to improve therapeutic outcomes by identifying targeted drug components that are likely to achieve the highest efficacy for a cancer cell line at hand at a therapeutic dose. State of the art drug sensitivity models use regression techniques to predict the inhibitory concentration of a drug for a tumor cell line. This regression objective is not directly aligned with either of these principal goals of drug sensitivity models: We argue that drug sensitivity modeling should be seen as a ranking problem with an optimization criterion that quantifies a drug's inhibitory capacity for the cancer cell line at hand relative to its toxicity for healthy cells. We derive an extension to the well-established drug sensitivity regression model PaccMann that employs a ranking loss and focuses on the ratio of inhibitory concentration and therapeutic dosage range. We find that the ranking extension significantly enhances the model's capability to identify the most effective anticancer drugs for unseen tumor cell profiles based in on in-vitro data.},
  language  = {en}
}
@article{PradhanChatterjeeSwarnaetal.1996,
  author    = {Pradhan, D. K. and Chatterjee, M. and Swarna, M. and Kunz, Wolfgang},
  title     = {Implication-based gate-level synthesis for low-power},
  isbn      = {0-7803-3571-6},
  year      = {1996},
  language  = {en}
}
@article{PousttchiGleiss2019,
  author    = {Pousttchi, Key and Gleiß, Alexander},
  title     = {Surrounded by middlemen - how multi-sided platforms change the insurance industry},
  series = {Electron Markets},
  volume    = {29},
  journal   = {Electron Markets},
  number    = {4},
  publisher = {Springer},
  address   = {Heidelberg},
  issn      = {1019-6781},
  doi       = {10.1007/s12525-019-00363-w},
  pages     = {609 -- 629},
  year      = {2019},
  abstract  = {Multi-sided platforms (MSP) strongly affect markets and play a crucial part within the digital and networked economy. Although empirical evidence indicates their occurrence in many industries, research has not investigated the game-changing impact of MSP on traditional markets to a sufficient extent. More specifically, we have little knowledge of how MSP affect value creation and customer interaction in entire markets, exploiting the potential of digital technologies to offer new value propositions. Our paper addresses this research gap and provides an initial systematic approach to analyze the impact of MSP on the insurance industry. For this purpose, we analyze the state of the art in research and practice in order to develop a reference model of the value network for the insurance industry. On this basis, we conduct a case-study analysis to discover and analyze roles which are occupied or even newly created by MSP. As a final step, we categorize MSP with regard to their relation to traditional insurance companies, resulting in a classification scheme with four MSP standard types: Competition, Coordination, Cooperation, Collaboration.},
  language  = {en}
}