Zobrazeno 1 - 10
of 42 891
pro vyhledávání: '"Axiomatization"'
Autor:
Platzer, André, Qian, Long
This article proves the completeness of an axiomatization for initial value problems (IVPs) with compact initial conditions and compact time horizons for bounded open safety, open liveness and existence properties. Completeness systematically reduces
Externí odkaz:
http://arxiv.org/abs/2410.13836
Autor:
Kovalyov, Konstantin
In this paper we introduce an axiomatization of B\"uchi arithmetic, i.e., of the elementary theory of natural numbers in the language with addition and function $V_p(a) = p^k$ such that $p^k | a$ and $p^{k + 1} \nmid a$.
Externí odkaz:
http://arxiv.org/abs/2411.03043
Autor:
Lackman, Joshua
We axiomatize path integral quantization of symplectic manifolds. We prove that this path integral formulation of quantization is equivalent to an abstract operator formulation, ie. abstract coherent state (or Berezin) quantization. We use the corres
Externí odkaz:
http://arxiv.org/abs/2410.02739
Mathematical analysis of the analytic hierarchy process (AHP) led to the development of a mathematical function, usually called the inconsistency index, which has the center role in measuring the inconsistency of the judgements in AHP. Inconsistency
Externí odkaz:
http://arxiv.org/abs/2408.13297
Gradients play a pivotal role in neural networks explanation. The inherent high dimensionality and structural complexity of neural networks result in the original gradients containing a significant amount of noise. While several approaches were propo
Externí odkaz:
http://arxiv.org/abs/2407.00371
Autor:
Häggblom, Matilda
We define and axiomatize approximate exclusion atoms in the team semantic setting. A team is a set of assignments, which can be seen as a mathematical model of a uni-relational database, and we say that an approximate exclusion atom is satisfied in a
Externí odkaz:
http://arxiv.org/abs/2405.04998
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.