Zobrazeno 1 - 10
of 7 827
pro vyhledávání: '"A P, Neary"'
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
Autor:
Flam, Harry
Publikováno v:
The Scandinavian Journal of Economics, 1998 Mar 01. 100(1), 210-212.
Externí odkaz:
https://www.jstor.org/stable/3440772
Autor:
Smith, Alasdair
Publikováno v:
The Scandinavian Journal of Economics, 1998 Mar 01. 100(1), 207-209.
Externí odkaz:
https://www.jstor.org/stable/3440771
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.
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
Recently developed pretrained models can encode rich world knowledge expressed in multiple modalities, such as text and images. However, the outputs of these models cannot be integrated into algorithms to solve sequential decision-making tasks. We de
Externí odkaz:
http://arxiv.org/abs/2308.05295