Results 131 to 140 of about 228,061 (236)
3D Multicellular Scaffold Based Model for Advancing Bone Disorder Research
Advanced Functional Materials, EarlyView.A scalable 3D multicellular in vitro bone model engineered by integrating osteoblasts, osteoclasts, and endothelial cells on biodegradable scaffolds. The system recapitulates key features of human bone remodeling and disease pathology. As a proof of concept, the model mimics osteogenesis imperfecta, demonstrating its potential as a physiologically ...
Gali Guterman‐Ram +5 more
wiley +1 more source
Automatic proof of resistance of denial of service attacks in protocols
Tongxin xuebao, 2012 First,the applied PI calculus was extended from two aspects:attacker contexts and process expression,then from the view of protocol state,the protocols were modeled with the extended applied PI calculus and a automatic method of proof of resistance of ...
Bo MENG +3 more
doaj +2 more sources
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics [PDF]
, 2013 Carlos G. López Pombo +3 more
openalex +1 more source
Substrate Stress Relaxation Regulates Cell‐Mediated Assembly of Extracellular Matrix
Advanced Functional Materials, EarlyView.Silicone‐based viscoelastic substrates with tunable stress relaxation reveal how matrix mechanics regulates cellular mechanosensing and cell‐mediated matrix remodelling in the stiff regime. High stress relaxation promotes assembly of fibronectin fibril‐like structures, increased nuclear localization of YAP and formation of β1 integrin‐enriched ...
Jonah L. Voigt +2 more
wiley +1 more source
The λ-Calculus and the Unity of Structural Proof Theory
, 2009 José Espírito Santo
openalex +2 more sources
Advanced Functional Materials, EarlyView.A 3D bone scaffold with osteogenic properties and capable of hardening in vivo is developed. The scaffold is implanted in a ductile state, and a phase transformation of the ceramic induces the stiffening and strengthening of the scaffold in vivo. Abstract Calcium phosphate 3D printing has revolutionized customized bone grafting.
Miguel Mateu‐Sanz +7 more
wiley +1 more source
Advanced Functional Materials, EarlyView.A scalable biomimetic platform transforms bioinert poly(ethylene glycol) diacrylate into neuroinstructive matrices via integrating solvent transfer‐induced phase separation, microfluidics, and 3D bioprinting. Bicontinuous, hyperbolically curved microporous networks embedded within a fibrous construct elicit rapid adhesion, robust proliferation, and ...
Prince D. Okoro +8 more
wiley +1 more source
On the calculus of positively constructed formulas for authomated theorem proving
Моделирование и анализ информационных систем, 2010 The paper deals with an expressive logic language LF and its calculus. Formulas of this language consist of some large-block structural elements, such as type quanti¯ers.
A. V. Davydov +2 more
doaj
Advances in Micro/Nanofiber‐Based Porous Materials for High‐Performance Thermal Insulation
Advanced Functional Materials, EarlyView.Micro/nanofiber porous materials have engendered great interest in the thermal insulation field. Herein, the structural designs, fabrication techniques, and applications of the micro/nanofiber thermal insulation materials are systematically summarized.
Xiaobao Gong +5 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Advances in integrating artificial intelligence into 3D bioprinting are systematically reviewed here. Machine learning, computer vision, robotics, natural language processing, and expert systems are examined for their roles in optimizing bioprinting parameters, real‐time monitoring, quality control, and predictive maintenance.
Joao Vitor Silva Robazzi +10 more
wiley +1 more source