Results 111 to 120 of about 1,144,070 (196)
Model checking quantum protocols [PDF]
This thesis describes model checking techniques for protocols arising in quantum information theory and quantum cryptography. We discuss the theory and implementation of a practical model checker, QMC, for quantum protocols. In our framework, we assume
Papanikolaou, Nikolaos K.
core
Any eigenfunction of the Laplacian on a sphere is given in terms of a unique set of directions: these are Maxwell's multipoles, their existence and uniqueness being known as Sylvester's theorem. Here, the theorem is proved by realizing the multipoles are
Dennis, MR +2 more
core +1 more source
This review establishes structure‐property‐mechanism relationships across six modification strategies for V‐based oxide water‐splitting electrocatalysts: lattice engineering, heteroatom doping, interface engineering, carbon‐based hybridization, morphology engineering, and surface reconstruction and pre‐catalyst design, where dissolution is reframed as ...
Youness El Issmaeli +4 more
wiley +1 more source
Photo‐Degradable Polyester Networks and Multi‐Photon Printed Objects Based on Cyclic Ketene Acetals
The current work introduces a photoreversible polyester network derived from radical ring‐opening polymerization of cyclic ketene acetals. It combines photoreversible cross‐linking with initiator‐free multi‐photon printing. Reversible network formation, tunable mechanical properties, and selective degradation highlight its potential as a versatile ...
Till Meissner +5 more
wiley +1 more source
Calculus of finite differences in quantum electrodynamics /
Among the subjects reviewed in these Advances, the properties and computation of electromagnetic fields have been considered on several occasions. In particular, the early work of H.F. Harmuth on Maxwell's equations, which was highly controversial at the
Meffert, Beate., Harmuth, Henning F.
core
This paper presents a new framework of pseudo-q–fractional calculus in generalized Banach spaces by bringing together pseudo-analysis, G–calculus, and quantum calculus. We introduce Liouville–Caputo and Riemann–Liouville pseudo-q–fractional operators and
Alireza Hatami +3 more
doaj +1 more source
Electron‐Deficient Linkers Enhance H2O2 Electrosynthesis in Covalent Organic Frameworks
Linker π‐conjugation modulates the electronic state of the Ni–N4 centers and their interaction with the key *OOH intermediate while preserving the primary coordination motif. NiPc‐PTDA delivers an H2O2 selectivity of 92% and a production rate of 34.8 mol gcat−1 h−1, highlighting linker electronic properties as a molecular design parameter for NiPc ...
Houting Xie +7 more
wiley +1 more source
Architecture‐Driven Functional Coupling in Vertically Aligned Nanocomposites
Vertically aligned nanocomposites define a growth‐engineered architecture in which vertical interfaces, strain fields, defect pathways, and phase connectivity are created simultaneously. This review shows how these architectural features couple ferroic, optical, ionic, electrochemical, and device responses, establishing design rules and open challenges
Md Shatil Islam‐Shanto +4 more
wiley +1 more source
Quantum Extensions of Widder’s Formula via q-Deformed Calculus
In this study, we rigorously established q-Widder’s formula of first and second kind by employing the q-integral within a quantum calculus framework.
S. S. Naina Mohammed +5 more
doaj +1 more source
Top‐down ultrasonication produces highly emissive Cs2ZrCl6:Te4+ nanocrystals (NCs) with a PLQY of 65%, which is higher compared to that of the NCs synthesized by typical bottom‐up hot‐injection synthesis. The colloidal Cs2ZrCl6:Te4+ NCs have been found to be potential candidates for x‐ray scintillation imaging.
Yang Liu +12 more
wiley +1 more source

