Results 61 to 70 of about 35,955 (232)

TRIM: A Tool for Triggered Message Sequence Charts [PDF]

, 2003
TRIM is a tool for analyzing system requirements expressed using Triggered Message Sequence Charts (TMSCs). TMSCs enhance MSCs with capabilities for expressing conditional and partial behavior and with a refinement ordering. This paper shows how the Concurrency Workbench of the New Century may be adapted to check refinements between TMSC specifications.
Bikram Sengupta, Rance Cleaveland
openaire   +1 more source

Long‐Range Coordination Environment Modulates Single‐Atom Local States and Systemic Impact on CO2 Photoconversion

Advanced Functional Materials, EarlyView.
Terminal groups on Cu porphyrins modulate the electronic states of single‐atom Cu centers through a long‐range electronic effect, without altering the Cu coordination geometry. Meanwhile, a multi‐descriptor framework is established that incorporates porphyrin regulation, hybrid catalyst properties, and CO2 photoreduction capabilities.
Yi Zhang, Jintao Dong, Xiahe Chen, Xiyang Wang, Tiange Wei, Yue Zhu, Tai‐Sing Wu, Yun‐Fang Yang, Shao‐Yuan Leu, Keke Wang, Yuanbin She, Huaming Li, Jiexiang Xia, Molly Meng‐Jung Li   +13 more
wiley   +1 more source

Oxidized MoS2‐Based Multifunctional Memristive Hardware for Energy‐Efficient mmWave Signal Processing and In‐Memory Matrix Multiplication

Advanced Functional Materials, EarlyView.
Thermally oxidized MoS2‐based radio‐frequency switches enable a multifunctional platform that unifies broadband RF switching and in‐memory computation. The device achieves a cutoff frequency of 33.2 THz with high energy efficiency and supports hardware‐aware signal processing.
Juho Son, Changwoo Pyo, Sungmoon Park, Yoongi Cho, Seungchan Lee, Myungsoo Kim   +5 more
wiley   +1 more source

Thermally Pre‐Formed Reconfigurable Resistive Random‐Access Memory Crossbar Arrays: A Dual‐Mode Platform for Robust Physically Unclonable Functions and In‐Memory Computing

Advanced Functional Materials, EarlyView.
A reconfigurable RRAM platform utilizing thermally pre‐formed filaments (TPFs) is developed to realize robust hardware security. By exploiting the thermodynamic stochasticity of TPFs, exceptionally reliable physically unclonable functions (PUFs) are achieved.
Seongbin Kwon, Taewon Lee, Dohyeong Kim, Sungmin Hwang, Sungjoon Kim   +4 more
wiley   +1 more source

Sustainable Electrochemical Synthesis of High‐Quality MXenes: Mechanistic Insights, Applications, Challenges, and Technological Prospects

Advanced Functional Materials, EarlyView.
Electrochemical etching provides an eco‐friendly alternative to hazardous HF methods for MXene production. This approach facilitates the selective isolation of the A‐layer from MAX phases with tunable surface terminations. Controlling voltage, electrolytes, temperature, and duration enables the optimal structural integrity. Nevertheless, existing scale
Jagdeep Singh, Madhusudhana M Devadiga, Santosh K. Tiwari, AS Dhaliwal, Gurpreet Singh Selopal   +4 more
wiley   +1 more source

Targeting Post‐Irradiation Thyroid Dysfunction: Electrospun Scaffolds As A Dual‐Action Approach for Antioxidant and Immune Modulation

Advanced Healthcare Materials, EarlyView.
Radiation‐induced hypothyroidism follows head and neck radiotherapy due to oxidative stress and inflammation. Electrospun polycaprolactone scaffolds containing adenosine have potential to modulate thyroid repair. Scaffolds enhance thyrocyte proliferation, antioxidant enzymes glutathione peroxidase and catalase, reduce senescence and apoptosis markers ...
Maria Heim, Ella‐Louise Handley, Daniel Grant, Lizi M. Hegarty, Elaine Emmerson, Anthony Callanan   +5 more
wiley   +1 more source

On the Semantics of Message Sequence Charts.

, 1993
We give an informal exposition of a finit e-state semantics for Message Sequence Chart (MSC) specifications. We interpret each MSC specification as a transition system of global states, from which we can define a Biichi automaton by considering safety and liveness properties of the system.
Ladkin, Peter B., Leue, Stefan
openaire   +1 more source

Neutrophil‐Mimetic MRI Enables Ultra‐Early Detection of Vascular Inflammation After Stroke

Advanced Healthcare Materials, EarlyView.
In this study, we developed neutrophil‐mimetic MRI probes that detect ultra‐early neuroinflammation following ischemic stroke by targeting E‐selectin. Within seconds of their injection, these microparticles mimic initial leukocyte adhesion to the activated cerebral endothelium.
Marion Isabelle Morvan, Damien Levard, Eloïse Lemarchand, Amal Boublay, Charly Helaine, Jolan Malherbe, Mikaël Naveau, Didier Goux, Igor Khalin, Ankita Talukdar, Cheun Pelleter, Charlène Jacqmarcq, Erwan Baudron, Isabelle Bardou, Sara Martinez de Lizarrondo, Maxime Gauberti, Denis Vivien, Antoine Philippe Fournier   +17 more
wiley   +1 more source

Adaptable Covalent Organic Framework‐Hydrogel Microneedles for Glucose‐Responsive Isoliquiritigenin Delivery in Diabetic Wound Therapy

Advanced Healthcare Materials, EarlyView.
We develop a covalent organic framework‐loaded Traditional Chinese Medicine monomer nanodrug delivery system (ISL@bCOF) via boron‐oxygen bonds, a smart response to glucose for delivering AI‐driven isoliquiritigenin (ISL) targeting ZBP1. This dynamic release mechanism, combined with transdermal delivery technology via potent microneedles, can modulate ...
Menghan Zhou, Zongjie Hu, Xiuwen Li, Huaman Geng, Yang Liu, Yajie Wang, Yunshu Yang, Guangdong Zhou, Yujie Hua, Di Wang   +9 more
wiley   +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