Results 71 to 80 of about 950 (196)
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.
DEZANI, Mariangiola, F. ALESSI
openaire +3 more sources
Identifying challenges in crowdfunded product development: a review of Kickstarter projects
Design Science, 2018 This paper provides an empirical review of the reward-based crowdfunding platform Kickstarter.com, with the aim to explore and identify challenges in crowdfunded product development, which consequently can lead to failure of the crowdfunding campaign ...
Lasse Skovgaard Jensen +1 more
doaj +1 more source
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
The stable category of preordered groups
, 2023 In this article, we present the stable category of preordered groups associated with some Z-pretorsion theory. We first define such a category as well as the related functor, and then study their properties.
Michel, Aline
core
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
A Logical Characterization of Efficiency Preorders [PDF]
, 2005 In this paper we present logical characterizations of two preorders, within the framework of Hennessy-Milner Logics. The two preorders (loosely termed bisimulation-based efficiency preorders) are on processes represented as labelled transition systems. The characterizations are particularly interesting as they explore preorders lying between strong and
Neelesh Korade, S. Arun-Kumar
openaire +2 more sources
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
Pretorsion theories, stable category and preordered sets
, 2020 We show that in the category of preordered sets there is a natural notion of pretorsion theory, in which the partially ordered sets are the torsion-free objects and the sets endowed with an equivalence relation are the torsion objects.
Finocchiaro C. A., Facchini A.
core +1 more source