Mark Howard - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

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

Social movement theory and the Italian radical community archives: A question of valence?Mark Howard. jci, 15, 2019. [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

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]

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]

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