53951
2018
2018
eng
59
69
11
267
other
Open Publishing Association
Sydney
1
2018-03-05
2018-03-05
--
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.
Electronic proceedings in theoretical computer science
10.4204/EPTCS.267.4
2075-2180
wos:2018
6th International Workshop on Theorem Proving Components for Educational Software (ThEdu)
AUG 06, 2017
WOS:000465418300005
Gothenburg, SWEDEN
Frank, M (reprint author), Univ Potsdam, Inst Comp Sci, Potsdam, Germany., mafrank@uni-potsdam.de; kreitz@uni-potsdam.de
2022-02-17T10:59:15+00:00
sword
importub
filename=package.tar
092532814ea9352804acc2c24f2997c0
Frank, Mario
false
true
Mario Frank
Christoph Kreitz
Informatik, Informationswissenschaft, allgemeine Werke
Institut für Informatik und Computational Science
Referiert
Import
Gold Open-Access
DOAJ gelistet
42296
2019
2019
deu
373
4
book
Universitätsverlag Potsdam
Potsdam
1
2019-04-18
2019-04-18
--
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.
Potsdamer Beiträge zur Hochschulforschung
Befunde und Perspektiven zum Studieneingang
10.25932/publishup-42296
urn:nbn:de:kobv:517-opus4-422965
2192-1075
2192-1083
978-3-86956-452-4
AL 33000, AL 40200, AL 43200
<hr/> In Printform erschienen im <a href="http://info.ub.uni-potsdam.de/verlag.htm">Universitätsverlag Potsdam</a>:<br/><br/> Alles auf Anfang! : Befunde und Perspektiven zum Studieneingang / Wilfried Schubarth, Sylvi Mauermeister, Friederike Schulze-Reichelt, Andreas Seidel (Hrsg.). - Potsdam : Universitätsverlag Potsdam, 2019. – 373 S.<br/> (Potsdamer Beiträge zur Hochschulforschung ; 4)<br/>ISBN 978-3-86956-452-4<br>ISSN (print) 2192-1075<br/> ISSN (online) 2192-1083<br/> --> <a href="https://shop.verlag.uni-potsdam.de/shop/alles-auf-anfang/">bestellen</a> <hr/>
CC-BY - Namensnennung 4.0 International
Michaela Fuhrmann
Wilfried Schubarth
Friederike Schulze-Reichelt
Sylvi Mauermeister
Andreas Seidel
Nina Hartmann
Melinda Erdmann
Benjamin Apostolow
Laura Wagner
Sarah Berndt
Melanie Wippermann
Olaf Ratzlaff
Matthias Lumpe
Ljuba Kirjuchina
Sophia Rost
Peter Paul Zurek
Marcel Faaß
Sebastian Schellhorn
Mario Frank
Christoph Kreitz
Nelli Wagner
Julia Jenneck
Katrin Kleemann
Miriam Vock
Christian Schröder
Kathrin Erdmann
Matthias Koziol
Marlen Meißner
Anna Dibiasi
Martin Unger
Elena V. Piskunova
Andrey E. Bahmutskiy
Ekatarina A. Bessonova
Ludmila K. Borovik
Potsdamer Beiträge zur Hochschulforschung
4
Bildung und Erziehung
open_access
Potsdamer Beiträge zur Hochschulforschung, ISSN 2192-1083
Nicht referiert
Universitätsverlag Potsdam
Zentrum für Qualitätsentwicklung in Lehre und Studium (ZfQ)
Department Erziehungswissenschaft
Universität Potsdam
Universitätsverlag Potsdam
https://publishup.uni-potsdam.de/files/42296/pbhs04.pdf
6969
2012
eng
article
0
2014-10-27
--
--
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.
Dieser technische Report beschreibt die Konzeption, Implementierung und Evaluation eines Verfahrens zur Auswahl von logischen Formeln bezüglich derer Relevanz für den Beweis einer logischen Formel. Das Verfahren wird ausschließlich für die Prädikatenlogik erster Ordnung angewandt, wenngleich es auch für höherstufige Prädikatenlogiken geeignet ist. Das Verfahren nutzt eine unifikationsbasierte Breitensuche im Graphen wobei jeder Knoten im Graphen ein Prädikat und jede existierende Kante eine Unifizierbarkeitsrelation ist. Ziel des Verfahrens ist die Reduktion einer gegebenen Menge von Formeln auf eine für aktuelle Theorembeweiser handhabbare Größe. Daher ist das Verfahren als Präprozess-Schritt für das automatische Theorembeweisen geeignet. Zur Beschleunigung der Suche wird neben der Standard-Unifikation eine abgeschwächte Unifikation verwendet. Das System wurde während der Weltmeisterschaft der Theorembeweiser im Jahre 2014 (CASC J6) in Manchester zusammen mit dem Theorembeweiser leanCoP eingereicht und konnte leanCoP dabei unterstützen, Probleme zu lösen, die leanCoP alleine nicht handhaben kann. Die Tests mit leanCoP und dem Theorembeweiser E im Nachgang zu der Weltmeisterschaft zeigen, dass das Verfahren unabhängig von dem verwendeten Kalkül ist und bei beiden Theorembeweisern positive Auswirkungen auf die Beweisbarkeit von Problemen mit großen Formelmengen hat.
urn:nbn:de:kobv:517-opus-72128
7212
ST 125
ST 304
CC-BY - Namensnennung 4.0 International
Mario Frank
deu
uncontrolled
Relevanz
deu
uncontrolled
Graphensuche
deu
uncontrolled
Theorembeweisen
deu
uncontrolled
Preprocessing
deu
uncontrolled
Unifikation
eng
uncontrolled
relevance
eng
uncontrolled
graph-search
eng
uncontrolled
preprocessing
eng
uncontrolled
unification
eng
uncontrolled
theorem
Datenverarbeitung; Informatik
open_access
Institut für Informatik und Computational Science
Universität Potsdam
https://publishup.uni-potsdam.de/files/6969/frank_preprint.pdf
42853
2019
2019
deu
257
271
15
article
Universitätsverlag Potsdam
Potsdam
1
2019-04-18
2019-04-18
--
Brückenkurse für mathematische und informatiknahe Studiengänge
Alles auf Anfang! Befunde und Perspektiven zum Studieneingang
10.25932/publishup-42853
978-3-86956-452-4
2192-1075
2192-1083
urn:nbn:de:kobv:517-opus4-428538
AL 33000, AL 40200, AL 43200
Potsdamer Beiträge zur Hochschulforschung / Heft 4 (2019) / ISBN: 978-3-86956-452-4, S. 257-271
false
true
CC-BY - Namensnennung 4.0 International
Sebastian Schellhorn
Mario Frank
Christoph Kreitz
Bildung und Erziehung
open_access
Nicht referiert
Universitätsverlag Potsdam
Zentrum für Qualitätsentwicklung in Lehre und Studium (ZfQ)
Department Erziehungswissenschaft
Einblick in die Arbeit des Universitätskollegs Potsdam
Universität Potsdam
https://publishup.uni-potsdam.de/files/42853/pbhs04_257-271.pdf
51527
2020
2020
eng
15
1
postprint
1
2020-01-29
2020-01-29
--
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.
Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe
10.25932/publishup-51527
urn:nbn:de:kobv:517-opus4-515271
1866-8372
online registration
publish
<a href="http://publishup.uni-potsdam.de/61741">Bibliographieeintrag der Originalveröffentlichung/Quelle</a>
Inland Waters, 10:1, 29-41, DOI: 10.1080/20442041.2019.1689768
Version of Record
false
true
CC-BY-NC-ND - Namensnennung, nicht kommerziell, keine Bearbeitungen 4.0 International
Oskar Kärcher
Christopher T. Filstrup
Mario Brauns
Orhideja Tasevska
Suzana Patceva
Niels Hellwig
Ariane Walz
Karin Frank
Danijela Markovic
Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe
1443
eng
uncontrolled
chlorophyll a
eng
uncontrolled
nutrients
eng
uncontrolled
Ohrid-Prespa region
eng
uncontrolled
perialpine lakes
eng
uncontrolled
water temperature
Geowissenschaften
Biowissenschaften; Biologie
open_access
Referiert
Institut für Umweltwissenschaften und Geographie
Green Open-Access
Universität Potsdam
https://publishup.uni-potsdam.de/files/51527/zmnr1443.pdf
61741
2020
2020
eng
29
41
13
1
10
article
Taylor & Francis
London
1
2020-01-29
2020-01-29
--
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.
Inland Waters
10.1080/20442041.2019.1689768
2044-2041
2044-205X
<a href="https://doi.org/10.25932/publishup-51527">Zweitveröffentlichung in der Schriftenreihe Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe ; 1443</a>
Oskar Kärcher
FG Grant MA 6593/2-1 and the EU funded ECOPOTENTIAL (Horizon 2020 ref. 641762) project
2601973-5
CC-BY-NC-ND - Namensnennung, nicht kommerziell, keine Bearbeitungen 4.0 International
Oskar Kärcher
Christopher T. Filstrup
Mario Brauns
Orhideja Tasevska
Suzana Patceva
Niels Hellwig
Ariane Walz
Karin Frank
Danijela Markovic
eng
uncontrolled
chlorophyll a
eng
uncontrolled
nutrients
eng
uncontrolled
Ohrid-Prespa region
eng
uncontrolled
perialpine lakes
eng
uncontrolled
water temperature
Geowissenschaften
Biowissenschaften; Biologie
Referiert
Institut für Umweltwissenschaften und Geographie
Hybrid Open-Access
36536
2011
2011
eng
1815
1825
11
14
59
article
Elsevier
Oxford
1
--
--
--
Compositional mapping of planetary moons by mass spectrometry of dust ejecta
Classical methods to analyze the surface composition of atmosphereless planetary objects from an orbiter are IR and gamma ray spectroscopy and neutron backscatter measurements. The idea to analyze surface properties with an in-situ instrument has been proposed by Johnson et al. (1998). There, it was suggested to analyze Europa's thin atmosphere with an ion and neutral gas spectrometer. Since the atmospheric components are released by sputtering of the moon's surface, they provide a link to surface composition. Here we present an improved, complementary method to analyze rocky or icy dust particles as samples of planetary objects from which they were ejected. Such particles, generated by the ambient meteoroid bombardment that erodes the surface, are naturally present on all atmosphereless moons and planets. The planetary bodies are enshrouded in clouds of ballistic dust particles, which are characteristic samples of their surfaces. In situ mass spectroscopic analysis of these dust particles impacting onto a detector of an orbiting spacecraft reveals their composition. Recent instrumental developments and tests allow the chemical characterization of ice and dust particles encountered at speeds as low as 1 km/s and an accurate reconstruction of their trajectories. Depending on the sampling altitude, a dust trajectory sensor can trace back the origin of each analyzed grain with about 10 km accuracy at the surface. Since the detection rates are of the order of thousand per orbit, a spatially resolved mapping of the surface composition can be achieved. Certain bodies (e.g., Europa) with particularly dense dust clouds, could provide impact statistics that allow for compositional mapping even on single flybys. Dust impact velocities are in general sufficiently high at orbiters about planetary objects with a radius > 1000 km and with only a thin or no atmosphere. In this work we focus on the scientific benefit of a dust spectrometer on a spacecraft orbiting Earth's Moon as well as Jupiter's Galilean satellites. This 'dust spectrometer' approach provides key chemical and isotopic constraints for varying provinces or geological formations on the surfaces, leading to better understanding of the body's geological evolution.
Planetary and space science
10.1016/j.pss.2011.05.001
0032-0633
wos:2011-2013
1st Workshop on Lunar Dust, Plasma and Atmosphere - The Next Steps (LDAP)
JAN 27-29, 2010
WOS:000296179500015
Boulder, CO
Postberg, F (reprint author), Max Planck Inst Kernphys, Saupfercheckweg 1, D-69117 Heidelberg, Germany., Frank.Postberg@mpi-hd.mpg.de
Frank Postberg
Eberhard Grün
Mihaly Horanyi
Sascha Kempf
Harald Krueger
Jürgen Schmidt
Frank Spahn
Ralf Srama
Zoltan Sternovsky
Mario Trieloff
eng
uncontrolled
Moon
eng
uncontrolled
Europa
eng
uncontrolled
Ganymede
eng
uncontrolled
Dust
eng
uncontrolled
Surface composition
eng
uncontrolled
Spectrometry
Institut für Geowissenschaften
Referiert
56371
2022
eng
x, 277
151
book
Universitätsverlag Potsdam
Potsdam
1
--
--
--
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.
Das Future SOC Lab am HPI ist eine Kooperation des Hasso-Plattner-Instituts mit verschiedenen Industriepartnern. Seine Aufgabe ist die Ermöglichung und Förderung des Austausches zwischen Forschungsgemeinschaft und Industrie.
Am Lab wird interessierten Wissenschaftler:innen eine Infrastruktur von neuester Hard- und Software kostenfrei für Forschungszwecke zur Verfügung gestellt. Dazu zählen Systeme, die im normalen Hochschulbereich in der Regel nicht zu finanzieren wären, bspw. Server mit bis zu 64 Cores und 2 TB Hauptspeicher. Diese Angebote richten sich insbesondere an Wissenschaftler:innen in den Gebieten Informatik und Wirtschaftsinformatik. Einige der Schwerpunkte sind Cloud Computing, Parallelisierung und In-Memory Technologien.
In diesem Technischen Bericht werden die Ergebnisse der Forschungsprojekte des Jahres 2018 vorgestellt. Ausgewählte Projekte stellten ihre Ergebnisse am 17. April und 14. November 2018 im Rahmen des Future SOC Lab Tags vor.
978-3-86956-547-7
10.25932/publishup-56371
urn:nbn:de:kobv:517-opus4-563712
1613-5652
2191-1665
online registration
publish
ST 230
true
true
Keine öffentliche Lizenz: Unter Urheberrechtsschutz
Kaushik Rana
Durga Prasad Mohapatra
Julia Sidorova
Lars Lundberg
Lars Sköld
Luís Fernando Lopes Grim
André Leon Sampaio Gradvohl
Jonas Cremerius
Simon Siegert
Anton von Weltzien
Annika Baldi
Finn Klessascheck
Svitlana Kalancha
Tom Lichtenstein
Nuhad Shaabani
Christoph Meinel
Tobias Friedrich
Pascal Lenzner
David Schumann
Ingmar Wiese
Nicole Sarna
Lena Wiese
Araek Sami Tashkandi
Estée van der Walt
Jan H. P. Eloff
Christopher Schmidt
Johannes Hügle
Siegfried Horschig
Matthias Uflacker
Pejman Najafi
Andrey Sapegin
Feng Cheng
Dragan Stojanovic
Aleksandra Stojnev Ilić
Igor Djordjevic
Natalija Stojanovic
Bratislav Predic
Mario González-Jiménez
Juan de Lara
Sven Mischkewitz
Bernhard Kainz
André van Hoorn
Vincenzo Ferme
Henning Schulz
Marlene Knigge
Sonja Hecht
Loina Prifti
Helmut Krcmar
Benjamin Fabian
Tatiana Ermakova
Stefan Kelkel
Annika Baumann
Laura Morgenstern
Max Plauth
Felix Eberhard
Felix Wolff
Andreas Polze
Tim Cech
Noel Danz
Nele Sina Noack
Lukas Pirl
Jossekin Jakob Beilharz
Roberto C. L. De Oliveira
Fábio Mendes Soares
Carlos Juiz
Belen Bermejo
Alexander Mühle
Andreas Grüner
Vageesh Saxena
Tatiana Gayvoronskaya
Christopher Weyand
Mirko Krause
Markus Frank
Sebastian Bischoff
Freya Behrens
Julius Rückin
Adrian Ziegler
Thomas Vogel
Chinh Tran
Irene Moser
Lars Grunske
Gábor Szárnyas
József Marton
János Maginecz
Dániel Varró
János Benjamin Antal
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam
151
eng
uncontrolled
Future SOC Lab
eng
uncontrolled
research projects
eng
uncontrolled
multicore architectures
eng
uncontrolled
in-memory technology
eng
uncontrolled
cloud computing
eng
uncontrolled
machine learning
eng
uncontrolled
artifical intelligence
deu
uncontrolled
Future SOC Lab
deu
uncontrolled
Forschungsprojekte
deu
uncontrolled
Multicore Architekturen
deu
uncontrolled
In-Memory Technologie
deu
uncontrolled
Cloud Computing
deu
uncontrolled
maschinelles Lernen
deu
uncontrolled
künstliche Intelligenz
Datenverarbeitung; Informatik
open_access
Universitätsverlag Potsdam
Nicht ermittelbar
Hasso-Plattner-Institut für Digital Engineering GmbH
Gold Open-Access
Universität Potsdam
Universitätsverlag Potsdam
https://publishup.uni-potsdam.de/files/56371/tbhpi151.pdf
50802
2018
2019
eng
1
7
7
1
19
article
American Chemical Society
Washington
1
2018-08-02
2019-01-09
--
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.
Nano letters : a journal dedicated to nanoscience and nanotechnology
10.1021/acs.nanolett.8b02372
30071729
1530-6984
1530-6992
wos:2019
WOS:000455561300001
Neubrech, F (reprint author), Univ Stuttgart, Phys Inst 4, Pfaffenwaldring 57, D-70569 Stuttgart, Germany.; Neubrech, F (reprint author), Univ Stuttgart, Res Ctr SCoPE, Pfaffenwaldring 57, D-70569 Stuttgart, Germany.; Neubrech, F (reprint author), Heidelberg Univ, Kirchhoff Inst Phys, Neuenheimer Feld 227, D-69120 Heidelberg, Germany., neubrech@kip.uni-heidelberg.de
ERC Advanced Grant (COMPLEXPLAS); Deutsche ForschungsgemeinschaftGerman Research Foundation (DFG) [SPP1391]; Baden-Wurttemberg Stiftung (PROTEINSENS); MWK Baden-Wurttemberg (IQST); Max Planck SocietyMax Planck Society; BMBFFederal Ministry of Education & Research (BMBF) [03IS2101E]; Deutsche Forschungsgemeinschaft (DFG)German Research Foundation (DFG) [286735196]
2021-05-26T11:56:52+00:00
sword
importub
filename=package.tar
1d8a0ebc84c13eabe2ffa23cdf038b17
Rostyslav Semenyshyn
Mario Hentschel
Christoph Stanglmair
Tanja Teutsch
Cristina Tarin
Claudia Pacholski
Harald Giessen
Frank Neubrech
eng
uncontrolled
Plasmonics
eng
uncontrolled
surface-enhanced infrared absorption spectroscopy
eng
uncontrolled
proteins
eng
uncontrolled
conformational changes
eng
uncontrolled
biosensing
Physik
Institut für Physik und Astronomie
Referiert
Import
49661
2019
2019
eng
804
+
17
5
51
article
Nature Publ. Group
New York
EGG Consortium
1
2019-05-01
2019-05-01
--
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.
Nature genetics
31043758
1061-4036
1546-1718
wos:2019
WOS:000466842000008
Evans, DM (reprint author), Univ Queensland, Translat Res Inst, Diamantina Inst, Brisbane, Qld, Australia.; Freathy, RM (reprint author), Univ Exeter, Inst Biomed & Clin Sci, Royal Devon & Exeter Hosp, Coll Med & Hlth, Exeter, Devon, England.; Evans, DM; Freathy, RM (reprint author), Univ Bristol, Med Res Council, Integrat Epidemiol Unit, Bristol, Avon, England.; Evans, DM (reprint author), Univ Bristol, Bristol Med Sch, Populat Hlth Sci, Bristol, Avon, England., d.evans1@uq.edu.au; r.freathy@ex.ac.uk
Diabetes UKDiabetes UK [17/0005594]; European Research CouncilEuropean Research Council (ERC) [323195]; Medical Research CouncilMedical Research Council UK (MRC) [MC_PC_15018, MC_UU_12011/4, MC_UU_00011/6, MC_UU_12013/4, MR/M005070/1, MR/J012165/1, MC_UU_00011/1, G9815508, G0601261, MC_UU_00011/5, MC_UP_A620_1017, MC_UU_12015/1, MC_UU_12013/3, G1001357]; NIEHS NIH HHSUnited States Department of Health & Human ServicesNational Institutes of Health (NIH) - USANIH National Institute of Environmental Health Sciences (NIEHS) [R01 ES022223, R21 ES028226, R24 ES028507, P30 ES019776, P30 ES023515, R01 ES029212]; Wellcome TrustWellcome Trust [202802, 104150, 098395, 205915, 098381, 212259, 088806]
2021-02-25T12:53:57+00:00
sword
importub
filename=package.tar
84117ccb625356b05295ebe98606c698
Evans, David M.
Freathy, Rachel M.
Nicole Warrington
Robin Beaumont
Momoko Horikoshi
Felix R. Day
Øyvind Helgeland
Charles Laurin
Jonas Bacelis
Shouneng Peng
Ke Hao
Bjarke Feenstra
Andrew R. Wood
Anubha Mahajan
Jessica Tyrrell
Neil R. Robertson
N. William Rayner
Zhen Qiao
Gunn-Helen Moen
Marc Vaudel
Carmen Marsit
Jia Chen
Michael Nodzenski
Theresia M. Schnurr
Mohammad Hadi Zafarmand
Jonathan P. Bradfield
Niels Grarup
Marjolein N. Kooijman
Ruifang Li-Gao
Frank Geller
Tarunveer Singh Ahluwalia
Lavinia Paternoster
Rico Rueedi
Ville Huikari
Jouke-Jan Hottenga
Leo-Pekka Lyytikäinen
Alana Cavadino
Sarah Metrustry
Diana L. Cousminer
Ying Wu
Elisabeth Paula Thiering
Carol A. Wang
Christian Theil Have
Natalia Vilor-Tejedor
Peter K. Joshi
Jodie N. Painter
Ioanna Ntalla
Ronny Myhre
Niina Pitkänen
Elisabeth M. van Leeuwen
Raimo Joro
Vasiliki Lagou
Rebecca C. Richmond
Ana Espinosa
Sheila J. Barton
Hazel M. Inskip
John W. Holloway
Loreto Santa-Marina
Xavier Estivill
Wei Ang
Julie A. Marsh
Christoph Reichetzeder
Letizia Marullo
Berthold Hocher
Kathryn L. Lunetta
Joanne M. Murabito
Caroline L. Relton
Manolis Kogevinas
Leda Chatzi
Catherine Allard
Luigi Bouchard
Marie-France Hivert
Ge Zhang
Louis J. Muglia
Jani Heikkinen
Camilla S. Morgen
Antoine H. C. van Kampen
Barbera D. C. van Schaik
Frank D. Mentch
Claudia Langenberg
Robert A. Scott
Jing Hua Zhao
Gibran Hemani
Susan M. Ring
Amanda J. Bennett
Kyle J. Gaulton
Juan Fernandez-Tajes
Natalie R. van Zuydam
Carolina Medina-Gomez
Hugoline G. de Haan
Frits R. Rosendaal
Zoltán Kutalik
Pedro Marques-Vidal
Shikta Das
Gonneke Willemsen
Hamdi Mbarek
Martina Müller-Nurasyid
Marie Standl
Emil V. R. Appel
Cilius Esmann Fonvig
Caecilie Trier
Catharina E. M. van Beijsterveldt
Mario Murcia
Mariona Bustamante
Sílvia Bonàs-Guarch
David M. Hougaard
Josep M. Mercader
Allan Linneberg
Katharina E. Schraut
Penelope A. Lind
Sarah Elizabeth Medland
Beverley M. Shields
Bridget A. Knight
Jin-Fang Chai
Kalliope Panoutsopoulou
Meike Bartels
Friman Sánchez
Jakob Stokholm
David Torrents
Rebecca K. Vinding
Sara M. Willems
Mustafa Atalay
Bo L. Chawes
Peter Kovacs
Inga Prokopenko
Marcus A. Tuke
Hanieh Yaghootkar
Katherine S. Ruth
Samuel E. Jones
Po-Ru Loh
Anna Murray
Michael N. Weedon
Anke Tönjes
Michael Stumvoll
Kim Fleischer Michaelsen
Aino-Maija Eloranta
Timo A. Lakka
Cornelia M. van Duijn
Wieland Kiess
Antje Koerner
Harri Niinikoski
Katja Pahkala
Olli T. Raitakari
Bo Jacobsson
Eleftheria Zeggini
George V. Dedoussis
Yik-Ying Teo
Seang-Mei Saw
Grant W. Montgomery
Harry Campbell
James F. Wilson
Tanja G. M. Vrijkotte
Martine Vrijheid
Eco J. C. N. de Geus
M. Geoffrey Hayes
Haja N. Kadarmideen
Jens-Christian Holm
Lawrence J. Beilin
Craig E. Pennell
Joachim Heinrich
Linda S. Adair
Judith B. Borja
Karen L. Mohlke
Johan G. Eriksson
Elisabeth E. Widen
Andrew T. Hattersley
Tim D. Spector
Mika Kaehoenen
Jorma S. Viikari
Terho Lehtimaeki
Dorret I. Boomsma
Sylvain Sebert
Peter Vollenweider
Thorkild I. A. Sorensen
Hans Bisgaard
Klaus Bonnelykke
Jeffrey C. Murray
Mads Melbye
Ellen A. Nohr
Dennis O. Mook-Kanamori
Fernando Rivadeneira
Albert Hofman
Janine F. Felix
Vincent W. V. Jaddoe
Torben Hansen
Charlotta Pisinger
Allan A. Vaag
Oluf Pedersen
Andre G. Uitterlinden
Marjo-Riitta Jarvelin
Christine Power
Elina Hypponen
Denise M. Scholtens
William L. Lowe
George Davey Smith
Nicholas J. Timpson
Andrew P. Morris
Nicholas J. Wareham
Hakon Hakonarson
Struan F. A. Grant
Timothy M. Frayling
Debbie A. Lawlor
Pal R. Njolstad
Stefan Johansson
Ken K. Ong
Mark I. McCarthy
John R. B. Perry
David M. Evans
Rachel M. Freathy
Institut für Ernährungswissenschaft
Referiert
Import
Green Open-Access