Results 101 to 110 of about 342,984 (310)
Identifying Out‐of‐Voxel Echoes in Edited MRS With Phase Cycle Inversion
Magnetic Resonance in Medicine, EarlyView.ABSTRACT Purpose To identify the origin of out‐of‐voxel (OOV) signals based on the coherence transfer pathway (CTP) formalism using signal phase conferred by the acquisition phase cycling scheme. Knowing the CTP driving OOV artifacts enables optimization of crusher gradients to improve their suppression.
Zahra Shams +14 more
wiley +1 more source
Mass generation in the large N Gross-Neveu model: a constructive proof without intermediate field [PDF]
, 2021 Jérémie Unterberger
openalex +1 more source
Constructive fire protection of steel corrugated beams of buildings and other structures
MATEC Web of Conferences, 2017 The research introduces a methodology of establishing indicators of fire safety of a building in relation to a guaranteed duration of steel fire-proof corrugated beams resistance in conditions of standard fire tests.
Ilyin Nikolay +2 more
doaj +1 more source
A Proof of Constructive Version of Brouwer's Fixed Point Theorem with Uniform Sequential Continuity [PDF]
, 2011 Yasuhito Tanaka
openalex +1 more source
Personalized Differential Privacy for Ridge Regression Under Output Perturbation
Naval Research Logistics (NRL), EarlyView.ABSTRACT The increased application of machine learning (ML) in sensitive domains requires protecting the training data through privacy frameworks, such as differential privacy (DP). Traditional DP enforces a uniform privacy level ε$$ \varepsilon $$, which bounds the maximum privacy loss that each data point in the dataset is allowed to incur.
Krishna Acharya +3 more
wiley +1 more source
On Order Restricted Inference in Multi‐Step Stage Life Testing for a General Family of Distributions
Naval Research Logistics (NRL), EarlyView.ABSTRACT Recently, k$$ k $$‐step stage life testing (SLT) has been proposed by Laumen and Cramer (2021) as a natural extension of progressive censoring with fixed censoring times (PC‐FCT) as well as of simple step‐stress accelerated life testing (SSALT).
Erhard Cramer +2 more
wiley +1 more source
A convex-valued selection theorem with a non-separable Banach space
Advances in Nonlinear Analysis, 2018 In the spirit of Michael’s selection theorem [6, Theorem 3.1”’], we consider a nonempty convex-valued lower semicontinuous correspondence φ:X→2Y{\varphi:X\to 2^{Y}}.
Gourdel Pascal, Mâagli Nadia
doaj +1 more source
Focussing and proof construction
Annals of Pure and Applied Logic, 2001 The foundation of the proof-construction paradigm and its central feature: non-determinism and partial information in logic programming, are discussed. A new presentation of the focussing proof system for linear logic is given. A new presentation of the ``normal form'' for linear logic, and in particular the notions of bipolarisation and universal ...
openaire +2 more sources
Conditional Generative Modeling for Enhanced Credit Risk Management in Supply Chain Finance
Naval Research Logistics (NRL), EarlyView.ABSTRACT The rapid expansion of cross‐border e‐commerce (CBEC) has created significant opportunities for small‐ and medium‐sized sellers, yet financing remains a critical challenge due to their limited credit histories. Third‐party logistics (3PL)‐led supply chain finance (SCF) has emerged as a promising solution, leveraging in‐transit inventory as ...
Qingkai Zhang, L. Jeff Hong, Houmin Yan
wiley +1 more source