Zobrazeno 1 - 10
of 71
pro vyhledávání: '"MÁRTON ELEKES"'
Autor:
Georg Hinkel, Antonio Garcia-Dominguez, René Schöne, Artur Boronat, Massimo Tisi, Théo Le Calvar, Frederic Jouault, József Marton, Tamás Nyíri, János Benjamin Antal, Márton Elekes, Gábor Szárnyas
Publikováno v:
Software and System Modelling, 21, 755-804
Software and Systems Modeling
Software and Systems Modeling, 2022, 21 (April), pp.755-804. ⟨10.1007/s10270-021-00927-5⟩
Software and Systems Modeling
Software and Systems Modeling, 2022, 21 (April), pp.755-804. ⟨10.1007/s10270-021-00927-5⟩
To cope with the increased complexity of systems, models are used to capture what is considered the essence of a system. Such models are typically represented as a graph, which is queried to gain insight into the modelled system. Often, the results o
Publikováno v:
Journal of Symbolic Logic, 87(4), 1459-1473. Association for Symbolic Logic
We consider a real-valued function f defined on the set of infinite branches X of a countably branching pruned tree T. The function f is said to be a limsup function if there is a function $u \colon T \to \mathbb {R}$ such that $f(x) = \limsup _{t \t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::55b884bbd88165079309c749033c4bd8
https://cris.maastrichtuniversity.nl/en/publications/47d6e08e-8a42-4811-b38f-c451b043cb23
https://cris.maastrichtuniversity.nl/en/publications/47d6e08e-8a42-4811-b38f-c451b043cb23
Modelling languages play a central role in developing complex, critical systems. Having a precise, comprehensible, and high-quality modelling language specification is essential to all the different stakeholders using, implementing, or extending the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fddab4ce3ec115026e1b8f9e2d396eea
https://doi.org/10.21203/rs.3.rs-1577254/v1
https://doi.org/10.21203/rs.3.rs-1577254/v1
Autor:
Márk Poór, Márton Elekes
Publikováno v:
Proceedings of the Royal Society of Edinburgh: Section A Mathematics. 151:1568-1594
A subsetXof a Polish groupGisHaar nullif there exists a Borel probability measure μ and a Borel setBcontainingXsuch that μ(gBh) = 0 for everyg,h∈G. A setXisHaar meagerif there exists a compact metric spaceK, a continuous functionf:K→Gand a Bore
Autor:
Donát Nagy, Márton Elekes
Publikováno v:
Bulletin of the London Mathematical Society. 52:561-619
We survey results about Haar null subsets of (not necessarily locally compact) Polish groups. The aim of this paper is to collect the fundamental properties of the various possible definitions of Haar null sets, and also to review the techniques that
Publikováno v:
Israel Journal of Mathematics. 237:75-113
In order to understand the structure of the "typical" element of a homeomorphism group, one has to study how large the conjugacy classes of the group are. When typical means generic in the sense of Baire category, this is well understood, see e.g. th
Autor:
Zoltán Micskei, Márton Elekes
Publikováno v:
2021 10th Latin-American Symposium on Dependable Computing (LADC).
Publikováno v:
Israel Journal of Mathematics. 235:91-109
Following Darji, we say that a Borel subset B of an abelian Polish group G is Haar meager if there is a compact metric space K and a continuous function f: K → G such that the preimage of the translate f−1(B + g) is meager in K for every g ∈ G.
Publikováno v:
Transactions of the American Mathematical Society. 371:8829-8848
In order to understand the structure of the `typical' element of an automorphism group, one has to study how large the conjugacy classes of the group are. When typical is meant in the sense of Baire category, a complete description of the size of the
The lower dimension $\dim_L$ is the dual concept of the Assouad dimension. As it fails to be monotonic, Fraser and Yu introduced the modified lower dimension $\dim_{ML}$ by making the lower dimension monotonic with the simple formula $\dim_{ML} X=\su
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f8990c7f84de280d5c4f5f2119516c86
http://arxiv.org/abs/2102.13049
http://arxiv.org/abs/2102.13049