Results 131 to 140 of about 482,704 (293)

Distributed Computation as Hierarchy

, 1998
This paper presents a new distributed computational model of distributed systems called the phase web that extends V. Pratt's orthocurrence relation from 1986.
Manthey, Michael
core   +1 more source

Optoelectrical Devices for Neural Interfacing: Engineering Integration, Stability, and Multimodal Sensing

Advanced Healthcare Materials, EarlyView.
Implantable optoelectrical devices are an effective resource for the modulation and monitoring of neural activity with high spatiotemporal resolution. This review discusses current challenges faced by these devices and outlines future perspectives for the development of next‐generation neural interfaces targeting chronic, multisite, and multimodal ...
Stella Aslanoglou, Barbara Spagnolo, Antonio Balena, Massimo De Vittorio, Ferruccio Pisanello   +4 more
wiley   +1 more source

Engineered ETS1‐Nanoconjugate Restores Immune Homeostasis through Dual Immune‐Vascular Modulation in Relapsing and Progressive Multiple Sclerosis

Advanced Healthcare Materials, EarlyView.
The biomimetic nanoplatform IMNP (ETS1 pDNA/PBAE@ITP‐MM) undergoes targeted disassembly at inflammatory vascular sites to release the ETS1 plasmid (pETS1). This release initiates a cascade of effects that inhibit pathogenic pathways and support immune homeostasis. (Abbreviations: EndMT, endothelial‐to‐mesenchymal transition; EC, endothelial cell; TC, T
Feng Zhang, Si‐Bo Yang, Yan Luo, Xiao‐Di Sun, Bo‐Hao Chang, Da‐Qiang Zhou, Jun‐Jie Jiang, Ya‐Nan Li, Jie‐Hong Wu, Hui‐Juan Jin, Hang Yang, Hang Hu, Yi‐Fan Zhou, Bo Hu   +13 more
wiley   +1 more source

A New 3D Colon on a Chip to Decipher the Influence of Mechanical Forces on the Physiological Cellular Ecosystem

Advanced Healthcare Materials, EarlyView.
To dissect how mechanical forces influence intestinal physiology, we developed a stretchable 3D colon‐on‐chip that integrates tunable topography, stiffness and peristalsis‐like motion within a physiologically relevant microenvironment. We showed that stretching is a dominant factor governing epithelial behavior, markedly enhancing proliferation and ...
Moencopi Bernheim‐Dennery, Lauriane Gérémie, Julie Brun, Lucas Chassatte, Giacomo Gropplero, Réda Bouras, Jieun Choo, Bertrand Cinquin, Alba Marcellan, Danijela Matic Vignjevic, Stéphanie Descroix   +10 more
wiley   +1 more source

Flexible Polypyrrole‐Based pH Sensors via Oxidative Chemical Vapor Deposition

Advanced Healthcare Materials, EarlyView.
Oxidative chemical vapor deposition (oCVD) of polypyrrole (PPy) thin films yields flexible, electrically conductive, and biocompatible pH sensors for monitoring on‐skin biological events. The highly sensitive, oCVD PPy skin‐conformal sensors enable real‐time, spatially resolved sensing of dynamic pH changes within physiologically relevant ranges (4–9 ...
Adrivit Mukherjee, Federico Ferrari, David Garcia Romero, Ilaria Squillante, Job Schoenmaker, Hamoon Hemmatpour, Anton Terpstra, Peter Dijkstra, Julien Es Sayed, L. Jan Anton Koster, Maria Antonietta Loi, Petra Rudolf, Giuseppe Portale, Ajay Giri Prakash Kottapalli, Marleen Kamperman, Ranjita K. Bose   +15 more
wiley   +1 more source

Mixed‐Metal Promotion in a Manganese‐Molybdenum Oxynitride as Catalyst to Integrate C─C and C─N Coupling Reactions for the Direct Synthesis of Acetonitrile from Syngas and Ammonia

Advanced Materials, EarlyView.
Transition metal oxy/carbo‐nitrides show great promise as catalysts for sustainable processes. A Mn‐Mo mixed‐metal oxynitride attains remarkable performance for the direct synthesis of acetonitrile, an important commodity chemical, via sequential C─N and C─C coupling from syngas (C1) and ammonia (N1) feedstocks.
M. Elena Martínez‐Monje, Wilson Henao, Tania Rodenas, Patricia Concepción, Virginia Pérez Dieste, Alexander Missyul, Giovanni Agostini, Gonzalo Prieto   +7 more
wiley   +1 more source

Modelling and Verification of Starvation-Free Mutual Exclusion Algorithms based on Weak Semaphores [PDF]

Annals of computer science and information systems, 2015
Franco Cicirelli, Libero Nigro
doaj   +1 more source

Beyond Presumptions: Toward Mechanistic Clarity in Metal‐Free Carbon Catalysts for Electrochemical H2O2 Production via Data Science

Advanced Materials, EarlyView.
Metal‐free carbon catalysts enable the sustainable synthesis of hydrogen peroxide via two‐electron oxygen reduction; however, active site complexity continues to hinder reliable interpretation. This review critiques correlation‐based approaches and highlights the importance of orthogonal experimental designs, standardized catalyst passports ...
Dayu Zhu, Hsi‐wen Wu, Xiao Wang, Jie Zhang   +3 more
wiley   +1 more source

Model checking for linear temporal logic: An efficient implementation [PDF]

This report provides evidence to support the claim that model checking for linear temporal logic (LTL) is practically efficient. Two implementations of a linear temporal logic model checker is described.
Pnueli, Amir, Sherman, Rivi
core   +1 more source

Alkaline Leaching: A Facile Surface Activation Strategy to Improve the Reactivity of Air Electrodes for Solid Oxide Fuel Cells

Advanced Materials, EarlyView.
This study shows that alkaline leaching of PrBa0.8Ca0.2Co2O5+δ under anodic bias selectively removes Ba and Ca, forming a cobalt‐rich and amorphous layer. The modified surface significantly boosts ORR activity, offering a simple and effective strategy to improve electrochemical device performance.
Yeongtaek Hong, Hyunseung Kim, Sang Won Lee, Yong Beom Kim, SungHyun Jeon, Sangwoo Kim, Hainan Sun, Jeongah Lee, Seongwoo Nam, Seungwoo Roh, Tae Ho Shin, WooChul Jung   +11 more
wiley   +1 more source