Results 181 to 190 of about 638,726 (312)

Can proof assistants verify multi-agent systems?

This paper presents the Soda language for verifying multi-agent systems. Soda is a high-level functional and object-oriented language that supports the compilation of its code not only to Scala, a strongly statically typed high-level programming language,
Kampik, Timotheus, Mendez, Julian Alfredo, Mendez, Julian Alfredo,, Kampik, Timotheus,   +3 more
core   +1 more source

Pull‐and‐Push Nanotherapeutic Hydrogels: Scavenging Inflammatory Triggers While Driving Tissue Regeneration in Burn Wounds

Advanced Functional Materials, EarlyView.
A nanounit‐assembled hydrogel employing a “pull‐and‐push” strategy simultaneously scavenges pro‐inflammatory cell‐free DNA (cfDNA) and delivers regenerative therapeutics in response to burn‐induced hyperthermia. By repolarizing macrophages and promoting angiogenesis, this multifunctional platform accelerates burn wound healing, offering a blueprint for
Han‐Sem Kim, Seong‐Jin Shin, Sak Lee, Nandin Mandakhbayar, Ji‐Hye Kang, Da‐Young Kong, Seong‐Doo Hong, Ueon Sang Shin, Hae‐Won Kim, Jung‐Hwan Lee   +9 more
wiley   +1 more source

Public opinion dissemination simulation based on large language model multi-agent systems. [PDF]

Sci Rep
Lan H, Hu H, Guo PC, Huang Q.
europepmc   +1 more source

Hybrid Solar Cell/Triboelectric Nanogenerator Based on Stable Two‐Dimensional Covalent Organic Frameworks

Advanced Functional Materials, EarlyView.
This study highlights the integration of stable two‐dimensional covalent organic framework (COF) films as photoactive layers in hybrid nanoenergy devices. The results demonstrate their capacity to generate electricity under both sunny and rainy conditions, showcasing versatility and resilience.
Joab D. Guerrero, Susana Ramos‐Terrón, Salvador R. G. Balestra, José M. Malagón, David Aparicio, Lucia Velasco, Asterios Charisiadis, Dooshaye Moonshiram, Margarita Darder, Pilar Aranda, Bernd Wicklein, Gustavo de Miguel, Javier Pérez‐Carvajal, Eva M. García‐Frutos   +13 more
wiley   +1 more source

The next paradigm in bioinformatics: a review of multi-agent systems and foundational models for end-to-end scientific discovery. [PDF]

Brief Bioinform
Branda F, Ahmed MM, Ciccozzi M, Guzzi PH, Scarpa F.   +4 more
europepmc   +1 more source

MXene Wrapped Magnetic Mesocrystals for Durable Redox Catalytic Cancer Therapy and Responsive MRI

Advanced Functional Materials, EarlyView.
Conformal wrapping of ultrathin Ti3C2Tx MXene nanosheets on Fe3O4 mesocrystals creates topology‐stabilized Schottky junctions that direct photoinduced electron transfer under NIR irradiation. The unique architecture sustains Fenton catalysis, promotes continuous hydroxyl radical production, and provides photo‐responsive MRI contrast.
Min Jun Ko, Seongchan Kim, Jun‐Hyeok Han, Sanghee Lee, Minji Ahn, Hong En Fu, Young Jun Jang, Yoo Sang Jeon, Weiguo Li, Young Keun Kim, Dong‐Hyun Kim   +10 more
wiley   +1 more source

Observer-based prescribed-time lag bipartite consensus of nonlinear multi-agent systems under event-triggered mechanism. [PDF]

PLoS One
Tian J, Li T, Zhao X, Wang Y, Hua H, Yan L.   +5 more
europepmc   +1 more source

Multifunctional Gold Nanocluster‐Based PROTAC System for Targeted Degradation of Phosphorylated Tau and Modulation of Neuroinflammation in Alzheimer's Disease

Advanced Functional Materials, EarlyView.
We present a novel proteolysis‐targeting chimera (PROTAC) system conjugated to lipoic acid gold nanoclusters (PLANC), designed to degrade pTau, regulate inflammatory signaling, and effectively traverse the blood‐brain barrier (BBB). PLANC degraded pTau at various phosphorylation sites, with mechanistic studies confirming proteasome‐mediated degradation
Sarah Nevins, Callan D. McLoughlin, Wan‐Kyu Ko, Hye Kyu Choi, Brandon Conklin, Joshua B. Stein, Yannan Hou, Hongwon Kim, Rohan Khulbe, Ki‐Bum Lee   +9 more
wiley   +1 more source

Building an intelligent brain platform for small and medium-sized enterprises using ChatGLM and Multi-Agent Systems. [PDF]

PLoS One
Yuan D.
europepmc   +1 more source

Multi agent control for space based interferometry

, 2009
Agent systems have been accepted and used advantageously by computer scientists sincetheir inception, but such systems have not been used so readily within the realms of controlengineering or robotics.
Lincoln, N.K.
core