Results 51 to 60 of about 2,966 (121)

Determinacy on the edge of second‐order arithmetic, I

Journal of the London Mathematical Society, Volume 113, Issue 3, March 2026.
Abstract This is the first of two articles on the strength of m$m{}$‐Σ30$\bm{\Sigma }^0_3{}$‐determinacy for m∈N$m\in \mathbb {N}$, the strongest theories of determinacy contained in Hilbert's second‐order arithmetic (Z2)$(Z_2)$. In this article, we refute two natural conjectures on the strength of these principles in terms of inductive definability ...
J. P. Aguilera, P. D. Welch
wiley   +1 more source

Computational Homogenisation and Identification of Auxetic Structures with Interval Parameters. [PDF]

Materials (Basel)
Beluch W, Hatłas M, Ptaszny J, Kloc-Ptaszna A.   +3 more
europepmc   +1 more source

Interval-aware optimal control of PMSG-based wind energy conversion systems via piecewise Chebyshev inclusion. [PDF]

Sci Rep
Razmjooy N.
europepmc   +1 more source

On the Relativity of Quantumness as Implied by Relativity of Arithmetic and Probability. [PDF]

Entropy (Basel)
Czachor M.
europepmc   +1 more source

<i>P</i>-adic <i>L</i>-functions for GL ( 3 ). [PDF]

Math Ann
Loeffler D, Williams C.
europepmc   +1 more source

Einstein aggregation operators for multicriteria group decision making in uncertain environments using cubic picture fuzzy sets. [PDF]

Sci Rep
Tanoli MNK, Rafique K, Mahmood Z, Abdalla NSE, Popa IL, Kumar A.   +5 more
europepmc   +1 more source

A novel adaptive multi-scale wavelet Galerkin method for solving fuzzy hybrid differential equations. [PDF]

Sci Rep
Murugesh V, Priyadharshini M, Sharma YK, Aldossary SM, Kundu S, Malik S, Adem KB, Hashmi A.   +7 more
europepmc   +1 more source

M²NuFFT-A computationally efficient suboptimal power spectrum estimator for fast exploration of nonuniformly sampled time series. [PDF]

Digit Signal Process
Cui J, Brinkmann BH, Worrell GA.
europepmc   +1 more source

A Novel Arithmetic Optimization PDR Algorithm for Smartphones. [PDF]

Sensors (Basel)
Zhang M, Xu A.
europepmc   +1 more source

Recommendation of RILEM TC 281-CCC: RILEM CPC-18R1-guideline for measuring the carbonation depth of hardened concrete using a pH indicator solution. [PDF]

Mater Struct
Bernal SA, Angst UM, Provis JL, Thiel C, Gluth GJG, Villagran-Zaccardi Y, De Belie N.   +6 more
europepmc   +1 more source