PyPartMC is a Pythonic interface to PartMC, a stochastic, particle-resol...
Cross-device user matching is a critical problem in numerous domains,
in...
Clustering is a commonplace problem in many areas of data science, with
...
Domain decomposition methods (DDMs) are popular solvers for discretized
...
Algebraic Multigrid (AMG) methods are often robust and effective solvers...
Proof Blocks is a software tool that provides students with a scaffolded...
Evolution of disease in a large population is a function of the top-down...
Domain decomposition methods are widely used and effective in the
approx...
Proof Blocks is a software tool which allows students to practice writin...
This paper is concerned with developing mean-field game models for the
e...
A flexible treatment for gas- and aerosol-phase chemical processes has b...
Proof Blocks is a software tool which enables students to write proofs b...
Large sparse linear systems of equations are ubiquitous in science and
e...
We demonstrate a successful navigation and docking control system for th...
The aerosol mixing state significantly affects the climate and health im...
Probabilistic Computation Tree Logic (PCTL) is frequently used to formal...
Parallel surrogate optimization algorithms have proven to be efficient
m...