English
Related papers

Related papers: Accurate simulation of operating system updates in…

200 papers

Despite the progress in deep learning networks, efficient learning at the edge (enabling adaptable, low-complexity machine learning solutions) remains a critical need for defense and commercial applications. We envision a pipeline to…

In recent years, half precision floating-point arithmetic has gained wide support in hardware and software stack thanks to the advance of artificial intelligence and machine learning applications. Operating at half precision can…

Numerical Analysis · Mathematics 2024-09-19 Longfei Gao , Kevin Harms

To fully take advantage of the data provided by large-scale structure surveys, we need to quantify the potential impact of baryonic effects, such as feedback from active galactic nuclei (AGN) and star formation, on cosmological observables.…

Two-way coupled DNS simulation of particle-laden turbulent Couette-flow [1], in the volume fraction regime $\phi>10^{-4}$, showed a discontinuous decrease of turbulence intensity beyond a critical volume fraction…

Fluid Dynamics · Physics 2022-04-04 Swagnik Ghosh , Partha Sarathi Goswami

Intermittently powered devices enable new applications in harsh or inaccessible environments, such as space or in-body implants, but also introduce problems in programmability and correctness. Researchers have developed programming models…

Programming Languages · Computer Science 2021-06-29 Milijana Surbatovich , Limin Jia , Brandon Lucia

Numerical accuracy of floating point computation is a well studied topic which has not made its way to the end-user in scientific computing. Yet, it has become a critical issue with the recent requirements for code modernization to harness…

Mathematical Software · Computer Science 2018-11-12 Christophe Denis , Pablo De Oliveira Castro , Eric Petit

We report recent progress in computer simulations of quantum systems described in the path-integral formulation. For the example of the $\phi^4$ quantum chain we show that the accuracy of the simulation may greatly be enhanced by a…

Condensed Matter · Physics 2007-05-23 Wolfhard Janke , Tilman Sauer

The propagation of cracks driven by a pressurized fluid emerges in several areas of engineering, including structural, geotechnical, and petroleum engineering. We present a robust numerical framework to simulate fluid-driven fracture…

Computational Engineering, Finance, and Science · Computer Science 2023-07-19 Bianca Giovanardi , Santiago Serebrinsky , Raul Radovitzky

To ensure resilient neural network processing on even unreliable hardware, comprehensive reliability analysis against various hardware faults is generally required before the deep neural network models are deployed, and efficient error…

Machine Learning · Computer Science 2023-12-25 Haitong Huang , Cheng Liu , Bo Liu , Xinghua Xue , Huawei Li , Xiaowei Li

Hybrid neural ordinary differential equations (neural ODEs) integrate mechanistic models with neural ODEs, offering strong inductive bias and flexibility, and are particularly advantageous in data-scarce healthcare settings. However,…

Machine Learning · Computer Science 2026-03-04 Bob Junyi Zou , Lu Tian

This paper presents a Fourier integral pseudospectral (FIPS) method for a general class of nonlinear, periodic optimal control (OC) problems with equality and/or inequality constraints and sufficiently smooth solutions. In this scheme, the…

Optimization and Control · Mathematics 2023-11-14 Kareem T. Elgindy

Machine learning (ML) is an increasingly important scientific tool supporting decision making and knowledge generation in numerous fields. With this, it also becomes more and more important that the results of ML experiments are…

Machine Learning · Computer Science 2020-06-23 Sheeba Samuel , Frank Löffler , Birgitta König-Ries

Probabilistic prediction of sequences from images and other high-dimensional data is a key challenge, particularly in risk-sensitive applications. In these settings, it is often desirable to quantify the uncertainty associated with the…

Machine Learning · Computer Science 2024-10-31 Qidong Yang , Weicheng Zhu , Joseph Keslin , Laure Zanna , Tim G. J. Rudner , Carlos Fernandez-Granda

Confidence calibration is central to providing accurate and interpretable uncertainty estimates, especially under safety-critical scenarios. However, we find that existing calibration algorithms often overlook the issue of *proximity bias*,…

Machine Learning · Computer Science 2024-03-19 Miao Xiong , Ailin Deng , Pang Wei Koh , Jiaying Wu , Shen Li , Jianqing Xu , Bryan Hooi

Over recent years, deep learning based image registration has achieved impressive accuracy in many domains, including medical imaging and, specifically, human neuroimaging with magnetic resonance imaging (MRI). However, the uncertainty…

Computer Vision and Pattern Recognition · Computer Science 2025-03-11 Xiaoling Hu , Karthik Gopinath , Peirong Liu , Malte Hoffmann , Koen Van Leemput , Oula Puonti , Juan Eugenio Iglesias

With the rapid advancement of Internet technology, the threat of malware to computer systems and network security has intensified. Malware affects individual privacy and security and poses risks to critical infrastructures of enterprises…

Cryptography and Security · Computer Science 2024-10-15 Lixia Zhang , Tianxu Liu , Kaihui Shen , Cheng Chen

Software containers greatly facilitate the deployment and reproducibility of scientific data analyses in various platforms. However, container images often contain outdated or unnecessary software packages, which increases the number of…

Cryptography and Security · Computer Science 2021-03-18 Bhupinder Kaur , Mathieu Dugré , Aiman Hanna , Tristan Glatard

Numerical studies of shock waves in large scale systems via kinetic simulations with millions of particles are too computationally demanding to be processed in serial. In this work we focus on optimizing the parallel performance of a…

Computational Physics · Physics 2015-07-10 Jim Howell , Wolfgang Bauer , Dirk Colbry , Rodney Pickett , Alec Staber , Irina Sagert , Terrance Strother

Path integral Monte Carlo (PIMC) simulations are a cornerstone for studying quantum many-body systems. The analytic continuation (AC) needed to estimate dynamic quantities from these simulations is an inverse Laplace transform, which is…

Computational Physics · Physics 2025-11-07 Alexander Benedix Robles , Phil-Alexander Hofmann , Thomas Chuna , Tobias Dornheim , Michael Hecht

Fine-tuning LLMs on tabular classification tasks can lead to the phenomenon of fine-tuning multiplicity where equally well-performing models make conflicting predictions on the same input. Fine-tuning multiplicity can arise due to…

Machine Learning · Computer Science 2025-06-05 Faisal Hamman , Pasan Dissanayake , Saumitra Mishra , Freddy Lecue , Sanghamitra Dutta