Results 61 to 70 of about 443 (167)
Neuromorphic Device Based on Material and Device Innovation toward Multimode and Multifunction
Advanced Intelligent Systems, Volume 8, Issue 1, January 2026.In the era of big data, multimodal and multifunctional neuromorphic devices offer significant opportunities in designing AI hardware. In this work, recent advances about emerging material systems and novel device structures in this field are summarized in detail. Potential applications are reviewed.
Feng Guo +3 more
wiley +1 more source
Language preorder as a precongruence
Theoretical Computer Science, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Linear functional differential equations possessing solutions with a given growth rate
Journal of Inequalities and Applications, 2005 We establish optimal, in a sense, conditions under which, for arbitrary forcing terms from a suitable class, a linear inhomogeneous functional differential equation in a preordered Banach space possesses solutions satisfying a certain growth restriction.
Rontó Andrei, Agarwal Ravi P
doaj
Order extension of order monomorphisms on a preordered topological space
International Journal of Mathematics and Mathematical Sciences, 1993 This paper proves Nachbin-type extension theorems for infinitely many functions on a topological space equipped with a preorder.
Ghanshyam Mehta
doaj +1 more source
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
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
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 +1 more source