Login / Signup
Mitchell Riley
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 3
Top Topics
Complex Scenes
Active Shape Model
Modal Logic
X Ray Images
Top Venues
CoRR
FSCD
SN Comput. Sci.
</>
Publications
</>
Mitchell Riley
A Type Theory with a Tiny Object.
CoRR
(2024)
Arjun Sarkar
,
Joerg Vandenhirtz
,
Jozsef Nagy
,
David Bacsa
,
Mitchell Riley
Identification of Images of COVID-19 from Chest X-rays Using Deep Learning: Comparing COGNEX VisionPro Deep Learning 1.0™ Software with Open Source Convolutional Neural Networks.
SN Comput. Sci.
2 (2) (2021)
Daniel R. Licata
,
Michael Shulman
,
Mitchell Riley
A Fibrational Framework for Substructural and Modal Logics.
FSCD
(2017)