Results 121 to 130 of about 230,472 (297)
Program transformation for functional circuit descriptions [PDF]
, 2007 We model sequential synchronous circuits on the logical level by signal-processing programs in an extended lambda calculus Lpor with letrec, constructors, case and parallel or (por) employing contextual equivalence. The model describes gates as (parallel)
Sabel, David +3 more
core
Enhancing Low‐Temperature Performance of Sodium‐Ion Batteries via Anion‐Solvent Interactions
Advanced Functional Materials, EarlyView.DOL is introduced into electrolytes as a co‐solvent, increasing slat solubility, ion conductivity, and the de‐solvent process, and forming an anion‐rich solvent shell due to its high interaction with anion. With the above virtues, the batteries using this electrolyte exhibit excellent cycling stability at low temperatures. Abstract Sodium‐ion batteries
Cheng Zheng +7 more
wiley +1 more source
Laser‐Induced Graphene from Waste Almond Shells
Advanced Functional Materials, EarlyView.Almond shells, an abundant agricultural by‐product, are repurposed to create a fully bioderived almond shell/chitosan composite (ASC) degradable in soil. ASC is converted into laser‐induced graphene (LIG) by laser scribing and proposed as a substrate for transient electronics.
Yulia Steksova +9 more
wiley +1 more source
From Food to Power: Hydrogel Thermoelectrics for Ingestible Electronics
Advanced Functional Materials, EarlyView.We introduce a fully edible thermoelectric–electrochromic platform that harvests heat from food and converts it into a visible color change. N‐type and p‐type hydrogel thermoelectric generators connected in series power anthocyanin‐based electrochromic displays, demonstrating the feasibility of safe, biodegradable, ingestible systems for on‐food ...
Antonia Georgopoulou +3 more
wiley +1 more source
Matching for the lambda calculus of objects
Theoretical Computer Science, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Viviana Bono, Michele Bugliesi
openaire +3 more sources
On the safety of Nöcker's strictness analysis [PDF]
, 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
Game semantics for interface middleweight Java [PDF]
, 2014 We consider an object calculus in which open terms interact with the environment through interfaces. The calculus is intended to capture the essence of contextual interactions of Middleweight Java code.
Tzevelekos, Nikos +3 more
core +1 more source
Advanced Functional Materials, EarlyView.P4bm framework in NaNbO3‐Ba(Ti, Hf)O3 ferrodistortive relaxor entails short‐range and highly‐polar ferrodistortive orders. The abundant highly‐polar orders facilitate to increase entropy change, and robust octahedral oxygen tilt enables to impede thermal perturbations.
Feng Li +11 more
wiley +1 more source
Advanced Functional Materials, EarlyView.In situ Auger Electron Spectroscopy resolves oxidation states with high fidelity during the pulsed laser deposition of multivalent perovskite manganate and vanadate heterostructures. The chemical‐state signature is carried by the valence‐electron population of the transition‐metal cation, read out through the relative intensities of Auger fine ...
Harish Kumarasubramanian +1 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Ferroelectric tunnel junction devices based on epitaxial undoped ferroelectric HfO2 films demonstrate stable switching endurance of over 106 switching cycles, low write voltages of ±3 V, 16 measured resistance states, and neuromorphic capability.
Markus Hellenbrand +13 more
wiley +1 more source