
Scientific Image Restoration Anywhere
The use of deep learning models within scientific experimental facilitie...
read it

Finding Proofs in Tarskian Geometry
We report on a project to use a theorem prover to find proofs of the the...
read it

Machine Learning for Antimicrobial Resistance
Biological datasets amenable to applied machine learning are more availa...
read it

Quantifying mesoscale neuroanatomy using Xray microtomography
Methods for resolving the 3D microstructure of the brain typically start...
read it

Variational Reformulation of Bayesian Inverse Problems
The classical approach to inverse problems is based on the optimization ...
read it

Fast and Accurate Modeling of Molecular Atomization Energies with Machine Learning
We introduce a machine learning model to predict atomization energies of...
read it

Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus
With the inclusion of an effective methodology, this article answers in ...
read it

A Spectrum of Applications of Automated Reasoning
The likelihood of an automated reasoning program being of substantial as...
read it

DATeS: A HighlyExtensible Data Assimilation Testing Suite
A flexible and highlyextensible data assimilation testing suite, named ...
read it

Composing Scalable Nonlinear Algebraic Solvers
Most efficient linear solvers use composable algorithmic components, wit...
read it

InDepth Exploration of SingleSnapshot Lossy Compression Techniques for NBody Simulations
In situ lossy compression allowing usercontrolled data loss can signifi...
read it

Doing Moore with Less  Leapfrogging Moore's Law with Inexactness for Supercomputing
Energy and power consumption are major limitations to continued scaling ...
read it

Extremescale Multigrid Components within PETSc
Elliptic partial differential equations (PDEs) frequently arise in conti...
read it

Mobile Encryption Gateway (MEG) for Email Encryption
Email cryptography applications often suffer from major problems that pr...
read it

Global sensitivity analysis for statistical model parameters
Global sensitivity analysis (GSA) is frequently used to analyze the infl...
read it

GoalOriented Optimal Design of Experiments for LargeScale Bayesian Linear Inverse Problems
We develop a framework for goal oriented optimal design of experiments (...
read it

Comparative study of finite element methods using the TimeAccuracySize (TAS) spectrum analysis
We present a performance analysis appropriate for comparing algorithms u...
read it

Improving Performance of Iterative Methods by Lossy Checkponting
Iterative methods are commonly used approaches to solve large, sparse li...
read it

A Proposal for LoopTransformation Pragmas
Pragmas for loop transformations, such as unrolling, are implemented in ...
read it

A SoftwareDefined Approach for QoS Control in HighPerformance Computing Storage Systems
Highperformance computing (HPC) storage systems become increasingly cri...
read it

FixedPSNR Lossy Compression for Scientific Data
Errorcontrolled lossy compression has been studied for years because of...
read it

A Fast Algorithm for Maximum Likelihood Estimation of Mixture Proportions Using Sequential Quadratic Programming
Maximum likelihood estimation of mixture proportions has a long history ...
read it

Optimizing Lossy Compression RateDistortion from Automatic Online Selection between SZ and ZFP
With everincreasing volumes of scientific data produced by HPC applicat...
read it

An Optimal Experimental Design Framework for Adaptive Inflation and Covariance Localization for Ensemble Filters
Covariance inflation and localization are ubiquitously employed to count...
read it

DATeS: A HighlyExtensible Data Assimilation Testing Suite v1.0
A flexible and highlyextensible data assimilation testing suite, named ...
read it

Evaluating Gaussian Process Metamodels and Sequential Designs for Noisy Level Set Estimation
We consider the problem of learning the level set for which a noisy blac...
read it

Scalable Gaussian Process Computations Using Hierarchical Matrices
We present a kernelindependent method that applies hierarchical matrice...
read it

Statistical Treatment of Inverse Problems Constrained by Differential EquationsBased Models with Stochastic Terms
This paper introduces a statistical treatment of inverse problems constr...
read it

Loop Optimization Framework
The LLVM compiler framework supports a selection of loop transformations...
read it

Community Organizations: Changing the Culture in Which Research Software Is Developed and Sustained
Software is the key crosscutting technology that enables advances in mat...
read it

Evaluation of Intel Memory Drive Technology Performance for Scientific Applications
In this paper, we present benchmark data for Intel Memory Drive Technolo...
read it

DeepSZ: A Novel Framework to Compress Deep Neural Networks by Using ErrorBounded Lossy Compression
DNNs have been quickly and broadly exploited to improve the data analysi...
read it

Learning to Solve LargeScale SecurityConstrained Unit Commitment Problems
SecurityConstrained Unit Commitment (SCUC) is a fundamental problem in ...
read it

The KalaiSmorodinski solution for manyobjective Bayesian optimization
An ongoing aim of research in multiobjective Bayesian optimization is to...
read it

Probabilistic Recalibration of Forecasts
We present a scheme by which a probabilistic forecasting system whose pr...
read it

A Benchmarking Study to Evaluate Apache Spark on LargeScale Supercomputers
As dataset sizes increase, data analysis tasks in high performance compu...
read it

Neuromorphic Acceleration for Approximate Bayesian Inference on Neural Networks via Permanent Dropout
As neural networks have begun performing increasingly critical tasks for...
read it

Parsl: Pervasive Parallel Programming in Python
Highlevel programming languages such as Python are increasingly used to...
read it

Scaling Distributed Training of FloodFilling Networks on HPC Infrastructure for Brain Mapping
Mapping all the neurons in the brain requires automatic reconstruction o...
read it

Neuromorphic Architecture Optimization for TaskSpecific Dynamic Learning
The ability to learn and adapt in real time is a central feature of biol...
read it

Improving MPI Collective I/O Performance With Intranode Request Aggregation
Twophase I/O is a wellknown strategy for implementing collective MPII...
read it

Centroidal Voronoi Tessellation Based Methods for Optimal Rain Gauge Location Prediction
With more satellite and model precipitation data becoming available, new...
read it

Scalable ReinforcementLearningBased Neural Architecture Search for Cancer Deep Learning Research
Cancer is a complex disease, the understanding and treatment of which ar...
read it

Using recurrent neural networks for nonlinear component computation in advectiondominated reducedorder models
Rapid simulations of advectiondominated problems are vital for multiple...
read it

MaLTESE: LargeScale SimulationDriven Machine Learning for Transient Driving Cycles
Optimal engine operation during a transient driving cycle is the key to ...
read it

GraphPartitioningBased Diffusion Convolution Recurrent Neural Network for LargeScale Traffic Forecasting
Traffic forecasting approaches are critical to developing adaptive strat...
read it

Deep Learning Accelerated Light Source Experiments
Experimental protocols at synchrotron light sources typically process an...
read it

Evaluating Quantum Approximate Optimization Algorithm: A Case Study
Quantum Approximate Optimization Algorithm (QAOA) is one of the most pro...
read it

Modular Deep Learning Analysis of GalaxyScale Strong Lensing Images
Strong gravitational lensing of astrophysical sources by foreground gala...
read it

ReinforcementLearningBased Variational Quantum Circuits Optimization for Combinatorial Problems
Quantum computing exploits basic quantum phenomena such as state superpo...
read it
Argonne National Laboratory
Argonne National Laboratory is a science and engineering research national laboratory operated by the University of Chicago Argonne LLC for the United States Department of Energy located near Lemont, Illinois, outside Chicago.