Results 91 to 100 of about 9,301 (306)

A Mechanised Proof of the Time Invariance Thesis for the Weak Call-By-Value λ-Calculus

, 2021
Yannick Forster, Fabian Kunze, Gert Smolka, Maximilian Wuttke   +3 more
openalex   +2 more sources

Patterning the Void: Combining L‐Systems with Archimedean Tessellations as a Perspective for Tissue Engineering Scaffolds

Advanced Functional Materials, EarlyView.
This study introduces a novel multi‐scale scaffold design using L‐fractals arranged in Archimedean tessellations for tissue regeneration. Despite similar porosity, tiles display vastly different tensile responses (1–100 MPa) and deformation modes. In vitro experiments with hMSCs show geometry‐dependent growth and activity. Over 55 000 tile combinations
Maria Kalogeropoulou, Kenny A. van Kampen, Pierpaolo Fucile, Carlos Mota, Lorenzo Moroni   +4 more
wiley   +1 more source

Concentration to Zero Bit-Error Probability for Regular LDPC Codes on\n the Binary Symmetric Channel: Proof by Loop Calculus [PDF]

, 2015
Marc Vuffray, Theodor Misiakiewicz
openalex   +1 more source

Calculus of structures and proof-nets

Electronic Notes in Theoretical Computer Science, 2003
Abstract The Calculus of Structures is a new logical formalism developped by A. Gugliemi, L. Strassburger et al. Using the central idea of CS, namely local rewritings of proofs at any depth, but directly in the formalism of Proof-Nets, I will give an alternative characterisation of the Multiplicative fragment of Multiplicative Linear Logic Proof Nets.
openaire   +1 more source

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, Majd Machour, Janette Zavin, Roy Meretzki, Reut Lev‐Ari, Shulamit Levenberg   +5 more
wiley   +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, Jens Timmer, Elisabetta Ada Cavalcanti‐Adam   +2 more
wiley   +1 more source

A proof of principle investigation of a novel enzyme formulation on dental calculus deposition: a 4-week randomized human clinical trial

BMC Oral Health
Background The dissolution of dental calculus, safely and at home, is among the more challenging issues facing the over-the-counter healthcare industry. Pontis Biologics, Inc.
Kimberly R. Milleman, Greg Deener, Jeffery L. Milleman, Barbara Mish, Reinhard Schuller, Dennis Mynarcik   +5 more
doaj   +1 more source

Mechanically Tunable Bone Scaffolds: In Vivo Hardening of 3D‐Printed Calcium Phosphate/Polycaprolactone Inks

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, Pablo Varela, Laura del‐Mazo‐Barbara, Irene Lodoso‐Torrecilla, Emilio Jiménez‐Piqué, Jordi Franch, Miguel Alaminos, Maria‐Pau Ginebra   +7 more
wiley   +1 more source

A New Proof of P-time Completeness of Linear Lambda Calculus [PDF]

, 2013
Satoshi Matsuoka
openalex   +1 more source

A SHORT CALCULUS PROOF OF JORDAN’S INEQUALITY [PDF]

, 2020
It is a short visual proof of the famous JORDAN'S INEQUALITY using an area argument.
openaire   +1 more source