An elementary approach to simulating the perihelion of Mercury
European journal of physics, 2023 The relativistic correction to the precession of the perihelion of Mercury provided key evidence for the accuracy of general relativity as a theory of gravity.
Hollis Williams
semanticscholar +1 more source
What can the programming language Rust do for astrophysics? [PDF]
Proceedings of the International Astronomical Union, 2016 The astrophysics community uses different tools for computational tasks such as complex systems simulations, radiative transfer calculations or big data. Programming languages like Fortran, C or C++ are commonly present in these tools and, generally, the
Sergi Blanco-Cuaresma, É. Bolmont
semanticscholar +1 more source
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury [PDF]
International Conference on Logic Programming, 2001 Compile-time garbage collection (CTGC) is still a very uncommon feature within compilers. In previous work we have developed a compile-time structure reuse system for Mercury, a logic programming language.
Nancy Mazur +3 more
semanticscholar +1 more source
Finding Minimal Cost Herbrand Models with Branch-Cut-and-Price
, 2018 Given (1) a set of clauses $T$ in some first-order language $\cal L$ and (2) a cost function $c : B_{{\cal L}} \rightarrow \mathbb{R}_{+}$, mapping each ground atom in the Herbrand base $B_{{\cal L}}$ to a non-negative real, then the problem of finding a
Cussens, James
core +1 more source
Description and Optimization of Abstract Machines in a Dialect of Prolog [PDF]
, 2014 In order to achieve competitive performance, abstract machines for Prolog and related languages end up being large and intricate, and incorporate sophisticated optimizations, both at the design and at the implementation levels.
Carro, Manuel +2 more
core +2 more sources
First-order integer programming for MAP problems
, 2015 Finding the most probable (MAP) model in SRL frameworks such as Markov logic and Problog can, in principle, be solved by encoding the problem as a `grounded-out' mixed integer program (MIP).
Cussens, James
core +1 more source
The GENGA Code: Gravitational Encounters in N-body simulations with GPU Acceleration [PDF]
, 2014 We describe an open source GPU implementation of a hybrid symplectic N-body integrator, GENGA (Gravitational ENcounters with Gpu Acceleration), designed to integrate planet and planetesimal dynamics in the late stage of planet formation and stability ...
Grimm, Simon L., Stadel, Joachim G.
core +1 more source
Analysis of Polymorphically Typed Logic Programs Using ACI-Unification
, 2001 Analysis of (partial) groundness is an important application of abstract interpretation. There are several proposals for improving the precision of such an analysis by exploiting type information, icluding our own work with Hill and King, where we had ...
Smaus, Jan-Georg
core +2 more sources
Microcomputer-controlled polarographic instrumentation and its use in the determination of stability constants of crown ether complexes [PDF]
, 1985 A computer-controlled polarographic system is described, based on a commercially available polarograph interfaced to a microcomputer. Experiments are controlled and monitored entirely from software, including automatic evaluation of the Tast polarograms ...
Bos, M. +3 more
core +3 more sources
Improving Prolog Programs: Refactoring for Prolog
, 2004 Refactoring is an established technique from the OO-community to restructure code: it aims at improving software readability, maintainability and extensibility.
A. Pettorossi +10 more
core +1 more source