Results 71 to 80 of about 503 (185)

Axiomatization of Transit Flow Estimation

Civil Engineering Dimension
Transit flows between stations are typically estimated indirectly using fare collecting data rather than through direct measurement. Traditional methods approximate transit flows by adapting Origin-Destination (OD) trip estimation techniques.
Kardi Teknomo
doaj   +1 more source

Time consistency, temporal resolution indifference, and the separation of time and risk

Theoretical Economics, Volume 21, Issue 2, Page 575-614, May 2026.
For general choice spaces, standard dynamic preference models cannot simultaneously satisfy the properties of time consistency, the separation of time and risk preferences, and the ability to accommodate an indifference to the timing of when risk is resolved.
Felix Kubler, Larry Selden, Xiao Wei
wiley   +1 more source

Axiomatizing a Fragment of PAFAS

Electronic Notes in Theoretical Computer Science, 2000
AbstractIn previous work, we have presented a CCS-like process algebra PAFAS for comparing the efficiency of asynchronous systems. Here, we give a complete axiomatization for a fragment of PAFAS; the advantage of this axiomatization is that it does (almost) not need an extension to the algebra.
Vogler, Walter (Prof. Dr.), Jenner, Lars
openaire   +3 more sources

A Categorical Axiomatics for Bisimulation

BRICS Report Series, 1998
We give an axiomatic category theoretic account of bisimulation in process algebras based on the idea of functional bisimulations as open maps. We work with 2-monads, T, on Cat. Operations on processes, such as nondeterministic sum, prexing and parallel composition are modelled using functors in the Kleisli category for the 2-monad T. We may define the
Gian Luca Cattani, John Power, Glynn Winskel   +2 more
openaire   +2 more sources

Axiomatizing the Quote.

, 2011
We study reflection in the Lambda Calculus from an axiomatic point of view. Specifically, we consider various properties that the quote operator must satisfy as a function on lambda terms. The most important of these is the existence of a definable left inverse, a so-called evaluator for the quote operator. Usually the quote operator encodes the syntax
openaire   +4 more sources

Differentially closed fields of characteristic zero with a generic automorphism

Revista de Matemática: Teoría y Aplicaciones, 2009
Hrushovski showed that the theory of difference-differential fields of characteristic zero has a model-companion, which we shall denote DCFA. We give an axiomatization for DCFA and prove some important model-theoretic results as supersimplicity and ...
Ronald F. Bustamante Medina
doaj   +1 more source

An axiomatization of six-functor formalisms

Forum of Mathematics, Sigma
In this paper, we consider two variations on Mann’s $\infty $ -categorical definition of abstract six-functor formalisms. We consider Nagata six-functor formalisms, that have the additional requirement of having Grothendieck and Wirthmüller ...
Josefien Kuijper
doaj   +1 more source

Axiomatic Phylogenetics

We use the language of quivers to formulate a mathematical framework for phylogenetics.
openaire   +2 more sources

Axiomatizing Causal Reasoning

Journal of Artificial Intelligence Research, 2000
Causal models defined in terms of a collection of equations, as defined by Pearl, are axiomatized here. Axiomatizations are provided for three successively more general classes of causal models: (1) the class of recursive theories (those without feedback), (2) the class of theories where the solutions to the equations are unique, (3 ...
openaire   +6 more sources

Monotonic Entropies

Scientific Annals of Computer Science
We introduce an axiomatization of entropy that generates, as special cases, novel entropy types. These entropies generalize Shannon’s entropy and allow the introduction of entropy for partitions of sets of objects located in metric spaces, and for ...
Dan Simovici
doaj   +1 more source