Results 181 to 190 of about 284,503 (316)

Seven abstraction rules preserving generalised nonblocking

, 2009
This working paper proposes a compositional approach to verify the generalised nonblocking property of discrete-event systems. Generalised nonblocking is introduced in [15] to overcome weaknesses of the standard nonblocking check in discrete-event ...
Malik, Robi, Leduc, Ryan
core  

Is It Real Type‐II or S‐Scheme? A Three‐Phase Diagnostic Protocol for Identifying Potentially Mislabeled Heterojunction Photocatalysts

Advanced Functional Materials, EarlyView.
Diagnostic analysis via the heterojunction validation funnel. The funnel illustrates the hierarchical stratification of 30 reported Type‐II systems based on the three‐phase, seven‐step diagnostic framework. Complete validation through all phases is achieved by only 3.3% of systems, while 96.7% lack full mechanistic validation, revealing a pervasive ...
Ki‐Hyun Kim
wiley   +1 more source

Discrete event control of a pinball machine

, 2004
The paper is concerned with the control of a pinball machine. The plant is a hybrid system because of the continuous movement of the ball and the only discrete sensors and actuators. As no additional optical sensors are used, a complicated discrete event
Lichtenberg, Gerwald, Neidig, Jörg
core  

State-feedback control of fuzzy discrete-event systems. [PDF]

IEEE Trans Syst Man Cybern B Cybern, 2010
Lin F, Ying H.
europepmc   +1 more source

Synergistic Cu‐Fe Interactions Enhance Phase Transformation Kinetics Toward High‐Performance CuFeS2‐Based All‐Solid‐State Batteries

Advanced Functional Materials, EarlyView.
CuFeS2 is found to induce the formation of intermediate phases, highlighting a strong Cu–Fe synergistic effect during conversion reactions in lithium all‐solid‐state batteries (Li‐SSBs). The integrated reaction pathway effectively suppresses phase separation and accelerates reaction kinetics, leading to enhanced electrochemical reversibility and ...
Changjiang Bai, Katherine A. Mazzio, Florian Ruske, Goutham Srinivas, Tim Bernges, Junwei Meng, Xiangping Min, Yanan Sun, Vinita Ahuja, Román Healy Corominas, Volodymyr Baran, Götz Schuck, Michael Haumann, Jürgen Janek, Wolfgang G. Zeier, Philipp Adelhelm   +15 more
wiley   +1 more source

Coagulative Granular Hydrogels with an Enzyme Catalyzed Fibrin Network for Endogenous Tissue Regeneration

Advanced Healthcare Materials, EarlyView.
Coagulative granular hydrogels are composed of packed thrombin‐functionalized microgels that catalyze the conversion of fibrinogen into a secondary fibrin network, filling the interstitial voids. This bio‐inspired approach stabilizes the biomaterial to match the robustness of bulk hydrogels without compromising injectability, mimicking the initial ...
Zhipeng Deng, Camila B. Tovani, Simona Bianco, Gianni Comandini, Aya Elghajiji, Mina Aleemardani, Roxana Moscalu, Jeremie Zappia, Bianca Fernandes, Olivia Annett, Chrissy L. Hammond, Jason Wong, Dave J. Adams, Fabrizio Scarpa, Michael R. Whitehouse, Annela M. Seddon, James P. K. Armstrong   +16 more
wiley   +1 more source

Aqueous Two‐Phase Bioinks for Discrete Packing and Compartmentalization of 3D Bioprinted Cells

Advanced Healthcare Materials, EarlyView.
Aqueous two‐phase systems (ATPS) enable the formation of biomimetic interfaces crucial for tissue engineering. However, clinical translation remains limited by the challenge of precisely controlling cellular compartmentalization. Here, we developed ATPS biomaterial inks for 3D bioprinting allowing tuneable droplet formation via NaCl modulation.
Martina Marcotulli, Arianna Iacomino, Federico Serpe, Lucia Iafrate, Marco Bastioli, Giorgia Montalbano, Michele D'Orazio, Biagio Palmisano, Silvia Franco, Arianna Mencattini, Roberta Angelini, Eugenio Martinelli, Alessandro Corsi, Mara Riminucci, Giancarlo Ruocco, Chiara Scognamiglio, Andrea Barbetta, Gianluca Cidonio   +17 more
wiley   +1 more source

Tracking Spatiotemporal Extracellular Matrix Evolution and Tissue Fusion in 3D Microtissues via Click Chemistry‐Based Metabolic Labelling

Advanced Healthcare Materials, EarlyView.
Metabolic labeling of nascent proteins in 3D microtissue spheroids provides a powerful analytical approach for large‐scale tissue engineering. Incorporation of non‐canonical amino acids with fluorescent tagging enables spatiotemporal investigation of extracellular matrix deposition and its evolution during multicellular tissue development and fusion ...
Theresa Koenig, F. Max Yavitt, Laura Veenendaal, Tim B. F. Woodfield   +3 more
wiley   +1 more source

Integrating heterogeneous distributed COTS discrete-event simulation packages: An emerging standards-based approach

, 2006
This paper reports on the progress made toward the emergence of standards to support the integration of heterogeneous discrete-event simulations (DESs) created in specialist support tools called commercial-off-the-shelf (COTS) discrete-event simulation ...
Wang, X, Turner, S J, Taylor, S J E, Low, M Y H   +3 more
core  

Sequencing AI Automation and Data Interoperability in Oncology Using a Scenario-Planning Framework Coupled With Discrete-Event Simulation: Proof-of-Concept Study. [PDF]

J Med Internet Res
May P, Brookman-May SD, Garrahy E, von Büren J.   +3 more
europepmc   +1 more source