Results 191 to 200 of about 21,783,491 (356)

Engineering the Hierarchical Porosity of Granular Hydrogel Scaffolds Using Porous Microgels to Improve Cell Recruitment and Tissue Integration

Advanced Functional Materials, Volume 35, Issue 12, March 18, 2025.
By fabricating and covalently assembling gelatin methacryloyl (GelMA) porous microgels, a new class of granular hydrogel scaffolds with hierarchical porosity is developed. These scaffolds have a significantly higher void fraction than their counterparts made up of nonporous microgels, enhancing cell recruitment and tissue integration. This research may
Alexander Kedzierski, Sina Kheirabadi, Arian Jaberi, Zaman Ataie, Catherine L. Mojazza, Marisa L. Williamson, Anton M. Hjaltason, Aneesh Risbud, Yuanhui Xiang, Amir Sheikhi   +9 more
wiley   +1 more source

Global guidance for local generalization in model checking. [PDF]

Form Methods Syst Des
Vediramana Krishnan HG, Chen Y, Shoham S, Gurfinkel A.   +3 more
europepmc   +1 more source

Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking. [PDF]

Sensors (Basel), 2020
Chouhan AP, Banda G.
europepmc   +1 more source

A Vascularized Microphysiological System Reproducing Endochondral Ossification in Vitro to Study Ewing Sarcoma Proliferation and Migration

Advanced Functional Materials, EarlyView.
A biofabricated 3D in vitro model recapitulating endochondral ossification (ECO) is described, mimicking the steps from condensation to chondrogenesis and hypertrophy, culminating with vascularization of the hypertrophic construct. As a model proof of concept application, Ewing Sarcoma cells are seeded in the model, showing modifications in their ...
Maria Vittoria Colombo, Chiara Arrigoni, Tobias Faehling, Antonietta Verrillo, Viviana Secci, Thomas G. P. Grünewald, Giuseppe Talò, Alexandra Kummer, Jorge Gonzalez, Vincenzo De Rosa, Christian Candrian, Andrea Barbero, Florencia Cidre‐Aranaz, Matteo Moretti   +13 more
wiley   +1 more source

Exact acceleration of complex real-time model checking based on overlapping cycle. [PDF]

PeerJ Comput Sci, 2020
Wang G, Zhuang L, Song Y, He M, Ma D, Ma L.   +5 more
europepmc   +1 more source

Unique Performance Considerations for Printable Organic Semiconductor and Perovskite Radiation Detectors: Toward Consensus on Best Practice Evaluation

Advanced Functional Materials, EarlyView.
A lack of standard approaches for testing and reporting the performance of metal halide perovskites and organic semiconductor radiation detectors has resulted in inconsistent interpretation of performance parameters, impeding progress in the field. This Perspective recommends key metrics and experimental details, which are suggested for reporting in ...
Jessie A. Posar, Matthew Large, Andrea Ciavatti, Laura Basiricò, Beatrice Fraboni, Paul J. Sellin, Attila J. Mozer, Marco Petasecca, Matthew J. Griffith   +8 more
wiley   +1 more source

Partial model checking with ROBDDs

, 1997
Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti   +2 more
openalex   +1 more source

Induction in Compositional Model Checking [PDF]

, 2000
Kenneth L. McMillan, Shaz Qadeer, James B. Saxe   +2 more
openalex   +1 more source

Model learning and model checking of SSH implementations

SPIN, 2017
P. Fiterau-Brostean, T. Lenaerts, E. Poll, Joeri de Ruiter, F. Vaandrager, P. Verleg   +5 more
semanticscholar   +1 more source