Results 41 to 50 of about 54,626 (205)
Dialectica Interpretation with Marked Counterexamples
, 2011 Goedel's functional "Dialectica" interpretation can be used to extract functional programs from non-constructive proofs in arithmetic by employing two sorts of higher-order witnessing terms: positive realisers and negative counterexamples.
Trifonov, Trifon
core +2 more sources
People and Nature, EarlyView.Abstract While the physical and mental health benefits of greenspace exposure are well documented, ethnic minority communities in the United Kingdom continue to engage with these environments at disproportionately lower rates. This persistent disparity points to an oversight in existing literature, specifically regarding how these communities navigate ...
Andrew K. Palmer +5 more
wiley +1 more source
A structurally localized ensemble Kalman filtering approach
Quarterly Journal of the Royal Meteorological Society, EarlyView.We derive an inherently localized ensemble Kalman filtering (EnKF) approach, avoiding the need for any auxiliary localization technique. The idea is to first use the variational Bayesian optimization to approximate the (continuous) state analysis probability density function (pdf) by a product of independent marginal pdfs corresponding to small ...
Boujemaa Ait‐El‐Fquih +1 more
wiley +1 more source
Reflections on Mathematical Economics in the Algorithmic Mode [PDF]
Non-standard analysis can be harnessed by the recursion theorist. But as a computable economist, the conundrums of the Löwenheim-Skolem theorem and the associated Skolem paradox, seem to pose insurmountable epistemological difficulties against the use of
K. Vela Velupillai
core
A Computable Economist’s Perspective on Computational Complexity [PDF]
, 2007 A computable economist's view of the world of computational complexity theory is described. This means the model of computation underpinning theories of computational complexity plays a central role.
Vela Velupillai, K.
core
Adaptive CUSUM Chart for Simultaneous Monitoring of Mean and Variance
Quality and Reliability Engineering International, EarlyView.ABSTRACT Simultaneously monitoring changes in both the mean and variance is a fundamental problem in statistical process control, and numerous methods have been developed to address it. However, many existing approaches face notable limitations: Some rely on tuning parameters that can significantly affect performance; others are biased toward detecting
Gokul Parakulum, Jun Li
wiley +1 more source
Optimal Gain Selection for the Arbitrary‐Order Homogeneous Differentiator
International Journal of Robust and Nonlinear Control, EarlyView.ABSTRACT Differentiation of noisy signals is a relevant and challenging task. Widespread approaches are the linear high‐gain observer acting as a differentiator and Levant's robust exact differentiator with a discontinuous right‐hand side. We consider the family of arbitrary‐order homogeneous differentiators, which includes these special cases.
Benjamin Calmbach +2 more
wiley +1 more source
What entrepreneurial decisions enable the breeding of digital platform unicorns?
Strategic Entrepreneurship Journal, EarlyView.Abstract Research Summary Digital platforms have revolutionized business sectors; however, despite their significant success, platform unicorns remain rare. While extensive research exists on digital platform growth, it is uncertain what entrepreneurial decisions achieve unicorn status.
Sea Matilda Bez +3 more
wiley +1 more source
Recursive Tangential-Angular Operator as Analyzer of Synchronized Chaos
, 2011 A method for the quantitative analysis of the degree and parameters of synchronization of the chaotic oscillations in two coupled oscillators is proposed, which makes it possible to reveal a change in the structure of attractors.
Makarenko, A. V.
core +1 more source
New venture team stability and long‐run organizational growth
Strategic Entrepreneurship Journal, EarlyView.Abstract Research Summary We explore the impact of new venture team (NVT) stability on long‐run organizational growth. With an instrumental variable design, we leverage a matched employer‐employee dataset of all Danish new ventures from 1981 to 1997. We find strong evidence that NVT stability has a positive effect on organizational growth in employees ...
Jerry Guo +2 more
wiley +1 more source