Results 221 to 230 of about 9,301 (306)

Proof-relevant $\pi$-calculus: a constructive account of concurrency and causality [PDF]

, 2016
Roly Perera, James Cheney
openalex  

Voltage‐Gated Dedoping of n‐Doped Poly(benzodifurandione) as an Interfacial Protective Mechanism in Electrochromic Devices

Advanced Functional Materials, EarlyView.
Electrochromic polymer stability under overpotential is improved by inserting an ultrathin, transparent n‐doped poly(benzodifurandione) interlayer between indium tin oxide and a poly(3,4‐propylenedioxythiophene)‐based electrochromic polymer. The interlayer supports rapid switching at operating bias, then becomes resistive near +0.8 V to suppress excess
Priyanka Rout, Palak Mehra, Won‐June Lee, Liyan You, Jianguo Mei   +4 more
wiley   +1 more source

Variational structures for the Fokker-Planck equation with general Dirichlet boundary conditions. [PDF]

Calc Var Partial Differ Equ
Quattrocchi F.
europepmc   +1 more source

Epsilon Calculus Provides Shorter Cut-Free Proofs [PDF]

Matthias Baaz, Anela Lolić
openalex   +1 more source

Amyloidogenic Peptide Fragments Designed From Bacterial Collagen‐like Proteins Form Hydrogel

Advanced Functional Materials, EarlyView.
This study identified amyloidogenic sequence motifs in bacterial collagen‐like proteins and exploited these to design peptides that self‐assemble into β‐sheet fibers and form hydrogels. One hydrogel supported healthy fibroblast growth, showing promise for biocompatible materials. Our work demonstrates that bacterial sequences can be harnessed to create
Vamika Sagar, Xuen J Ng, Lukas Lechel, Ashish Chand Rajwar, Hendrik Bargel, Abhishek A. Jalan   +5 more
wiley   +1 more source

Numerical study on fractional order nonlinear SIR-SI model for dengue fever epidemics. [PDF]

Sci Rep
Verma L, Meher R, Nikan O, Al-Saedi AA.
europepmc   +1 more source

A Weakest Precondition Calculus for Programs and Linear Temporal Specifications: Isabelle/HOL Proofs and Prototype Implementation

G. Ernst
openalex   +1 more source

Generation of an Induced Pluripotent Stem Cell‐Derived Alveolar Type II In Vitro Model to Study Influenza A Virus Infection and Drug Treatments

Advanced Healthcare Materials, EarlyView.
Patient‐specific induced pluripotent stem cells (iPSCs) can be differentiated into alveolar type II cells (iAT2s), expanded as 3D alveolospheres, and grown at physiologically relevant air–liquid interface (ALI). This study shows for the first time the infectability of iAT2s by the influenza A virus (IAV) and proves their responsiveness to the well ...
Lena Gauthier, Hristina Koceva, Yann Bachelot, Rosanne W. Koutstaal, Puck B. van Kasteren, Marc Thilo Figge, Christian Eggeling, Alexander Sandy Mosig   +7 more
wiley   +1 more source

Nonlinear SPDEs and Maximal Regularity: An Extended Survey. [PDF]

Nonlinear Differ Equ Appl
Agresti A, Veraar M.
europepmc   +1 more source

Proof pearl: abella formalization of lambda-calculus cube property

, 2012
Beniamino Accattoli
openalex   +1 more source