Results 71 to 80 of about 290 (150)
Ocean Wave Modulation of Offshore Wind Turbine Loads and Wake
Wind Energy, Volume 29, Issue 6, June 2026.ABSTRACT This study examines how wave‐induced modulation affects the operational performance and structural dynamics of fixed‐bottom offshore wind turbines operating under a neutral atmospheric boundary layer profile. To capture these effects accurately while maintaining computational efficiency, unsteady RANS modelling techniques are employed.
Guillén Campaña‐Alonso +2 more
wiley +1 more source
A logic road from special to general relativity [PDF]
, 2010 We present a streamlined axiom system of special relativity in firs-order logic. From this axiom system we ``derive'' an axiom system of general relativity in two natural steps.
Andréka, Hajnal +3 more
core
Canonical relativized cylindric set algebras
, 1989 For every suitable relational structure there is a canonical relativized cylindric set algebra. This construction is used to obtain a generalization of Resek’s relative representation theorem, and a stronger version of the "Stone type representation ...
Roger D. Maddux
core +1 more source
Inter‐Orbit Variability of Jupiter's Current Sheet Morphology
Journal of Geophysical Research: Space Physics, Volume 131, Issue 6, June 2026.Abstract The structure of Jupiter's magnetosphere reflects the combined effects of a strong intrinsic field and an extended hinged current sheet whose morphology varies with solar wind forcing. We present a study of Jupiter's magnetodisc that combines the UCL‐AGA magnetodisc code with Khurana's generalized, hinged current sheet models (1992/2022) to ...
A. Santos +7 more
wiley +1 more source
On varieties of cylindric algebras with applications to logic
, 1987 Mnα, Mgα, and Bgα denote the classes of minimal, monadic-generated, and binary-generated cylindric algebras of dimension α respectively, and EqK denotes the equational theory of the class K of algebras. In Theorem 2, we characterize those classes K ⊆ Mgα,
Németi, I.
core +1 more source
Can we repudiate ontology altogether?
Noûs, Volume 60, Issue 2, Page 264-292, June 2026.Abstract Ontological nihilists repudiate ontology altogether, maintaining that ontological structure is an unnecessary addition to our theorizing. Recent defenses of the view involve a sophisticated combination of highly expressive but ontologically innocent languages combined with a metaphysics of features—non‐objectual, complete but modifiable states
Christopher J. Masterman
wiley +1 more source
Cylindric Kleene Lattices for Program Construction
, 2019 Cylindric algebras have been developed as an algebraisation of equational first order logic. We adapt them to cylindric Kleene lattices and their variants and present relational and relational fault models for these.
Meinicke, Larissa +7 more
core +1 more source
Cohomogeneity‐one solitons in Laplacian flow: Local, smoothly‐closing and steady solitons
Journal of the London Mathematical Society, Volume 113, Issue 6, June 2026.Abstract We initiate a systematic study of cohomogeneity‐one solitons in Bryant's Laplacian flow of closed G2$\text{G}_2$‐structures on a 7‐manifold, motivated by the problem of understanding finite‐time singularities of that flow. Here, we focus on solitons with symmetry groups Sp(2)${\rm Sp}(2)$ and SU(3)${\rm SU}(3)$; in both cases, we prove the ...
Mark Haskins, Johannes Nordström
wiley +1 more source
Probabilistic correlation functions of the Schwarzian field theory
Proceedings of the London Mathematical Society, Volume 132, Issue 6, June 2026.Abstract We study correlation functions of the probabilistic Schwarzian field theory. We compute cross‐ratio correlation functions exactly in the case when the corresponding Wilson lines do not intersect, confirming predictions made in the physics literature via limit of the conformal bootstrap and the DOZZ formula.
Ilya Losev
wiley +1 more source
Amalgamation in Finite Dimensional Cylindric Algebras
, 1999 For every finite n ? 1, the embedding property fails in the class of all n-dimensional cylindric type algebras which satisfy the following. Their boolean reducts are boolean algebras and two of the cylindrifications are normal, additive and commute ...
Maarten Marx
core