Zobrazeno 1 - 10
of 121
pro vyhledávání: '"Terraf, P."'
We present an exposition of the *Chain Bounding Lemma*, which is a common generalization of both Zorn's Lemma and the Bourbaki-Witt fixed point theorem. The proofs of these results through the use of Chain Bounding are amongst the simplest ones that
Externí odkaz:
http://arxiv.org/abs/2404.11638
The idempotent semigroups (bands) that give rise to partial orders by defining $a \leq b \iff a \cdot b = a$ are the "right-regular" bands (RRB), which are axiomatized by $x\cdot y \cdot x = y \cdot x$. In this work we consider the class of "associat
Externí odkaz:
http://arxiv.org/abs/2404.07877
We provide a fine classification of bisimilarities between states of possibly different labelled Markov processes (LMP). We show that a bisimilarity relation proposed by Panangaden that uses direct sums coincides with "event bisimilarity" from his jo
Externí odkaz:
http://arxiv.org/abs/2401.09273
We discuss some highlights of our computer-verified proof of the construction, given a countable transitive set-model $M$ of $\mathit{ZFC}$, of generic extensions satisfying $\mathit{ZFC}+\neg\mathit{CH}$ and $\mathit{ZFC}+\mathit{CH}$. Moreover, let
Externí odkaz:
http://arxiv.org/abs/2210.15609
Autor:
Yassin Terraf, Youssef Iraqi
Publikováno v:
IEEE Access, Vol 12, Pp 14094-14115 (2024)
Speaker identification in challenging acoustic environments, influenced by noise, reverberation, and emotional fluctuations, requires improved feature extraction techniques. Although existing methods effectively extract distinct acoustic features, th
Externí odkaz:
https://doaj.org/article/5f6d67e3757e41a3ab47285af60a2905
Autor:
Ozge Ceyhan-Birsoy, Elise Fiala, Satshil Rana, Margaret Sheehan, Jennifer Kennedy, Zarina Yelskaya, Vikas Rai, Yirong Li, Ciyu Yang, Donna Wong, Ivelise Rijo, Jacklyn Casanova, Joshua Somar, Nikita Mehta, Hyeonjin Park, Silvana Ostafi, Kanika Arora, Angelika Padunan, Mark D. Ewalt, Umut Aypar, Panieh Terraf, Maksym Misyura, Sofia Haque, Gerald G. Behr, Tamanna Haque, Maria Sulis, Mark B. Geyer, Christopher Forlenza, Meghan C. Thompson, Maria Carlo, Alicia Latham, Ying Liu, Ahmet Zehir, Rose Brannon, Michael Berger, Luis A Diaz Jr, Ahmet Dogan, Marc Ladanyi, Kseniya Petrova-Drus, Khedoudja Nafa, Kenneth Offit, Maria Arcila, Zsofia K. Stadler, Michael F. Walsh, Diana Mandelker
Publikováno v:
Haematologica, Vol 999, Iss 1 (2024)
Not available.
Externí odkaz:
https://doaj.org/article/f666218e110145a987b006840114e720
There exist two notions of equivalence of behavior between states of a Labelled Markov Process (LMP): state bisimilarity and event bisimilarity. The first one can be considered as an appropriate generalization to continuous spaces of Larsen and Skou'
Externí odkaz:
http://arxiv.org/abs/2005.03630
We formalize the theory of forcing in the set theory framework of Isabelle/ZF. Under the assumption of the existence of a countable transitive model of ZFC, we construct a proper generic extension and show that the latter also satisfies ZFC. In doing
Externí odkaz:
http://arxiv.org/abs/2001.09715
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.
We mechanize, in the proof assistant Isabelle, a proof of the axiom-scheme of Separation in generic extensions of models of set theory by using the fundamental theorems of forcing. We also formalize the satisfaction of the axioms of Extensionality, F
Externí odkaz:
http://arxiv.org/abs/1901.03313