Ryan Young

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 7

Top Topics

Proof Procedure

Digital Literacy

Theorem Proving

Top Venues

IPS-RCRA-SPIRIT@AI*IA

Publications

Mikhail Soutchanski, Ryan Young
Planning as Theorem Proving with Heuristics. CoRR (2023)
Philippe Raffy, Jean François Pambrun, Ashish Kumar, David Dubois, Jay Waldron Patti, Robyn Alexandra Cairns, Ryan Young
Deep Learning Body Region Classification of MRI and CT Examinations. J. Digit. Imaging 36 (4) (2023)
Mikhail Soutchanski, Ryan Young
Planning as Theorem Proving with Heuristics. IPS-RCRA-SPIRIT@AI*IA (2023)
Ranran Chen, Feng Li, Drew Bieger, Fengguang Song, Yao Liang, Daniel Luna, Ryan Young, Xu Liang, Sudhakar Pamidighantam
CyberWater: An Open Framework for Data and Model Integration in Water Science and Engineering. CIKM (2022)
Philippe Raffy, Jean François Pambrun, Ashish Kumar, David Dubois, Jay Waldron Patti, Robyn Alexandra Cairns, Ryan Young
Deep Learning Body Region Classification of MRI and CT examinations. CoRR (2021)
Ryan Young, Elaina Davis, Kaveh Abhari, Luke Wahlberg
Towards a Theory of Digital Entrepreneurship Mindset: The Role of Digital Learning and Digital Literacy. AMCIS (2020)
Ryan Young, Marcello Balduccini, Ankush Israney
CASP for Robot Control in Hybrid Domains. ASPOCP@LPNMR (2017)
Xu Chu Ding, Matthew Powers, Magnus Egerstedt, Ryan Young
An optimal timing approach to controlling multiple UAVs. ACC (2009)