Mark Adams

According to our database, Mark Adams authored at least 21 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Differential equation software for the computation of error-controlled continuous approximate solutions.

Mark Adams, Paul H. Muir

Numer. Algorithms, July, 2024

Improving Robustness of Spectrogram Classifiers with Neural Stochastic Differential Equations.

Joel Brogan, Olivera Kotevska, Anibely Torres, Sumit Jha, Mark Adams

Proceedings of the 34th IEEE International Workshop on Machine Learning for Signal Processing, 2024

2019

Error control Gaussian collocation software for boundary value ODEs and 1D time-dependent PDEs.

Mark Adams, Connor Tannahill, Paul H. Muir

Numer. Algorithms, 2019

2018

Up close with simulated crowds.

Mark Adams, Justin Bisceglio

Proceedings of the Special Interest Group on Computer Graphics and Interactive Techniques Conference, 2018

2017

Populating the crowds in <i>Ferdinand</i>.

Greg Mourino, Mason Evans, Kevin Edzenga, Svetla Cavaleri, Mark Adams, Justin Bisceglio

Proceedings of the Special Interest Group on Computer Graphics and Interactive Techniques Conference, 2017

Using friendly jamming to improve route security and quality in ad hoc networks.

Mark Adams, Vijay K. Bhargava

Proceedings of the 30th IEEE Canadian Conference on Electrical and Computer Engineering, 2017

2016

Use of the Recursive Least Squares Filter for Self Interference Channel Estimation.

Mark Adams, Vijay K. Bhargava

Proceedings of the IEEE 84th Vehicular Technology Conference, 2016

HOL Zero's Solutions for Pollack-Inconsistency.

Mark Adams

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

Formal Methods in Collaborative Projects.

Anna Zamansky, Guillermo Rodríguez-Navas, Mark Adams, Maria Spichkova

Proceedings of the ENASE 2016, 2016

2015

A formal proof of the Kepler conjecture.

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

CoRR, 2015

The Common HOL Platform.

Mark Adams

Proceedings of the Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, 2015

You've got a lot of friends, Charlie Brown: creating crowds in <i>peanuts</i>.

Mark Adams, Greg Mourino, Mason Evans, Kevin Edzenga

Proceedings of the Special Interest Group on Computer Graphics and Interactive Techniques Conference, 2015

Refactoring Proofs with Tactician.

Mark Adams

Proceedings of the Software Engineering and Formal Methods, 2015

2014

Using sparse voxel octrees in a level-of-detail pipeline for Rio 2.

Sean Palmer, Eric Maurer, Mark Adams

Proceedings of the Special Interest Group on Computer Graphics and Interactive Techniques Conference, 2014

Flyspecking Flyspeck.

Mark Adams

Proceedings of the Mathematical Software - ICMS 2014, 2014

2013

Bats, birds, and boggans: the simulated armies of <i>epic</i>.

Thierry Dervieux-Lecocq, David Gatenby, Mark Adams, Justin Bisceglio

Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2013

Capturing Hiproofs in HOL Light.

Steven Obua, Mark Adams, David Aspinall

Proceedings of the Intelligent Computer Mathematics, 2013

2010

Introducing HOL Zero - (Extended Abstract).

Mark Adams

Proceedings of the Mathematical Software, 2010

2005

Large Scale Deployment and Operation of Distributed Sensor Assets Optimized for Robust Mars Exploration.

James Bickford, Sean George, John Manobianco, Mark Adams, Donna Manobianco

Proceedings of the 2005 NASA / DoD Conference on Evolvable Hardware (EH 2005), 29 June, 2005

2001

The sequence of the human genome (abstract only).

Mark Adams

Proceedings of the Fifth Annual International Conference on Computational Biology, 2001

1999

Parallel Multigrid Solver for 3D Unstructured Finite Element Problems.

Mark Adams, Jim Demmel

Proceedings of the ACM/IEEE Conference on Supercomputing, 1999