Results 111 to 120 of about 2,640,083 (343)
Imperfection in Semiconductors Leading to High Performance Devices
Advanced Science, EarlyView.Crystalline perfection is typically pursued in semiconductors to enhance device performance. However, through modeling and experimental work, we show that defects can be strategically employed in a specific detection regime to increase sensitivity to extreme values. GaN diodes are demonstrated to effectively detect high‐energy proton beams at fluxes as
Jean‐Yves Duboz +8 more
wiley +1 more source
Computing Equilibrium Free Energies Using Non-Equilibrium Molecular Dynamics
Entropy, 2013 As shown by Jarzynski, free energy differences between equilibrium states can be expressed in terms of the statistics of work carried out on a system during non-equilibrium transformations.
Christoph Dellago, Gerhard Hummer
doaj +1 more source
General series identities, some additive theorems on hypergeometric functions and their applications [PDF]
, 2019 Mohammad Idris Qureshi +2 more
openalex +1 more source
Difference equations related to majorization theorems via Montgomery identity and Green’s functions with application to the Shannon entropy [PDF]
, 2020 Nouman Siddique +3 more
openalex +1 more source
Identity in modal logic theorem proving [PDF]
Studia Logica, 1993 In this paper the `relational' translation from quantified modal logics with identity into first-order predicate logic is repeated. In this well- known method, the Kripke semantics of the modal \(\square\)-operator: \(\square p\) is true in a world if \(p\) is true in all accessible worlds, is turned into a translation rule: \(\text{tr}(\square p,w)\to
openaire +2 more sources
Membrane‐Mediated Force Transduction Drives Stick‐Slip Motion of Lipid Vesicles
Advanced Science, EarlyView.A rotating magnetic field actuates a ferromagnetic particle inside a lipid vesicle, generating internal flows that induce stick‐slip propulsion near a surface. Membrane properties—elasticity, excess area, and phase behavior—modulate this motion by shaping stress dissipation and force transduction.
Paula Magrinya +3 more
wiley +1 more source
Low-cost group-based identity security authentication protocol for NB-IoT nodes
Tongxin xuebao, 2021 To address the problem of huge number of signaling requests when large-scale devices request authentication in NB-IoT network， a low-cost group identity security authentication protocol based on Schnorr aggregate signature and Chinese reminder theorem ...
Xiangmao CHANG, Jun ZHAN, Zhiwei WANG
doaj +2 more sources
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
The Theorem of Identity for Coherent Analytic Modules [PDF]
Nagoya Mathematical Journal, 1967 The theorem of identity for analytic subsets of a reduced complex space is stated as follows; Let V and V′ be two analytic subsets of a reduced complex space. If V is irreducible and there exists a point x ∊ V such that the germ Vx of V at x is included in V′x, then V is included in V′.
openaire +3 more sources
Advanced Science, EarlyView.This work provides a multifunctional programmable transmissive metasurface with phase and amplitude manipulation capability in the sub‐6G band. By applying different coding strategies, the proposed metasurface can realize vortex beam generation, holographic imaging under phase coding mode, and multi‐beam forming in phase‐amplitude joint coding mode ...
Hao Tian Shi +8 more
wiley +1 more source