Multi-Structural Games and Number of Quantifiers
- Ronald Fagin
- Jonathan Lenchner
- et al.
- 2021
- LICS 2021
Conference paper
Publications
26944 results for Science
Disease Progression Modeling Workbench 360
- Partha Suryanarayanan
- Prithwish Chakraborty
- et al.
- 2021
- arXiv
PaperIslet Autoimmunity and HLA Markers of Presymptomatic and Clinical Type 1 Diabetes: Joint Analyses of Prospective Cohort Studies in Finland, Germany, Sweden, and the U.S.
- Vibha Anand
- Ying Li
- et al.
- 2021
- Diabetes Care
PaperFrequency Injection Locking-Controlled Oscillations for Synchronized Operations in VO2 Crossbar Devices
- Elisabetta Corti
- Corentin Delacour
- et al.
- 2021
- DRC 2021
Conference paperOn Focal Loss for Class-Posterior Probability Estimation: A Theoretical Perspective
- Nontawat Charoenphakdee
- Jayakorn Vongkulbhisal
- et al.
- 2021
- CVPR 2021
Conference paperQuantifying Explainers of Graph Neural Networks in Computational Pathology
- Guillaume Jaume
- Pushpak Pati
- et al.
- 2021
- CVPR 2021
Conference paperCrowdsourcing assessment of maternal blood multi-omics for predicting gestational age and preterm birth
- Adi L. Tarca
- Bálint Ármin Pataki
- et al.
- 2021
- Cell Reports Medicine
PaperHigh accuracy capillary network representation in digital rock reveals permeability scaling functions
- Rodrigo F. Neumann
- Mariane Barsi-Andreeta
- et al.
- 2021
- Scientific Reports
PaperDither computing: a hybrid deterministic-stochastic computing framework
- 2021
- ARITH 2021
Conference paperSelf-Managed Data Protection for Containerized Framework
- Umesh Deshpande
- Nicholas Linck
- et al.
- 2021
- SYSTOR 2021
Poster