English
Related papers

Related papers: Automatic Differentiation of a Finite-Volume-Based…

200 papers

A visual programming language uses pictorial tools such as diagrams to represent its structural units and control stream. It is useful for enhancing understanding, maintenance, verification, testing, and parallelism. This paper proposes a…

Programming Languages · Computer Science 2013-04-23 Sabah Al-Fedaghi

High-throughput computational screening of polymers offers a powerful way to address the imbalance between the vast number of polymers synthesised for diverse applications and the relatively small subset that can be studied using atomistic…

Materials Science · Physics 2026-03-12 Lois Smith , Samuel Ericson , Vittoria Fantauzzo , Chin Yong , Paola Carbone , Alessandro Troisi

In this paper, we propose the Templet -- a runtime system for actor programming of high performance computing in C++. We provide a compact source code of the runtime system, which uses standard library of C++11 only. We demonstrate how it…

Programming Languages · Computer Science 2017-02-20 Sergey Vostokin , Ekaterina Skoryupina

Domain specific languages have successfully been used in a variety of fields to cleanly express scientific problems as well as to simplify implementation and performance opti- mization on different computer architectures. Although a large…

Mathematical Software · Computer Science 2016-10-11 Navjot Kukreja , Mathias Louboutin , Felippe Vieira , Fabio Luporini , Michael Lange , Gerard Gorman

We develop a general methodology for the inclusion of variable surface tension into a Volume-of-Fluid based Navier-Stokes solver. This new numerical model provides a robust and accurate method for computing the surface gradients directly by…

Fluid Dynamics · Physics 2017-11-22 Ivana Seric , Shahriar Afkhami , Lou Kondic

We propose a quantum algorithm to solve systems of nonlinear differential equations. Using a quantum feature map encoding, we define functions as expectation values of parametrized quantum circuits. We use automatic differentiation to…

Quantum Physics · Physics 2021-05-20 Oleksandr Kyriienko , Annie E. Paine , Vincent E. Elfving

In this study, a smoothed particle hydrodynamics (SPH) model that applies a segment-based boundary treatment is used to simulate natural convection. In a natural convection simulated using an SPH model, the wall boundary treatment is a…

Fluid Dynamics · Physics 2023-11-28 Hyung-Jun Park , Jaekwang Kim , Hyojin Kim

The use of deep learning methods for modeling fluid flow has drawn a lot of attention in the past few years. In situations where conventional numerical approaches can be computationally expensive, these techniques have shown promise in…

We present a direct numerical simulation method for investigating the dynamics of dispersed particles in a compressible solvent fluid. The validity of the simulation is examined by calculating the velocity relaxation of an impulsively…

Soft Condensed Matter · Physics 2015-06-04 Rei Tatsumi , Ryoichi Yamamoto

We introduce a new method of solution for the convective heat transfer under forced laminar flow that is confined by two parallel plates with a distance of 2a or by a circular tube with a radius of a. The advection-conduction equation is…

Mathematical Physics · Physics 2018-08-30 Zhijie Xu

This paper presents an artificial intelligence algorithm that can be used to derive formulas from various scientific disciplines called automatic derivation machine. First, the formula is abstractly expressed as a multiway tree model, and…

Artificial Intelligence · Computer Science 2018-08-16 MinZhong Luo , Li Liu

We propose a method for automatically generating abstract transformers for static analysis by abstract interpretation. The method focuses on linear constraints on programs operating on rational, real or floating-point variables and…

Programming Languages · Computer Science 2008-11-04 David Monniaux

This paper develops methodology for local sensitivity analysis based on directional derivatives associated with spatial processes. Formal gradient analysis for spatial processes was elaborated in previous papers, focusing on distribution…

Statistics Theory · Mathematics 2015-03-31 Maria A. Terres , Alan E. Gelfand

In this paper, we introduce a technique to enhance the computational efficiency of solution algorithms for high-dimensional discrete simulation-based optimization problems. The technique is based on innovative adaptive partitioning…

Optimization and Control · Mathematics 2024-12-04 Jing Lu , Tianli Zhou , Carolina Osorio

A key ingredient to achieving intelligent behavior is physical understanding that equips robots with the ability to reason about the effects of their actions in a dynamic environment. Several methods have been proposed to learn dynamics…

Robotics · Computer Science 2020-01-24 David Millard , Eric Heiden , Shubham Agrawal , Gaurav S. Sukhatme

En este trabajo se presenta una propuesta para realizar Diferenciaci\'on Autom\'atica Anidada utilizando cualquier biblioteca de Diferenciaci\'on Autom\'atica que permita sobrecarga de operadores. Para calcular las derivadas anidadas en una…

Symbolic Computation · Computer Science 2014-05-20 Juan Luis Valerdi , Fernando Raul Rodriguez

We present a differentiation framework for plane-wave density-functional theory (DFT) that combines the strengths of forward-mode algorithmic differentiation (AD) and density-functional perturbation theory (DFPT). In the resulting AD-DFPT…

Materials Science · Physics 2025-12-23 Niklas Frederik Schmitz , Bruno Ploumhans , Michael F. Herbst

Engineering simulations using boundary-value partial differential equations often implicitly assume that the uncertainty in the location of the boundary has a negligible impact on the output of the simulation. In this work, we develop a…

Tissues and Organs · Quantitative Biology 2024-06-11 S. Gerry Gralton , Farah Alkhatib , Ben Zwick , George Bourantas , Adam Wittek , Karol Miller

The cost of combustion simulations is often dominated by the evaluation of net production rates of chemical species and mixture thermodynamics (thermochemistry). Execution on computing accelerators (XPUs) like graphic processing units…

In the present study, a discrete forcing Immersed Boundary Method (IBM) is proposed for the numerical simulation of high-speed flow problems including heat exchange. The flow field is governed by the compressible Navier-Stokes equations,…

Fluid Dynamics · Physics 2023-01-24 Hamza Riahi , Eric Goncalves , Marcello Meldi