Zobrazeno 1 - 10
of 48
pro vyhledávání: '"Dixon, Alex"'
Autor:
Dixon, Alex, Murawski, Andrzej S.
Publikováno v:
Electronic Notes in Theoretical Informatics and Computer Science, Volume 3 - Proceedings of MFPS XXXIX (November 23, 2023) entics:12277
Saturation is a fundamental game-semantic property satisfied by strategies that interpret higher-order concurrent programs. It states that the strategy must be closed under certain rearrangements of moves, and corresponds to the intuition that progra
Externí odkaz:
http://arxiv.org/abs/2307.12302
Finitary Idealized Concurrent Algol (FICA) is a prototypical programming language combining functional, imperative, and concurrent computation. There exists a fully abstract game model of FICA, which in principle can be used to prove equivalence and
Externí odkaz:
http://arxiv.org/abs/2101.08720
Publikováno v:
Phys. Rev. Lett. 103, 148701 (2009)
The many-body dynamics exhibited by living objects include group formation within a population, and the non-equilibrium process of attrition between two opposing populations due to competition or conflict. We show analytically and numerically that th
Externí odkaz:
http://arxiv.org/abs/0910.1622
Fights-to-the-death occur in many natural, medical and commercial settings. Standard mass action theory and conventional wisdom imply that the minority (i.e. smaller) group's survival time decreases as its relative initial size decreases, in the abse
Externí odkaz:
http://arxiv.org/abs/0901.1170
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.
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.