Matthew Clark

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 13

Top Topics

Quantifier Elimination

Physical Activity

Top Venues

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.

Publications

Matthew Clark, Afsaneh Doryab
Changing Your Tune: Lessons for Using Music to Encourage Physical Activity. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 8 (2) (2024)
Matthew Clark, Christopher Meyer, Jaime Ramos-Cejudo, Danne C. Elbers, Karen E. Pierce-Murray, Rafael Fricks, Gil Alterovitz, Luigi Rao, Mary T. Brophy, Nhan V. Do, Robert L. Grossman, Nathanael R. Fillmore
Transfer Learning for Mortality Prediction in Non-Small Cell Lung Cancer with Low-Resolution Histopathology Slide Snapshots. MedInfo (2023)
Matthew Clark, Afsaneh Doryab
Sounds of Health: Using Personalized Sonification Models to Communicate Health Information. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 6 (4) (2022)
Milton Stafford, Siddhartha Bhattacharyya, Matthew Clark, Natasha A. Neogi, Thomas C. Eskridge
Assurance for Integrating Advanced Algorithms in Autonomous Safety-Critical Systems. IEEE Syst. J. 15 (4) (2021)
Hao Ren, Ratnesh Kumar, Matthew Clark
"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning and Verification. CoRR (2021)
Chunqiang Tang, Kenny Yu, Kaushik Veeraraghavan, Jonathan Kaldor, Scott Michelson, Thawan Kooburat, Aravind Anbudurai, Matthew Clark, Kabir Gogia, Long Cheng, Ben Christensen, Alex Gartrell, Maxim Khutornenko, Sachin Kulkarni, Marcin Pawlowski, Tuomas Pelkonen, Andre Rodrigues, Rounak Tibrewal, Vaishnavi Venkatesan, Peter Zhang
Twine: A Unified Cluster Management System for Shared Infrastructure. OSDI (2020)
Milton Stafford, Siddhartha Bhattacharyya, Matthew Clark, Natasha A. Neogi
Formal Compositional Reasoning of Autonomous Aerial Systems with Complex Algorithms. SysCon (2020)
Christine F. Reilly, Matthew Clark
Moving Recursion Out of the RDBMS for Transactional Graph Workloads. UEMCON (2020)
Aarathi Prasad, Matthew Clark, Ha Linh Nguyen, Rubén Ruiz, Emily Xiao
Analyzing Privacy Practices of Existing mHealth Apps. HEALTHINF (2020)
Hao Ren, Matthew Clark, Ratnesh Kumar
Integration of Quantifier Eliminator with Model Checker and Compositional Reasoner. ICCA (2018)
Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. ACSD (2017)
Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. CoRR (2017)
Matthew Clark, Robert C. Roberts
Autonomous quadrotor terrain-following with a laser rangefinder and gimbal system. IEEE SENSORS (2017)
Matthew Clark, David Feldpausch, Girma S. Tewolde
Microsoft kinect sensor for real-time color tracking robot. EIT (2014)
Matthew Clark
Shadow & light. SIGGRAPH ASIA Computer Animation Festival (2013)
Xia Wang, Zhaohui J. Cai, Matthew Clark, Jian Wang
Translation data exploration environment - single point of access to unified pre-clinical and clinical cardiovascular parameters. AMIA (2012)
John Dawson, Matthew Clark, Liz Peloso
Developing a Medical Records System at the Ola During Children's Hospital, Freetown, Sierra Leone. ITCH (2011)
Christoph K. Wierling, Matthias Steinfath, Thorsten Elge, Steffen Schulze-Kremer, Pia Aanstad, Matthew Clark, Hans Lehrach, Ralf Herwig
Simulation of DNA array hybridization experiments and evaluation of critical parameters during subsequent image and data analysis. BMC Bioinform. 3 (2002)
Steffen Hennig, Ralf Herwig, Matthew Clark, Pia Aanstad, A. Musa, John O'Brien, C. Bull, Uwe Radelof, Georgia Panopoulou, Albert J. Poustka, Hans Lehrach
A data-analysis pipeline for large-scale gene expression analysis. RECOMB (2000)
Matthew Clark
Synthetic Chemical Literature. J. Chem. Inf. Comput. Sci. 39 (4) (1999)
Matthew Clark
Chemical Librarianship: Challenges and Opportunities Edited by Arleen N. Somerville. Haworth Press, Inc.: New York, 1997, 228pp. ISBN 0-7890-0388-0. J. Chem. Inf. Comput. Sci. 39 (1) (1999)
Matthew Clark
Molecular Mechanics across Chemistry. By Anthony K. Rappé and Carla J. Casewit. University Science Books: Sausalito, California 1997, 444 pp. ISBN 0-935702-77-6. J. Chem. Inf. Comput. Sci. 38 (4) (1998)
Matthew Clark
Computer-Aided Molecular Design. Theory and Practice. By Jean-Pierre Doucet and Jacques Weber. Academic Press: San Diego, 1996, 457 pp, ISBN 0-12-221285-1. J. Chem. Inf. Comput. Sci. 37 (2) (1997)
Matthew Clark
Introduction to Theoretical Organic Chemistry and Molecular Modeling. William B. Smith. VCH: New York, 1996, 192 pp, ISBN 1-56081-937-5. J. Chem. Inf. Comput. Sci. 37 (3) (1997)
Matthew Clark
Fuzzy Logic in Chemistry. Edited by Dennis H. Rouvray. Academic Press: New York, 1997, 356pp, ISBN 0-12-598910-5. J. Chem. Inf. Comput. Sci. 37 (5) (1997)