Results 61 to 70 of about 13,265 (227)
Recent Advances in Intelligent Source Code Generation: A Survey on Natural Language Based Studies. [PDF]
Entropy (Basel), 2021 Yang C, Liu Y, Yin C.
europepmc +1 more source
Advanced Functional Materials, EarlyView.A reactive in situ solution complexation strategy reconstructs the surface of 2.0 eV ultra‐wide‐bandgap perovskites via proton transfer. This chemical modulation eliminates metallic defects and induces a degenerate‐like n‐type surface, establishing an Ohmic tunneling contact.
Saemon Yoon +11 more
wiley +1 more source
An Invariant Cost Model for the Lambda Calculus
, 2005 We define a new cost model for the call-by-value lambda-calculus satisfying the invariance thesis. That is, under the proposed cost model, Turing machines and the call-by-value lambda-calculus can simulate each other within a polynomial time overhead ...
Lago, Ugo Dal, Martini, Simone
core +1 more source
A Theory of Explicit Substitutions with Safe and Full Composition
, 2009 Many different systems with explicit substitutions have been proposed to implement a large class of higher-order languages. Motivations and challenges that guided the development of such calculi in functional frameworks are surveyed in the first part of ...
Delia Kesner +4 more
core +2 more sources
Advanced Functional Materials, EarlyView.Here, SubNc single‐component organic photodiodes (SC‐OPDs) are investigated, which achieve highly competitive performance metrics, including high EQE, ultra‐low JD, and high specific detectivity (D*). This study emphasizes the critical role of an organic buffer layer in studying the interface energetics and effects to achieve state‐of‐the‐art ...
Anncharlott Kusber +12 more
wiley +1 more source
, 2011 Formal verification of a compiler is a long-standing problem in computer science and, although recent years have seen substantial achievements in the area, most of the proposed solutions do not scale very well with the complexity of modern software development environments.
openaire +2 more sources
Multiplex Modular Nanorobotic Systems with Catalytic Activity under Magnetic Navigation
Advanced Functional Materials, EarlyView.We present modular nanorobots composed of a magnetic propulsion module and different extension modules carrying functional activities, assembled via DNA base pairing. The system integrates propulsion, optical tracking, enzymatic catalysis, and cell docking in a programmable manner.
Voichita Mihali +7 more
wiley +1 more source
On generic context lemmas for lambda calculi with sharing [PDF]
, 2007 This paper proves several generic variants of context lemmas and thus contributes to improving the tools to develop observational semantics that is based on a reduction semantics for a language.
Sabel, David, Schmidt-Schauß, Manfred
core +2 more sources
Probabilistic Operational Semantics for the Lambda Calculus
, 2011 Probabilistic operational semantics for a nondeterministic extension of pure lambda calculus is studied. In this semantics, a term evaluates to a (finite or infinite) distribution of values.
Lago, Ugo Dal, Zorzi, Margherita
core +3 more sources
Advanced Functional Materials, EarlyView.An intrinsic photoactive star‐shaped zinc phtalocyanine‐poly(L‐glutamic acid) (ZnPc‐PGA) nanoplatform for multimodal glioblastoma (GBM) therapy and brain‐targeted elivery. A ZnPc‐PGA‐based multifunctional theranostic nanocarrier platform enables image‐guided, multimodal GBM therapy. ZnPc‐PGA nanocarriers support the integration of fluorescence imaging,
Amina Benaicha‐Fernández +14 more
wiley +1 more source