Results 101 to 110 of about 228,061 (236)
On the semantics of proofs in classical sequent calculus [PDF]
, 2023 Fabio Massaioli
openalex +1 more source
Advanced Functional Materials, EarlyView.This work demonstrates the successful integration of a phenanthroline‐based 2D COF with MnI catalytic sites into a catholyte‐free membrane‐electrode‐assembly cell for CO2 electroreduction. The crystalline COF actively suppresses Mn⁰–Mn⁰ dimerization, achieving a turnover frequency of 617 h⁻¹ at 2.8 V (full‐cell potential), and enabling stable operation.
Laura Spies +8 more
wiley +1 more source
A New Proof of a Theorem in Analysis by Generating Integrals and Fractional Calculus [PDF]
, 2022 S. C. Woon
openalex +1 more source
A finite simulation method in a non-deterministic call-by-need calculus with letrec, constructors and case [PDF]
, 2008 The paper proposes a variation of simulation for checking and proving contextual equivalence in a non-deterministic call-by-need lambda-calculus with constructors, case, seq, and a letrec with cyclic dependencies. It also proposes a novel method to prove
Machkasova, Elena +1 more
core +2 more sources
A Sustainable Biotechnology Approach for Mineral Separation
Advanced Functional Materials, EarlyView.Silver‑binding peptides are first identified through phage‐display screening, and then engineered into multifunctional and responsive peptides or proteins. These tailored biomolecules can selectively capture and aggregate silver particles or ions from complex mixtures, enabling rapid and efficient silver separation and recovery.
Guangze Yang +7 more
wiley +1 more source
Linear Logic, the $\\pi$-calculus, and their Metatheory: A Recipe for\n Proofs as Processes [PDF]
, 2021 Fabrizio Montesi, Marco Peressotti
openalex +1 more source
Advanced Functional Materials, EarlyView.From a database of 170 pentagonal 2D materials, 4 candidates exhibiting altermagnetic ordering are screened. Furthermore, the spin‐splitting and unconventional boundary states in the pentagonal 2D altermagnetic monolayer MnS2 are investigated. A MnS2‐based altermagnetic tunneling junction is designed and, through ab initio quantum transport simulations,
Jianhua Wang +8 more
wiley +1 more source
Rationally Designed Carbon Nanomaterials for Electrically Driven Solid‐State Hydrogen Storage
Advanced Functional Materials, EarlyView.A bottom‐up design principle integrating atomic‐level and nanoscale structural engineering is developed to guide the rational design of electrically tunable, solid‐state hydrogen storage materials that enable non‐dissociative chemisorption under applied electric fields.
Yong Gao +30 more
wiley +1 more source
Micropatterned Biphasic Printed Electrodes for High‐Fidelity on‐Skin Bioelectronics
Advanced Functional Materials, EarlyView.Micropatterned biphasic printed electrodes achieve unprecedented skin conformity and low impedance by combining liquid‐metal droplets with microstructured 3D lattices. This scalable approach enables high‐fidelity detection of ECG, EMG, and EEG signals, including alpha rhythms from the forehead, with long‐term comfort and stability.
Manuel Reis Carneiro +4 more
wiley +1 more source
Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search [PDF]
, 2019 José Espírito Santo +2 more
openalex +3 more sources