Results 141 to 150 of about 1,643,554 (351)

A Human Neural Tube Model Using 4D Self‐Folding Smart Scaffolds

Advanced Healthcare Materials, EarlyView.
Induced pluripotent stem cells (iPSCs) exhibit features comparable to the inner cell mass of the human embryo. iPSCs are applied to a novel self‐folding 4D‐Neural Tube (4D‐NT) structure that mimics the neurulation process. This 4D‐NT model recapitulates early events of human neural development and represents a platform to explore neurodevelopmental ...
Claudia Dell'Amico, Irene Chiesa, Angela Toffano, Alessio Esposito, Piera Mancini, Chiara Magliaro, Angeliki Louvi, Carmelo De Maria, Marco Onorati   +8 more
wiley   +1 more source

An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms

, 2015
Alexander Kamkin, Alexander Protsenko, Andrei Tatarnikov   +2 more
openalex   +2 more sources

Decellularized Extracellular Matrix Scaffolds to Engineer the Dormant Landscape of Microscopic Colorectal Cancer Liver Metastasis

Advanced Healthcare Materials, EarlyView.
Decellularized liver extracellular matrix scaffolds provide a platform to study dormant liver‐metastatic colorectal cancer. They induce reversible dormancy, in combination with nutrient depletion and low dose chemotherapy, through cell cycle arrest and chemotherapy resistance.
Sabrina N. VandenHeuvel, Lucia L. Nash, Abigail J. Clevenger, Claudia A. Collier, Oscar R. Benavides, Sanjana Roy, Brinlee Goggans, Aelita Salikhova, Anvitha Tharakesh, Svasti Haricharan, Amber N. Stratman, Scott Kopetz, Alex J. Walsh, Shreya A. Raghavan   +13 more
wiley   +1 more source

Modeling And Formal Specification Of Air Traffic Control System Using Z Notation [PDF]

, 2007
Maryam Jamal, Nazir Ahmad Zafar
openalex   +1 more source

Geometrically Tunable Scaffold‐Free Muscle Bioconstructs for Treating Volumetric Muscle Loss

Advanced Healthcare Materials, EarlyView.
Volumetric muscle loss is associated with traumatic muscle resulting in permanent functional impairment. Mold‐based, scaffold‐free, high‐density muscle tissue bioconstructs are developed in customizable geometric shapes and sizes. The transplanted rectangular solid‐shaped muscle bioconstructs improved muscle force recovery and tissue regeneration in ...
Bugra Ayan, Gaoxian Chen, Ishita Jain, Sha Chen, Gladys Chiang, Caroline Hu, Renato Reyes, Beu P. Oropeza, Ngan F. Huang   +8 more
wiley   +1 more source

Formal Verification of Object-Oriented Graph Grammars Specifications

, 2007
Ana Paula Lüdtke Ferreira, Luciana Foss, Leila Ribeiro   +2 more
openalex   +1 more source

Modular Platform for Rapidly Investigating Long‐Distance Propagation of Human Neural Network Activity

Advanced Healthcare Materials, EarlyView.
This study presents the first human neural organoid culture model capable of rapidly exhibiting long‐distance neural network propagation, thus delivering a system to experimentally investigate large‐scale communication during normal and diseased states.
Megh Dipak Patel, Sailee Sham Lavekar, Ronak Jaisalmeria, Suki Oji, Jazmine Jayasi, Caroline Cvetkovic, Robert Krencik   +6 more
wiley   +1 more source

Formal Specification and Verification of Hybrid Systems in Formal Methods

, 2008
Satoshi Yamane
openalex   +2 more sources

Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard [PDF]

, 2015
Wendelin Serwe
openalex   +1 more source

Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning [PDF]

, 2023
Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee   +5 more
openalex   +1 more source