Zobrazeno 1 - 10
of 1 010
pro vyhledávání: '"A. Sobociński"'
Autor:
Earnshaw, Matthew, Sobociński, Paweł
We extend the theory of formal languages in monoidal categories to the multi-sorted, symmetric case, and show how this theory permits a graphical treatment of topics in concurrency. In particular, we show that Mazurkiewicz trace languages are precise
Externí odkaz:
http://arxiv.org/abs/2306.16341
Autor:
Román, Mario, Sobociński, Paweł
Premonoidal categories are monoidal categories without the interchange law; effectful categories are premonoidal categories with a chosen monoidal subcategory of interchanging morphisms. In the same sense that string diagrams, pioneered by Joyal and
Externí odkaz:
http://arxiv.org/abs/2305.06075
Autor:
M. Sobociński, M. Nabrdalik
Publikováno v:
Archives of Metallurgy and Materials, Vol vol. 69, Iss No 2, Pp 733-738 (2024)
The paper presents the use of numerical modeling results for multivariate simulation of the manufacturing process of a wheel hub forging made of 20 HG alloy. The QForm 3D program was used to analyze the issue, which allowed to analyze the forging pro
Externí odkaz:
https://doaj.org/article/fe121269cab1485bbba5fd5c8c3f00b8
Autor:
M. Nabrdalik, M. Sobociński
Publikováno v:
Archives of Metallurgy and Materials, Vol vol. 69, Iss No 1, Pp 353-357 (2024)
The paper presents analysis of influence of change of physical parameters such as: temperature, friction coefficient and load, during the process of die forging. Optimization of the process effects in achieving high quality products, decreasing shapi
Externí odkaz:
https://doaj.org/article/fedec1b5406f4933a2ecdcae1118c001
Autor:
Di Lavore, Elena, Sobociński, Paweł
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 3 (September 4, 2023) lmcs:10552
We introduce monoidal width as a measure of complexity for morphisms in monoidal categories. Inspired by well-known structural width measures for graphs, like tree width and rank width, monoidal width is based on a notion of syntactic decomposition:
Externí odkaz:
http://arxiv.org/abs/2212.13229
Autor:
Earnshaw, Matthew, Sobociński, Paweł
We introduce regular languages of morphisms in free monoidal categories, with their associated grammars and automata. These subsume the classical theory of regular languages of words and trees, but also open up a much wider class of languages over st
Externí odkaz:
http://arxiv.org/abs/2207.00526
Publikováno v:
Acta Ichthyologica et Piscatoria, Vol 37, Iss 2, Pp 129-135 (2007)
Background. The effect of the magnetic field on fish egg shells has not attracted major interest of researchers, even though it could have been predicted that such effect may be vital to fish embryogenesis. One of the hitherto-neglected aspects of th
Externí odkaz:
https://doaj.org/article/ad5a6dc0af1f43bc97e9059da69ea919
Publikováno v:
Acta Ichthyologica et Piscatoria, Vol 34, Iss 2, Pp 193-203 (2004)
Background. The magnetic field is known to exert its influence on both adult and juvenile fishes, as well as the embryos. The effects are diversified and pertain to, practically all, life aspects of an individual. Another aspect of this issue can be
Externí odkaz:
https://doaj.org/article/b698a40989284379bc1e160eef445c0f
Publikováno v:
Acta Ichthyologica et Piscatoria, Vol 34, Iss 1, Pp 85-102 (2004)
Background. Considerable amounts of fish bones and scales were discovered in 1953-1963, in an archaeological excavation pit situated in a former Vegetable Market in Szczecin, on the left bank of River Odra.Materials and methods. Bone remains comprisi
Externí odkaz:
https://doaj.org/article/a5734fca83c847b595f79933e25dce94
Autor:
Di Lavore, Elena, Sobociński, Paweł
Publikováno v:
EPTCS 380, 2023, pp. 268-283
Monoidal width was recently introduced by the authors as a measure of the complexity of decomposing morphisms in monoidal categories. We have shown that in a monoidal category of cospans of graphs, monoidal width and its variants can be used to captu
Externí odkaz:
http://arxiv.org/abs/2205.08916