Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Barrett, Arjun
22  Ergebnisse:
Personensuche X
?
1

Txt2Vid-Web: Web-based, Text-to-Video, Video Conferencing P..:

, In: 2023 Data Compression Conference (DCC),
Barrett, Arjun ; Gomezjurado, Laura ; Mukherjee, Shuvam... - p. 331-331 , 2023
Link: https://doi.org/10.1109/..
 
?
2

The dynseq browser track shows context-specific features at..:

Nair, Surag ; Barrett, Arjun ; Li, Daofeng...
Nature Genetics.  54 (2022)  11 - p. 1581-1583 , 2022
Link: https://doi.org/10.1038/..
 
?
3

The dynseq browser track shows context-specific features at..:

Nair, Surag ; Barrett, Arjun ; Li, Daofeng...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC10015500/.  , 2022
Link: http://www.ncbi.nlm.nih...
 
?
4

The dynseq browser track shows context-specific features at..:

Nair, Surag ; Barrett, Arjun ; Li, Daofeng...
qt8km025qx.  , 2022
Link: https://escholarship.org..
 
?
5

Vertical tumor-positive resection margins and the risk of r..:

Verheij, Eva P. D. ; van Tilburg, Laurelle ; van de Ven, Steffi E. M....
Endoscopy.  56 (2024)  8 - p. 559-568 , 2024
Link: https://doi.org/10.1055/..
 
?
6

Formal Verification of Bit-Vector Invertibility Conditions ..:

, In: Frontiers of Combining Systems; Lecture Notes in Computer Science,
Ekici, Burak ; Viswanathan, Arjun ; Zohar, Yoni.. - p. 41-59 , 2023
Link: https://doi.org/10.1007/..
 
?
7

American Association of Hip and Knee Surgeons Patient Educa..:

Saxena, Arjun ; Danoff, Jonathan R. ; Deckey, David G....
The Journal of Arthroplasty.  38 (2023)  9 - p. 1632-1635 , 2023
Link: https://doi.org/10.1016/..
 
?
8

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/..
 
?
9

Impact of expert center endoscopic assessment of confirmed ..:

van Munster, Sanne N. ; Nieuwenhuis, Esther A. ; Curvers, Wouter L....
Endoscopy.  54 (2022)  10 - p. 936-944 , 2022
Link: https://doi.org/10.1055/..
 
?
10

Correction: Impact of expert center endoscopic assessment o..:

van Munster, Sanne N. ; Nieuwenhuis, Esther A. ; Curvers, Wouter L....
Endoscopy.  54 (2022)  10 - p. C15-C15 , 2022
Link: https://doi.org/10.1055/..
 
?
11

Wednesday, September 26, 2018 7:35 AM–9:00 AM ePosters:

Kaye, Ian D. ; Sinensky, Andrew ; Wagner, Scott...
The Spine Journal.  18 (2018)  8 - p. S194-S195 , 2018
Link: https://doi.org/10.1016/..
 
?
12

Contributors:

, In: Abeloff's Clinical Oncology,
Abbruzzese, James L. ; Abou-Alfa, Ghassan K. ; Abrahm, Janet L.... - p. xi-xxx , 2014
Link: https://doi.org/10.1016/..
 
?
13

Global Variation in Magnetic Resonance Imaging Quality of t..:

Giganti, Francesco ; Ng, Alexander ; Asif, Aqua...
info:eu-repo/semantics/altIdentifier/pmid/37815448.  , 2023
Link: https://hdl.handle.net/2..
 
?
14

An Interactive SMT Tactic in Coq using Abductive Reasoning:

Barbosa, Haniel ; Keller, Chantal ; Reynolds, Andrew...
info:eu-repo/semantics/altIdentifier/doi/10.29007/432m.  , 2023
Link: https://hal.science/hal-..
 
?
15

Formal Verification of Bit-Vector Invertibility Conditions ..:

Ekici, Burak ; Viswanathan, Arjun ; Zohar, Yoni..
10.1007/978-3-031-43369-6_3.  , 2023
Link: https://hdl.handle.net/2..
 
1-15