Dokument-ID Dokumenttyp Verfasser/Autoren Herausgeber Haupttitel Abstract Auflage Verlagsort Verlag Erscheinungsjahr Seitenzahl Schriftenreihe Titel Schriftenreihe Bandzahl ISBN Quelle der Hochschulschrift Konferenzname Quelle:Titel Quelle:Jahrgang Quelle:Heftnummer Quelle:Erste Seite Quelle:Letzte Seite URN DOI Abteilungen OPUS4-56371 Buch (Monographie) Rana, Kaushik; Mohapatra, Durga Prasad; Sidorova, Julia; Lundberg, Lars; Sköld, Lars; Lopes Grim, Luís Fernando; Sampaio Gradvohl, André Leon; Cremerius, Jonas; Siegert, Simon; Weltzien, Anton von; Baldi, Annika; Klessascheck, Finn; Kalancha, Svitlana; Lichtenstein, Tom; Shaabani, Nuhad; Meinel, Christoph; Friedrich, Tobias; Lenzner, Pascal; Schumann, David; Wiese, Ingmar; Sarna, Nicole; Wiese, Lena; Tashkandi, Araek Sami; van der Walt, Estée; Eloff, Jan H. P.; Schmidt, Christopher; Hügle, Johannes; Horschig, Siegfried; Uflacker, Matthias; Najafi, Pejman; Sapegin, Andrey; Cheng, Feng; Stojanovic, Dragan; Stojnev Ilić, Aleksandra; Djordjevic, Igor; Stojanovic, Natalija; Predic, Bratislav; González-Jiménez, Mario; de Lara, Juan; Mischkewitz, Sven; Kainz, Bernhard; van Hoorn, André; Ferme, Vincenzo; Schulz, Henning; Knigge, Marlene; Hecht, Sonja; Prifti, Loina; Krcmar, Helmut; Fabian, Benjamin; Ermakova, Tatiana; Kelkel, Stefan; Baumann, Annika; Morgenstern, Laura; Plauth, Max; Eberhard, Felix; Wolff, Felix; Polze, Andreas; Cech, Tim; Danz, Noel; Noack, Nele Sina; Pirl, Lukas; Beilharz, Jossekin Jakob; De Oliveira, Roberto C. L.; Soares, Fábio Mendes; Juiz, Carlos; Bermejo, Belen; Mühle, Alexander; Grüner, Andreas; Saxena, Vageesh; Gayvoronskaya, Tatiana; Weyand, Christopher; Krause, Mirko; Frank, Markus; Bischoff, Sebastian; Behrens, Freya; Rückin, Julius; Ziegler, Adrian; Vogel, Thomas; Tran, Chinh; Moser, Irene; Grunske, Lars; Szárnyas, Gábor; Marton, József; Maginecz, János; Varró, Dániel; Antal, János Benjamin Meinel, Christoph; Polze, Andreas; Beins, Karsten; Strotmann, Rolf; Seibold, Ulrich; Rödszus, Kurt; Müller, Jürgen HPI Future SOC Lab - Proceedings 2018 The "HPI Future SOC Lab" is a cooperation of the Hasso Plattner Institute (HPI) and industry partners. Its mission is to enable and promote exchange and interaction between the research community and the industry partners. The HPI Future SOC Lab provides researchers with free of charge access to a complete infrastructure of state of the art hard and software. This infrastructure includes components, which might be too expensive for an ordinary research environment, such as servers with up to 64 cores and 2 TB main memory. The offerings address researchers particularly from but not limited to the areas of computer science and business information systems. Main areas of research include cloud computing, parallelization, and In-Memory technologies. This technical report presents results of research projects executed in 2018. Selected projects have presented their results on April 17th and November 14th 2017 at the Future SOC Lab Day events. Potsdam Universitätsverlag Potsdam 2022 x, 277 978-3-86956-547-7 151 urn:nbn:de:kobv:517-opus4-563712 10.25932/publishup-56371 Hasso-Plattner-Institut für Digital Engineering GmbH OPUS4-51527 misc Kärcher, Oskar; Filstrup, Christopher T.; Brauns, Mario; Tasevska, Orhideja; Patceva, Suzana; Hellwig, Niels; Walz, Ariane; Frank, Karin; Markovic, Danijela Chlorophyll a relationships with nutrients and temperature, and predictions for lakes across perialpine and Balkan mountain regions Model-derived relationships between chlorophyll a (Chl-a) and nutrients and temperature have fundamental implications for understanding complex interactions among water quality measures used for lake classification, yet accuracy comparisons of different approaches are scarce. Here, we (1) compared Chl-a model performances across linear and nonlinear statistical approaches; (2) evaluated single and combined effects of nutrients, depth, and temperature as lake surface water temperature (LSWT) or altitude on Chl-a; and (3) investigated the reliability of the best water quality model across 13 lakes from perialpine and central Balkan mountain regions. Chl-a was modelled using in situ water quality data from 157 European lakes; elevation data and LSWT in situ data were complemented by remote sensing measurements. Nonlinear approaches performed better, implying complex relationships between Chl-a and the explanatory variables. Boosted regression trees, as the best performing approach, accommodated interactions among predictor variables. Chl-a-nutrient relationships were characterized by sigmoidal curves, with total phosphorus having the largest explanatory power for our study region. In comparison with LSWT, utilization of altitude, the often-used temperature surrogate, led to different influence directions but similar predictive performances. These results support utilizing altitude in models for Chl-a predictions. Compared to Chl-a observations, Chl-a predictions of the best performing approach for mountain lakes (oligotrophic-eutrophic) led to minor differences in trophic state categorizations. Our findings suggest that both models with LSWT and altitude are appropriate for water quality predictions of lakes in mountain regions and emphasize the importance of incorporating interactions among variables when facing lake management challenges. 2020 15 Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe 1 urn:nbn:de:kobv:517-opus4-515271 10.25932/publishup-51527 Institut für Umweltwissenschaften und Geographie OPUS4-61741 Wissenschaftlicher Artikel Kärcher, Oskar; Filstrup, Christopher T.; Brauns, Mario; Tasevska, Orhideja; Patceva, Suzana; Hellwig, Niels; Walz, Ariane; Frank, Karin; Markovic, Danijela Chlorophyll a relationships with nutrients and temperature, and predictions for lakes across perialpine and Balkan mountain regions Model-derived relationships between chlorophyll a (Chl-a) and nutrients and temperature have fundamental implications for understanding complex interactions among water quality measures used for lake classification, yet accuracy comparisons of different approaches are scarce. Here, we (1) compared Chl-a model performances across linear and nonlinear statistical approaches; (2) evaluated single and combined effects of nutrients, depth, and temperature as lake surface water temperature (LSWT) or altitude on Chl-a; and (3) investigated the reliability of the best water quality model across 13 lakes from perialpine and central Balkan mountain regions. Chl-a was modelled using in situ water quality data from 157 European lakes; elevation data and LSWT in situ data were complemented by remote sensing measurements. Nonlinear approaches performed better, implying complex relationships between Chl-a and the explanatory variables. Boosted regression trees, as the best performing approach, accommodated interactions among predictor variables. Chl-a-nutrient relationships were characterized by sigmoidal curves, with total phosphorus having the largest explanatory power for our study region. In comparison with LSWT, utilization of altitude, the often-used temperature surrogate, led to different influence directions but similar predictive performances. These results support utilizing altitude in models for Chl-a predictions. Compared to Chl-a observations, Chl-a predictions of the best performing approach for mountain lakes (oligotrophic-eutrophic) led to minor differences in trophic state categorizations. Our findings suggest that both models with LSWT and altitude are appropriate for water quality predictions of lakes in mountain regions and emphasize the importance of incorporating interactions among variables when facing lake management challenges. London Taylor & Francis 2020 13 Inland Waters 10 1 29 41 10.1080/20442041.2019.1689768 Institut für Umweltwissenschaften und Geographie OPUS4-49661 Wissenschaftlicher Artikel Warrington, Nicole; Beaumont, Robin; Horikoshi, Momoko; Day, Felix R.; Helgeland, Øyvind; Laurin, Charles; Bacelis, Jonas; Peng, Shouneng; Hao, Ke; Feenstra, Bjarke; Wood, Andrew R.; Mahajan, Anubha; Tyrrell, Jessica; Robertson, Neil R.; Rayner, N. William; Qiao, Zhen; Moen, Gunn-Helen; Vaudel, Marc; Marsit, Carmen; Chen, Jia; Nodzenski, Michael; Schnurr, Theresia M.; Zafarmand, Mohammad Hadi; Bradfield, Jonathan P.; Grarup, Niels; Kooijman, Marjolein N.; Li-Gao, Ruifang; Geller, Frank; Ahluwalia, Tarunveer Singh; Paternoster, Lavinia; Rueedi, Rico; Huikari, Ville; Hottenga, Jouke-Jan; Lyytikäinen, Leo-Pekka; Cavadino, Alana; Metrustry, Sarah; Cousminer, Diana L.; Wu, Ying; Thiering, Elisabeth Paula; Wang, Carol A.; Have, Christian Theil; Vilor-Tejedor, Natalia; Joshi, Peter K.; Painter, Jodie N.; Ntalla, Ioanna; Myhre, Ronny; Pitkänen, Niina; van Leeuwen, Elisabeth M.; Joro, Raimo; Lagou, Vasiliki; Richmond, Rebecca C.; Espinosa, Ana; Barton, Sheila J.; Inskip, Hazel M.; Holloway, John W.; Santa-Marina, Loreto; Estivill, Xavier; Ang, Wei; Marsh, Julie A.; Reichetzeder, Christoph; Marullo, Letizia; Hocher, Berthold; Lunetta, Kathryn L.; Murabito, Joanne M.; Relton, Caroline L.; Kogevinas, Manolis; Chatzi, Leda; Allard, Catherine; Bouchard, Luigi; Hivert, Marie-France; Zhang, Ge; Muglia, Louis J.; Heikkinen, Jani; Morgen, Camilla S.; van Kampen, Antoine H. C.; van Schaik, Barbera D. C.; Mentch, Frank D.; Langenberg, Claudia; Scott, Robert A.; Zhao, Jing Hua; Hemani, Gibran; Ring, Susan M.; Bennett, Amanda J.; Gaulton, Kyle J.; Fernandez-Tajes, Juan; van Zuydam, Natalie R.; Medina-Gomez, Carolina; de Haan, Hugoline G.; Rosendaal, Frits R.; Kutalik, Zoltán; Marques-Vidal, Pedro; Das, Shikta; Willemsen, Gonneke; Mbarek, Hamdi; Müller-Nurasyid, Martina; Standl, Marie; Appel, Emil V. R.; Fonvig, Cilius Esmann; Trier, Caecilie; van Beijsterveldt, Catharina E. M.; Murcia, Mario; Bustamante, Mariona; Bonàs-Guarch, Sílvia; Hougaard, David M.; Mercader, Josep M.; Linneberg, Allan; Schraut, Katharina E.; Lind, Penelope A.; Medland, Sarah Elizabeth; Shields, Beverley M.; Knight, Bridget A.; Chai, Jin-Fang; Panoutsopoulou, Kalliope; Bartels, Meike; Sánchez, Friman; Stokholm, Jakob; Torrents, David; Vinding, Rebecca K.; Willems, Sara M.; Atalay, Mustafa; Chawes, Bo L.; Kovacs, Peter; Prokopenko, Inga; Tuke, Marcus A.; Yaghootkar, Hanieh; Ruth, Katherine S.; Jones, Samuel E.; Loh, Po-Ru; Murray, Anna; Weedon, Michael N.; Tönjes, Anke; Stumvoll, Michael; Michaelsen, Kim Fleischer; Eloranta, Aino-Maija; Lakka, Timo A.; van Duijn, Cornelia M.; Kiess, Wieland; Koerner, Antje; Niinikoski, Harri; Pahkala, Katja; Raitakari, Olli T.; Jacobsson, Bo; Zeggini, Eleftheria; Dedoussis, George V.; Teo, Yik-Ying; Saw, Seang-Mei; Montgomery, Grant W.; Campbell, Harry; Wilson, James F.; Vrijkotte, Tanja G. M.; Vrijheid, Martine; de Geus, Eco J. C. N.; Hayes, M. Geoffrey; Kadarmideen, Haja N.; Holm, Jens-Christian; Beilin, Lawrence J.; Pennell, Craig E.; Heinrich, Joachim; Adair, Linda S.; Borja, Judith B.; Mohlke, Karen L.; Eriksson, Johan G.; Widen, Elisabeth E.; Hattersley, Andrew T.; Spector, Tim D.; Kaehoenen, Mika; Viikari, Jorma S.; Lehtimaeki, Terho; Boomsma, Dorret I.; Sebert, Sylvain; Vollenweider, Peter; Sorensen, Thorkild I. A.; Bisgaard, Hans; Bonnelykke, Klaus; Murray, Jeffrey C.; Melbye, Mads; Nohr, Ellen A.; Mook-Kanamori, Dennis O.; Rivadeneira, Fernando; Hofman, Albert; Felix, Janine F.; Jaddoe, Vincent W. V.; Hansen, Torben; Pisinger, Charlotta; Vaag, Allan A.; Pedersen, Oluf; Uitterlinden, Andre G.; Jarvelin, Marjo-Riitta; Power, Christine; Hypponen, Elina; Scholtens, Denise M.; Lowe, William L.; Smith, George Davey; Timpson, Nicholas J.; Morris, Andrew P.; Wareham, Nicholas J.; Hakonarson, Hakon; Grant, Struan F. A.; Frayling, Timothy M.; Lawlor, Debbie A.; Njolstad, Pal R.; Johansson, Stefan; Ong, Ken K.; McCarthy, Mark I.; Perry, John R. B.; Evans, David M.; Freathy, Rachel M. Maternal and fetal genetic effects on birth weight and their relevance to cardio-metabolic risk factors Birth weight variation is influenced by fetal and maternal genetic and non-genetic factors, and has been reproducibly associated with future cardio-metabolic health outcomes. In expanded genome-wide association analyses of own birth weight (n = 321,223) and offspring birth weight (n = 230,069 mothers), we identified 190 independent association signals (129 of which are novel). We used structural equation modeling to decompose the contributions of direct fetal and indirect maternal genetic effects, then applied Mendelian randomization to illuminate causal pathways. For example, both indirect maternal and direct fetal genetic effects drive the observational relationship between lower birth weight and higher later blood pressure: maternal blood pressure-raising alleles reduce offspring birth weight, but only direct fetal effects of these alleles, once inherited, increase later offspring blood pressure. Using maternal birth weight-lowering genotypes to proxy for an adverse intrauterine environment provided no evidence that it causally raises offspring blood pressure, indicating that the inverse birth weight-blood pressure association is attributable to genetic effects, and not to intrauterine programming. New York Nature Publ. Group 2019 17 Nature genetics 51 5 804 + Institut für Ernährungswissenschaft OPUS4-42853 Wissenschaftlicher Artikel Schellhorn, Sebastian; Frank, Mario; Kreitz, Christoph Brückenkurse für mathematische und informatiknahe Studiengänge Potsdam Universitätsverlag Potsdam 2019 15 Alles auf Anfang! Befunde und Perspektiven zum Studieneingang 978-3-86956-452-4 257 271 urn:nbn:de:kobv:517-opus4-428538 10.25932/publishup-42853 Zentrum für Qualitätsentwicklung in Lehre und Studium (ZfQ) OPUS4-42296 Buch (Monographie) Fuhrmann, Michaela; Schubarth, Wilfried; Schulze-Reichelt, Friederike; Mauermeister, Sylvi; Seidel, Andreas; Hartmann, Nina; Erdmann, Melinda; Apostolow, Benjamin; Wagner, Laura; Berndt, Sarah; Wippermann, Melanie; Ratzlaff, Olaf; Lumpe, Matthias; Kirjuchina, Ljuba; Rost, Sophia; Zurek, Peter Paul; Faaß, Marcel; Schellhorn, Sebastian; Frank, Mario; Kreitz, Christoph; Wagner, Nelli; Jenneck, Julia; Kleemann, Katrin; Vock, Miriam; Schröder, Christian; Erdmann, Kathrin; Koziol, Matthias; Meißner, Marlen; Dibiasi, Anna; Unger, Martin; Piskunova, Elena V.; Bahmutskiy, Andrey E.; Bessonova, Ekatarina A.; Borovik, Ludmila K. Schubarth, Wilfried; Mauermeister, Sylvi; Schulze-Reichelt, Friederike; Seidel, Andreas Alles auf Anfang! Im Zuge der Bologna-Reform ist an Hochschulen vieles in Bewegung gekommen. Studium und Lehre sind stärker ins Blickfeld gerückt. Dabei kommt der Studieneingangsphase besondere Bedeutung zu, werden doch hier die Weichen für ein erfolgreiches Studium gestellt. Deshalb ist es verständlich, dass die Hauptanstrengungen der Hochschulen auf den Studieneingang gerichtet sind - ganz nach dem Motto: „Auf den Anfang kommt es an!". Konsens herrscht dahingehend, dass der Studieneingang neu zu gestalten ist, doch beim „Wie?" gibt es unterschiedliche Antworten. Zugleich wird immer deutlicher, dass eine wirksame Neugestaltung der Eingangsphase nur mit einer umfassenden Reform des Studiums gelingen kann. Ziel des vierten Bandes der Potsdamer Beiträge zur Hochschulforschung ist es, eine Zwischenbilanz der Debatte zum Studieneingang zu ziehen. Auf der Basis empirischer Studien werden unterschiedliche Perspektiven auf den Studieneingang eingenommen und Empfehlungen zur Optimierung des Studieneingangs abgeleitet. Die zahlreichen Untersuchungsergebnisse Potsdamer Forschergruppen werden durch weitere nationale sowie internationale Perspektiven ergänzt. Der Band richtet sich an alle, die sich für die Entwicklung an Hochschulen interessieren. Potsdam Universitätsverlag Potsdam 2019 373 Potsdamer Beiträge zur Hochschulforschung 978-3-86956-452-4 4 urn:nbn:de:kobv:517-opus4-422965 10.25932/publishup-42296 Zentrum für Qualitätsentwicklung in Lehre und Studium (ZfQ) OPUS4-53951 misc Frank, Mario; Kreitz, Christoph A theorem prover for scientific and educational purposes We present a prototype of an integrated reasoning environment for educational purposes. The presented tool is a fragment of a proof assistant and automated theorem prover. We describe the existing and planned functionality of the theorem prover and especially the functionality of the educational fragment. This currently supports working with terms of the untyped lambda calculus and addresses both undergraduate students and researchers. We show how the tool can be used to support the students' understanding of functional programming and discuss general problems related to the process of building theorem proving software that aims at supporting both research and education. Sydney Open Publishing Association 2018 11 Electronic proceedings in theoretical computer science 267 59 69 10.4204/EPTCS.267.4 Institut für Informatik und Computational Science OPUS4-50802 Wissenschaftlicher Artikel Semenyshyn, Rostyslav; Hentschel, Mario; Stanglmair, Christoph; Teutsch, Tanja; Tarin, Cristina; Pacholski, Claudia; Giessen, Harald; Neubrech, Frank In vitro monitoring conformational changes of polypeptide monolayers using infrared plasmonic nanoantennas Proteins and peptides play a predominant role in biochemical reactions of living cells. In these complex environments, not only the constitution of the molecules but also their three-dimensional configuration defines their functionality. This so-called secondary structure of proteins is crucial for understanding their function in living matter. Misfolding, for example, is suspected as the cause of neurodegenerative diseases such as Alzheimer's and Parkinson's disease. Ultimately, it is necessary to study a single protein and its folding dynamics. Here, we report a first step in this direction, namely ultrasensitive detection and discrimination of in vitro polypeptide folding and unfolding processes using resonant plasmonic nanoantennas for surface-enhanced vibrational spectroscopy. We utilize poly-l-lysine as a model system which has been functionalized on the gold surface. By in vitro infrared spectroscopy of a single molecular monolayer at the amide I vibrations we directly monitor the reversible conformational changes between α-helix and β-sheet states induced by controlled external chemical stimuli. Our scheme in combination with advanced positioning of the peptides and proteins and more brilliant light sources is highly promising for ultrasensitive in vitro studies down to the single protein level. Washington American Chemical Society 2018 7 Nano letters : a journal dedicated to nanoscience and nanotechnology 19 1 1 7 10.1021/acs.nanolett.8b02372 Institut für Physik und Astronomie OPUS4-6970 Masterarbeit / Diplomarbeit Frank, Mario TEMPLAR : efficient determination of relevant axioms in big formula sets for theorem proving This document presents a formula selection system for classical first order theorem proving based on the relevance of formulae for the proof of a conjecture. It is based on unifiability of predicates and is also able to use a linguistic approach for the selection. The scope of the technique is the reduction of the set of formulae and the increase of the amount of provable conjectures in a given time. Since the technique generates a subset of the formula set, it can be used as a preprocessor for automated theorem proving. The document contains the conception, implementation and evaluation of both selection concepts. While the one concept generates a search graph over the negation normal forms or Skolem normal forms of the given formulae, the linguistic concept analyses the formulae and determines frequencies of lexemes and uses a tf-idf weighting algorithm to determine the relevance of the formulae. Though the concept is built for first order logic, it is not limited to it. The concept can be used for higher order and modal logik, too, with minimal adoptions. The system was also evaluated at the world championship of automated theorem provers (CADE ATP Systems Competition, CASC-24) in combination with the leanCoP theorem prover and the evaluation of the results of the CASC and the benchmarks with the problems of the CASC of the year 2012 (CASC-J6) show that the concept of the system has positive impact to the performance of automated theorem provers. Also, the benchmarks with two different theorem provers which use different calculi have shown that the selection is independent from the calculus. Moreover, the concept of TEMPLAR has shown to be competitive to some extent with the concept of SinE and even helped one of the theorem provers to solve problems that were not (or slower) solved with SinE selection in the CASC. Finally, the evaluation implies that the combination of the unification based and linguistic selection yields more improved results though no optimisation was done for the problems. 2013 urn:nbn:de:kobv:517-opus-72112 Institut für Informatik und Computational Science OPUS4-6969 Wissenschaftlicher Artikel Frank, Mario Axiom relevance decision engine : technical report This document presents an axiom selection technique for classic first order theorem proving based on the relevance of axioms for the proof of a conjecture. It is based on unifiability of predicates and does not need statistical information like symbol frequency. The scope of the technique is the reduction of the set of axioms and the increase of the amount of provable conjectures in a given time. Since the technique generates a subset of the axiom set, it can be used as a preprocessor for automated theorem proving. This technical report describes the conception, implementation and evaluation of ARDE. The selection method, which is based on a breadth-first graph search by unifiability of predicates, is a weakened form of the connection calculus and uses specialised variants or unifiability to speed up the selection. The implementation of the concept is evaluated with comparison to the results of the world championship of theorem provers of the year 2012 (CASC J6). It is shown that both the theorem prover leanCoP which uses the connection calculus and E which uses equality reasoning, can benefit from the selection approach. Also, the evaluation shows that the concept is applyable for theorem proving problems with thousands of formulae and that the selection is independent from the calculus used by the theorem prover. 2012 urn:nbn:de:kobv:517-opus-72128 Institut für Informatik und Computational Science