Zobrazeno 1 - 10
of 9 258
pro vyhledávání: '"NEARY, P."'
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:
Honohan, Patrick, Gráda, Cormac Ó.
Publikováno v:
Economic & Social Review; Spring2024, Vol. 55 Issue 1, p1-7, 7p
A run of the deferred acceptance (DA) algorithm may contain proposals that are sure to be rejected. We introduce the accelerated deferred acceptance algorithm that proceeds in a similar manner to DA but with sure-to-be rejected proposals ruled out. A
Externí odkaz:
http://arxiv.org/abs/2409.06865
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:
J. Patrick Neary, Jyotpal Singh, Scott A. Bishop, Ryan T. Dech, Matthew J. A. Butz, Trevor K. Len
Publikováno v:
Methods and Protocols, Vol 2, Iss 1, p 23 (2019)
Introduction: The prevalence and incidence of sport-related concussion have continued to increase over the past decade, and researchers from various backgrounds strive for evidenced-based clinical assessment and management. When diagnosing and managi
Externí odkaz:
https://doaj.org/article/5593cc86725e43a990d3fba394770629
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.
We propose and demonstrate a compositional framework for training and verifying reinforcement learning (RL) systems within a multifidelity sim-to-real pipeline, in order to deploy reliable and adaptable RL policies on physical hardware. By decomposin
Externí odkaz:
http://arxiv.org/abs/2312.01249
In order to coordinate players in a game must first identify a target pattern of behaviour. In this paper we investigate the difficulty of identifying prominent outcomes in two kinds of binary action coordination problems in social networks: pure coo
Externí odkaz:
http://arxiv.org/abs/2311.03195
Autor:
Wongpiromsarn, Tichakorn, Ghasemi, Mahsa, Cubuktepe, Murat, Bakirtzis, Georgios, Carr, Steven, Karabag, Mustafa O., Neary, Cyrus, Gohari, Parham, Topcu, Ufuk
Formal methods refer to rigorous, mathematical approaches to system development and have played a key role in establishing the correctness of safety-critical systems. The main building blocks of formal methods are models and specifications, which are
Externí odkaz:
http://arxiv.org/abs/2311.01258
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.