Mark Adams

24 papers A 1B 3Journal 6Unranked 14
YearRankTypeTitle / Venue / Authors
2025 J jnl
Inference for max-linear Bayesian networks with noise.
CoRR
Mark Adams, Kamillo Ferry, Ruriko Yoshida
2024 J jnl
Differential equation software for the computation of error-controlled continuous approximate solutions.
Numer. Algorithms
Mark Adams, Paul H. Muir
2024 — conf
Improving Robustness of Spectrogram Classifiers with Neural Stochastic Differential Equations.
MLSP
Joel Brogan, Olivera Kotevska, Anibely Torres, Sumit Jha, Mark Adams
2024 J jnl
Improving Robustness of Spectrogram Classifiers with Neural Stochastic Differential Equations.
CoRR
Joel Brogan, Olivera Kotevska, Anibely Torres, Sumit Jha, Mark Adams
2019 J jnl
Error control Gaussian collocation software for boundary value ODEs and 1D time-dependent PDEs.
Numer. Algorithms
Mark Adams, Connor Tannahill, Paul H. Muir
2018 — conf
Up close with simulated crowds.
SIGGRAPH Talks
Mark Adams, Justin Bisceglio
2017 — conf
Populating the crowds in
SIGGRAPH Talks
Greg Mourino, Mason Evans, Kevin Edzenga, Svetla Cavaleri, Mark Adams, Justin Bisceglio
2017 — conf
Using friendly jamming to improve route security and quality in ad hoc networks.
CCECE
Mark Adams, Vijay K. Bhargava
2016 B conf
Formal Methods in Collaborative Projects.
ENASE
Anna Zamansky, Guillermo Rodríguez-Navas, Mark Adams, Maria Spichkova
2016 B conf
HOL Zero's Solutions for Pollack-Inconsistency.
ITP
Mark Adams
2016 — conf
Use of the Recursive Least Squares Filter for Self Interference Channel Estimation.
VTC Fall
Mark Adams, Vijay K. Bhargava
2015 J jnl
A formal proof of the Kepler conjecture.
CoRR
Thomas C. Hales, Mark Adams, Gertrud Bauer, Dat Tat Dang, John Harrison, Truong Le Hoang, Cezary Kaliszyk, Victor Magron, Sean McLaughlin, Thang Tat Nguyen, Truong Quang Nguyen, Tobias Nipkow, Steven Obua, Joseph Pleso, Jason M. Rute, Alexey Solovyev, An Hoai Thi Ta, Trung Nam Tran, Diep Thi Trieu, Josef Urban, Ky Khac Vu, Roland Zumkeller
2015 — conf
Refactoring Proofs with Tactician.
SEFM Workshops
Mark Adams
2015 — conf
The Common HOL Platform.
PxTP@CADE
Mark Adams
2015 — conf
You've got a lot of friends, Charlie Brown: creating crowds in
SIGGRAPH Talks
Mark Adams, Greg Mourino, Mason Evans, Kevin Edzenga
2014 — conf
Flyspecking Flyspeck.
ICMS
Mark Adams
2014 — conf
Using sparse voxel octrees in a level-of-detail pipeline for Rio 2.
SIGGRAPH Talks
Sean Palmer, Eric Maurer, Mark Adams
2013 — conf
Bats, birds, and boggans: the simulated armies of
SIGGRAPH Talks
Thierry Dervieux-Lecocq, David Gatenby, Mark Adams, Justin Bisceglio
2013 — conf
Capturing Hiproofs in HOL Light.
MKM/Calculemus/DML
Steven Obua, Mark Adams, David Aspinall
2013 J jnl
Capturing Hiproofs in HOL Light.
CoRR
Steven Obua, Mark Adams, David Aspinall
2010 — conf
Introducing HOL Zero - (Extended Abstract).
ICMS
Mark Adams
2005 — conf
Large Scale Deployment and Operation of Distributed Sensor Assets Optimized for Robust Mars Exploration.
Evolvable Hardware
James Bickford, Sean George, John Manobianco, Mark Adams, Donna Manobianco
2001 B conf
The sequence of the human genome (abstract only).
RECOMB
Mark Adams
1999 A conf
Parallel Multigrid Solver for 3D Unstructured Finite Element Problems.
SC
Mark Adams, Jim Demmel