Zobrazeno 1 - 10
of 896
pro vyhledávání: '"Ziemiański A"'
Autor:
Struth, Georg, Ziemiański, Krzysztof
We introduce presheaf automata as a generalisation of different variants of higher-dimensional automata and other automata-like formalisms, including Petri nets and vector addition systems. We develop the foundations of a language theory for them bas
Externí odkaz:
http://arxiv.org/abs/2409.04612
Interval-order partially ordered multisets with interfaces (ipomsets) have shown to be a versatile model for executions of concurrent systems in which both precedence and concurrency need to be taken into account. In this paper, we develop a presenta
Externí odkaz:
http://arxiv.org/abs/2403.16626
Higher-dimensional automata (HDAs) are models of non-interleaving concurrency for analyzing concurrent systems. There is a rich literature that deals with bisimulations for concurrent systems, and some of them have been extended to HDAs. However, no
Externí odkaz:
http://arxiv.org/abs/2402.01589
We report some further developments regarding the language theory of higher-dimensional automata (HDAs). Regular languages of HDAs are sets of finite interval partially ordered multisets (pomsets) with interfaces. We show a pumping lemma which allows
Externí odkaz:
http://arxiv.org/abs/2305.02873
Autor:
Fahrenberg, Uli, Ziemiański, Krzysztof
Publikováno v:
Fundamenta Informaticae, Volume 192, Issues 3-4: Petri Nets 2023 (November 10, 2024) fi:12761
We establish a Myhill-Nerode type theorem for higher-dimensional automata (HDAs), stating that a language is regular if and only if it has finite prefix quotient. HDAs extend standard automata with additional structure, making it possible to distingu
Externí odkaz:
http://arxiv.org/abs/2210.08298
Publikováno v:
Edukacja Ustawiczna Dorosłych, Vol 125, Iss 2, Pp 67-77 (2024)
The contemporary post-pandemic reality is characterised by an undisputable shift toward remote education and work. The aim of this article is to identify the assessment of ICT evaluation of different forms of study, including desktop, remote and hybr
Externí odkaz:
https://doaj.org/article/d78c8f2778104704b52a38f7494b573d
Autor:
Artur Kuligiewicz, Wojciech Szymański, Ilya Bindeman, Mariola Kowalik-Hyla, Zuzanna Ciesielska, Paweł P. Ziemiański, Kazimierz Różański
Publikováno v:
Geoderma, Vol 449, Iss , Pp 116981- (2024)
Pedogenic minerals reflect the environmental conditions that prevailed during soil formation. The present study investigates the clay mineral composition of the fine clay fraction separated from four soil profiles in the Tatra Mountains, Poland. All
Externí odkaz:
https://doaj.org/article/663ddc89217c453a81698456a95c6d6d
Autor:
Halkiv, Lіubov, Ziemiański, Paweł
Publikováno v:
Journal of Entrepreneurship in Emerging Economies, 2022, Vol. 16, Issue 2, pp. 273-287.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/JEEE-07-2021-0291
Autor:
Miller, Bartosz, Ziemiański, Leonard
Publikováno v:
In Advances in Engineering Software November 2024 197
We generate and count isomorphism classes of gluing-parallel posets with interfaces (iposets) on up to eight points, and on up to ten points with interfaces removed. In order to do so, we introduce a new class of iposets with full interfaces and show
Externí odkaz:
http://arxiv.org/abs/2203.02695