Results 111 to 120 of about 9,301 (306)

A Syntactic Proof of the Decidability of First-Order Monadic Logic

Bulletin of the Section of Logic
Decidability of monadic first-order classical logic was established by Löwenheim in 1915. The proof made use of a semantic argument and a purely syntactic proof has never been provided.
Eugenio Orlandelli, Matteo Tesi
doaj   +1 more source

Encoding of Predicate Subtyping with Proof Irrelevance in the $\lambda$$\Pi$-Calculus Modulo Theory [PDF]

, 2021
Gabriel Hondet, Frédéric Blanqui
openalex  

A Vascular Microphysiological Model of Lung Fibrosis Reveals That Myofibroblasts and IPF Patient‐Derived Fibroblasts Impair Angiogenesis and Vasculogenesis

Advanced Functional Materials, EarlyView.
A microphysiological lung fibrosis model recapitulates myofibroblast–vascular interactions. Induced myofibroblasts and patient‐derived IPF fibroblasts impair angiogenesis and increase vascular permeability via TGF‐β1–driven signaling. Pharmacological interventions with SB 431542 and VEGF supplementation restore vascular morphology and barrier function.
Elena Cambria, Adriana Blazeski, Eunkyung Clare Ko, Tran Thai, Shania Dantes, David A. Barbie, Sarah E. Shelton, Roger D. Kamm   +7 more
wiley   +1 more source

GeAl2‐2xFe2xO3(OH)4 Nanotubes: New Electrocatalyst for Oxygen Evolution Reaction

Advanced Functional Materials, EarlyView.
Fe‐doped imogolite nanotubes are synthesized via a one‐step hydrothermal method with varying Fe substitution ratios x. Structural and spectroscopic analyses confirm homogeneous Fe incorporation while preserving tubular shape. Optimal doping at x = 0.05 enhances optical absorption, narrows band gap, reduces charge transfer resistance, and significantly ...
Yassine Naciri, Jian Li, Wahid Ullah, Fabien Baron, Franck Bourdelle, Stéphan Rouzière, Claire Goldmann, Erik Elkaim, Thomas Bizien, Rachid Belkhou, Delphine Vantelon, Mohamed Nawfal Ghazzal, Erwan Paineau   +12 more
wiley   +1 more source

Peptide Sequencing With Single Acid Resolution Using a Sub‐Nanometer Diameter Pore

Advanced Functional Materials, EarlyView.
To sequence a single molecule of Aβ1−42–sodium dodecyl sulfate (SDS), the aggregate is forced through a sub‐nanopore 0.4 nm in diameter spanning a 4.0 nm thick membrane. The figure is a visual molecular dynamics (VMD) snapshot depicting the translocation of Aβ1−42–SDS through the pore; only the peptide, the SDS, the Na+ (yellow/green) and Cl− (cyan ...
Apurba Paul, Archith Rayabharam, Lisa Almonte, Eveline Rigo, Joshy Joseph, Ashutosh Kumar, Zhuxin Dong, Narayana Aluru, Gregory Timp   +8 more
wiley   +1 more source

Multifunctional Microstructured Surfaces by Microcontact Printing of Reactive Microgels

Advanced Functional Materials, EarlyView.
Reactive poly(N‐vinylcaprolactam‐co‐glycidyl methacrylate) microgels are used as functional inks to create surface‐grafted arrays on glass via microcontact printing. The patterns (10–50 µm widths and spacings) enable stable binding and post‐functionalization with dyes and peptides.
Inga Litzen, Alexander Töpel, Martin Zenke, Antonio Sechi, Andrij Pich   +4 more
wiley   +1 more source

Exploiting Two‐Photon Lithography, Deposition, and Processing to Realize Complex 3D Magnetic Nanostructures

Advanced Functional Materials, EarlyView.
Two‐photon lithography (TPL) enables 3D magnetic nanostructures with unmatched freedom in geometry and material choice. Advances in voxel control, deposition, and functionalization open pathways to artificial spin ices, racetracks, microrobots, and a number of additional technological applications.
Joseph Askey, Arjen van den Berg, Sandra Ruiz Gomez, Claire Donnelly, Dirk Grundler, Sam Ladak   +5 more
wiley   +1 more source

False Proof: 1 = 2 (with Calculus)

, 2011
Problem: Show 1 = 2 (with calculus) “Solution”: Consider the following: $ 1^2 = 1$ $ 2^2 = 2 + 2$ $ 3^2 = 3 + 3 + 3$ $ \vdots$ $ x^2 = x + x + \dots + x$ ($ x$ times) And since this is true for all values of $ x$, we may take the derivative of both sides, and the equality remains true.
openaire   +1 more source

Harmonizing the Pyrene and Ether Groups in Covalent Triazine Polymers for Highly Effective H2O2 Photosynthesis via One‐Step Two‐Electron Oxygen Reduction

Advanced Functional Materials, EarlyView.
The pyrene and ether groups are incorporated into the covalent triazine polymer (CTP) structure. The synergistic effect of the two functional groups endows CTP with better electron transfer, light absorption, and oxygen activation properties. An impressive apparent quantum yield (13.2% @420 nm) and a remarkable solar‐to‐chemical conversion efficiency ...
Chong Wang, Jinliang Lv, Yichun Lu, Hanfeng Ye, Xuan Zhang, Leonardo Cancellara, Nadezda Tarakina, Jiande Lin, Xin Gao, Oleksandr Savateev, Jiajia Cheng   +10 more
wiley   +1 more source

Two‐Dimensional Materials as a Multiproperty Sensing Platform

Advanced Functional Materials, EarlyView.
Various sensing modalities enabled and/or enhanced by two‐dimensional (2D) materials are reviewed. The domains considered for sensing include: 1) optoelectronics, 2) quantum defects, 3) scanning probe microscopy, 4) nanomechanics, and 5) bio‐ and chemosensing.
Dipankar Jana, Shubhrasish Mukherjee, Dmitrii Litvinov, Magdalena Grzeszczyk, Sergey Grebenchuk, Makars Šiškins, Virgil Gavriliuc, Yihang Ouyang, Changyi Chen, Yuxuan Ye, Meng Yiming, Maciej Koperski   +11 more
wiley   +1 more source