E-LIB Suche - Ergebnisse für: Barrett, Hanna

1

What the Fika? Implementation of Swedish Coffee Breaks Duri..:

Kellar, Jesse Zane ; Barrett, Hanna ; Floyd, Jaclyn...
Western Journal of Emergency Medicine. 25 (2024) 4 - p. , 2024

Link: https://doi.org/10.5811/..

2

IsaRare: Automatic Verification of SMT Rewrites in Isabelle..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Lachnitt, Hanna ; Fleury, Mathias ; Aniva, Leni... - p. 311-330 , 2024

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

3

Experimental Models of Traumatic Injuries: Do They Capture ..:

Barrett, Liam ; Curry, Nicola ; Abu-Hanna, Jeries
International Journal of Molecular Sciences. 24 (2023) 13 - p. 11174 , 2023

Link: https://doi.org/10.3390/..

4

Generating and Exploiting Automated Reasoning Proof Certifi..:

Barbosa, Haniel ; Barrett, Clark ; Cook, Byron...
Communications of the ACM. 66 (2023) 10 - p. 86-95 , 2023

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

5

cvc5: A Versatile and Industrial-Strength SMT Solver:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Barbosa, Haniel ; Barrett, Clark ; Brain, Martin... - p. 415-442 , 2022

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

6

Flexible Proof Production in an Industrial-Strength SMT Sol..:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Barbosa, Haniel ; Reynolds, Andrew ; Kremer, Gereon... - p. 15-35 , 2022

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

7

Rationale and recommendations on decolonising the pedagogy ..:

Ohana, Natalie ; Barazi, Taimaa ; Barrett, David...
The Law Teacher. 56 (2022) 4 - p. 536-551 , 2022

Link: https://doi.org/10.1080/..

8

Rabbit Haemorrhagic Disease Virus 2 (RHDV2; GI.2) in Irelan..:

Byrne, Andrew W. ; Marnell, Ferdia ; Barrett, Damien...
Pathogens. 11 (2022) 3 - p. 288 , 2022

Link: https://doi.org/10.3390/..

9

Pressin' On: Effect of Vasopressin and Steroids on Achievin..:

Hanna, Eriny ; Lacy, Aaron ; Barrett, Tyler
Annals of Emergency Medicine. 79 (2022) 1 - p. 81-83 , 2022

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

10

SAGES safe cholecystectomy modules improve practicing surge..:

Weis, Joshua ; Brunt, L. Michael ; Madani, Amin...
Surgical Endoscopy. 37 (2022) 2 - p. 862-870 , 2022

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

11

Trauma and Dreams:

Aron, Adrianne ; Barrett, Deirdre ; Barrett, Deirdre... , [2021]

Link: https://www.degruyter.co..

12

Development and proposed evaluation of an eHealth learning ..:

Darker, Catherine D ; Moore, Emma ; Flynn, Ellen...
Health Promotion International. 37 (2021) 1 - p. , 2021

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

13

Use of whole genome sequencing to determine genetic basis o..:

Schon, Katherine R ; Horvath, Rita ; Wei, Wei...
BMJ. , 2021

Link: https://doi.org/10.1136/..

14

Prevalence of left ventricular hypertrabeculation/noncompac..:

Abramovich-Yoffe, Hadar ; Shalev, Aryeh ; Barrett, Orit..
International Journal of Cardiology. 317 (2020) - p. 96-102 , 2020

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

15

The outcomes of total knee arthroplasty in morbidly obese p..:

Boyce, Louis ; Prasad, Anoop ; Barrett, Matthew...
Archives of Orthopaedic and Trauma Surgery. 139 (2019) 4 - p. 553-560 , 2019

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