Matthew Clark

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024
Changing Your Tune: Lessons for Using Music to Encourage Physical Activity.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., May, 2024

2023
Transfer Learning for Mortality Prediction in Non-Small Cell Lung Cancer with Low-Resolution Histopathology Slide Snapshots.
Proceedings of the MEDINFO 2023 - The Future Is Accessible, 2023

2022
Sounds of Health: Using Personalized Sonification Models to Communicate Health Information.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2022

2021
Assurance for Integrating Advanced Algorithms in Autonomous Safety-Critical Systems.
IEEE Syst. J., 2021

"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning and Verification.
CoRR, 2021

2020
Moving Recursion Out of the RDBMS for Transactional Graph Workloads.
Proceedings of the 11th IEEE Annual Ubiquitous Computing, 2020

Formal Compositional Reasoning of Autonomous Aerial Systems with Complex Algorithms.
Proceedings of the IEEE International Systems Conference, 2020

Twine: A Unified Cluster Management System for Shared Infrastructure.
Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Analyzing Privacy Practices of Existing mHealth Apps.
Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2020), 2020

2018
Integration of Quantifier Eliminator with Model Checker and Compositional Reasoner.
Proceedings of the 14th IEEE International Conference on Control and Automation, 2018

2017
Autonomous quadrotor terrain-following with a laser rangefinder and gimbal system.
Proceedings of the 2017 IEEE SENSORS, Glasgow, United Kingdom, October 29, 2017

A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems.
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2014
Microsoft kinect sensor for real-time color tracking robot.
Proceedings of the IEEE International Conference on Electro/Information Technology, 2014

2013
Shadow & light.
Proceedings of the SIGGRAPH Asia 2013, 2013

2012
Translation data exploration environment - single point of access to unified pre-clinical and clinical cardiovascular parameters.
Proceedings of the AMIA 2012, 2012

2011
Developing a Medical Records System at the Ola During Children's Hospital, Freetown, Sierra Leone.
Proceedings of the International Perspectives in Health Informatics, 2011

2002
Simulation of DNA array hybridization experiments and evaluation of critical parameters during subsequent image and data analysis.
BMC Bioinform., 2002

2000
A data-analysis pipeline for large-scale gene expression analysis.
Proceedings of the Fourth Annual International Conference on Computational Molecular Biology, 2000

1999
Synthetic Chemical Literature.
J. Chem. Inf. Comput. Sci., 1999

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., 1999

1998
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., 1998

1997
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., 1997

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., 1997

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., 1997


  Loading...