Results 91 to 100 of about 750 (245)
COFs on MOFs: Layer‐by‐Layer Synthesis of MOF@COF Nanoparticles with Synergistic Adsorption
Advanced Materials, EarlyView.A layer‐by‐layer strategy enables the growth of crystalline covalent organic framework (COF) shells on metal–organic framework nanoparticles, creating core–shell structures with tunable porosity. Ordered interstitial mesopores are formed during shell growth, which are connected with the COF's intrinsic micropores, thereby enhancing water sorption. This
Ana Guillem‐Navajas +11 more
wiley +1 more source
, 2009 This paper describes a method to treat contextual equivalence in polymorphically typed lambda-calculi, and also how to transfer equivalences from the untyped versions of lambda-calculi to their typed variant, where our specific calculus has letrec ...
Sabel, David +2 more
core
Decomposing Typed Lambda Calculus Into a Couple of Categorical Programming Languages
, 1995 . We give two categorical programming languages with variable arrows and associated abstraction/reduction mechanisms, which extend the possibility of categorical programming [Hag87, CF92] in practice.
Masahito Hasegawa
core +1 more source
In Situ Amine Formation to Modulate MOF‐Derived PdIn N‐Doped Carbon Catalysts
Advanced Materials, EarlyView.An amine‐assisted approach converts PdIn‐MOF into PdIn intermetallic nanoparticles embedded in N‐doped carbon. In situ‐generated amines trigger early Pd nucleation, producing smaller PdIn domains than direct pyrolysis. Amine sterics and basicity tune composition and particle size, while solvent and amine co‐determine textural features.
Gonzalo Egea +9 more
wiley +1 more source
Visualizing Quantum Circuit Probability: Estimating Quantum State Complexity for Quantum Program Synthesis. [PDF]
Entropy (Basel), 2023 Bach BG, Kundu A, Acharya T, Sarkar A.
europepmc +1 more source
On the safety of Nöcker's strictness analysis
, 2004 This paper proves correctness of Nocker s method of strictness analysis, implemented for Clean, which is an e ective way for strictness analysis in lazy functional languages based on their operational semantics.
Sabel, David +2 more
core
Advanced Materials, EarlyView.We introduce a molecular strategy to assemble one‐dimensional (1D) materials into two‐dimensional (2D) van der Waals metal–organic frameworks (MOFs). Crystals of [FeX(pzX)(bpy)] (X = Cl, F) form anisotropic 2D layers that can be mechanically exfoliated into thin sheets.
Eleni C. Mazarakioti +12 more
wiley +1 more source
Flexible Ag2Se‐Based Thermoelectrics: Fundamentals, Processing, and Device Applications
Advanced Materials, EarlyView.Ag2Se‐based thermoelectrics are reviewed from fundamental transport mechanisms to flexible device integration. Crystal structure, defect chemistry, and band features are correlated with performance optimization strategies and scalable fabrication routes.
Jie Qin +5 more
wiley +1 more source
A complete proof of the safety of Nöcker's strictness analysis
, 2005 This paper proves correctness of Nöcker's method of strictness analysis, implemented in the Clean compiler, which is an effective way for strictness analysis in lazy functional languages based on their operational semantics.
Sabel, David +2 more
core
Real-time functional programming systems
, 1990 Real-time processing systems are typically characterised by high processing rates, high reliability, and high input/output rates. Functional programming, derived from the lambda calculus, is a formal basis for computation which facilitates the design of ...
Winter, S., Neale, D.F., Wilson, D.R.
core +1 more source