Results 21 to 30 of about 395,929 (170)
Nonequilibrium Time Reversibility with Maps and Walks
Entropy, 2022 Time-reversible dynamical simulations of nonequilibrium systems exemplify both Loschmidt’s and Zermélo’s paradoxes. That is, computational time-reversible simulations invariably produce solutions consistent with the irreversible Second Law of ...
William Graham Hoover +2 more
doaj +1 more source
DIGITAL EARTH OBSERVATION INFRASTRUCTURES AND INITIATIVES: A REVIEW FRAMEWORK BASED ON OPEN PRINCIPLES [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2023 Recent years have seen a tremendous increase of digital Earth Observation (EO) infrastructures, which provide web-based environments for accessing and processing data in a highly automated and scalable way.
M. Di Leo +9 more
doaj +1 more source
SSRN Electronic Journal, 2010 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Piero Gottardi +2 more
openaire +10 more sources
Proceedings of the 24th ACM Conference on Economics and Computation, 2023 We explore the deliberate infusion of ambiguity into the design of contracts. We show that when the agent is ambiguity‐averse and hence chooses an action that maximizes their minimum utility, the principal can strictly gain from using an ambiguous contract, and this gain can be arbitrarily high.
Paul Dütting +3 more
openaire +2 more sources
Completeness of neutron-, photo-induced and spontaneous fission yields data [PDF]
EPJ Web of Conferences, 2020 Nuclear data collection, evaluation and dissemination activities have been performed worldwide for many years. They are absolutely essential for the overall progress of science and technology to create the complete collections of experimental data sets ...
Pritychenko B. +4 more
doaj +1 more source
Focusing on Contraction. [PDF]
, 2013 Focusing [1] is a proof-theoretic device to structure proof search in the sequent calculus: it provides a normal form to cut-free proofs in which the application of invertible and non-invertible inference rules is structured in two separate and disjoint phases.
A. Avellone +2 more
openaire +3 more sources
The Intelligible Contract [PDF]
Proceedings of the Annual Hawaii International Conference on System Sciences, 2020 n ...
luca cervone +2 more
openaire +3 more sources
Levi Contractions and AGM Contractions: A Comparison
Notre Dame Journal of Formal Logic, 1995 Among the AGM postulates for contraction, the one that has been most open to query is that of recovery. In his book: The fixation of belief and its undoing (Cambridge UK, 1991), \textit{Isaac Levi} proposed modifying the AGM partial meet construction for contraction in such a way as to invalidate recovery.
Hansson, Sven Ove, Olsson, Erik J.
openaire +2 more sources
Contracting planar graphs to contractions of triangulations
Journal of Discrete Algorithms, 2011 For every graph $H$, there exists a polynomial-time algorithm deciding if a planar input graph $G$ can be contracted to~$H$. However, the degree of the polynomial depends on the size of $H$. In this paper, we identify a class of graphs $\cal C$ such that for every $H \in \cal C$, there exists an algorithm deciding in time $f(|V(H)|) \cdot |V(G)|^{\bigO{
Marcin Kaminski 0001 +2 more
openaire +6 more sources
Modeling human natural killer cell development and drug response in a microfluidic bone marrow model
Frontiers in ImmunologyIntroductionThe human bone marrow is a complex organ that is critical for self-renewal and differentiation of hematopoietic progenitor cells into various lineages of blood cells.
Leopold Koenig +4 more
doaj +1 more source