Mark Howard

21 papers A* 3A 2B 1C 1Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
SHIP: A Shapelet-Based Approach for Interpretable Patient-Ventilator Asynchrony Detection.
PAKDD (2)
Xuan-May Le, Ling Luo, Uwe Aickelin, Minh-Tuan Tran, David Berlowitz, Mark Howard
2025 J jnl
SHIP: A Shapelet-based Approach for Interpretable Patient-Ventilator Asynchrony Detection.
CoRR
Xuan-May Le, Ling Luo, Uwe Aickelin, Minh-Tuan Tran, David Berlowitz, Mark Howard
2024 — conf
Identification of Patient Ventilator Asynchrony in Physiological Data Through Integrating Machine-Learning.
BIOSTEC (2)
Anthony Stell, Ernesto C. Caparo, Zhe Wang, Chenyang Wang, David Berlowitz, Mark Howard, Richard O. Sinnott, Uwe Aickelin
2022 B conf
Early Detection and Classification of Patient-Ventilator Asynchrony Using Machine Learning.
AIME
Erdi Gao, Goce Ristanoski, Uwe Aickelin, David Berlowitz, Mark Howard
2020 A conf
A Weak Asynchronous RESet (ARES) PUF Using Start-up Characteristics of Null Conventional Logic Gates.
ITC
Sreeja Chowdhury, Rabin Yu Acharya, William Boullion, Andrew Felder, Mark Howard, Jia Di, Domenic Forte
2019 J jnl
Simulation of quantum circuits by low-rank stabilizer decompositions.
Quantum
Sergey Bravyi, Dan E. Browne, Padraic Calpin, Earl T. Campbell, David Gosset, Mark Howard
2019 J jnl
Social movement theory and the Italian radical community archives: A question of valence?
J. Community Informatics
Mark Howard
2018 J jnl
Magic state parity-checker with pre-distilled components.
Quantum
Earl T. Campbell, Mark Howard
2015 — conf
Contextuality Supplies the Magic for Quantum Computation.
ISMVL
Mark Howard, Joel Wallman, Victor Veitch, Joseph Emerson
2014 J jnl
Contextuality supplies the 'magic' for quantum computation.
Nat.
Mark Howard, Joel Wallman, Victor Veitch, Joseph Emerson
2013 J jnl
Quantum Contextuality with Stabilizer States.
Entropy
Mark Howard, Eoin Brennan, Jiri Vala
2007 — conf
Reconciling Manual and Automated Testing: The AutoTest Experience.
HICSS
Andreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mark Howard
2007 C conf
Tracking Observations: Using Handhelds and Computers for Classroom Observation Logging.
ICDS
Hashi Bai, Greydon Buckley, Mark Howard, Edward Lank
2005 J jnl
Quality Versus Quantity: E-Mail-Centric Task Management and Its Relation With Overload.
Hum. Comput. Interact.
Victoria Bellotti, Nicolas Ducheneaut, Mark Howard, Ian Smith, Rebecca E. Grinter
2003 A* conf
Taking email to task: the design and evaluation of a task management centered email tool.
CHI
Victoria Bellotti, Nicolas Ducheneaut, Mark Howard, Ian Smith
2002 A* conf
FLANNEL: adding computation to electronic mail during transmission.
UIST
Victoria Bellotti, Nicolas Ducheneaut, Mark Howard, Christine Neuwirth, Ian Smith, Trevor F. Smith
2002 A conf
Innovation in extremis: evolving an application for the critical work of email and information management.
Symposium on Designing Interactive Systems
Victoria Bellotti, Nicolas Ducheneaut, Mark Howard, Ian Smith, Christine Neuwirth
1990 A* conf
Program Verification by Symbolic Execution of Hyperfinite Ideal Machines.
CAV
James M. Morris, Mark Howard
1990 — conf
Program Verification by Symbolic Execution of Hyperfinite Ideal Machines.
CAV (DIMACS/AMS volume)
James M. Morris, Mark Howard
1989 J jnl
Applications of Fodor's Lemma to Vaught's Conjecture.
Ann. Pure Appl. Log.
Mark Howard
1988 J jnl
A Proofless Proof of the Barwise Compactness Theorem.
J. Symb. Log.
Mark Howard