Zobrazeno 1 - 10
of 444
pro vyhledávání: '"ARECES, P."'
Labelled tableaux have been a traditional approach to define satisfiability checking procedures for Modal Logics. In many cases, they can also be used to obtained tight complexity bounds and lead to efficient implementations of reasoning tools. More
Externí odkaz:
http://arxiv.org/abs/2406.12090
We investigate the complexity of the satisfiability problem for a modal logic expressing `knowing how' assertions, related to an agent's abilities to achieve a certain goal. We take one of the most standard semantics for this kind of logics based on
Externí odkaz:
http://arxiv.org/abs/2309.17094
We introduce a novel semantics for a multi-agent epistemic operator of knowing how, based on an indistinguishability relation between plans. Our proposal is, arguably, closer to the standard presentation of knowing that modalities in classical episte
Externí odkaz:
http://arxiv.org/abs/2304.01022
Publikováno v:
Adolescents, Vol 4, Iss 2, Pp 311-323 (2024)
After the spread of the COVID-19 pandemic, several articles have described the fragility of young adults, such as students, highlighting the severity, frequency, and nature of mental distress. However, less research has examined the resources of youn
Externí odkaz:
https://doaj.org/article/884814b86a0948f195bba4a7a1def4de
This paper presents a method for computing a finite-blocklength converse for the rate of fixed-length codes with feedback used on discrete memoryless channels (DMCs). The new converse is expressed in terms of a stochastic control problem whose soluti
Externí odkaz:
http://arxiv.org/abs/2202.04267
Autor:
Stefania Ferraro, Anna Nigri, Maria Grazia Bruzzone, Jean Paul Medina Carrion, Davide Fedeli, Greta Demichelis, Luisa Chiapparini, Giuseppe Ciullo, Ariosky Areces Gonzalez, Alberto Proietti Cecchini, Luca Giani, Benjamin Becker, Massimo Leone
Publikováno v:
The Journal of Headache and Pain, Vol 25, Iss 1, Pp 1-17 (2024)
Abstract Background Despite hypothalamus has long being considered to be involved in the pathophysiology of cluster headache, the inconsistencies of previous neuroimaging studies and a limited understanding of the hypothalamic areas involved, impede
Externí odkaz:
https://doaj.org/article/5ca544a01e8a40f781802dd726f644e4
This paper applies probabilistic amplitude shaping (PAS) to a cyclic redundancy check (CRC) aided trellis coded modulation (TCM) to achieve the short-blocklength random coding union (RCU) bound. In the transmitter, the equally likely message bits are
Externí odkaz:
http://arxiv.org/abs/2111.08756
Autor:
Ariosky Areces-Gonzalez, Deirel Paz-Linares, Usama Riaz, Ying Wang, Min Li, Fuleah A. Razzaq, Jorge F. Bosch-Bayard, Eduardo Gonzalez-Moreira, Lifespan Brain Chart Consortium (LBCC), Global Brain Consortium (GBC), Cuban Human Brain Mapping Project (CHBMP), Marlis Ontivero-Ortega, Lidice Galan-Garcia, Eduardo Martínez-Montes, Ludovico Minati, Mitchell J. Valdes-Sosa, Maria L. Bringas-Vega, Pedro A. Valdes-Sosa
Publikováno v:
Frontiers in Neuroscience, Vol 18 (2024)
We present CiftiStorm, an electrophysiological source imaging (ESI) pipeline incorporating recently developed methods to improve forward and inverse solutions. The CiftiStorm pipeline produces Human Connectome Project (HCP) and megconnectome-complian
Externí odkaz:
https://doaj.org/article/aa4b6acfe2b3488c9ecdb094f6a4f8cb
Publikováno v:
EPTCS 335, 2021, pp. 23-37
We introduce a new semantics for a multi-agent epistemic operator of knowing how, based on an indistinguishability relation between plans. Our proposal is, arguably, closer to the standard presentation of knowing that modalities in classical epistemi
Externí odkaz:
http://arxiv.org/abs/2106.11492
Publikováno v:
Children, Vol 11, Iss 6, p 713 (2024)
Neurodevelopmental disorders can be studied from two distinct perspectives: an internal approach, which examines the causes and consequences of these disorders; and a contextual approach, which considers the role of the family in the lives of childre
Externí odkaz:
https://doaj.org/article/a8342b1e8fec44b4a79707b7edab086e