Results 11 to 20 of about 572,722 (166)
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury [PDF]
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. This system indicates which datastructures can safely be reused at run-time.
Nancy Mazur+3 more
arxiv +3 more sources
The execution algorithm of mercury, an efficient purely declarative logic programming language
Zoltán Somogyi+2 more
openalex +2 more sources
Percolation modeling of hydraulic hysteresis in a porous media [PDF]
In this paper we consider various models of hydraulic hysteresis in invasive mercury porosimetry. For simulating the hydraulic hysteresis is used isotropic site percolation on three-dimensional square lattices with $(1,\,\pi)$-neighborhood.
Pavel Valentinovich Moskalev
doaj +1 more source
An elementary approach to simulating the perihelion of Mercury
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]
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
Global Mercury Footprint Evaluation using a Geographical Pollutant Propagation Model
This work presents a method for the accurate evaluation of the footprint of chemical pollutants on a global scale. An extension of the standard pollution propagation models is proposed to calculate the chemical footprint efficiently.
Anna Makarova+2 more
doaj +1 more source
Bayesian Inverse Uncertainty Quantification of the Physical Model Parameters for the Spallation Neutron Source First Target Station [PDF]
The reliability of the mercury spallation target is mission-critical for the neutron science program of the spallation neutron source at the Oak Ridge National Laboratory. We present an inverse uncertainty quantification (UQ) study using the Bayesian framework for the mercury equation of state model parameters, with the assistance of polynomial chaos ...
arxiv +1 more source
Binding-Time Analysis for Mercury
In this paper, we describe a binding-time analysis (BTA) for a statically typed and strongly moded pure logic programming language, in casu Mercury.
Wim Vanhoof, M. Bruynooghe, M. Leuschel
semanticscholar +2 more sources
Objective The Plants for Joints (PFJ) intervention, including a whole‐food plant‐based diet, exercise, and stress reduction, reduced signs and symptoms of rheumatoid arthritis (RA) or metabolic syndrome–associated hip or knee osteoarthritis (MSOA) compared to usual care.
Carlijn A. Wagenaar+10 more
wiley +1 more source
Nested Selves: Self‐Organization and Shared Markov Blankets in Prenatal Development in Humans
Abstract The immune system is a central component of organismic function in humans. This paper addresses self‐organization of biological systems in relation to—and nested within—other biological systems in pregnancy. Pregnancy constitutes a fundamental state for human embodiment and a key step in the evolution and conservation of our species. While not
Anna Ciaunica+3 more
wiley +1 more source