Publications

Publications by Yale-NUS College faculty and researchers.

Books and additional works by Yale-NUS faculty are available in the Library’s collection.

Clear filter

144 entries « 2 of 10 »

2019

Tallarita, Marta; Iorio, Maria De; Baio, Gianluca

A comparative review of network meta-analysis models in longitudinal randomized controlled trial Journal Article

STATISTICS IN MEDICINE, 38 (16), pp. 3053-3072, 2019, ISSN: 0277-6715.

Abstract | Links | BibTeX | Research Area: Mathematical Computational and Statistical Sciences

Martin Kristien Bruno Bodin, Michel Steuwer Christophe Dubach

High-level synthesis of functional patterns with Lift Journal Article

ARRAY 2019, pp. 35-45, 2019.

Abstract | Links | BibTeX | Research Area: Mathematical Computational and Statistical Sciences

Danvy, Olivier

Folding left and right over Peano numbers Journal Article

JOURNAL OF FUNCTIONAL PROGRAMMING, 29 , 2019, ISSN: 0956-7968.

Links | BibTeX | Research Area: Mathematical Computational and Statistical Sciences

Yee Liang Thian Yiting Li, Pooja Jagmohan David Sia Vincent Ern Yao Chan Robby Tan T

Convolutional neural networks for automated fracture detection and localization on wrist radiographs Journal Article

Radiology: Artificial Intelligence, 1 , pp. e180001, 2019.

Abstract | Links | BibTeX | Research Area: Mathematical Computational and Statistical Sciences

Kaszyk, Kuba; Wagstaff, Harry; Spink, Tom; Franke, Bjorn; O'Boyle, Mike; Bodint, Bruno; Uhrenholt, Henrik

Full-System Simulation of Mobile CPU/GPU Platforms Conference

2019 IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE (ISPASS), IEEE International Symposium on Performance Analysis of Systems and Software-ISPASS IEEE; IEEE Comp Soc; IEEE Comp Soc Tech Comm Internet; IEEE Comp Soc Tech Comm Comp Architecture; IEEE Comp Soc Tech Comm Microprogramming & Microarchitecture; Qualcomm; VMware; Facebook 2019, ISBN: 978-1-7281-0746-2, (IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), Madison, WI, MAR 24-26, 2019).

Abstract | Links | BibTeX | Research Area: Mathematical Computational and Statistical Sciences

Aviles-Rivero, Angelica I; Papadakis, Nicolas; Li, Ruoteng; Alsaleh, Samar M; Tan, Robby T; Schonlieb, Carola-Bibiane

Beyond Supervised Classification: Extreme Minimal Supervision with the Graph 1-Laplacian Journal Article

arXiv preprint arXiv:1906.08635, 2019.

BibTeX | Research Area: Mathematical Computational and Statistical Sciences

Albert, E; Gordillo, P; Rubio, A; Sergey, I

Running on fumes: Preventing out-of-gas vulnerabilities in ethereum smart contracts using static resource analysis Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11847 LNCS , pp. 63-78, 2019, ISSN: 03029743, (cited By 0).

Abstract | Links | BibTeX | Research Area: Mathematical Computational and Statistical Sciences

Andersen, K J A; Sergey, I

Distributed protocol combinators Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11372 LNCS , pp. 169-186, 2019, ISSN: 03029743, (cited By 0).

Abstract | Links | BibTeX | Research Area: Mathematical Computational and Statistical Sciences

Ringer, T; Palmskog, K; Sergey, I; Gligoric, M; Tatlock, Z

QED at large: A survey of engineering of formally verified software Journal Article

Foundations and Trends in Programming Languages, 5 (2-3), pp. 102-281, 2019, ISSN: 23251107, (cited By 1).

Abstract | Links | BibTeX | Research Area: Mathematical Computational and Statistical Sciences

Kolluri, A; Nikolic, I; Sergey, I; Hobor, A; Saxena, P

Exploiting the laws of order in smart contracts Conference

Association for Computing Machinery, Inc, 2019, ISBN: 9781450362245, (cited By 0).

Abstract | Links | BibTeX | Research Area: Mathematical Computational and Statistical Sciences

Perrault, Simon T; Zhang, Weiyu

Effects of Moderation and Opinion Heterogeneity on Attitude towards the Online Deliberation Experience Conference

CHI 2019: PROCEEDINGS OF THE 2019 CHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS, Assoc Comp Machinery; ACM SIGCHI 2019, ISBN: 978-1-4503-5970-2, (CHI Conference on Human Factors in Computing Systems (CHI), Glasgow, SCOTLAND, MAY 04-09, 2019).

Abstract | Links | BibTeX | Research Area: Mathematical Computational and Statistical Sciences

Perrault, S T; Zhang, W

Effects of moderation and opinion heterogeneity on attitude towards the online deliberation experience Conference

Association for Computing Machinery, 2019, ISBN: 9781450359702, (cited By 1).

Abstract | Links | BibTeX | Research Area: Mathematical Computational and Statistical Sciences

Hobor, A; Li, E; Stephan, F

Pumping, with or without choice Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11893 LNCS , pp. 427-446, 2019, ISSN: 03029743, (cited By 0).

Abstract | Links | BibTeX | Research Area: Mathematical Computational and Statistical Sciences

Klee, S; Stamps, M T

Face numbers of Engström representations of matroids Journal Article

Discrete Mathematics, 2019, ISSN: 0012365X, (cited By 0).

Abstract | Links | BibTeX | Research Area: Mathematical Computational and Statistical Sciences

Li, R; Cheong, L -F; Tan, R T

Heavy rain image restoration: Integrating physics model and conditional adversarial learning Conference

2019-June , IEEE Computer Society, 2019, ISSN: 10636919, (cited By 0).

Abstract | Links | BibTeX | Research Area: Mathematical Computational and Statistical Sciences

144 entries « 2 of 10 »