E-LIB Suche - Ergebnisse für: Polgreen, Elizabeth

1

Towards Building Verifiable CPS using Lingua Franca:

Lin, Shaokai ; Manerkar, Yatin A. ; Lohstroh, Marten...
ACM Transactions on Embedded Computing Systems. 22 (2023) 5s - p. 1-24 , 2023

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

2

Synthesising Programs with Non-trivial Constants:

Abate, Alessandro ; Barbosa, Haniel ; Barrett, Clark...
Journal of Automated Reasoning. 67 (2023) 2 - p. , 2023

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

3

Message Chains for Distributed System Verification:

Mora, Federico ; Desai, Ankush ; Polgreen, Elizabeth.
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 2224-2250 , 2023

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

4

Preface for the formal methods in system design special iss..:

Polgreen, Elizabeth ; Perez, Guillermo Alberto
Formal Methods in System Design. 61 (2022) 2-3 - p. 137-138 , 2022

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

5

Automated formal synthesis of provably safe digital control..:

Abate, Alessandro ; Bessa, Iury ; Cordeiro, Lucas...
Acta Informatica. 57 (2019) 1-2 - p. 223-244 , 2019

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

6

Changes in CSF GAG after intravenous enzyme replacement the..:

Lund, Troy ; Gupta, Ashish ; Braunlin, Elizabeth...
Molecular Genetics and Metabolism. 141 (2024) 2 - p. 107942 , 2024

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

7

Bone Marrow and Umbilical Cord Blood Are Equivalent Stem Ce..:

Lund, Troy C ; Eisengart, Julie ; Polgreen, Lynda...
Transplantation and Cellular Therapy. 28 (2022) 3 - p. S14 , 2022

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

8

Bone marrow and umbilical cord blood are equivalent stem ce..:

Lund, Troy ; Eisengart, Julie ; Polgreen, Lynda...
Molecular Genetics and Metabolism. 135 (2022) 2 - p. S77 , 2022

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

9

A cluster randomized trial to evaluate a centralized remote..:

Kennelty, Korey A. ; Coffey, Christopher S. ; Ardery, Gail...
JACCP:JOURNAL OF THE AMERICAN COLLEGE OF CLINICAL PHARMACY. 4 (2021) 10 - p. 1287-1299 , 2021

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

10

Hepatic Steatosis is Negatively Associated with Bone Minera..:

Chun, Lauren F. ; Yu, Elizabeth L. ; Sawh, Mary Catherine...
The Journal of Pediatrics. 233 (2021) - p. 105-111.e3 , 2021

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

11

Prevalence and Characteristics of Neuroinfectious Disease I..:

Thakur, Kiran T ; Venkatesan, Arun ; Rimmer, Kathryn...
Open Forum Infectious Diseases. 7 (2020) 6 - p. , 2020

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

12

Neuroinfectious Disease Inquiries within the Emerging Infec..:

Matthews, Elizabeth ; Diaz-Arias, Luisa ; Beekman, Susan E....
Neurology. 94 (2020) 15_supplement - p. , 2020

Link: https://doi.org/10.1212/..

13

A Cluster‐Randomized Trial of a Centralized Clinical Pharma..:

Carter, Barry L. ; Coffey, Christopher S. ; Chrischilles, Elizabeth A....
Pharmacotherapy: The Journal of Human Pharmacology and Drug Therapy. 35 (2015) 7 - p. 653-662 , 2015

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

14

Increased Statin Prescribing Does Not Lower Pneumonia Risk:

Polgreen, Linnea A. ; Cook, Elizabeth A. ; Brooks, John M...
Clinical Infectious Diseases. 60 (2015) 12 - p. 1760-1766 , 2015

Link: https://www.jstor.org/st..

15

Increased Statin Prescribing Does Not Lower Pneumonia Risk:

Polgreen, Linnea A. ; Cook, Elizabeth A. ; Brooks, John M...
Clinical Infectious Diseases. 60 (2015) 12 - p. 1760-1766 , 2015

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