Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems [PDF]
In this paper we outline a software development process for safety-critical systems that aims at combining some of the specific strengths of model-based development with those of programming language based development using safety-critical subsets of Ada. Model-based software development and model-based test case generation techniques are combined with
arxiv
Wissenschaftsskepsis als doppelte Ausschlusserfahrung während der Corona-Pandemie. Eine bildungssoziologisch-politikwissenschaftliche Perspektive mit Pierre Bourdieu [PDF]
Der Beitrag erklärt, basierend auf der Theorie Pierre Bourdieus, den empirisch belegbaren Zusammenhang zwischen formal niedrigem Bildungsabschluss, Misstrauen gegen die Wissenschaft und dem Wählen von sich als „wissenschaftsskeptisch“ inszenierenden ...
Lukas Hofmann
doaj
Reach of Globalization in 18th Century Germany: Atlantic Products from Hamburg to Saxon Markets
This study explores the economic cohesion of two German areas, Hamburg and Saxony, in the 18th century, created through the inflow of Atlantic colonial groceries from the former to the latter.
Kikuchi Yuta
doaj +1 more source
UDP‐glucuronic acid 4‐epimerase (UGAepi) catalyzes NAD+‐dependent interconversion of UDP‐glucuronic acid (UDP‐GlcA) and UDP‐galacturonic acid (UDP‐GalA) via C4‐oxidation, 4‐keto‐intermediate rotation, and C4‐reduction. Here, Borg et al. examined the role of the substrate's carboxylate group in the enzymic mechanism by analyzing NADH‐dependent reduction
Annika J. E. Borg+2 more
wiley +1 more source
A new stylolite classification scheme to estimate compaction and local permeability variations [PDF]
This study was carried out within the framework of DGMK (German Society for Petroleum and Coal Science and Technology) research project 718 “Mineral Vein Dynamics Modeling”, which is funded by the companies ExxonMobil Production Deutschland GmbH, GDF ...
Beaudoin, Nicolas+5 more
core +1 more source
Nachhaltige Strategien gegen die COVID-19-Pandemie in Deutschland im Winter 2021/2022 [PDF]
In this position paper, a large group of interdisciplinary experts outlines response strategies against the spread of SARS-CoV-2 in the winter of 2021/2022 in Germany. We review the current state of the COVID-19 pandemic, from incidence and vaccination efficacy to hospital capacity.
arxiv
Glutaredoxin (Grx) 3 proteins contain a thioredoxin domain and one to three class II Grx domains. These proteins play a crucial role in iron homeostasis in eukaryotic cells. In human Grx3, at least one of the two Grx domains, together with the thioredoxin domain, is essential for its function in iron metabolism.
Laura Magdalena Jordt+4 more
wiley +1 more source
A nation-wide experiment: fuel tax cuts and almost free public transport for three months in Germany -- Report 5 Insights into four months of mobility tracking [PDF]
In spring 2022, the German federal government agreed on a set of measures that aim at reducing households' financial burden resulting from a recent price increase, especially in energy and mobility. These measures include among others, a nation-wide public transport ticket for 9 EUR per month and a fuel tax cut that reduces fuel prices by more than 15%.
arxiv
Dimeric pyruvate formate‐lyase cleaves pyruvate using a radical‐based mechanism. G734 serves as a radical storage location, and the radical is transferred to the catalytic C419 residue. Mutation of the C418‐C419 pair causes loss of enzyme activity, but does not impede radical introduction onto G734. Therefore, cis‐ but not trans‐radical transfer occurs
Michelle Kammel+2 more
wiley +1 more source
How the Far-Right Polarises Twitter: 'Highjacking' Hashtags in Times of COVID-19 [PDF]
Twitter influences political debates. Phenomena like fake news and hate speech show that political discourse on micro-blogging can become strongly polarised by algorithmic enforcement of selective perception. Some political actors actively employ strategies to facilitate polarisation on Twitter, as past contributions show, via strategies of ...
arxiv