Mark Adams - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2024

Differential equation software for the computation of error-controlled continuous approximate solutionsMark Adams, Paul H. Muir. na, 96(3):1021-1044, July 2024. [doi]

Improving Robustness of Spectrogram Classifiers with Neural Stochastic Differential EquationsJoel Brogan, Olivera Kotevska, Anibely Torres, Sumit Jha, Mark Adams. mlsp 2024: 1-6 [doi]

2022

Design of a Scientific Data Analysis Support PlatformNathan Martindale, Jason Hite, Scott Stewart, Mark Adams. scipy 2022: 179-186 [doi]

2019

Error control Gaussian collocation software for boundary value ODEs and 1D time-dependent PDEsMark Adams, Connor Tannahill, Paul H. Muir. na, 81(4):1505-1519, 2019. [doi]

2018

Up close with simulated crowdsMark Adams, Justin Bisceglio. siggraph 2018: [doi]

2017

Using friendly jamming to improve route security and quality in ad hoc networksMark Adams, Vijay K. Bhargava. ccece 2017: 1-6 [doi]

FerdinandGreg Mourino, Mason Evans, Kevin Edzenga, Svetla Cavaleri, Mark Adams, Justin Bisceglio. siggraph 2017: [doi]

2016

Use of the Recursive Least Squares Filter for Self Interference Channel EstimationMark Adams, Vijay K. Bhargava. vtc 2016: 1-4 [doi]

HOL Zero's Solutions for Pollack-InconsistencyMark Adams. itp 2016: 20-35 [doi]

Formal Methods in Collaborative ProjectsAnna Zamansky, Guillermo Rodríguez-Navas, Mark Adams, Maria Spichkova. ENASE 2016: 396-402 [doi]

2015

peanutsMark Adams, Greg Mourino, Mason Evans, Kevin Edzenga. siggraph 2015: 45 [doi]

Refactoring Proofs with TacticianMark Adams. SEFM 2015: 53-67 [doi]

2014

Flyspecking FlyspeckMark Adams. icms 2014: 16-20 [doi]

Using sparse voxel octrees in a level-of-detail pipeline for Rio 2Sean Palmer, Eric Maurer, Mark Adams. siggraph 2014: 70 [doi]

2013

epicThierry Dervieux-Lecocq, David Gatenby, Mark Adams, Justin Bisceglio. siggraph 2013: 4 [doi]

Capturing Hiproofs in HOL LightSteven Obua, Mark Adams, David Aspinall. mkm 2013: 184-199 [doi]

2010

Introducing HOL Zero - (Extended Abstract)Mark Adams. icms 2010: 142-143 [doi]

2005

Large Scale Deployment and Operation of Distributed Sensor Assets Optimized for Robust Mars ExplorationJames Bickford, Sean George, John Manobianco, Mark Adams, Donna Manobianco. ehci 2005: 173-182 [doi]

2001

The sequence of the human genome (abstract only)Mark Adams. recomb 2001: 1 [doi]

1999

Parallel Multigrid Solver for 3D Unstructured Finite Element ProblemsMark Adams, Jim Demmel. sc 1999: 27 [doi]

Sign in or sign up to see more results.

runs on WebDSL