Results 101 to 110 of about 344,169 (311)

A Constructive Proof of Gleason's Theorem

Journal of Functional Analysis, 1999
Gleason's theorem states that any totally additive measure on the closed subspaces of a Hilbert space of dimension greater than two is given by a positive operator of trace class. \textit{R. Cooke}, \textit{M. Keane} and \textit{W. Moran} [Math. Proc. Camb. Philos. Soc.
Richman, Fred, Bridges, Douglas
openaire   +1 more source

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, Abdelrahman Gad, Aaron T. Gudmundson, Saipavitra Murali‐Manohar, Christopher W. Davies‐Jenkins, Gizeaddis L. Simegn, Dunja Simicic, Yulu Song, Vivek Yedavalli, Helge J. Zöllner, Georg Oeltzschner, Dillip K. Senapati, Alfons Schnitzler, Peter B. Barker, Richard A. E. Edden   +14 more
wiley   +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, Panfilov Denis, Lukin Aleksey   +2 more
doaj   +1 more source

New proof of the uniqueness theorem for constructive differentiable functions of a complex variable [PDF]

, 1977
V. P. Orevkov
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, Franziska Boenisch, Rakshit Naidu, Juba Ziani   +3 more
wiley   +1 more source

Constructive proof of Brouwer's fixed point theorem for sequentially locally non-constant functions [PDF]

, 2011
Yasuhito Tanaka
openalex   +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, Ayan Pal, Debashis Samanta   +2 more
wiley   +1 more source

Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis

, 2020
Grigory Devadze, Victor Magron, Stefan Streif   +2 more
openalex   +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

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