Zobrazeno 1 - 10
of 2 218
pro vyhledávání: '"A. Tannen"'
Datalog is a powerful yet elegant language that allows expressing recursive computation. Although Datalog evaluation has been extensively studied in the literature, so far, only loose upper bounds are known on how fast a Datalog program can be evalua
Externí odkaz:
http://arxiv.org/abs/2403.12436
Publikováno v:
EPTCS 397, 2023, pp. 98-117
Formally verifying the properties of formal systems using a proof assistant requires justifying numerous minor lemmas about capture-avoiding substitution. Despite work on category-theoretic accounts of syntax and variable binding, raw, first-order re
Externí odkaz:
http://arxiv.org/abs/2312.08897
Publikováno v:
In Advances in Ophthalmology and Optometry August 2024 9(1):1-23
Publikováno v:
Optometry & Visual Performance. Sep2024, Vol. 12 Issue 3, p142-145. 4p.
Publikováno v:
Clinical Ophthalmology, Vol Volume 18, Pp 943-950 (2024)
Anvesh Annadanam,1 Ethan Kahana,1 Chris Andrews,1 Alexa R Thibodeau,1 Shahzad I Mian,1 Bradford L Tannen,1 Nambi Nallasamy1,2 1Department of Ophthalmology and Visual Sciences, University of Michigan, Ann Arbor, MI, USA; 2Department of Computational M
Externí odkaz:
https://doaj.org/article/b80983c09d9f43f2a877487a45cfeec1
Publikováno v:
Clinical Ophthalmology, Vol Volume 18, Pp 647-657 (2024)
Zixue Zeng,1,* Binh Duong Giap,2,* Ethan Kahana,3 Jefferson Lustre,4 Ossama Mahmoud,5 Shahzad I Mian,2 Bradford Tannen,2 Nambi Nallasamy2,6 1School of Public Health, University of Michigan, Ann Arbor, MI, USA; 2Kellogg Eye Center, Department
Externí odkaz:
https://doaj.org/article/93224b412aa749cc88be13c884677c97
Publikováno v:
In Journal of Optometry April-June 2024 17(2)
Autor:
Binh Duong Giap, PhD, Karthik Srinivasan, MD, MS, Ossama Mahmoud, MD, Dena Ballouz, MD, Jefferson Lustre, BS, Keely Likosky, BS, Shahzad I. Mian, MD, Bradford L. Tannen, MD, JD, Nambi Nallasamy, MD
Publikováno v:
Ophthalmology Science, Vol 5, Iss 1, Pp 100597- (2025)
Purpose: Pupillary instability is a known risk factor for complications in cataract surgery. This study aims to develop and validate an innovative and reliable computational framework for the automated assessment of pupil morphologic changes during t
Externí odkaz:
https://doaj.org/article/8dd60a29c64f47e5a3e6edb186551e28
Publikováno v:
In Journal of Optometry January-March 2024 17(1)
Publikováno v:
Journal of Machine Learning Research, 23: 1-54, 2022
Predictions are often probabilities; e.g., a prediction could be for precipitation tomorrow, but with only a 30% chance. Given such probabilistic predictions together with the actual outcomes, "reliability diagrams" help detect and diagnose statistic
Externí odkaz:
http://arxiv.org/abs/2205.09680