Fetal meconium does not have a detectable microbiota before birth

KM Kennedy, MJ Gerlach, T Adam, MM Heimesaat… - Nature …, 2021 - nature.com
Microbial colonization of the human intestine impacts host metabolism and immunity;
however, exactly when colonization occurs is unclear. Although many studies have reported …

Effect of target peak power density on the phase formation, microstructure evolution, and mechanical properties of Cr2AlC MAX-phase coatings

H Rueß, J Werner, Y Unutulmazsoy, JW Gerlach… - Journal of the European …, 2021 - Elsevier
The applicability of Cr 2 AlC MAX-phases as protective coatings in energy conversion or
aerospace applications requires a dense, single-phase structure. Therefore, we study the effect …

Machine learning models identify new inhibitors for human OATP1B1

…, F Urbina, X Zhang, M Fye, J Gerlach… - Molecular …, 2022 - ACS Publications
… where J is the initial rate of mediated transport from a substrate concentration of [S], J
max is the maximum rate of mediated substrate transport, and K t is the Michaelis constant. …

[PDF][PDF] An Efficient Algorithm for Real-Time Symbolic Model Checking.

J Froessl, T Kropf, J Gerlach - ED&TC, 1996 - Citeseer
… Let us assume, that we want to check the QCTL-formula and the transitions of the underlying
QTS has maximum distance of … If we now allow the QTS to have a maximum distance …

[BOOK][B] Questions of English: Ethics, aesthetics, rhetoric, and the formation of the subject in England, Australia, and the United States

R Peel, AH Patterson, JM Gerlach - 2000 - books.google.com
… Drawing on a combination of historical analysis and recent research findings Robin Peel,
Annette Patterson and Jeanne Gerlach bring together and compare important new insights on …

An efficient algorithm for real-time symbolic model checking

J Frossl, J Gerlach, T Kropf - Proceedings ED&TC European …, 1996 - ieeexplore.ieee.org
… If we now allow the QZSto have a max- … The generated trees differ in the maximum distance
g,,, of their transitions, their maximum number of branches starting in a node and the total …

Formal specification and automated verification of railway software with Frama-C

V Prevosto, J Burghardt, J Gerlach… - 2013 11th IEEE …, 2013 - ieeexplore.ieee.org
… For instance, if the implementation of max_array visits each cell and keeps track in max
of the maximal value seen so far, an appropriate invariant would be the following. … Then …

[PDF][PDF] Symbolic Model-Checking for Real-Time Circuits and Specifications

J Frößl, J Gerlach, T Kropf - researchgate.net
… If we now allow the QTS to have a maximum distance … The generated trees differ in the
maximum distance of their transitions, their maximum number of branches starting in a node and …

Towards non-and minimally instrumented, microfluidics-based diagnostic devices

B Weigl, G Domingo, P LaBarre, J Gerlach - Lab on a Chip, 2008 - pubs.rsc.org
… Thus, the maximum number of lives saved is always for tests that can be performed with
no infrastructure. This provides compelling evidence for development of non-instrumented, …

Real-time, portable genome sequencing for Ebola surveillance

…, V Amburgey, L Winona, E Davis, J Gerlach… - Nature, 2016 - nature.com
Maximum likelihood trees are produced using RAxML 8.2.3 using the GTRGAMMA model
… The maximum clade credibility tree was recovered using TreeAnnotator. Phylogenetic trees …