Results 71 to 80 of about 506 (185)
Axiomatization of Transit Flow Estimation
Civil Engineering DimensionTransit 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
A Logic for Multi-Agent Conformant Planning Over Transition Systems
IEEE Access, 2020 Reasoning about actions and information is one of the most active areas of research in artificial intelligence. In this article, we study the reasoning about actions and information in multi-agent conformant planning, which is an essential branch of ...
Peipei Wu, Yanjun Li
doaj +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
On the theories classified by an étendue
Bulletin of the London Mathematical Society, Volume 58, Issue 7, July 2026.Abstract We give a model‐theoretic characterisation of the geometric theories classified by étendues—the ‘locally localic’ topoi. They are the theories where each model is determined, syntactically and semantically, by any witness of a fixed collection of formulae.
Joshua L. Wrigley
wiley +1 more source
Rola aksjomatu w matematyce współczesnej oraz w perspektywie dociekań nad aksjomatem wyboru
Zagadnienia Filozoficzne w Nauce, 2011 We show how philosophy effected the shape of mathematics when the proof of Well-Ordering Principle was formulated by Ernst Zermelo. We also consider the significance of philosophy of mathematics today.
Katarzyna Lewandowska
doaj
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 +2 more
openaire +2 more sources
, 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
An axiomatization of six-functor formalisms
Forum of Mathematics, SigmaIn 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
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
We use the language of quivers to formulate a mathematical framework for phylogenetics.
openaire +2 more sources