Mark Howard - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2025

SHIP: A Shapelet-Based Approach for Interpretable Patient-Ventilator Asynchrony DetectionXuan-May Le, Ling Luo 0002, Uwe Aickelin, Minh Tuan Tran, David Berlowitz, Mark Howard. pakdd 2025: 430-442 [doi]

2024

Identification of Patient Ventilator Asynchrony in Physiological Data Through Integrating Machine-LearningAnthony Stell, Ernesto C. Caparo, Zhe Wang, Chenyang Wang, David Berlowitz, Mark Howard, Richard O. Sinnott, Uwe Aickelin. biostec 2024: 436-443 [doi]

2022

Early Detection and Classification of Patient-Ventilator Asynchrony Using Machine LearningErdi Gao, Goce Ristanoski, Uwe Aickelin, David Berlowitz, Mark Howard. aime 2022: 238-248 [doi]

2020

A Weak Asynchronous RESet (ARES) PUF Using Start-up Characteristics of Null Conventional Logic GatesSreeja Chowdhury, Rabin Acharya, William Boullion, Andrew Felder, Mark Howard, Jia Di, Domenic Forte. itc 2020: 1-10 [doi]

2019

Simulation of quantum circuits by low-rank stabilizer decompositionsSergey Bravyi 0001, Dan E. Browne, Padraic Calpin, Earl T. Campbell, David Gosset, Mark Howard. quantum, 3:181, 2019. [doi]

Social movement theory and the Italian radical community archives: A question of valence?Mark Howard. jci, 15, 2019. [doi]

2018

Magic state parity-checker with pre-distilled componentsEarl T. Campbell, Mark Howard. quantum, 2:56, 2018. [doi]

2015

Contextuality Supplies the Magic for Quantum ComputationMark Howard, Joel Wallman, Victor Veitch, Joseph Emerson. ismvl 2015: 96 [doi]

2014

Contextuality supplies the 'magic' for quantum computationMark Howard, Joel Wallman, Victor Veitch, Joseph Emerson. nature, 510(7505):351-355, 2014. [doi]

2013

Quantum Contextuality with Stabilizer StatesMark Howard, Eoin Brennan, Jiri Vala. entropy, 15(6):2340-2362, 2013. [doi]

2007

Tracking Observations: Using Handhelds and Computers for Classroom Observation LoggingHashi Bai, Greydon Buckley, Mark Howard, Edward Lank. icds 2007: 34 [doi]

Reconciling Manual and Automated Testing: The AutoTest ExperienceAndreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mark Howard. hicss 2007: 261 [doi]

2005

Quality Versus Quantity: E-Mail-Centric Task Management and Its Relation With OverloadVictoria Bellotti, Nicolas Ducheneaut, Mark Howard, Ian Smith, Rebecca E. Grinter. hhci, 20(1-2):89-138, 2005. [doi]

2003

Taking email to task: the design and evaluation of a task management centered email toolVictoria Bellotti, Nicolas Ducheneaut, Mark Howard, Ian Smith. CHI 2003: 345-352 [doi]

2002

FLANNEL: adding computation to electronic mail during transmissionVictoria Bellotti, Nicolas Ducheneaut, Mark Howard, Christine Neuwirth, Ian Smith, Trevor F. Smith. uist 2002: 1-10 [doi]

Innovation in extremis: evolving an application for the critical work of email and information managementVictoria Bellotti, Nicolas Ducheneaut, Mark Howard, Ian Smith, Christine Neuwirth. ACMdis 2002: 181-192 [doi]

1990

Program Verification by Symbolic Execution of Hyperfinite Ideal MachinesJames M. Morris, Mark Howard. dimacs 1991: 441-462

Program Verification by Symbolic Execution of Hyperfinite Ideal MachinesJames M. Morris, Mark Howard. cav 1991: 322-332

1989

Applications of Fodor s Lemma to Vaught s ConjectureMark Howard. APAL, 42(1):1-19, 1989.

1988

A Proofless Proof of the Barwise Compactness TheoremMark Howard. JSYML, 53(2):597-602, 1988.

Sign in or sign up to see more results.

runs on WebDSL