E-LIB Suche - Ergebnisse für: Humphrey, Laura R.

1

End-to-End Verification of Initial and Transition Propertie..:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Humphrey, Laura R. ; Hamil, James ; Huguet, Joffrey - p. 60-76 , 2020

Link: https://doi.org/10.1007/..

2

When Human Intuition Fails: Using Formal Methods to Find an..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Davis, Jennifer A. ; Humphrey, Laura R. ; Kingston, Derek B. - p. 366-375 , 2019

Link: https://doi.org/10.1007/..

3

Trust-Based Multi-Robot Symbolic Motion Planning with a Hum..:

Wang, Yue ; Humphrey, Laura R. ; Liao, Zhanrui.
ACM Transactions on Interactive Intelligent Systems (TiiS). 8 (2018) 4 - p. 1-33 , 2018

Link: https://dl.acm.org/doi/1..

4

Trust-Based Multi-Robot Symbolic Motion Planning with a Hum..:

Wang, Yue ; Humphrey, Laura R. ; Liao, Zhanrui.
ACM Transactions on Interactive Intelligent Systems. 8 (2018) 4 - p. 1-33 , 2018

Link: https://doi.org/10.1145/..

5

Trust-based Multi-Robot Symbolic Motion Planning with a Hum..:

Wang, Yue ; Humphrey, Laura R ; Liao, Zhanrui.
http://arxiv.org/abs/1808.05120. , 2018

Link: http://arxiv.org/abs/180..

6

113 Evaluation of high soybean meal diets with inclusion of..:

Wileman, Caitlyn ; Humphrey, Dalton C ; Scoggin, Kenwood...
Journal of Animal Science. 102 (2024) Supplement_2 - p. 180-181 , 2024

Link: https://doi.org/10.1093/..

7

The gut microbiome and early-life growth in a population wi..:

Robertson, Ruairi C. ; Edens, Thaddeus J. ; Carr, Lynnea...
Nature Communications. 14 (2023) 1 - p. , 2023

Link: https://doi.org/10.1038/..

8

55 The Effect of Feeding 0.3% Benzoic Acid to Growing Pigs,..:

Humphrey, Dalton C ; Bergstrom, Jon R ; Perez-Calvo, Estefania...
Journal of Animal Science. 100 (2022) Supplement_2 - p. 19-20 , 2022

Link: https://doi.org/10.1093/..

9

The effect of benzoic acid with or without a direct-fed mic..:

Humphrey, Dalton C ; Bergstrom, Jon R ; Calvo, Estefania Pérez...
Journal of Animal Science. 100 (2022) 11 - p. , 2022

Link: https://doi.org/10.1093/..

10

Biomarkers of environmental enteric dysfunction are not con..:

Mutasa, Kuda ; Ntozini, Robert ; Mbuya, Mduduzi NN...
The American Journal of Clinical Nutrition. 113 (2021) 5 - p. 1185-1198 , 2021

Link: https://doi.org/10.1093/..

11

Maternal fecal microbiome predicts gestational age, birth w..:

Gough, Ethan K. ; Edens, Thaddeus J. ; Geum, Hyun Min...
EBioMedicine. 68 (2021) - p. 103421 , 2021

Link: https://doi.org/10.1016/..

12

PSIV-12 Evaluation of the Effect of Benzoic Acid with or Wi..:

Humphrey, Dalton C ; Bergstrom, J R R ; Calvo, Estefania Perez.
Journal of Animal Science. 99 (2021) Supplement_1 - p. 178-179 , 2021

Link: https://doi.org/10.1093/..

13

Effects of improved water, sanitation, and hygiene and impr..:

Gough, Ethan K. ; Moulton, Lawrence H. ; Mutasa, Kuda...
PLOS Neglected Tropical Diseases. 14 (2020) 2 - p. e0007963 , 2020

Link: https://doi.org/10.1371/..

14

Ontogenetic changes in femoral cross‐sectional geometry dur..:

Swan, Karen R. ; Ives, Rachel ; Wilson, Laura A. B..
American Journal of Physical Anthropology. 173 (2020) 1 - p. 80-95 , 2020

Link: https://doi.org/10.1002/..

15

Independent and combined effects of improved water, sanitat..:

Humphrey, Jean H ; Mbuya, Mduduzi N N ; Ntozini, Robert...
The Lancet Global Health. 7 (2019) 1 - p. e132-e147 , 2019

Link: https://doi.org/10.1016/..