Results 201 to 210 of about 17,423 (281)

A Systematic Review on the Applications of Uppaal. [PDF]

Sensors (Basel)
Grobelna I, Gajewski K, Karatkevich A.
europepmc   +1 more source

Bio‐Orthogonally Crosslinked Supramolecular Polymer Bottlebrush Hydrogels for Long‐Term 3D Cell Culture

Advanced Functional Materials, EarlyView.
Fibrous benzenetrispeptide (BTP) hydrogels, fabricated via strain‐promoted azide‐alkyne cycloaddition (SPAAC) crosslinking, form robust, bioinert networks. These hydrogels can support 3D cell culture, where cell viability and colony growth depend on the fiber content.
Ceren C. Pihlamagi, David Pretzel, Peer Nölte, Kourosh Rezaei, Ulrich S. Schubert, Johannes C. Brendel   +5 more
wiley   +1 more source

Ensuring reliability in electronic examinations through UPPAAL-based trustworthy design. [PDF]

PeerJ Comput Sci
Zhou W, Zhao Y, Zhang Y, Mu L, Wang Y, Yin M.   +5 more
europepmc   +1 more source

Predicting Atomic Charges in MOFs by Topological Charge Equilibration

Advanced Functional Materials, EarlyView.
An atomic charge prediction method is presented that is able to accurately reproduce ab‐initio‐derived reference charges for a large number of metal–organic frameworks. Based on a topological charge equilibration scheme, static charges that fulfill overall neutrality are quickly generated.
Babak Farhadi Jahromi, Sumukh Shankar Sharadaprasad, Rochus Schmid   +2 more
wiley   +1 more source

Intelligent fault tolerance control using long short-term memory for efficient system performance under fault conditions. [PDF]

Sci Rep
El-Mahdy MH, Ali AO, Hassan OH, El-Gendy EM, Saafan MM.   +4 more
europepmc   +1 more source

Cardiac‐Derived ECM Microspheres for Enhanced hiPSC‐CMs Maturation

Advanced Functional Materials, EarlyView.
Cardiac extracellular matrix microspheres derived from decellularized porcine heart provide a biomimetic 3D microenvironment for human induced pluripotent stem cell–derived cardiomyocytes (hiPSC‐CMs). This platform supports short‐ and long‐term culture, enhances structural organization, and promotes electrophysiological and functional maturation of ...
Jiazhu Xu, Joel Aboagye, Marcella Edwards, Nick Rogozinski, Yufeng Wen, Angello Huerta Gomez, Zui Pan, Ge Zhang, Huaxiao Yang, Yi Hong   +9 more
wiley   +1 more source

Formal methods for safety-critical machine learning: a systematic literature review. [PDF]

Front Artif Intell
Newcomb A, Ochoa O.
europepmc   +1 more source

Digital Actuation Control of Soft Robotic Origami With Self‐Folding Liquid Crystal Elastomer Hinges

Advanced Functional Materials, EarlyView.
Self‐folding soft‐rigid hybrid robotic origami is enabled by liquid crystal elastomer actuators with embedded Joule heating and closed‐loop digital control. Digitally addressable hinges provide reversible and programmable transitions between distinct folded states while maintaining actuation performance at high cycle counts (over 1500).
David C. Bershadsky, Tuo Zhao, Glaucio H. Paulino, Emily C. Davidson   +3 more
wiley   +1 more source

Intermediate Resistive State in Wafer‐Scale Vertical MoS2 Memristors Through Lateral Silver Filament Growth for Artificial Synapse Applications

Advanced Functional Materials, EarlyView.
In MOCVD MoS2 memristors, a current compliance‐regulated Ag filament mechanism is revealed. The filament ruptures spontaneously during volatile switching, while subsequent growth proceeds vertically through the MoS2 layers and then laterally along the van der Waals gaps during nonvolatile switching.
Yuan Fa, Milan Buttberg, Ke Ran, Rana Walied Ahmad, Dennis Braun, Lukas Völkel, Jimin Lee, Sofía Cruces, Bart Macco, Bárbara Canto, Holger Lerch, Thorsten Wahlbrink, Holger Kalisch, Michael Heuken, Andrei Vescan, Joachim Mayer, Zhenxing Wang, Ilia Valov, Stephan Menzel, Max C. Lemme   +19 more
wiley   +1 more source

A model-based approach to automation of formal verification of ROS 2-based systems. [PDF]

Front Robot AI
Dust L, Gu R, Mubeen S, Ekström M, Seceleanu C.   +4 more
europepmc   +1 more source