Results 81 to 90 of about 1,174,960 (285)

Assembly of Cell‐Seeded 3D Printed Hydrogel Modules with Perfusable Channel Networks

Advanced Functional Materials, EarlyView.
Macroscale assembly was utilized to prepare perfusable tissue constructs from individually 3D printed hydrogel modules with embedded branched channel networks and port arrays for cell seeding. Novel multi‐material bioreactors were fabricated to facilitate the gluing of individual modules and the perfusion culture of assembled modular constructs seeded ...
Zachary J. Geffert, Daniel Fougnier, Bo Van Durme, Jenna Grutzmacher, Ryan Clarke, Susan Cao, Zhenghao Li, Ujjwal Aryal, Jason A. Horton, Sandra Van Vlierberghe, Pranav Soman   +10 more
wiley   +1 more source

Design Strategies and Emerging Applications of High‐Performance Flexible Piezoresistive Pressure Sensors

Advanced Functional Materials, EarlyView.
Flexible piezoresistive pressure sensors underpin wearable and soft electronics. This review links sensing physics, including contact resistance modulation, quantum tunneling and percolation, to unified materials/structure design. We highlight composite and graded architectures, interfacial/porous engineering, and microstructured 3D conductive networks
Feng Luo, Artur Ciesielski, Paolo Samorì   +2 more
wiley   +1 more source

Towards a Coq-verified Chain of Esterel Semantics [PDF]

Leibniz Transactions on Embedded Systems
This article focuses on formally specifying and verifying the chain of formal semantics of the Esterel synchronous programming language using the Coq proof assistant.
Rieg, Lionel, Berry, Gérard
doaj   +1 more source

The Floor‐Ceiling‐Chip, or 2 × 2D = Pseudo‐3D—Approaching 3D Cell Morphology and Organization between Two Opposing 2D Substrates with Cell‐Adhesive Protein Micropatterns

Advanced Healthcare Materials, EarlyView.
Here, we present a novel 3D cell patterning and culture platform. The “Floor‐Ceiling‐Chip” (FC‐Chip) consists of two opposing track‐etched membranes, creating a pseudo‐3D microenvironment for the cells in between. By providing the membranes with micropatterned cell‐adhesive islands of varying geometries and sizes, the FC‐Chip enables control over cell ...
Urandelger Tuvshindorj, Francesca Giacomini, Esra Güben Kaçmaz, Tim ten Brink, Lorenzo Moroni, Zeinab Tahmasebi Birgani, Clemens van Blitterswijk, Pamela Habibović, Stefan Giselbrecht, Jan de Boer, Roman Truckenmüller   +10 more
wiley   +1 more source

Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root

Моделирование и анализ информационных систем, 2019
For many years, automotive embedded systems have been validated only by testing. In the near future, Advanced Driver Assistance Systems (ADAS) will take a greater part in the car’s software design and development.
Vassil Todorov, Safouan Taha, Frederic Boulanger, Armando Hernandez   +3 more
doaj   +1 more source

The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden

Bulletin of the Section of Logic, 2020
We comment on certain features that second-level inference rules commonly used in mathematical proof sometimes have, sometimes lack: suppositions, indirectness, goal-simplification, goal-preservation and premise-preservation. The emphasis is on the roles
David Makinson
doaj   +1 more source

Capturing Assumptions while Designing a Verification Model for Embedded Systems [PDF]

, 2007
A formal proof of a system correctness typically holds under a number of assumptions. Leaving them implicit raises the chance of using the system in a context that violates some assumptions, which in return may invalidate the correctness proof.
Mader, A.H., Marincic, J., Wieringa, R.J.   +2 more
core   +1 more source

Small Extracellular Vesicles from Neural Cells: Physiological and Pathological Roles, and Potential in Neurodegenerative Therapy

Advanced Healthcare Materials, EarlyView.
Neural cell–derived small extracellular vesicles (sEVs) are emerging as pivotal mediators in neurodegenerative diseases, exerting both pathogenic and therapeutic functions. This review synthesizes current evidence on how sEVs from distinct neural cell types regulate neurodegeneration, neuroprotection, biomarker discovery, and targeted drug delivery ...
Muhammad Waqas Salim, Wei Zhang, Lyndsey Collins‐Praino, Yuling Wang, Andrew Care   +4 more
wiley   +1 more source

Proving uniformity and independence by self-composition and coupling

, 2017
Proof by coupling is a classical proof technique for establishing probabilistic properties of two probabilistic processes, like stochastic dominance and rapid mixing of Markov chains.
Barthe, Gilles, Espitau, Thomas, Grégoire, Benjamin, Hsu, Justin, Strub, Pierre-Yves   +4 more
core  

A Modular Bioinstructive Platform Reveals Mechanistic Insights into Additive‐Free, Topography‐Driven Osteogenesis

Advanced Healthcare Materials, EarlyView.
Engineered microparticle topographies direct human mesenchymal stem cell osteogenesis without biochemical additives. This osteogenic commitment is driven by canonical Hedgehog signaling and followed by temporal IGF‐II engagement. Two‐photon polymerization demonstrates spatial control, enabling the engineering of topographical gradients that pattern ...
Fatmah I. Ghuloum, Leo A. H. Zeef, Lee A. Stevens, Marco A. N. Domingos, Susan J. Kimber, Mahetab H. Amer   +5 more
wiley   +1 more source