Results 81 to 90 of about 228,061 (236)

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

A Strong Bisimulation for a Classical Term Calculus [PDF]

Logical Methods in Computer Science
When translating a term calculus into a graphical formalism many inessential details are abstracted away. In the case of $\lambda$-calculus translated to proof-nets, these inessential details are captured by a notion of equivalence on $\lambda$-terms ...
Eduardo Bonelli, Delia Kesner, Andrés Viso   +2 more
doaj   +1 more source

Explaining Gabriel-Zisman localization to the computer [PDF]

, 2005
This explains a computer formulation of Gabriel-Zisman localization of categories in the proof assistant Coq. It includes both the general localization construction with the proof of GZ's Lemma 1.2, as well as the construction using calculus of fractions.
Simpson, Carlos T.
core   +3 more sources

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

The Route to Artery Mimetics: Hybrid Bioinks for Embedded Bioprinting of Multimaterial Cylindrical Models

Advanced Functional Materials, EarlyView.
The fabrication of a cellularized, multilayered 3D printed cylindrical model comprising hybrid bioinks inspired by the natural extracellular environment as an approach to artery mimetics, is presented. Using embedded bioprinting, interlayer crosslinking of self‐supporting concentric cylinders is achieved.
Uxue Aizarna‐Lopetegui, Ada Herrero‐Ruiz, Monize C. Decarli, Ane Urigoitia‐Asua, Karla Chavarri‐Urraca, Lorenzo Moroni, Malou Henriksen‐Lacey, Dorleta Jimenez de Aberasturi   +7 more
wiley   +1 more source

High‐Performance Low‐Emissivity Paints Enabled by N‐Doped Poly(benzodifurandione) (n‐PBDF) for Energy‐Efficient Buildings

Advanced Functional Materials, EarlyView.
This study introduces a scalable and colored low‐emissivity (low‐e) paint achieved by spraying an ultrathin n‐doped poly(benzodifurandione) (n‐PBDF) coating onto various colored substrates. The low‐e paint enhances thermal regulation by reducing mid‐infrared thermal emissivity to 0.19, thereby stabilizing indoor temperatures across diverse climates ...
Xiaojie Liu, Won‐June Lee, Daniel William Carne, Yanpei Tian, Andrea Felicelli, Yue Lei, Joseph A. Romo, Liyan You, Zixin Xiong, Orlando Gabriel Rivera Gonzalez, Abdulrahman Aljwirah, Qiaoqiang Gan, Jianguo Mei, Xiulin Ruan   +13 more
wiley   +1 more source

Photoswitchable Conductive Metal–Organic Frameworks

Advanced Functional Materials, EarlyView.
A conductive material where the conductivity can be modulated remotely by irradiation with light is presented. It is based on films of conductive metal–organic framework type Cu3(HHTP)2 with embedded photochromic molecules such as azobenzene, diarylethene, spiropyran, and hexaarylbiimidazole in the pores.
Yidong Liu, Mersad Mostaghimi, Abhinav Chandresh, Saibal Jana, Wolfgang Wenzel, Lars Heinke   +5 more
wiley   +1 more source

A first step toward higher order chain rules in abelian functor calculus

, 2017
One of the fundamental tools of undergraduate calculus is the chain rule. The notion of higher order directional derivatives was developed by Huang, Marcantognini, and Young, along with a corresponding higher order chain rule.
B Johnson, H-N Huang, K Bauer, Samuel Eilenberg   +3 more
core   +1 more source

Quantum Emitters in Hexagonal Boron Nitride: Principles, Engineering and Applications

Advanced Functional Materials, EarlyView.
Quantum emitters in hexagonal boron nitride have emerged as a promising candidate for quantum information science. This review examines the fundamentals of these quantum emitters, including their level structures, defect engineering, and their possible chemical structures.
Thi Ngoc Anh Mai, Md Shakhawath Hossain, Nhat Minh Nguyen, Yongliang Chen, Chaohao Chen, Xiaoxue Xu, Quang Thang Trinh, Toan Dinh, Toan Trong Tran   +8 more
wiley   +1 more source

Sequent Calculus in the Topos of Trees

, 2015
Nakano's "later" modality, inspired by G\"{o}del-L\"{o}b provability logic, has been applied in type systems and program logics to capture guarded recursion. Birkedal et al modelled this modality via the internal logic of the topos of trees. We show that
A. Bizjak, A. Hobor, A. Muravitsky, G. Corsi, G. Fiorino, G. Restall, J. Bengtson, M. Ferrari, O. Sonobe, R. Clouston, R. Dyckhoff, R. Ishigaki, T. Coquand, Y. Hirai   +13 more
core   +1 more source