Results 51 to 60 of about 307 (171)
Counting and Generating Terms in the Binary Lambda Calculus (Extended version) [PDF]
, 2014 In a paper entitled Binary lambda calculus and combinatory logic, John Tromp presents a simple way of encoding lambda calculus terms as binary sequences.
Grygiel, Katarzyna, Lescanne, Pierre
core +1 more source
Entropy‐Driven Physical Amplification in Multivalent Biosensing
Advanced Science, EarlyView.Detecting scarce molecules usually demands enzymatic amplification such as PCR. A statistical‐mechanical theory now reveals a purely physical alternative: distributing a fixed binding strength over more linker arms exponentially lowers the concentration at which multivalent sensors switch on.
Yuhan Peng, Xiuyang Xia, Ran Ni
wiley +1 more source
The computational origin of representation. [PDF]
Minds Mach (Dordr), 2021 Piantadosi ST.
europepmc +1 more source
ZrCo3B2 and HfCo3B2 Electrodes Go on Stage for Oxygen Evolution Reaction
Advanced Science, EarlyView.The intermetallic compounds ZrCo3B2 and HfCo3B2 with distinctive chemical bonding features are excellent OER precursors, restructuring into OER‐active electrocatalysts delivering significantly high OER activities compared to the elemental Co, which is obvious from their lower onset potentials and increased obtained current densities.
Fatma Aras +4 more
wiley +1 more source
Counting and Generating Terms in the Binary Lambda Calculus (Extended version) [PDF]
, 2015 In a paper entitled Binary lambda calculus and combinatory logic, John Tromp presents a simple way of encoding lambda calculus terms as binary sequences.
Grygiel, Katarzyna, Lescanne, Pierre
core +3 more sources
The FCG Editor: An innovative environment for engineering computational construction grammars. [PDF]
PLoS One, 2022 van Trijp R, Beuls K, Van Eecke P.
europepmc +1 more source
Call-by-Value Combinatory Logic and the Lambda-Value Calculus
, 1991 Since it is unsound to reason about call-by-value languages using call-by name equational theories, we present two by-value combinatory logics and translations from the -value ( v ) calculus to the logics.
Bruce F. Duba, John Gateley
core
Giant Direct Magnetoelectric Effect in Nanocomposite CoFe2O4:PVDF‐TrFE Thin Films
Advanced Science, EarlyView.A novel three‐step grow‐etch‐fill fabrication approach creates structured cobalt ferrite/ferroelectric polymer nanocomposites with high interfacial areas. Driven by efficient strain‐mediated coupling, this crystalline system achieves a giant room‐temperature magnetoelectric coefficient nearly two orders of magnitude higher than other CFO/PVDF‐TrFE thin
Muireann de h‐Óra +8 more
wiley +1 more source
Advanced Science, EarlyView.This study unveils a microstructural‐compatibility design strategy that integrates reactive melt infiltration with plasma spraying to fabricate carbon fiber‐reinforced ZrC‐SiC composites. The deliberate incorporation of SiC into the ZrC coating releases heat accumulation, suppresses detrimental lamellar ZrO2 formation, and reduces residual stress. This
Hongkang Ou +6 more
wiley +1 more source
Advanced Science, EarlyView.Increasing the frequency at which organic electronics operate while limiting the operation voltage is key to enabling future sustainable wireless applications. This work shows p‐type organic field‐effect transistors based on a molecularly doped, small molecule/polymer blend (C8‐BTBT:C16IDT‐BT), fabricated via direct‐writing and solution‐processing ...
Tommaso Losi +8 more
wiley +1 more source