Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Knight, Ariel W.
47  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Utility of Video-Assisted Thoracoscopic Surgery (VATS) in A..:

, In: Mini-invasive Approach in Acute Care Surgery; Hot Topics in Acute Care Surgery and Trauma,
Knight, Ariel W. ; Campbell, Andre R. - p. 375-380 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Biliary Tract:

, In: Oncologic Surgical Emergencies; Hot Topics in Acute Care Surgery and Trauma,
Knight, Ariel W. ; Wang, Chia-Ching ; Stein, Deborah M. - p. 189-224 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Cutting a Gordian Knot?: towards a Practical and Realistic ..:

, In: Law, Science & Ocean Management,
González, Ariel W. - p. 345-380 ,
Link: https://doi.org/10.1163/..
 
?
4

Contributors:

, In: Putting AI in the Critical Loop,
Ali, Shahira ; Baker, Anthony L. ; Broadrick, Oliver... - p. xiii-xv , 2024
Link: https://doi.org/10.1016/..
 
?
5

Using Diversity to Evolve More Secure and Efficient Virtual..:

, In: 2023 International Conference on Computing, Networking and Communications (ICNC),
Aizpurua, Ariel Jose ; Fulp, Errin W. ; Canas, Daniel - p. 491-495 , 2023
Link: https://doi.org/10.1109/..
 
?
6

Contributors:

, In: Vitamins and Minerals in Neurological Disorders,
Adlard, Paul A. ; Afridi, Hassan Imran ; Agarwal, Renu... - p. xxv-xxxiv , 2023
Link: https://doi.org/10.1016/..
 
?
7

LAProof: A Library of Formal Proofs of Accuracy and Correct..:

, In: 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH),
Kellison, Ariel E. ; Appel, Andrew W. ; Tekriwal, Mohit. - p. 36-43 , 2023
Link: https://doi.org/10.1109/..
 
?
8

Verified Correctness, Accuracy, and Convergence of a Statio..:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,
Tekriwal, Mohit ; Appel, Andrew W. ; Kellison, Ariel E... - p. 206-221 , 2023
Link: https://doi.org/10.1007/..
 
?
9

Verified Numerical Methods for Ordinary Differential Equati..:

, In: Lecture Notes in Computer Science; Software Verification and Formal Methods for ML-Enabled Autonomous Systems,
Kellison, Ariel E. ; Appel, Andrew W. - p. 147-163 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Risk and Protective Factors for Suicide in Black Youth:

, In: Handbook of Youth Suicide Prevention,
Molock, Sherry Davis ; Watanabe, Makiko ; Smith, Ariel P... - p. 279-294 , 2021
Link: https://doi.org/10.1007/..
 
?
11

Contributors:

, In: Pediatric Gastrointestinal and Liver Disease,
A-Kader, H. Hesham ; Abdulhai, Sophia ; Abu-Elmagd, Kareem... - p. ix-xvii , 2021
Link: https://doi.org/10.1016/..
 
?
12

List of Contributors:

, In: Gastronomy and Food Science,
Aranceta-Bartrina, Javier ; Balderas-Cejudo, Adela ; Barroca, Maria João... - p. ix-x , 2021
Link: https://doi.org/10.1016/..
 
?
13

Platforms for Assessing Relationships: Trust with Near Ecol..:

, In: Engineering Artificially Intelligent Systems; Lecture Notes in Computer Science,
Marble, Julie L. ; Greenberg, Ariel M. ; Bonny, Justin W.... - p. 209-229 , 2021
Link: https://doi.org/10.1007/..
 
?
14

Contributors:

, In: Human-Machine Shared Contexts,
Bartheye, Olivier ; Barzilai, Jonathan ; Bath, Tyler... - p. ix-x , 2020
Link: https://doi.org/10.1016/..
 
?
15

Contributors:

, In: Evidence-Based Practice of Critical Care,
Ackland, Gareth L. ; Ahmed, Adeel Rafi ; Annane, Djillali... - p. vii-xiv , 2020
Link: https://doi.org/10.1016/..
 
1-15