Results 1 to 10 of about 202,791 (96)
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
Bayesian Inverse Uncertainty Quantification of the Physical Model Parameters for the Spallation Neutron Source First Target Station [PDF]
Results in Physics 36 (2022) 105414, 2022 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
Coherence of Type Class Resolution [PDF]
, 2019 Elaboration-based type class resolution, as found in languages like Haskell, Mercury and PureScript, is generally nondeterministic: there can be multiple ways to satisfy a wanted constraint in terms of global instances and locally given constraints.
arxiv +1 more source
Mercury Lander: Planetary Mission Concept Study for the 2023-2032 Decadal Survey [PDF]
arXiv, 2021 As an end-member of terrestrial planet formation, Mercury holds unique clues about the original distribution of elements in the earliest stages of solar system development and how planets and exoplanets form and evolve in close proximity to their host stars.
arxiv
Improving Neural Model Performance through Natural Language Feedback on Their Explanations [PDF]
arXiv, 2021 A class of explainable NLP models for reasoning tasks support their decisions by generating free-form or structured explanations, but what happens when these supporting structures contain errors? Our goal is to allow users to interactively correct explanation structures through natural language feedback.
arxiv
Collecting Graphical Abstract Views of Mercury Program Executions [PDF]
arXiv, 2000 A program execution monitor is a program that collects and abstracts information about program executions. The "collect" operator is a high level, general purpose primitive which lets users implement their own monitors. "Collect" is built on top of the Mercury trace.
arxiv
Profiling parallel Mercury programs with ThreadScope [PDF]
arXiv, 2011 The behavior of parallel programs is even harder to understand than the behavior of sequential programs. Parallel programs may suffer from any of the performance problems affecting sequential programs, as well as from several problems unique to parallel systems.
arxiv
FluidSim: modular, object-oriented Python package for high-performance CFD simulations [PDF]
, 2018 The Python package fluidsim is introduced in this article as an extensible framework for Computational Fluid Mechanics (CFD) solvers. It is developed as a part of FluidDyn project (Augier et al., 2018), an effort to promote open-source and open-science collaboration within fluid mechanics community and intended for both educational as well as research ...
arxiv +1 more source
Programming Languages and Law: A Research Agenda [PDF]
arXiv, 2022 If code is law, then the language of law is a programming language. Lawyers and legal scholars can learn about law by studying programming-language theory, and programming-language tools can be usefully applied to legal problems. This article surveys the history of research on programming languages and law and presents ten promising avenues for future ...
arxiv