Results 111 to 120 of about 342,984 (310)
New proof of the uniqueness theorem for constructive differentiable functions of a complex variable [PDF]
, 1977 V. P. Orevkov
openalex +1 more source
A Computational Cantor-Bernstein and Myhill’s Isomorphism Theorem in Constructive Type Theory (Proof Pearl) [PDF]
, 2023 Yannick Forster, Felix Jahn, Gert Smolka
openalex +1 more source
Public Administration and Development, EarlyView.ABSTRACT This paper explores how we might integrate local traditional values into a systems approach for analyzing and maximizing localization in the context of foreign aid. The paper situates localization and its operationalization in the older and broader literature on the political economy of foreign aid.
Jennifer M. Brinkerhoff
wiley +1 more source
A constructive proof of Gelbaum's theorem on tensor products [PDF]
, 1973 David A. Robbins
openalex +1 more source
Quarterly Journal of the Royal Meteorological Society, EarlyView.Ensemble Kalman filters (EnKFs) with quality control (QC) are commonly used in the data assimilation (DA) of all‐sky satellite‐sensed infrared radiance (IR) observations. However, the statistical assumptions underlying EnKFs and QC are violated in such DA.
Man‐Yau Chan
wiley +1 more source
Two constructive proofs on d-majorization and thermo-majorization [PDF]
, 2020 Naoto Shiraishi
openalex +1 more source
Ensemble Kalman filter in latent space using a variational autoencoder pair
Quarterly Journal of the Royal Meteorological Society, EarlyView.The use of the ensemble Kalman filter (EnKF) in strongly nonlinear or constrained atmospheric, oceanographic, or sea‐ice models can be challenging. Applying the EnKF in the latent space of a variational autoencoder (VAE) ensures that the ensemble members satisfy the balances and constraints present in the model.
Ivo Pasmans +4 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
Risk Times in Mission‐Oriented Systems
Quality and Reliability Engineering International, EarlyView.ABSTRACT This article assesses risk times in mission‐oriented systems with high safety standards. We examine critical times under two safety policies. The first requires that the system's reliability function, known the first failure of the components, must exceed a reliability level throughout the mission.
Antonio Arriaza +2 more
wiley +1 more source
Multi‐Objective Robust Controller Synthesis With Integral Quadratic Constraints in Discrete‐Time
International Journal of Robust and Nonlinear Control, EarlyView.ABSTRACT This article presents a novel framework for the robust controller synthesis problem in discrete‐time systems using dynamic Integral Quadratic Constraints (IQCs). We present an algorithm to minimize closed‐loop performance measures such as the ℋ∞$$ {\mathscr{H}}_{\infty } $$‐norm, the energy‐to‐peak gain, the peak‐to‐peak gain, or a ...
Lukas Schwenkel +4 more
wiley +1 more source