Zobrazeno 1 - 10
of 12 799
pro vyhledávání: '"Trace theory"'
Autor:
Bialer, Daniel M., author, Chang, Minyu, author, Brainerd, C. J., author, Reyna, Valerie F., author
Publikováno v:
Interdisciplinary Perspectives and Advances in Understanding Adaptive Memory, 2024, ill.
Externí odkaz:
https://doi.org/10.1093/oso/9780192882578.003.0018
In this work we develop a discrete trace theory that spans non-conforming hybrid discretization methods and holds on polytopal meshes. A notion of a discrete trace seminorm is defined, and trace and lifting results with respect to a discrete $H^1$-se
Externí odkaz:
http://arxiv.org/abs/2409.15863
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.
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.
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.
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:
Amril1 amril-2017@feb.unair.ac.id, NARSA, I. Made1 i-made-n@feb.unair.ac.id
Publikováno v:
Quality - Access to Success. Oct2022, Vol. 23 Issue 190, p407-416. 10p.
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.
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:
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