The execution algorithm of mercury, an efficient purely declarative logic programming language
The Journal of Logic Programming, 1996 AbstractWe introduce Mercury, a new purely declarative logic programming language designed to provide the support that groups of application programmers need when building large programs. Mercury's strong type, mode, and determinism systems improve program reliability by catching many errors at compile time.
Thomas C. Conway +2 more
openaire +3 more sources
Percolation modeling of hydraulic hysteresis in a porous media [PDF]
Компьютерные исследования и моделирование, 2014 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
Global Mercury Footprint Evaluation using a Geographical Pollutant Propagation Model
Chemical Engineering Transactions, 2020 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
Educator beliefs and organizational constraints: Factors that influence informal education about fish consumption advisories in a southeastern US state. [PDF]
Sustain Environ, 2023 Gray KM, Blanchard MR, LePrevost CE.
europepmc +1 more source
Mixtures of Metals and Micronutrients in Early Pregnancy and Cognition in Early and Mid-Childhood: Findings from the Project Viva Cohort. [PDF]
Environ Health Perspect, 2023 Thilakaratne R +8 more
europepmc +1 more source
Inequities in Canadian maternal-child healthcare are perpetuating the intergenerational effects of colonization for indigenous women and children. [PDF]
Front Glob Womens HealthWeckman AM, Farrugia P.
europepmc +1 more source
Heavy Metals in Umbilical Cord Blood: Effects on Epigenetics and Child Development. [PDF]
CellsDutta S, Ruden DM.
europepmc +1 more source
Biosensor characterization: formal methods from the perspective of proteome fractions. [PDF]
Synth Biol (Oxf)Vaccari NA +3 more
europepmc +1 more source
The correlation between heavy metal ions in blood and metabolic dysfunction-associated steatotic liver disease from 1999 to 2018 based on NHANES data. [PDF]
Front Public HealthMa H, Zhao J, Xu J.
europepmc +1 more source
Seafood During Pregnancy and Lactation and Child Neurocognitive Development: A Systematic Review. [PDF]
Adv NutrO'Connor LE +5 more
europepmc +1 more source