Zobrazeno 1 - 10
of 3 552
pro vyhledávání: '"P. Neary"'
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
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
We propose a framework for verifiable and compositional reinforcement learning (RL) in which a collection of RL subsystems, each of which learns to accomplish a separate subtask, are composed to achieve an overall task. The framework consists of a hi
Externí odkaz:
http://arxiv.org/abs/2309.06420
Autor:
Mark D. Rodefeld, MD, Timothy Conover, PhD, Richard Figliola, PhD, Mike Neary, MS, Guruprasad Giridharan, PhD, Artem Ivashchenko, MEng, Edward M. Bennett, PhD
Publikováno v:
JTCVS Open, Vol 21, Iss , Pp 257-266 (2024)
Objective: After Fontan palliation, patients with single-ventricle physiology are committed to chronic circulatory inefficiency for the duration of their lives. This is due in large part to the lack of a subpulmonary ventricle. A low-pressure rise ca
Externí odkaz:
https://doaj.org/article/2dd496fbebdc42f4b217f9ef3b236088
Publikováno v:
Chemistry, Vol 6, Iss 5, Pp 1099-1110 (2024)
The success of platinum-based chemotherapeutic drugs for clinical cancer treatments has inspired tremendous research efforts on developing new metallic anticancer agents with improved cytotoxic activity and reduced side effects. 2,2′;6′,2″-Terp
Externí odkaz:
https://doaj.org/article/d8509e28cc9b43cf9914262575dad1ab
Autor:
J. Patrick Neary, Jyotpal Singh, Jane Alcorn, Robert B. Laprairie, Payam Dehghani, Cameron S. Mang, Bruce H. Bjornson, Thomas Hadjistavropoulos, Holly A. Bardutz, Lanishen Bhagaloo, Zachary Walsh, Michael Szafron, Kim D. Dorsch, Elizabeth S. Thompson
Publikováno v:
BMC Neurology, Vol 24, Iss 1, Pp 1-11 (2024)
Abstract Background Cannabinoids such as cannabidiol (CBD) exhibit anti-inflammatory properties and have the potential to act as a therapeutic following mild traumatic brain injury. There is limited evidence available on the pharmacological, physiolo
Externí odkaz:
https://doaj.org/article/f0ac35d4086c49698ad5e04f2ef05220
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
We introduce and study a new optimization problem on digraphs, termed Maximum Weighted Digraph Partition (MWDP) problem. We prove three complexity dichotomies for MWDP: on arbitrary digraphs, on oriented digraphs, and on symmetric digraphs. We demons
Externí odkaz:
http://arxiv.org/abs/2307.01109