Mark Howard

According to our database, Mark Howard authored at least 18 papers between 1988 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

SHIP: A Shapelet-Based Approach for Interpretable Patient-Ventilator Asynchrony Detection.

Xuan-May Le, Ling Luo, Uwe Aickelin, Minh-Tuan Tran, David Berlowitz, Mark Howard

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2025

2024

Identification of Patient Ventilator Asynchrony in Physiological Data Through Integrating Machine-Learning.

Anthony Stell, Ernesto C. Caparo, Zhe Wang, Chenyang Wang, David Berlowitz, Mark Howard, Richard O. Sinnott, Uwe Aickelin

Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies, 2024

2022

Early Detection and Classification of Patient-Ventilator Asynchrony Using Machine Learning.

Erdi Gao, Goce Ristanoski, Uwe Aickelin, David Berlowitz, Mark Howard

Proceedings of the Artificial Intelligence in Medicine, 2022

2020

A Weak Asynchronous RESet (ARES) PUF Using Start-up Characteristics of Null Conventional Logic Gates.

Sreeja Chowdhury, Rabin Yu Acharya, William Boullion, Andrew Felder, Mark Howard, Jia Di, Domenic Forte

Proceedings of the IEEE International Test Conference, 2020

2019

Simulation of quantum circuits by low-rank stabilizer decompositions.

Sergey Bravyi, Dan E. Browne, Padraic Calpin, Earl T. Campbell, David Gosset, Mark Howard

Quantum, 2019

Social movement theory and the Italian radical community archives: A question of valence?

Mark Howard

J. Community Informatics, 2019

2018

Magic state parity-checker with pre-distilled components.

Earl T. Campbell, Mark Howard

Quantum, 2018

2015

Contextuality Supplies the Magic for Quantum Computation.

Mark Howard, Joel Wallman, Victor Veitch, Joseph Emerson

Proceedings of the 2015 IEEE International Symposium on Multiple-Valued Logic, 2015

2013

Quantum Contextuality with Stabilizer States.

Mark Howard, Eoin Brennan, Jirí Vala

Entropy, 2013

2007

Tracking Observations: Using Handhelds and Computers for Classroom Observation Logging.

Hashi Bai, Greydon Buckley, Mark Howard, Edward Lank

Proceedings of the First International Conference on the Digital Society (ICDS 2007), 2007

Reconciling Manual and Automated Testing: The AutoTest Experience.

Andreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mark Howard

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

2005

Quality Versus Quantity: E-Mail-Centric Task Management and Its Relation With Overload.

Victoria Bellotti, Nicolas Ducheneaut, Mark Howard, Ian Smith, Rebecca E. Grinter

Hum. Comput. Interact., 2005

2003

Taking email to task: the design and evaluation of a task management centered email tool.

Victoria Bellotti, Nicolas Ducheneaut, Mark Howard, Ian Smith

Proceedings of the 2003 Conference on Human Factors in Computing Systems, 2003

2002

FLANNEL: adding computation to electronic mail during transmission.

Victoria Bellotti, Nicolas Ducheneaut, Mark Howard, Christine Neuwirth, Ian Smith, Trevor F. Smith

Proceedings of the 15th Annual ACM Symposium on User Interface Software and Technology, 2002

Innovation in extremis: evolving an application for the critical work of email and information management.

Victoria Bellotti, Nicolas Ducheneaut, Mark Howard, Ian Smith, Christine Neuwirth

Proceedings of the 4th Conference on Designing Interactive Systems: Processes, 2002

1990

Program Verification by Symbolic Execution of Hyperfinite Ideal Machines.

James M. Morris, Mark Howard

Proceedings of the Computer-Aided Verification, 1990

1989

Applications of Fodor's Lemma to Vaught's Conjecture.

Mark Howard

Ann. Pure Appl. Log., 1989

1988

A Proofless Proof of the Barwise Compactness Theorem.

Mark Howard

J. Symb. Log., 1988