Results 101 to 110 of about 12,123 (304)
IEEE AccessDeep learning techniques have demonstrated significant capabilities across numerous applications, with deep neural networks (DNNs) showing promising results.
Saeid Safaei +6 more
doaj +1 more source
Continuous semantics for strong normalization
, 2005 . We prove a general strong normalization theorem for higher type rewrite systems based on Tait’s strong computability predicates and a strictly continuous domain-theoretic semantics.
Ulrich Berger
core
Business Strategy and the Environment, EarlyView.ABSTRACT Institutional investors increasingly rely on ESG ratings to evaluate financially material sustainability risks, while governments promote corporate alignment with the United Nations Sustainable Development Goals (SDGs). Because these frameworks differ substantially in capital market salience and monitoring intensity, board oversight may not ...
Mohamed Hegazy +2 more
wiley +1 more source
The spectral theorem for unbounded normal operators [PDF]
Pacific Journal of Mathematics, 1966 self adjoint operator A has a unique positive self adjoint square root A1/2; and an arbitrary self adjoint operator A has a unique representation A = A+ ~ A~ with A+ and A" self adjoint and positive and the range of each contained in the null space of the other.
openaire +3 more sources
A general method to prove the normalization theorem for first and second order typed lambda-calculi
, 1999 In this paper we describe a method to prove the normalization property for a large variety of typed lambda calculi of first and second order, based on a proof of equivalence of two deduction systems.
VALENTINI, SILVIO, CAPRETTA V.
core
Stochastic Gradient Descent in High Dimensions for Multi‐Spiked Tensor PCA
Communications on Pure and Applied Mathematics, EarlyView.ABSTRACT We study the high‐dimensional dynamics of online stochastic gradient descent (SGD) for the multi‐spiked tensor model. This multi‐index model arises from the tensor principal component analysis (PCA) problem with multiple spikes, where the goal is to estimate the unknown signal vectors within the N$N$‐dimensional unit sphere through maximum ...
Gérard Ben Arous +2 more
wiley +1 more source
Kinetic Contribution to the Arbitrary Order Odd Frequency Moments of the Dynamic Structure Factor
Contributions to Plasma Physics, EarlyView.ABSTRACT An exact expression is derived for the kinetic contribution to the odd (arbitrary order) frequency moments of the dynamic structure factor via a finite summation that features averages of even (all lower orders) powers of the momentum over the exact momentum distribution.
Panagiotis Tolias +2 more
wiley +1 more source
Theory on Linear L-Fractional Differential Equations and a New Mittag–Leffler-Type Function
Fractal and FractionalThe L-fractional derivative is defined as a certain normalization of the well-known Caputo derivative, so alternative properties hold: smoothness and finite slope at the origin for the solution, velocity units for the vector field, and a differential ...
Marc Jornet
doaj +1 more source
A theorem for the normalization of continuous spectrum stationary states
, 2023 We present analytic formulae that simplify the evaluation of the normalization of continuous spectrum stationary states in the one-dimensional Schr\"odinger equation.Comment: Corrected and enlarged version with ...
Kälbermann, G.
core
Investigation on tunnel stability considering pipe‐roof support with transparent soil technology
Deep Underground Science and Engineering, EarlyView.This study integrates transparent soil technology, 3D reconstruction and numerical simulation to captures the full‐field deformation of shield tunnel instability. Results demonstrate that pipe‐roof support enhances stability via the “soil‐arching barrier effect,” effectively restraining failure wedge development by extending stress transfer paths ...
Zhi Jia +4 more
wiley +1 more source