Zobrazeno 1 - 10
of 9 056
pro vyhledávání: '"Olarte A"'
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
Autor:
Hoang Van Sam, Claudio Cerboncini, Duong Trung Hieu, Hoang Thi Hang, Ha Van Huan, Tran Ngoc Hai, Le Bao Thanh, Do Thanh Tam, Nguyen Thi Tho, Nguyen Thanh Tuan, Tran Van Chu, Nguyen The Nha, Olarte Alexandra
Publikováno v:
Forest and Society, Vol 3, Iss 2 (2019)
Aquilaria yunnanensis S.C. Huang (Thymelaeaceae), known to be endemic to Yunnan, is recorded for the first time from Dong Son Ky Thuong Nature Reserve, Quang Ninh Province, Vietnam. A taxonomic description and DNA analysis based on our Vietnamese col
Externí odkaz:
https://doaj.org/article/89d07c91e7da44618cef6239b17c7e88
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:
Andrés Felipe Herrera Ortiz, MD, Laura Olarte, MD, Valeria del Castillo, MD, José Nicolás Duarte, MD, Julián Rojas, MD, Diego Aguirre, MD
Publikováno v:
Radiology Case Reports, Vol 20, Iss 1, Pp 841-845 (2025)
Brown tumors (BT) are rare reactive bone lesions associated with hyperparathyroidism, often posing a diagnostic challenge due to their imaging similarity to multiple myeloma and lytic metastases. In this case, we present a 45-year-old woman with righ
Externí odkaz:
https://doaj.org/article/d1b29a8765d94b019e92945d7f0647e5
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