Results 121 to 130 of about 31,117 (298)

Formal Modeling and Verification of Embedded Real-Time Systems: An Approach and Practical Tool Based on Constraint Time Petri Nets

Mathematics
Modeling and verification of the correct behavior of embedded real-time systems with strict timing constraints is a well-known and important problem. Failing to fulfill a deadline in system operation can have severe consequences in the practical case ...
Libero Nigro, Franco Cicirelli
doaj   +1 more source

Rational Tuning of Hygroscopic Oscillation of Stacked Nanoflake Assemblies for Continuous Ambient Energy Harvesting

Advanced Materials, EarlyView.
Stacked nanoflake assembly (SNA) membranes can oscillate autonomously, offering opportunities for soft actuation and energy harvesting. This work uncovers the physical mechanism behind the sustained oscillation of SNA membranes in gradient humidity and identifies three governing dimensionless parameters, enabling rational design for optimizing SNA ...
Zijing Zhang, Jimin Fu, Gesa Zhang, Zhihua Liang, Boxun Zhang, Haimin Yao   +5 more
wiley   +1 more source

Cell Adhesion by Design: Engineering Tissue Culture Scaffolds With Adhesion Cues

Advanced Materials Interfaces, EarlyView.
ABSTRACT In scaffold‐based tissue engineering, the matrix should provide adequate adhesion cues for cell attachment, spreading, and function. Given the multitude of adhesion receptors and the diversity of scaffolds, there are many approaches to render scaffolds adhesive, even though they are not all equivalent.
Dalia Dranseike, Dhananjay V. Deshmukh, Mark W. Tibbitt, Céline Labouesse   +3 more
wiley   +1 more source

State Space Reduction for Dynamic Process Creation [PDF]

Scientific Annals of Computer Science, 2010
Automated verification of dynamic multi-threaded computing systems is severely affected by problems relating to dynamic process creation. In this paper, we describe an abstraction technique aimed at generating reduced state space representations for such
H. Klaudel, M. Koutny, E. Pelz, F. Pommereau   +3 more
doaj  

Efficient Self‐Cleaning and Anti‐Bacterial Behavior Realized by Hierarchical Structure in Hybrid Waterborne Polyurethane Coatings Containing Photocatalyst

Advanced Materials Interfaces, EarlyView.
Hybrid WPU coatings with a hierarchical structure are constructed by first directional freezing polymerization of degradable hydrogels with a vertical channel structure and then filling these channels with aqueous WPU solution containing carbon nitride (g‐C3N4) nanosheets.
Xiaobei Zhou, Jing Xu, Jie Yu, Jie Liu, Meiqun Hu, Lie Zhao, Peter Müller‐Buschbaum, Dongming Qi, Qi Zhong   +8 more
wiley   +1 more source

Ensuring Zero Trust in GDPR-Compliant Deep Federated Learning Architecture

Computers
Deep Federated Learning (DFL) revolutionizes machine learning (ML) by enabling collaborative model training across diverse, decentralized data sources without direct data sharing, emphasizing user privacy and data sovereignty.
Zahra Abbas, Sunila Fatima Ahmad, Adeel Anjum, Madiha Haider Syed, Saif Ur Rehman Malik, Semeen Rehman   +5 more
doaj   +1 more source

Enhanced Infection Resistance and Regenerative Healing of Titanium Implants via Peptide‐Loaded Biodegradable Coatings

Advanced Materials Technologies, EarlyView.
This study presents a new biodegradable coating for titanium implants using a natural antimicrobial peptide, caerin 1.9. Applied via solvent casting, the coating offers sustained antibacterial protection and promotes healing. Tested on 3D‐printed porous titanium scaffolds, it effectively prevented infection—including against resistant bacteria—while ...
Hejie Li, Tianfang Wang, Nicolas Soro, Guoying Ni, Meg Allom, D. İpek Kurtböke, Xiaosong Liu, Damon Kent   +7 more
wiley   +1 more source

Large‐Scale and Cost‐Effective Fabrication of Ultra‐Thin, Biodegradable Microelectrode Arrays and Pressure Sensors Using Laser Micromachining

Advanced Materials Technologies, EarlyView.
A mask‐free and cost‐effective UV‐pico‐second laser‐based microfabrication method is proposed to fabricate large‐area biodegradable microelectrode arrays and pressure sensors. These devices demonstrate low impedance, good conformability, excellent biocompatibility, and rapid degradation, providing a new route for next‐generation transient electronics ...
Bhavani Prasad Yalagala, Asfand Tanwear, María Cerezo‐Sánchez, Hossein Parvizi, Morteza Amjadi, Hadi Heidari   +5 more
wiley   +1 more source

Supervisory Control and High-level Petri nets

, 2010
The Supervisory Control Theory (SCT) (RamadgeW Giua & DiCesare, 1994; Sreenivas & Sreenivas, 1997), since they represent a good trade-off between modelling power and analysis capabilities. For details about the supervisory control problem methods based on Petri nets, one can refer to (Holloway et al., 1997; Su et al., 2005).
Chiheb Ameur, Sajeh Zairi, Belhassen Zouari   +2 more
openaire   +2 more sources

Tunable 3D‐Printed Static Mixers for Gradient Bioprinting With High Cell Viability

Advanced Materials Technologies, EarlyView.
ABSTRACT The fabrication of native tissue‐like structures with gradual transitions in material properties, cell types, and growth factors remains a major challenge in biofabrication due to the lack of suitable methods. Mimicking the hierarchical organization of living tissues is essential for functional models, yet creating gradient, multimaterial ...
Florian Hofmann, Jessica Faber, Franz Moser, Alessandro Cianciosi, Nicoletta Murenu, Joachim Schenk, Katrin G. Heinze, Natascha Schaefer, Silvia Budday, Tomasz Jungst   +9 more
wiley   +1 more source