Results 91 to 100 of about 329,116 (290)
Natural Inductive Theorems for Higher-Order Rewriting [PDF]
, 2011 The notion of inductive theorems is well-established in first-order term rewriting. In higher-order term rewriting, in contrast, it is not straightforward to extend this notion because of extensionality (Meinke, 1992).
Chiba, Yuki +2 more
core +1 more source
Advanced Electronic Materials, EarlyView.ABSTRACT Magnetic 2‐dimensional (2D) van der Waals (vdW) materials have garnered tremendous attention. The vdW ferromagnet Fe5Ge1Te2 has a Curie temperature Tc of ≈ 270 K, which is tailorable by tuning the stoichiometry and the Fe deficiency to reach room temperature.
Chih‐Yu Lee +7 more
wiley +1 more source
Advanced Intelligent Discovery, EarlyView.This perspective highlights how knowledge‐guided artificial intelligence can address key challenges in manufacturing inverse design, including high‐dimensional search spaces, limited data, and process constraints. It focused on three complementary pillars—expert‐guided problem definition, physics‐informed machine learning, and large language model ...
Hugon Lee +3 more
wiley +1 more source
International Journal of Differential Equations, 2009 Let 𝒜 be the class of analytic functions in the open unit disk . We define Θα,β:𝒜→𝒜 by (Θα,βf)(z):=Γ(2−α)zαDzα(Γ(2−β)zβDzβf(z)),(α,β≠2,3,4…), where Dzγf is the fractional derivative of f of order γ. If α,β∈[0,1], then a function f
Oqlah Al-Refai, Maslina Darus
doaj +1 more source
Holographic Mapping of Orbital Angular Momentum using a Terahertz Diffractive Optical Neural Network
Advanced Intelligent Discovery, EarlyView.A compact six‐layer diffractive optical neural network enables direct recognition and spatial mapping of terahertz (THz) orbital angular momentum (OAM) beams. Fabricated by 3D printing, the system distinguishes nine OAM modes and their superpositions with high fidelity, good efficiency, and low crosstalk, offering a scalable solution for THz ...
Wei Jia +3 more
wiley +1 more source
A distortion theorem for analytic functions [PDF]
Proceedings of the American Mathematical Society, 1971 Let f ( z ) f(z) be a function analytic in the disk E { z : | z | > 1 } E\{ z:|z| > 1\} and for some real number n > 0 n > 0 let
openaire +2 more sources
Explaining the Origin of Negative Poisson's Ratio in Amorphous Networks With Machine Learning
Advanced Intelligent Discovery, EarlyView.This review summarizes how machine learning (ML) breaks the “vicious cycle” in designing auxetic amorphous networks. By transitioning from traditional “black‐box” optimization to an interpretable “AI‐Physics” closed‐loop paradigm, ML is shown to not only discover highly optimized structures—such as all‐convex polygon networks—but also unveil hidden ...
Shengyu Lu, Xiangying Shen
wiley +1 more source
Intermodulation distortion performance enhancement of microwave power amplifiers [PDF]
, 2000 This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.This thesis reports the author's investigation of the effects of the injection of specific signals on the intermodulation distortion performance of ...
Mbabele, M., Mbabele, Modeste
core +4 more sources
Overcoming the Nyquist Limit in Molecular Hyperspectral Imaging by Reinforcement Learning
Advanced Intelligent Discovery, EarlyView.Explorative spectral acquisition guide automatically selects informative spectral bands to optimize downstream tasks, outperforming full‐spectrum acquisition. The selected hyperspectral data are used for tasks such as unmixing and segmentation. BandOptiNet encodes selection states and outputs optimal bands to guide spectral acquisition. Recent advances
Xiaobin Tang +4 more
wiley +1 more source
On Certain Subclasses of Analytic Functions with Varying Arguments of Coefficients
Известия Иркутского государственного университета: Серия "Математика", 2018 In this paper we introduce and study the class$\ \mathcal{VR}_{\delta ,\eta }(n,\lambda ,\alpha )\ $of analytic functions with varying arguments of coefficients.
H. M. Zayed, M. K. Aouf, Maslina Darus
doaj +1 more source