Mark Howard

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 4

Top Topics

Classification Trees

Early Detection

Quantum Computation

Top Venues

J. Community Informatics

Publications

Anthony Stell, Ernesto C. Caparo, Zhe Wang, Chenyang Wang, David Berlowitz, Mark Howard, Richard O. Sinnott, Uwe Aickelin
Identification of Patient Ventilator Asynchrony in Physiological Data Through Integrating Machine-Learning. BIOSTEC (2) (2024)
Erdi Gao, Goce Ristanoski, Uwe Aickelin, David Berlowitz, Mark Howard
Early Detection and Classification of Patient-Ventilator Asynchrony Using Machine Learning. AIME (2022)
Sreeja Chowdhury, Rabin Yu Acharya, William Boullion, Andrew Felder, Mark Howard, Jia Di, Domenic Forte
A Weak Asynchronous RESet (ARES) PUF Using Start-up Characteristics of Null Conventional Logic Gates. ITC (2020)
Mark Howard
Social movement theory and the Italian radical community archives: A question of valence? J. Community Informatics 15 (2019)
Mark Howard, Joel Wallman, Victor Veitch, Joseph Emerson
Contextuality Supplies the Magic for Quantum Computation. ISMVL (2015)
Mark Howard, Joel Wallman, Victor Veitch, Joseph Emerson
Contextuality supplies the 'magic' for quantum computation. Nat. 510 (7505) (2014)
Mark Howard, Eoin Brennan, Jirí Vala
Quantum Contextuality with Stabilizer States. Entropy 15 (6) (2013)
Hashi Bai, Greydon Buckley, Mark Howard, Edward Lank
Tracking Observations: Using Handhelds and Computers for Classroom Observation Logging. ICDS (2007)
Andreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mark Howard
Reconciling Manual and Automated Testing: The AutoTest Experience. HICSS (2007)
Victoria Bellotti, Nicolas Ducheneaut, Mark Howard, Ian Smith, Rebecca E. Grinter
Quality Versus Quantity: E-Mail-Centric Task Management and Its Relation With Overload. Hum. Comput. Interact. 20 (1-2) (2005)
Victoria Bellotti, Nicolas Ducheneaut, Mark Howard, Ian Smith
Taking email to task: the design and evaluation of a task management centered email tool. CHI (2003)
Victoria Bellotti, Nicolas Ducheneaut, Mark Howard, Ian Smith, Christine Neuwirth
Innovation in extremis: evolving an application for the critical work of email and information management. Symposium on Designing Interactive Systems (2002)
Victoria Bellotti, Nicolas Ducheneaut, Mark Howard, Christine Neuwirth, Ian Smith, Trevor F. Smith
FLANNEL: adding computation to electronic mail during transmission. UIST (2002)
James M. Morris, Mark Howard
Program Verification by Symbolic Execution of Hyperfinite Ideal Machines. CAV (1990)
James M. Morris, Mark Howard
Program Verification by Symbolic Execution of Hyperfinite Ideal Machines. CAV (DIMACS/AMS volume) (1990)
Mark Howard
Applications of Fodor's Lemma to Vaught's Conjecture. Ann. Pure Appl. Log. 42 (1) (1989)
Mark Howard
A Proofless Proof of the Barwise Compactness Theorem. J. Symb. Log. 53 (2) (1988)