English
Related papers

Related papers: A Mathematica Interface for FormCalc-generated Cod…

200 papers

The Interaction-Transformation (IT) is a new representation for Symbolic Regression that restricts the search space into simpler, but expressive, function forms. This representation has the advantage of creating a smoother search space…

Machine Learning · Computer Science 2020-09-22 Fabricio Olivetti de Franca , Guilherme Seidyo Imai Aldeia

Java implementations of algorithms used by spreadsheets to automatically recompute the set of cells dependent on a changed cell are described using a mathematical model for spreadsheets based on graph theory. These solutions comprise part…

Data Structures and Algorithms · Computer Science 2007-05-23 Joe Francoeur

In this work, we develop a cutting method for solving problems with moving and growing interfaces in 3D. This new method is able to resolve large displacement or deformation of immersed objects by combining the Arbitrary Lagrangian-Eulerian…

Numerical Analysis · Mathematics 2015-08-03 Ulrich Langer , Huidong Yang

In this paper, we show how to construct a factor graph from a network code. This provides a systematic framework for decoding using message passing algorithms. The proposed message passing decoder exploits knowledge of the underlying…

Information Theory · Computer Science 2009-04-21 Daniel Salmond , Alex Grant , Terence Chan , Ian Grivell

To harness the potential of advanced computing technologies, efficient (real time) analysis of large amounts of data is as essential as are front-line simulations. In order to optimise this process, experts need to be supported by…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-07-03 Jovana Knežević , Ralf-Peter Mundani , Ernst Rank

We present IMPACT, a flexible toolchain for nonlinear model predictive control (NMPC) specification with automatic code generation capabilities. The toolchain reduces the engineering complexity of NMPC implementations by providing the user…

Optimization and Control · Mathematics 2024-01-04 Alvaro Florez , Alejandro Astudillo , Wilm Decré , Jan Swevers , Joris Gillis

Monte Carlo (MC) simulations of lattice models are a widely used way to compute thermodynamic properties of substitutional alloys. A limitation to their more widespread use is the difficulty of driving a MC simulation in order to obtain the…

Statistical Mechanics · Physics 2009-11-07 A. van de Walle , M. Asta

The computer simulation of quasistationary Stefan problem has been realized. Different representations of the Laplacian growth model are considered. The main attention has been paid for the interface dynamics represented by integro…

Adaptation and Self-Organizing Systems · Physics 2007-05-23 R. Andrushkiw , V. Gafiychuk , R. Zabrodsky

Taking partial traces for computing reduced density matrices, or related functions, is a ubiquitous procedure in the quantum mechanics of composite systems. In this article, we present a thorough description of this function and analyze the…

Quantum Physics · Physics 2016-08-25 Jonas Maziero

We present the VASPKIT, a command-line program that aims at providing a powerful and user-friendly interface to perform high-throughput analysis of a variety of material properties from the raw data produced by the VASP code. It consists of…

Materials Science · Physics 2021-06-03 Vei Wang , Nan Xu , Jin Cheng Liu , Gang Tang , Wen-Tong Geng

Topologies of large deformation Contact-aided Compliant Mechanisms (CCMs), with self and mutual contact, exemplified via path generation applications, are designed using the continuum synthesis approach. Design domains are parameterized…

Computational Engineering, Finance, and Science · Computer Science 2018-10-24 Prabhat Kumar , Anupam Saxena , Roger A. Sauer

The context of this work is the design of a software, called MEMSALab, dedicated to the automatic derivation of multiscale models of arrays of micro- and nanosystems. In this domain a model is a partial differential equation. Multiscale…

Symbolic Computation · Computer Science 2015-03-17 Walid Belkhir , Alain Giorgetti , Michel Lenczner

A large amount of numerically-oriented code is written and is being written in legacy languages. Much of this code could, in principle, make good use of data-parallel throughput-oriented computer architectures. Loo.py, a…

Programming Languages · Computer Science 2015-05-19 Andreas Klöckner

The conventional no-slip boundary condition leads to a non-integrable stress singularity at a moving contact line. This makes numerical simulations challenging, especially when capillary effects are essential for the dynamics of the flow.…

Fluid Dynamics · Physics 2017-09-18 Hanna Holmgren , Gunilla Kreiss

The formula-evaluation problem is defined recursively. A formula's evaluation is the evaluation of a gate, the inputs of which are themselves independent formulas. Despite this pure recursive structure, the problem is combinatorially…

Quantum Physics · Physics 2009-07-10 Ben W. Reichardt

At the heart of any finite element simulation is the assembly of matrices and vectors from discrete variational forms. We propose a general interface between problem-specific and general-purpose components of finite element programs. This…

Numerical Analysis · Mathematics 2012-05-15 Martin Sandve Alnæs , Anders Logg , Kent-Andre Mardal , Ola Skavhaug , Hans Petter Langtangen

A coarse-grained cellular automaton is proposed to simulate traffic systems. There, cells represent road sections. A cell can be in two states: jammed or passable. Numerical calculations are performed for a piece of square lattice with open…

Cellular Automata and Lattice Gases · Physics 2015-06-12 Malgorzata J. Krawczyk , Krzysztof Kulakowski

A MATLAB program for computing differentiation matrices for arbitrary one-dimensional meshes is presented in this manuscript. The differentiation matrices for a mesh of N arbitrarily spaced points are formed from those obtained using…

Numerical Analysis · Mathematics 2019-10-30 Miguel Pérez-Saborid

Legacy codes are in ubiquitous use in scientific simulations; they are well-tested and there is significant time investment in their use. However, one challenge is the adoption of new, sometimes incompatible computing paradigms, such as GPU…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-09-11 Nicolas Nytko , Andrew Reisner , J. David Moulton , Luke N. Olson , Matthew West

We introduce a new method to treat Majorana fermions on the GRACE system, which has already been developed for the computation of the matrix elements for the processes of the standard model. In the standard model, we already have included…

High Energy Physics - Phenomenology · Physics 2007-05-23 Masato JIMBO , Tadashi KON , Hidekazu TANAKA , Toshiaki KANEKO , Minami-Tateya collaboration
‹ Prev 1 8 9 10 Next ›