Results 51 to 60 of about 251 (176)
Advanced Energy Materials, EarlyView.The role of each Mn site in the Na3‐xMn[Mn(CN)6]·zH2O compounds’ redox activity was investigated using a combined experimental–computational approach, which shows that only the low‐spin Mn‐C site undergoes redox changes (Mn1+ to Mn4+), while high‐spin Mn‐N remains unchanged. The study confirms the presence of the Mn1+ intermediate and newly reveals its
Zhenying Li +11 more
wiley +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
Programs as Data Structures in λSF-Calculus [PDF]
, 2016 Lambda-SF-calculus can represent programs as closed normal forms. In turn, all closed normal forms are data structures, in the sense that their internal structure is accessible through queries defined in the calculus, even to the point of constructing ...
Jay, Barry, Jay, B
core +1 more source
Applied Economic Perspectives and Policy, EarlyView.ABSTRACT Amid rising food and fertilizer prices, understanding farmers' policy preferences is critical for effective crisis response. We use best‐worst scaling experiment to assess Kenyan mobile‐owning crop farmers' preferences for government support under high and normal price scenarios.
Mywish K. Maredia +4 more
wiley +1 more source
On reversible combinatory logic
, 2006 The lambda-calculus is destructive: its main computational mechanism - beta reduction - destroys the redex and makes it thus impossible to replay the computational steps.
Alessandra Di Pierro
core +1 more source
Counting Terms in the Binary Lambda Calculus
, 2014 International audienceIn 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
Understanding Egg Price Volatility and Policy Implications in the U.S. With Machine Learning
Applied Economic Perspectives and Policy, EarlyView.ABSTRACT Eggs are an inexpensive and sustainable source of proteins, but volatility in the U.S. egg prices has intensified in recent years, raising concerns over food affordability and market stability. This study examines the drivers of U.S. egg price dynamics over 2004–2025 using a two‐stage framework that combines LASSO‐based variable selection with
Xuemei Zhao +3 more
wiley +1 more source
, 2006 The lambda-calculus is destructive: its main computational mechanism, beta reduction, destroys the redex, which makes replaying the computational steps impossible.
Wiklicky H. +2 more
core
Foreign labor, peer‐networking and agricultural efficiency in the Italian dairy sector
Agribusiness, EarlyView.Abstract While the presence of immigrants in the agricultural sector is widely acknowledged, the empirical evidence on its economic consequences is lacking, especially from a microeconomic perspective. Using the Farm Accountancy Data Network panel data for Italian dairy farms in the period 2008–2018, the present study investigates the relationship ...
Federico Antonioli +2 more
wiley +1 more source
Hardware acceleration of number theoretic transform for zk‐SNARK
Engineering Reports, EarlyView., 2023 An FPGA‐based hardware accelerator with a multi‐level pipeline is designed to support the large‐bitwidth and large‐scale NTT tasks in zk‐SNARK. It can be flexibly scaled to different scales of FPGAs and has been equipped in the heterogeneous acceleration system with the help of HLS and OpenCL.
Haixu Zhao +6 more
wiley +1 more source