Results 111 to 120 of about 750 (245)

Switchable Magnonic Crystals Based on Spin Crossover/CrSBr Heterostructures

Advanced Materials, EarlyView.
Multiscale modeling is employed to investigate the functionality of a light‐controlled, tunable magnonic crystal based on spin‐crossover Fe‐pz molecules integrated with a monolayer of CrSBr. Ab initio simulations confirm that the molecules remain functional on the CrSBr surface, while a semiclassical elastic model demonstrates that light‐induced ...
Andrei Shumilin, Sourav Dey, Denisa Coltuneac, Laurentiu Stoleriu, José J. Baldoví   +4 more
wiley   +1 more source

Verification of Refactorings in Isabelle/HOL [PDF]

Refactorings are source-to-source behaviour-preserving program transformations that are used for improving program structure. Programmers refactor code to adapt it when new functionality is added or when the code is being repaired -- refactoring serves ...
Sultana, Nik
core  

Tailoring Phonon‐Driven Responses in α‐MoO3 through Isotopic Enrichment

Advanced Materials, EarlyView.
ABSTRACT The implementation of polaritonic materials into nanoscale devices requires selective tuning of parameters to realize desired spectral or thermal responses. One robust material, α‐MoO3, an orthorhombic crystal boasting three distinct phonon dispersions, provides three polaritonic dispersions of hyperbolic phonon polaritons (HPhPs) across the ...
Thiago S. Arnaud, Ryan W. Spangler, Johnathan D. Georgaras, Jonah B. Haber, Daniel Hirt, Maximilian Obst, Gonzalo Álvarez‐Pérez, Mackey Long III, Felix G. Kaps, Jakob Wetzel, Courtney Ragle, John E. Buchner, Youngji Kim, Aditha S. Senarath, Richarda Niemann, Mingze He, Giulia Carini, Unai Arregui‐Leon, Akash C. Behera, Ramachandra Bangari, Nihar Sahoo, Niels C. Brumby, J. Michael Klopf, Martin Wolf, Lukas M. Eng, Susanne C. Kehr, Thomas G. Folland, Alexander Paarmann, Patrick E. Hopkins, Felipe Jornada, Jon‐Paul Maria, Joshua D. Caldwell   +31 more
wiley   +1 more source

Composing games into complex institutions. [PDF]

PLoS One, 2023
Frey S, Hedges J, Tan J, Zahn P.
europepmc   +1 more source

Full Vectorial Field Sensing Using Liquid Crystal Droplet Arrays

Advanced Materials, EarlyView.
An inkjet‐printed liquid crystal droplet array enables compact, low‐cost, single‐shot sensing of the full vectorial light field. Within a single platform, it simultaneously retrieves intensity, polarization, and phase, while dual‐wavelength operation highlights its capability for multi‐wavelength optical field characterization. ABSTRACT Determining the
Xuke Qiu, Jinge Guo, Jiahe Cui, Runchen Zhang, Zimo Zhao, Yifei Ma, Waqas Kamal, Steve J. Elston, Alfonso A. Castrejón‐pita, Stephen M. Morris, Chao He   +10 more
wiley   +1 more source

Functions, frames, and interactions - completing a λ-calculus-based purely functional language with respect to programming in the large and interactions with runtime environments.

, 1998
The original aim of the work that led to this dissertation was to extend an existing, purely functional language with facilities for input/output and modular programming. The language is based on an untyped lambda-calculus, i.e., program execution is defined as program transformation according to a fixed set of reduction rules including beta-reduction.
openaire   +2 more sources

A Certified Refactoring Engine [PDF]

, 2008
The paper surveys how software tools such as refactoring systems can be validated, and introduces a new mechanism, namely the extraction of a refactoring engine for a functional programming language from an Isabelle/HOL theory in which it is verified ...
Thompson, Simon, Sultana, Nik
core  

Interfacial Acid Sites‐Mediated ZnO‐Based Electrocatalysts for Sustainable Dual‐Pathway H2O2 Production and Rechargeable Zn‐H2O2 Electrochemical Cell

Advanced Materials, EarlyView.
In this work, a synergistic strategy introduces interfacial acid sites, oxygen vacancies, and built‐in electric field into ZnSe/ZnO heterojunction to optimize its electronic structure and electrode micro‐environment. This overcomes sluggish oxygen reduction reaction kinetics and low H2O2 selectivity, achieving record H2O2 productivity (754.4 M gcat−1 ...
Lijun Yang, Sitong Liu, Wencheng He, Fengzhan Sun, Shubing Bi, Hongge Pan, Lingfeng Zhu, Tianyi Ma, Lei Zhang   +8 more
wiley   +1 more source

Deciding subset relationship of co-inductively defined set constants

, 2005
Static analysis of different non-strict functional programming languages makes use of set constants like Top, Inf, and Bot denoting all expressions, all lists without a last Nil as tail, and all non-terminating programs, respectively.
Sabel, David, Schmidt-Schauß, Manfred, Manfred Schmidt-Schauß, David Sabel, Schütz, Marko, Marko Schütz   +5 more
core