We stand with Ukraine

We stand with Ukraine

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.

[BibT_eX]

[DOI]

,

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.

[BibT_eX]

[DOI]

,

Christopher Meyer

,

Jaime Ramos-Cejudo

,

Danne C. Elbers

,

Karen E. Pierce-Murray

,

,

,

,

,

,

Robert L. Grossman

,

Nathanael R. Fillmore

Proceedings of the MEDINFO 2023 - The Future Is Accessible, 2023

2022

Sounds of Health: Using Personalized Sonification Models to Communicate Health Information.

[BibT_eX]

[DOI]

,

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2022

2021

Assurance for Integrating Advanced Algorithms in Autonomous Safety-Critical Systems.

[BibT_eX]

[DOI]

Milton Stafford

,

Siddhartha Bhattacharyya

,

,

Natasha A. Neogi

,

Thomas C. Eskridge

IEEE Syst. J., 2021

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

[BibT_eX]

[DOI]

,

,

CoRR, 2021

2020

Moving Recursion Out of the RDBMS for Transactional Graph Workloads.

[BibT_eX]

[DOI]

Christine F. Reilly

,

Proceedings of the 11th IEEE Annual Ubiquitous Computing, 2020

Formal Compositional Reasoning of Autonomous Aerial Systems with Complex Algorithms.

[BibT_eX]

[DOI]

Milton Stafford

,

Siddhartha Bhattacharyya

,

,

Natasha A. Neogi

Proceedings of the IEEE International Systems Conference, 2020

Twine: A Unified Cluster Management System for Shared Infrastructure.

[BibT_eX]

[DOI]

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Analyzing Privacy Practices of Existing mHealth Apps.

[BibT_eX]

[DOI]

,

,

,

,

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.

[BibT_eX]

[DOI]

,

,

Proceedings of the 14th IEEE International Conference on Control and Automation, 2018

2017

Autonomous quadrotor terrain-following with a laser rangefinder and gimbal system.

[BibT_eX]

[DOI]

,

Robert C. Roberts

Proceedings of the 2017 IEEE SENSORS, Glasgow, United Kingdom, October 29, 2017

A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems.

[BibT_eX]

[DOI]

,

,

,

,

John D. Schierman

,

Scott A. Smolka

,

Scott D. Stoller

Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2014

Microsoft kinect sensor for real-time color tracking robot.

[BibT_eX]

[DOI]

,

David Feldpausch

,

Girma S. Tewolde

Proceedings of the IEEE International Conference on Electro/Information Technology, 2014

2013

Shadow & light.

[BibT_eX]

[DOI]

Proceedings of the SIGGRAPH Asia 2013, 2013

2012

Translation data exploration environment - single point of access to unified pre-clinical and clinical cardiovascular parameters.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the AMIA 2012, 2012

2011

Developing a Medical Records System at the Ola During Children's Hospital, Freetown, Sierra Leone.

[BibT_eX]

[DOI]

,

,

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.

[BibT_eX]

[DOI]

Christoph K. Wierling

,

Matthias Steinfath

,

,

Steffen Schulze-Kremer

,

,

,

,

BMC Bioinform., 2002

2000

A data-analysis pipeline for large-scale gene expression analysis.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

,

Georgia Panopoulou

,

Albert J. Poustka

,

Proceedings of the Fourth Annual International Conference on Computational Molecular Biology, 2000

1999

Synthetic Chemical Literature.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Chem. Inf. Comput. Sci., 1997

Loading...