Zobrazeno 1 - 10
of 9 056
pro vyhledávání: '"A, Olarte"'
Group polarization, the phenomenon where individuals become more extreme after interacting, has been gaining attention, especially with the rise of social media shaping people's opinions. Recent interest has emerged in formal reasoning about group po
Externí odkaz:
http://arxiv.org/abs/2405.01322
Autor:
Olarte, Carlos, Pimentel, Elaine
Similar to modal connectives, the exponential ! in intuitionistic linear logic (ILL) is not canonical, in the sense that if $i\not= j$ then $!^i F\not\equiv !^j F$. Intuitively, this means that we can mark the exponential with labels taken from a set
Externí odkaz:
http://arxiv.org/abs/2404.11445
Autor:
Olarte, Carlos, Ölveczky, Peter Csaba
In this paper we propose a language for conveniently defining a wide range of execution strategies for real-time rewrite theories, and provide Maude-strategy-implemented versions of most Real-Time Maude analysis methods, albeit with user-defined disc
Externí odkaz:
http://arxiv.org/abs/2403.08920
Autor:
Sprueill, Henry W., Edwards, Carl, Agarwal, Khushbu, Olarte, Mariefel V., Sanyal, Udishnu, Johnston, Conrad, Liu, Hongbin, Ji, Heng, Choudhury, Sutanay
The discovery of new catalysts is essential for the design of new and more efficient chemical processes in order to transition to a sustainable future. We introduce an AI-guided computational screening framework unifying linguistic reasoning with qua
Externí odkaz:
http://arxiv.org/abs/2402.10980
Social media platforms have played a key role in weaponizing the polarization of social, political, and democratic processes. This is, mainly, because they are a medium for opinion formation. Opinion dynamic models are a tool for understanding the ro
Externí odkaz:
http://arxiv.org/abs/2402.09021
Publikováno v:
Fundamenta Informaticae, Volume 192, Issues 3-4: Petri Nets 2023 (November 10, 2024) fi:12781
This paper presents a concrete and a symbolic rewriting logic semantics for parametric time Petri nets with inhibitor arcs (PITPNs), a flexible model of timed systems where parameters are allowed in firing bounds. We prove that our semantics is bisim
Externí odkaz:
http://arxiv.org/abs/2401.01884
Autor:
Ciaffaglione, Alberto, Olarte, Carlos
Publikováno v:
EPTCS 396, 2023
Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in reasoning ta
Externí odkaz:
http://arxiv.org/abs/2311.09918
Autor:
Sprueill, Henry W., Edwards, Carl, Olarte, Mariefel V., Sanyal, Udishnu, Ji, Heng, Choudhury, Sutanay
Publikováno v:
In Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing (EMNLP2023) Findings
Discovering novel catalysts requires complex reasoning involving multiple chemical properties and resultant trade-offs, leading to a combinatorial growth in the search space. While large language models (LLM) have demonstrated novel capabilities for
Externí odkaz:
http://arxiv.org/abs/2310.14420
Autor:
Timothy J Chapman, Liset Olarte, Ghassan Dbaibo, Avril Melissa Houston, Gretchen Tamms, Robert Lupinacci, Kristen Feemster, Ulrike K Buchwald, Natalie Banniettis
Publikováno v:
Expert Review of Vaccines, Vol 23, Iss 1, Pp 137-147 (2024)
Introduction Streptococcus pneumoniae is a causative agent of pneumonia and acute otitis media (AOM), as well as invasive diseases such as meningitis and bacteremia. PCV15 (V114) is a new 15-valent pneumococcal conjugate vaccine (PCV) approved for us
Externí odkaz:
https://doaj.org/article/8a4c9057ccf6425a95168278db4e417f
Publikováno v:
Biomédica: revista del Instituto Nacional de Salud, Vol 44, Iss 4, Pp 434-440 (2024)
Creutzfeldt-Jakob disease is a rare neurodegenerative disease caused by prions. We present the case of a woman in the seventh decade of life with rapidly progressive dementia and myoclonus. Her brain magnetic resonance imaging revealed lesions in the
Externí odkaz:
https://doaj.org/article/6eec8256a4c843639f1b3d887c3d7720