中文
相关论文

相关论文: A Mathematica Interface for FormCalc-generated Cod…

200 篇论文

The problem deals with an exact calculation of the intersection area of a circle arbitrary placed on a grid of square shaped elements with gaps between them (finite fill factor). Usually an approximation is used for the calculation of the…

图形学 · 计算机科学 2018-12-31 Dmitrij Gendler , Christian Eisele , Dirk Seiffer , Norbert Wendelstein

A phase-field formulation is introduced to simulate quantitatively microstructural pattern formation in alloys. The thin-interface limit of this formulation yields a much less stringent restriction on the choice of interface thickness than…

材料科学 · 物理学 2016-08-31 Alain Karma

Verification of software systems is a very hard problem due to the large size of program state-space. The traditional techniques (like model checking) do not scale; since they include the whole state-space by inlining the library function…

计算机科学中的逻辑 · 计算机科学 2010-05-03 Pritam Roy

Evaluation of the Voigt function, a convolution of a Lorentzian and a Gaussian profile, is essential in various fields such as spectroscopy, atmospheric science, and astrophysics. Efficient computation of the function is crucial, especially…

天体物理仪器与方法 · 物理学 2024-11-05 Mofreh R. Zaghloul , Jacques Le Bourlot

This manual describes the library of conjugate gradients codes CCGPAK, which solves system of complex linear system of equations. The library is written in FORTRAN90 and is highly portable. The codes are general and provide mechanism for…

数学软件 · 计算机科学 2012-08-27 Piotr J. Flatau

Physics-based simulation is essential for developing and evaluating robot manipulation policies, particularly in scenarios involving deformable objects and complex contact interactions. However, existing simulators often struggle to balance…

机器人学 · 计算机科学 2024-09-26 Wenxin Du , Chang Yu , Siyu Ma , Ying Jiang , Zeshun Zong , Yin Yang , Joe Masterjohn , Alejandro Castro , Xuchen Han , Chenfanfu Jiang

UniFrac is a family of distance metrics over microbial abundances, that take taxonomic relatedness into account. Current tools and libraries for calculating UniFrac have specific requirements regarding the user's technical expertise,…

定量方法 · 定量生物学 2024-04-18 Amit Lavon , Smadar Shilo , Ayya Keshet , Eran Segal

Fortran's prominence in scientific computing requires strategies to ensure both that legacy codes are efficient on high-performance computing systems, and that the language remains attractive for the development of new high-performance…

天体物理仪器与方法 · 物理学 2024-09-13 James McKevitt , Eduard I. Vorobyov , Igor Kulikov

We provide a theoretical framework to analyze the properties of frontal collisions of two growing interfaces considering different short range interactions between them. Due to their roughness, the collision events spread in time and form…

统计力学 · 物理学 2019-02-05 Fabio D. A. Aarao Reis , Olivier Pierre-Louis

The calibration of an advanced constitutive law for soil is a challenging task. This work describes GA-cal, a Fortran software for automatically calibrating constitutive laws using Genetic Algorithms (GA) optimization. The proposed approach…

神经与进化计算 · 计算机科学 2022-11-28 Francisco J. Mendez , Miguel A. Mendez , Antonio Pasculli

The first version of a computer program "eett6f" for calculating cross sections of e+e- -> 6 fermions processes relevant for a t\bar{t}-pair production and decay at centre of mass energies typical for linear colliders is presented. "eett6f…

高能物理 - 唯象学 · 物理学 2009-11-07 Karol Kolodziej

In this paper, we combine ideas from two different scientific traditions: 1) graph transformation systems (GTSs) stemming from the theory of formal languages and concurrency, and 2) mean field approximations (MFAs), a collection of…

计算机科学中的逻辑 · 计算机科学 2020-09-11 Vincent Danos , Tobias Heindel , Ricardo Honorato-Zimmer , Sandro Stucki

Using standard components of modern Fortran we present a technique to dynamically generate strings with as little coding overhead as possible on the application side. Additionally we demonstrate how this can be extended to allow for output…

编程语言 · 计算机科学 2024-09-06 Marcus Mohr

The primary objectives of this paper are to present the construction of bivariate fractal interpolation functions over triangular interpolating domain using the concept of vertex coloring and to propose a double integration formula for the…

综合数学 · 数学 2022-10-13 Aparna M P , P Paramanathan

A fractal surface is a set which is a graph of a bivariate continuous function. In the construction of fractal surfaces using IFS, vertical scaling factors in IFS are important one which characterizes a fractal feature of surfaces…

动力系统 · 数学 2014-04-07 Chol-Hui Yun , Hui-Chol Choi , Hyong-Chol O

Spreadsheets are widely recognized as the most popular end-user programming tools, which blend the power of formula-based computation, with an intuitive table-based interface. Today, spreadsheets are used by billions of users to manipulate…

数据库 · 计算机科学 2024-04-22 Sibei Chen , Yeye He , Weiwei Cui , Ju Fan , Song Ge , Haidong Zhang , Dongmei Zhang , Surajit Chaudhuri

The R functions .C() and .Fortran() can be used to call compiled C/C++ and Fortran code from R. This so-called foreign function interface is convenient, since it does not require any interactions with the C API of R. However, it does not…

统计计算 · 统计学 2018-08-20 Florian Gerber , Kaspar Mösinger , Reinhard Furrer

We present the Flowgen tool, which generates flowcharts from annotated C++ source code. The tool generates a set of interconnected high-level UML activity diagrams, one for each function or method in the C++ sources. It provides a simple…

软件工程 · 计算机科学 2014-05-14 David A. Kosower , J. J. Lopez-Villarejo

The current version of 'carlomat', a program for automatic computation of the lowest order cross sections of multiparticle reactions, is described. The program can be used as the Monte Carlo generator of unweighted events as well.

高能物理 - 唯象学 · 物理学 2014-11-18 Karol Kolodziej

We introduce a high-performance virtual machine (VM) written in a numerically fast language like Fortran or C to evaluate very large expressions. We discuss the general concept of how to perform computations in terms of a VM and present…

计算物理 · 物理学 2015-09-22 Bijan Chokoufe Nejad , Thorsten Ohl , Jürgen Reuter