Tan, Bryan
1220  Ergebnisse:
Personensuche X
?
1

Good clinical and radiological outcomes of anatomic total s..:

Gao, Ryan ; Isaksson, Fredrik ; Hasan, Amin...
Seminars in Arthroplasty: JSES.  33 (2023)  2 - p. 246-254 , 2023
 
?
2

Splenic Abscess Caused by Clostridium difficile:

Chang, Chee Yik ; Tan, Bryan
GE - Portuguese Journal of Gastroenterology.  , 2023
 
?
3

Reducing the Fragmentation of Global Energy Governance in a..:

, In: Climate and Energy Governance for a Sustainable Future; Climate Change Management,
Tan, Bryan - p. 229-240 , 2023
 
?
5

A Multitask Framework for Label Refinement and Lesion Segme..:

, In: Medical Image Learning with Limited and Noisy Data; Lecture Notes in Computer Science,
 
?
7

Datapath Verification via Word-Level E-Graph Rewriting:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),
Coward, Samuel ; Morini, Emiliano ; Tan, Bryan.. - p. 92-100 , 2023
 
?
9

Efficacy and safety of tirzepatide for treatment of overwei..:

Tan, Bryan ; Pan, Xin-Hui ; Chew, Han Shi Jocelyn...
International Journal of Obesity.  47 (2023)  8 - p. 677-685 , 2023
 
?
10

A systematic review of optimal pharmacokinetic/pharmacodyna..:

Robson, Christopher ; Tan, Bryan ; Stuart, Rhonda...
Journal of Antimicrobial Chemotherapy.  78 (2023)  3 - p. 599-612 , 2023
 
?
11

SolType: refinement types for arithmetic overflow in solidi..:

Tan, Bryan ; Mariano, Benjamin ; Lahiri, Shuvendu K...
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-29 , 2022
 
?
12

SolType: refinement types for arithmetic overflow in solidi..:

Tan, Bryan ; Mariano, Benjamin ; Lahiri, Shuvendu K...
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-29 , 2022
 
?
13

Learning Contract Invariants Using Reinforcement Learning:

, In: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering,
Liu, Junrui ; Chen, Yanju ; Tan, Bryan.. - p. 1-11 , 2022
 
?
 
1-15