Zobrazeno 1 - 10
of 55
pro vyhledávání: '"Indexed family"'
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.
Autor:
Samson Abramsky, Nihil Shah
Publikováno v:
Journal of Logic and Computation. 31:1390-1428
Combinatorial games are widely used in finite model theory, constraint satisfaction, modal logic and concurrency theory to characterize logical equivalences between structures. In particular, Ehrenfeucht-Fraisse games, pebble games, and bisimulation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::af0860e617aab2da0734bb13d0a80167
https://doi.org/10.1093/logcom/exab048
https://doi.org/10.1093/logcom/exab048
Publikováno v:
MSFP@ETAPS
Proceedings Eighth Workshop on Mathematically Structured Functiona Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020
Proceedings Eighth Workshop on Mathematically Structured Functiona Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020
Monads are a useful tool for structuring effectful features of computation such as state, non-determinism, and continuations. In the last decade, several generalisations of monads have been suggested which provide a more fine-grained model of effects
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cb4e20daddb96781ff1719dfd0ad6502
https://doi.org/10.4204/eptcs.317.2
https://doi.org/10.4204/eptcs.317.2
Autor:
Samer Al Ghour, Awatef Bin-Saadon
Publikováno v:
Heliyon, Vol 5, Iss 7, Pp e02061-(2019)
Heliyon
Heliyon
We introduce soft homogeneity as an extension of homogeneity in ordinary topological spaces. Based on the generated soft topology of a given indexed family of classical topologies inspite of a one topology given by Terepeta in [16], we investigate so
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dceccb3a581ba5ac7bf4717794fc0444
http://www.sciencedirect.com/science/article/pii/S2405844019357214
http://www.sciencedirect.com/science/article/pii/S2405844019357214
Autor:
Stefan Arnborg
Publikováno v:
International Journal of Approximate Reasoning. 78:1-14
In Robust Bayesian analysis one attempts to avoid the ‘Dogma of Precision’ in Bayesian analysis by entertaining a set of probability distributions instead of exactly one. The algebraic approach to plausibility calculi is inspired by Cox's and Jay
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ce9211b1fd0481684636c05d0e08ca8
https://doi.org/10.1016/j.ijar.2016.06.006
https://doi.org/10.1016/j.ijar.2016.06.006
For compact sets $K\subset \mathbb C^{d}$, we introduce a subalgebra $A_{D}(K)$ of $A(K)$, which allows us to obtain Mergelyan type theorems for products of planar compact sets as well as for graphs of functions.
Oberwolfach Preprints;2019,02
Oberwolfach Preprints;2019,02
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::45697ff60c2a13525661f7f0a86f3498
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783662595640
TbiLLC
TbiLLC
We study the differences between finite identifiability of recursive languages with positive and with complete data. In finite families the difference lies exactly in the fact that for positive identification the families need to be anti-chains, whil
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1c1fbc6da880c8b71f94bdd2e2327e24
https://doi.org/10.1007/978-3-662-59565-7_3
https://doi.org/10.1007/978-3-662-59565-7_3
Autor:
Samer Al Ghour, Worood Hamed
Publikováno v:
Symmetry, Vol 12, Iss 2, p 265 (2020)
Symmetry; Volume 12; Issue 2; Pages: 265
Symmetry; Volume 12; Issue 2; Pages: 265
In this paper, we define soft ω -open sets and strongly soft ω -open sets as two new classes of soft sets. We study the natural properties of these types of soft sets and we study the validity of the exact versions of some known results in ordinary
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7c9213482dbc0fcfa96d7c5c843b9512
https://doi.org/10.3390/sym12020265
https://doi.org/10.3390/sym12020265
Publikováno v:
SIAM Journal on Matrix Analysis and Applications
SIAM Journal on Matrix Analysis and Applications, Society for Industrial and Applied Mathematics, 2019, 40 (3), pp.998-1021. ⟨10.1137/18M1232462⟩
SIAM Journal on Matrix Analysis and Applications, 2019, 40 (3), pp.998-1021. ⟨10.1137/18M1232462⟩
SIAM Journal on Matrix Analysis and Applications, Society for Industrial and Applied Mathematics, 2019, 40 (3), pp.998-1021. ⟨10.1137/18M1232462⟩
SIAM Journal on Matrix Analysis and Applications, 2019, 40 (3), pp.998-1021. ⟨10.1137/18M1232462⟩
Let $\mathcal A = \{A_{ij} \}_{i, j \in \mathcal I}$, where $\mathcal I$ is an index set, be a doubly indexed family of matrices, where $A_{ij}$ is $n_i \times n_j$. For each $i \in \mathcal I$, let $\mathcal V_i$ be an $n_i$-dimensional vector space
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9b3822550095d4022233314cea4e29a8
http://arxiv.org/abs/1811.08467
http://arxiv.org/abs/1811.08467
The aim of this short paper is to offer a complete characterization of all (not necessarily surjective) isometric embeddings of the Wasserstein space $\mathcal{W}_p(\mathcal{X})$, where $\mathcal{X}$ is a countable discrete metric space and $0
C
C
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::94616810160d1032cc2e0bab68786c5e
http://arxiv.org/abs/1809.01101
http://arxiv.org/abs/1809.01101