Results 131 to 140 of about 909,831 (291)

Interplay Between Phase Evolution, Fe Migration, and Oxygen Redox in O3‐Type NaxFeyMn1−yO2 Cathodes

Advanced Functional Materials, EarlyView.
Why do Na‐ion battery cathodes, that are compositionally closely related, follow different structural paths during battery operation? This work shows how Fe content controls when iron atoms migrate from their original sites. Early migration locks the layers and blocks key phase transitions, whereas delayed migration permits fuller structural ...
Morten Johansen, Maria Schou Hansen, Josephine Dunker, Rebekka Klemmt, Dorthe B. Ravnsbæk   +4 more
wiley   +1 more source

Coagulative Granular Hydrogels with an Enzyme Catalyzed Fibrin Network for Endogenous Tissue Regeneration

Advanced Healthcare Materials, EarlyView.
Coagulative granular hydrogels are composed of packed thrombin‐functionalized microgels that catalyze the conversion of fibrinogen into a secondary fibrin network, filling the interstitial voids. This bio‐inspired approach stabilizes the biomaterial to match the robustness of bulk hydrogels without compromising injectability, mimicking the initial ...
Zhipeng Deng, Camila B. Tovani, Simona Bianco, Gianni Comandini, Aya Elghajiji, Mina Aleemardani, Roxana Moscalu, Jeremie Zappia, Bianca Fernandes, Olivia Annett, Chrissy L. Hammond, Jason Wong, Dave J. Adams, Fabrizio Scarpa, Michael R. Whitehouse, Annela M. Seddon, James P. K. Armstrong   +16 more
wiley   +1 more source

Induction in Saturation

Abstract Proof by induction is commonplace in modern mathematics and computational logic. This paper overviews and discusses our recent results in turning saturation-based first-order theorem proving into a powerful framework for automating inductive reasoning.
Laura Kovács, Petra Hozzová, Márton Hajdú, Andrei Voronkov   +3 more
openaire   +1 more source

Translational Considerations for Injectable Biomaterials and Bioscaffolds to Repair and Regenerate Brain Tissue

Advanced Healthcare Materials, EarlyView.
The repair and regeneration of brain tissue faces both biological and technical challenges. Injectable bioscaffolds offer new opportunities to stimulate tissue regrowth in the brain by recruiting neural stem cells. Here, the translational issues are reviewed that need to be address to advance this promising new therapeutic approach from the bench to ...
Michel Modo, Alena Kisel
wiley   +1 more source

Fluid Forces Control Structural Remodeling of Blind‐Ended Lymphatic Microvessels

Advanced Healthcare Materials, EarlyView.
Using innovative microfluidic biofabrication with fluid mechanical insights, we recapitulated the blind‐ended microanatomy and physiological drainage properties of capillary lymphatics. Our results reveal the interrelationship between intra‐ and extraluminal regions of lymphatic vessels due to flow‐induced sprouting and morphological changes that ...
Jacob C. Holter, Shashwat S. Agarwal, Joseph W. Tinapple, Joseph M. Barlage, Travis H. Jones, Jonathan W. Song   +5 more
wiley   +1 more source

Inductive Synthesis of Inductive Heap Predicates

Proceedings of the ACM on Programming Languages
We present an approach to automatically synthesise recursive predicates in Separation Logic (SL) from concrete data structure instances using Inductive Logic Programming (ILP) techniques. The main challenges to make such synthesis effective are (1) making it work without negative examples that are required in ILP but are difficult to ...
Ziyi Yang, Ilya Sergey
openaire   +1 more source

Functional Precision Oncology Approach Using Nanoliter Droplet Array for Drug Sensitivity Testing in Lung Cancer

Advanced Healthcare Materials, EarlyView.
A miniaturized drug sensitivity and resistance testing (DSRT) workflow based on the Droplet Microarray (DMA) platform enables functional drug testing using minimal patient‐derived tumor material. By screening nanoliter‐scale droplets containing as few as 300 cells, this approach generates reproducible and tumor‐specific drug response profiles ...
Maryam Salarian, Vicky L. Schiling, Thomas Muley, Michael Allgäuer, Florian Eichhorn, Michael Meister, Marc A. Schneider, Anna A. Popova   +7 more
wiley   +1 more source

A Syntax for Higher Inductive-Inductive Types.

, 2018
Higher inductive-inductive types (HIITs) generalise inductive types of dependent type theories in two directions. On the one hand they allow the simultaneous definition of multiple sorts that can be indexed over each other. On the other hand they support equality constructors, thus generalising higher inductive types of homotopy type theory.
Ambrus Kaposi, András Kovács
openaire   +3 more sources

Optoelectrical Devices for Neural Interfacing: Engineering Integration, Stability, and Multimodal Sensing

Advanced Healthcare Materials, EarlyView.
Implantable optoelectrical devices are an effective resource for the modulation and monitoring of neural activity with high spatiotemporal resolution. This review discusses current challenges faced by these devices and outlines future perspectives for the development of next‐generation neural interfaces targeting chronic, multisite, and multimodal ...
Stella Aslanoglou, Barbara Spagnolo, Antonio Balena, Massimo De Vittorio, Ferruccio Pisanello   +4 more
wiley   +1 more source

Recapitulating Endochondral Ossification for Bone Repair: From Development to Engineering Strategy

Advanced Healthcare Materials, EarlyView.
This review summarizes the developmental basis of endochondral ossification (ECO) and its applications in bone tissue engineering (BTE). It first outlines the key biological processes and signaling pathways underlying ECO, then discusses biomaterial‐based engineering strategies derived from these principles, and finally highlights future directions for
Yiqi Su, Zihao He, Qianqian Chen, Long Chen, Caiyi Wei, Zijin Zhou, Jianhao Lin, Hui Li, Dan Xing   +8 more
wiley   +1 more source