Results 71 to 80 of about 612 (145)
Optimizing Unmanned Aerial Vehicle Battery Management for Energy‐Aware Mapping Missions
International Journal of Aerospace Engineering, Volume 2026, Issue 1, 2026.Unmanned aerial vehicles are widely used for mapping and surveillance applications. A challenging task in mission planning is managing battery use, especially when mapping large areas in a single operation. Mission planning in this case leads to an optimization problem that is generally computationally demanding and intractable in practice.
Dora Novak +5 more
wiley +1 more source
Almost quasi-Urbanik structures and theories
Қарағанды университетінің хабаршысы. Математика сериясыThe notions of almost quasi-Urbanik structures and theories, and studied possibilities for the degrees of quasi-Urbanikness, both for existential and universal cases were introduced. Links of these characteristics and their possible values are described.
B.Sh. Kulpeshov, S.V. Sudoplatov
doaj +1 more source
Structures on the space of financial events
Atti della Accademia Peloritana dei Pericolanti : Classe di Scienze Fisiche, Matematiche e Naturali, 2008 In this paper we endow the space of financial events with some structures, each of them represents basic facts of financial mathematics. We introduce a preordered structure, that we shall call the usual preorder of the financial events plane, and an ...
Carfi', David
doaj +1 more source
Journal of Consumer Psychology, Volume 35, Issue 4, Page 584-601, October 2025.Abstract Despite increasing attention to alternative market systems, where consumers perform considerable voluntary labor, consumer researchers have a limited understanding of the nature or implications of the emotion work entailed in making such contributions.
Kristin Bentsen +2 more
wiley +1 more source
On iterating semiproper preorders
Journal of Symbolic Logic, 2002 AbstractLet T be an ω1-Souslin tree. We show the property of forcing notions; “is {ω1}-semi-proper and preserves T” is preserved by a new kind of revised countable support iteration of arbitrary length. As an application we have a forcing axiom which is compatible with the existence of an ω1 -Souslin tree for preorders as wide as possible.
openaire +4 more sources
Derivations of Incidence Algebras
MathematicsWe study the derivations of the incidence algebra I(X,R), where X is a preordered set and R is an algebra over some commutative ring T. A satisfactory description of the T-module of derivations and the T-module of outer derivations of this algebra is ...
Piotr Krylov, Askar Tuganbaev
doaj +1 more source
Moments, sums of squares, and tropicalization
Journal of the London Mathematical Society, Volume 112, Issue 4, October 2025.Abstract We use tropicalization to study the duals to cones of nonnegative polynomials and sums of squares on a semialgebraic set S$S$. The truncated cones of moments of measures supported on the set S$S$ are dual to nonnegative polynomials on S$S$, while “pseudomoments” are dual to sums of squares approximations to nonnegative polynomials.
Grigoriy Blekherman +4 more
wiley +1 more source
Multistate Density Functional Theory: Theory, Methods, and Applications
WIREs Computational Molecular Science, Volume 15, Issue 5, September/October 2025.Multistate density functional theory with nonorthogonal state interaction (MSDFT‐NOSI) extends the scope and application of density functional theory to a wide range of systems that cannot be adequately treated in the Kohn–Sham framework. Illustrated examples include conical intersection in a photochemical reaction, excited‐state energy transfer ...
Yangyi Lu, Jiali Gao
wiley +1 more source
Simulation of Inhomogeneous Refractive Index Fields Induced by Hot Tailored Forming Components
Advanced Engineering Materials, Volume 27, Issue 16, August 2025.This article presents a simulation model for simulating inhomogeneous refractive index fields (IRIF) in hot‐forged components, accounting for thermal influences and complex geometries. Through this simulation, a priori knowledge about the propagation of the IRIF can be obtained, allowing for the positioning of the component or an optical measurement ...
Pascal Kern +3 more
wiley +1 more source
Type Preorders and Recursive Terms
Electronic Notes in Theoretical Computer Science, 2005 AbstractWe show how to use intersection types for building models of a λ-calculus enriched with recursive terms, whose intended meaning is of minimal fixed points. As a by-product we prove an interesting consistency result.
ALESSI, Fabio, M. DEZANI CIANCAGLINI
openaire +2 more sources