Results 81 to 90 of about 204,063 (261)

Safety verification of ADA programs in MURPHY [PDF]

, 1987
MURPHY is a experimental methodology, which will include an integrated tool set, for building safety-critical, real-time software. Although it is language independent, many safety-critical software projects are currently planning to use Ada.
Cha, Stephen S., Leveson, Nancy G., Shimeall, Timothy J.   +2 more
core  

Vorticity‐Facilitated Platelet Aggregation: a High Expansion‐Ratio Stenotic Microfluidic Platform Unravels the Role of Complex Flow Dynamics in Arterial Thrombosis

Advanced Healthcare Materials, EarlyView.
This study reveals how vorticity—a swirling flow pattern—enhances platelet aggregation and thrombus formation in high‐shear conditions. Using a custom microfluidic model, it is shows that vorticity promotes vWF–GPIbα interactions and calcium signaling, providing new insights into thrombosis mechanobiology and informing safer blood‐contacting medical ...
Jianfang Ren, Nurul Aisha Zainal Abidin, Allan Sun, Rui Gao, Yuxin Chen, Arian Nasser, Zihao Wang, Yunduo Charles Zhao, Alexander Dupuy, Anna Waterhouse, Qian Peter Su, Daniele Vigolo, Mike Chia Lun Wu, Lining Arnold Ju   +13 more
wiley   +1 more source

PL-MODT and PL-MODMC : two codes for reliability and availability analysis of complex technical systems using the fault tree modularization technique [PDF]

, 1978
"November 1978."Includes bibliographical referencesThe methodology used in the PL-MOD code has been extended to include the time-dependent behavior of the fault tree components.
Modarres, M. (Mohammad), Wolf, Lothar
core  

Engineering Anisotropic Mechanical Properties in Large‐Scale Fabricated Cartilage Constructs Using Microfiber Reinforcement

Advanced Healthcare Materials, EarlyView.
This study presents the development of large‐scale (15 cm2) cartilage constructs with anisotropic mechanical properties using melt electrowritten (MEW) microfiber reinforced cell‐laden gelatin methacryloyl (gelMA). These constructs mimic the mechanical behavior of native cartilage, providing a suitable environment for Articular Cartilage ...
Lennard Spauwen, Alba Pueyo Moliner, Patrick van Veenendaal, Roel Custers, Jos Malda, Mylène de Ruijter   +5 more
wiley   +1 more source

Multifunctional Neural Probes Enable Bidirectional Electrical, Optical, and Chemical Recording and Stimulation In Vivo

Advanced Materials, EarlyView.
Convergence drawing is used to create flexible, microscale, multifunctional fiber‐based neural probes. Optimized materials selection enables individual devices to perform neural recording, electrical stimulation, optogenetics, fiber photometry, fluid delivery, and voltammetric neurotransmitter detection in rodents.
Nicolette Driscoll, Marc‐Joseph Antonini, Taylor M. Cannon, Pema Maretich, Greatness Olaitan, Valerie Doan Phi Van, Keisuke Nagao, Atharva Sahasrabudhe, Emmanuel Vargas Paniagua, Ethan J. Frey, Ye Ji Kim, Sydney Hunt, Melissa Hummel, Sanju Mupparaju, Alan Jasanoff, B. Jill Venton, Polina Anikeeva   +16 more
wiley   +1 more source

Thermal Processing Creates Water‐Stable PEDOT:PSS Films for Bioelectronics

Advanced Materials, Volume 37, Issue 13, April 2, 2025.
Instead of using chemical cross–linkers, it is shown that PEDOT:PSS thin films for bioelectronics become water‐stable after a simple heat treatment. The heat treatment is compatible with a range of rigid and elastomeric substrates and films are stable in vivo for >20 days.
Siddharth Doshi, Margaux O. A. Forner, Pingyu Wang, Salim El Hadwe, Amy T. Jin, Gerwin Dijk, Kenneth Brinson, Juhwan Lim, Antonio Dominguez‐Alfaro, Carina Yi Jing Lim, Alberto Salleo, Damiano G. Barone, Guosong Hong, Mark L. Brongersma, Nicholas A. Melosh, George G. Malliaras, Scott T. Keene   +16 more
wiley   +1 more source

Advances in Photonic Materials and Integrated Devices for Smart and Digital Healthcare: Bridging the Gap Between Materials and Systems

Advanced Materials, EarlyView.
This article summarizes significant technological advancements in materials, photonic devices, and bio‐interfaced systems, which demonstrate successful applications for impacting human healthcare via improved therapies, advanced diagnostics, and on‐skin health monitoring.
Seunghyeb Ban, Hoon Yi, Jaejin Park, Yunuo Huang, Ki Jun Yu, Woon‐Hong Yeo   +5 more
wiley   +1 more source

Machine‐Learning‐Aided Advanced Electrochemical Biosensors

Advanced Materials, EarlyView.
Electrochemical biosensors are highly sensitive, portable, and versatile. Advanced nanomaterials enhance their performance, while machine learning (ML) improves data analysis, minimizes interference, and optimizes sensor design. Despite progress in both fields, their combined potential in diagnostics remains underexplored.
Andrei Bocan, Roozbeh Siavash Moakhar, Carolina del Real Mata, Max Petkun, Tristan De Iure‐Grimmel, Sripadh Guptha Yedire, Hamed Shieh, Arash Khorrami Jahromi, Sahar Sadat Mahshid, Sara Mahshid   +9 more
wiley   +1 more source

A Comprehensive Investigation on the Fire Hazards and Environmental Risks in a Commercial Complex Based on Fault Tree Analysis and the Analytic Hierarchy Process. [PDF]

Int J Environ Res Public Health, 2020
Wang Y, Ni X, Wang J, Hu Z, Lu K.
europepmc   +1 more source

Integrated Methodology for Software Reliability Analysis [PDF]

, 2012
The most used techniques to ensure safety and reliability of the systems are applied together as a whole, and in most cases, the software components are usually overlooked or to little analyzed.
Laurentiu CIOVICA, Liviu CIOVICA, Marian Pompiliu CRISTESCU   +2 more
core