@inbook{54370, author = {{Hartig, Christine }}, booktitle = {{Florian Steger, Jan Jeskow: Das Antidepressivum Levoprotilin in Jena. Arzneimittelstudien westlicher Pharmaunternehmen in der DDR,1987–1990}}, pages = {{64--68}}, title = {{{Kapitel 7: Der Prüfleiter (unter Mitarbeit von Florina Steger, Jan Jeskow)}}}, year = {{2018}}, } @inbook{54369, author = {{Hartig, Christine }}, booktitle = {{Florian Steger, Jan Jeskow, Das Antidepressivum Levoprotilin in Jena. Arzneimittelstudien westlicher Pharmaunternehmen in der DDR,1987–1990}}, pages = {{42--58}}, title = {{{Kapitel 5: Einhalten des Prüfplans (unter Mitarbeit von Florina Steger, Jan Jeskow)}}}, year = {{2018}}, } @book{54481, editor = {{Mombeck, Mona Maria and Bartsch, Fabienne and Müller, Merle and Odipo, Teresa Maria and Schäfer, Alina and Thomas, Monika and Wolf, Julia and Kleinert, Jens }}, publisher = {{Deutsche Sporthochschule Köln}}, title = {{{Tägliche Herausforderungen meistern - Sportlehrkräfte im Fokus: 1. Kölner Tag des Schulsports & Wissenschaftliches Symposium, 19. September 2018 ; Abstractband ; Schulsport 2020.}}}, year = {{2018}}, } @inbook{54515, author = {{Meyer-Hamme, Johannes}}, booktitle = {{Geschichtsunterricht im 21. Jahrhundert}}, editor = {{Sandkühler, Thomas}}, isbn = {{978-3847108917}}, pages = {{75--92}}, title = {{{Was heißt historisches Lernen? Eine Begriffsbestimmung im Spannungsfeld gesellschaftlicher Anforderungen, subjektiver Bedeutungszuschreibungen und Kompetenzen historischen Denkens}}}, year = {{2018}}, } @inproceedings{47253, author = {{Wu, Yuxi and Gupta, Panya and Wei, Miranda and Acar, Yasemin and Fahl, Sascha and Ur, Blase}}, booktitle = {{Proceedings of the 2018 World Wide Web Conference on World Wide Web - WWW '18}}, publisher = {{ACM Press}}, title = {{{Your Secrets Are Safe}}}, doi = {{10.1145/3178876.3186088}}, year = {{2018}}, } @inproceedings{47255, author = {{Haney, Julie M. and Theofanos, Mary and Acar, Yasemin and Prettyman, Sandra Spickard}}, booktitle = {{Fourteenth Symposium on Usable Privacy and Security, SOUPS 2018, Baltimore, MD, USA, August 12-14, 2018}}, editor = {{Zurko, Mary Ellen and Lipford, Heather Richter}}, pages = {{357–373}}, publisher = {{USENIX Association}}, title = {{{"We make it a big deal in the company": Security Mindsets in Organizations that Develop Cryptographic Products}}}, year = {{2018}}, } @techreport{47876, author = {{Haney, Julie and Theofanos, Mary and Acar, Yasemin and Prettyman, Sandra Spickard}}, publisher = {{National Institute of Standards and Technology}}, title = {{{Organizational views of NIST cryptographic standards and testing and validation programs}}}, doi = {{10.6028/nist.ir.8241}}, year = {{2018}}, } @inproceedings{47256, author = {{Gorski, Peter Leo and Iacono, Luigi Lo and Wermke, Dominik and Stransky, Christian and Möller, Sebastian and Acar, Yasemin and Fahl, Sascha}}, booktitle = {{Fourteenth Symposium on Usable Privacy and Security, SOUPS 2018, Baltimore, MD, USA, August 12-14, 2018}}, editor = {{Zurko, Mary Ellen and Lipford, Heather Richter}}, pages = {{265–281}}, publisher = {{USENIX Association}}, title = {{{Developers Deserve Security Warnings, Too: On the Effect of Integrated Security Advice on Cryptographic API Misuse}}}, year = {{2018}}, } @inproceedings{47254, author = {{Oltrogge, Marten and Derr, Erik and Stransky, Christian and Acar, Yasemin and Fahl, Sascha and Rossow, Christian and Pellegrino, Giancarlo and Bugiel, Sven and Backes, Michael}}, booktitle = {{2018 IEEE Symposium on Security and Privacy (SP)}}, publisher = {{IEEE}}, title = {{{The Rise of the Citizen Developer: Assessing the Security Impact of Online App Generators}}}, doi = {{10.1109/sp.2018.00005}}, year = {{2018}}, } @inproceedings{47252, author = {{Wermke, Dominik and Huaman, Nicolas and Acar, Yasemin and Reaves, Bradley and Traynor, Patrick and Fahl, Sascha}}, booktitle = {{Proceedings of the 34th Annual Computer Security Applications Conference, ACSAC 2018, San Juan, PR, USA, December 03-07, 2018}}, pages = {{222–235}}, publisher = {{ACM}}, title = {{{A Large Scale Investigation of Obfuscation Use in Google Play}}}, doi = {{10.1145/3274694.3274726}}, year = {{2018}}, } @book{54656, editor = {{Bergmann, Claudia D. and Kranemann, Benedikt}}, publisher = {{Brill}}, title = {{{Ritual Dynamics in Jewish and Christian Contexts: Between Bible and Liturgy}}}, year = {{2018}}, } @book{54657, editor = {{Bergmann, Claudia D. and Rüpke, Jörg}}, title = {{{Historia Religionum 10}}}, year = {{2018}}, } @inproceedings{46348, abstract = {{We analyze the effects of including local search techniques into a multi-objective evolutionary algorithm for solving a bi-objective orienteering problem with a single vehicle while the two conflicting objectives are minimization of travel time and maximization of the number of visited customer locations. Experiments are based on a large set of specifically designed problem instances with different characteristics and it is shown that local search techniques focusing on one of the objectives only improve the performance of the evolutionary algorithm in terms of both objectives. The analysis also shows that local search techniques are capable of sending locally optimal solutions to foremost fronts of the multi-objective optimization process, and that these solutions then become the leading factors of the evolutionary process.}}, author = {{Bossek, Jakob and Grimme, Christian and Meisel, Stephan and Rudolph, Guenter and Trautmann, Heike}}, booktitle = {{Proceedings of the Genetic and Evolutionary Computation Conference}}, isbn = {{978-1-4503-5618-3}}, pages = {{585–592}}, publisher = {{ACM}}, title = {{{Local Search Effects in Bi-Objective Orienteering}}}, doi = {{10.1145/3205455.3205548}}, year = {{2018}}, } @article{46352, abstract = {{The Travelling Salesperson Problem (TSP) is one of the best-studied NP-hard problems. Over the years, many different solution approaches and solvers have been developed. For the first time, we directly compare five state-of-the-art inexact solvers—namely, LKH, EAX, restart variants of those, and MAOS—on a large set of well-known benchmark instances and demonstrate complementary performance, in that different instances may be solved most effectively by different algorithms. We leverage this complementarity to build an algorithm selector, which selects the best TSP solver on a per-instance basis and thus achieves significantly improved performance compared to the single best solver, representing an advance in the state of the art in solving the Euclidean TSP. Our in-depth analysis of the selectors provides insight into what drives this performance improvement.}}, author = {{Kerschke, Pascal and Kotthoff, Lars and Bossek, Jakob and Hoos, Holger H. and Trautmann, Heike}}, journal = {{Evolutionary Computation (ECJ)}}, number = {{4}}, pages = {{597–620}}, title = {{{Leveraging TSP Solver Complementarity through Machine Learning}}}, doi = {{10.1162/evco_a_00215}}, volume = {{26}}, year = {{2018}}, } @inproceedings{46349, abstract = {{Performance comparisons of optimization algorithms are heavily influenced by the underlying indicator(s). In this paper we investigate commonly used performance indicators for single-objective stochastic solvers, such as the Penalized Average Runtime (e.g., PAR10) or the Expected Running Time (ERT), based on exemplary benchmark performances of state-of-the-art inexact TSP solvers. Thereby, we introduce a methodology for analyzing the effects of (usually heuristically set) indicator parametrizations - such as the penalty factor and the method used for aggregating across multiple runs - w.r.t. the robustness of the considered optimization algorithms.}}, author = {{Kerschke, Pascal and Bossek, Jakob and Trautmann, Heike}}, booktitle = {{Proceedings of the Genetic and Evolutionary Computation Conference (GECCO ’18) Companion}}, isbn = {{978-1-4503-5764-7/18/07}}, pages = {{1737–1744}}, title = {{{Parameterization of State-of-the-Art Performance Indicators: A Robustness Study Based on Inexact TSP Solvers}}}, doi = {{10.1145/3205651.3208233}}, year = {{2018}}, } @misc{18980, author = {{Peckhaus, Volker}}, booktitle = {{Mathematical Reviews, MR3793638}}, title = {{{Centrone, Stefania, Studien zu Bolzano, Academia: Sankt Augustin 2015 (Beiträge zur Bolzano-Forschung; 26)}}}, year = {{2018}}, } @article{54770, author = {{Varga, Eva}}, journal = {{PhiN}}, number = {{85}}, pages = {{19--61}}, title = {{{Was ist V2? Ein Beitrag zur Fachterminologie der Sprachwissenschaft.}}}, year = {{2018}}, } @misc{18977, author = {{Peckhaus, Volker}}, booktitle = {{Mathematical Reviews, MR3751533}}, title = {{{Delarivière, Sven; Van Kerkhove, Sven, “The ‘Artificial Mathematician’ Objection: Exploring the (Im)possibility of Automating Mathematical Understanding”, in: B. Sriraman (Hg.), Humanizing Mathematics and its Philosophy, Birkhäuser/Springer: Cham 2017, 173–193}}}, year = {{2018}}, } @misc{18950, author = {{Peckhaus, Volker}}, booktitle = {{Mathematical Reviews, MR3726753}}, title = {{{Maat, Jaap, “Leibniz”, in: Alex Malpass/Marianna Antonutti Morfori (Hgg.), The History of Philosophical and Formal Logic: From Aristotle to Tarski, Bloomsbury Academic: London 2017, 101–119}}}, year = {{2018}}, } @misc{18732, author = {{Peckhaus, Volker}}, booktitle = {{zbMATH Open, Zbl. 1372.01081}}, title = {{{Bolzano, Bernard, Briefwechsel mit Franz Exner, 1833–1844, hg. v. Edgar Morscher (Bernard Bolzano-Gesamtausgabe, Reihe III.23,1), Fromman-Holzboog Verlag: Stuttgart-Bad Cannstatt 2017}}}, year = {{2018}}, }