Results 61 to 70 of about 107 (106)

Derivations of Incidence Algebras

Mathematics
We 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

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   +2 more sources

Applying sequential adaptive strategies for sampling animal populations: An empirical study

Environmetrics, Volume 36, Issue 1, January 2025.
Abstract Traditional sampling methods may prove inadequate when dealing with spatially clustered populations or when studying rare events or traits that are not easily detectable across the target population. When both scenarios occur simultaneously, adaptive sampling strategies can represent a viable option to enhance the detectability of cases of ...
Rosa M. Di Biase, Fulvia Mecatti
wiley   +1 more source

ReinSeed: Reinforcement Fuzz Testing With Multiphase Seed Optimization for Autonomous Driving Systems

IET Software, Volume 2025, Issue 1, 2025.
Ensuring the safety of autonomous driving systems (ADSs) is essential, which requires effective testing methods to enhance system robustness. Fuzz testing (FT) is a widely used technique for uncovering software faults by generating test cases that trigger unexpected system behaviors.
Qi Jin, Tingting Wu, Yunwei Dong, Zuohua Ding, Yongkui Xu, Zahid Akhtar   +5 more
wiley   +1 more source

Finite preorders and Topological descent I

Journal of Pure and Applied Algebra, 2002
[For part II, see ibid. 174, No. 3, 303-309 (2002; Zbl 1018.18005).] In the following categories: \({\mathcal R}el\), \({\mathcal R}efl{\mathcal R}el\), \({\mathcal P}reord\), \({\mathcal F}in{\mathcal P}reord\), \({\mathcal F}in{\mathcal T}op\) of sets equipped with a relation, a reflexive relation, a preorder, of finite preordered sets, of finite ...
Janelidze, George, Sobral, Manuela
openaire   +3 more sources

Distinguishing digitization and digitalization: A systematic review and conceptual framework

Journal of Product Innovation Management, Volume 42, Issue 1, Page 112-143, January 2025.
Abstract With increasing interest in how digital technology impacts innovation, the constructs “digitization” and “digitalization” have become popular. However, different conceptualizations have emerged resulting in conceptual overlap and little definitional consensus.
Maria Gradillas, Llewellyn D. W. Thomas
wiley   +1 more source

Fixed-Point and Random Fixed-Point Theorems in Preordered Sets Equipped with a Distance Metric

Mathematics
This paper explores fixed points for both contractive and non-contractive mappings in traditional b-metric spaces, preordered b-metric spaces, and random b-metric spaces.
Himanshu Baranwal, Ravindra Kishor Bisht, Arya Kumar Bedabrata Chand, Jen-Chih Yao   +3 more
doaj   +1 more source

Putting Staffs’ Beliefs About Values of Mealtime Situations for Long‐Term Care Residents’ Health and Well‐Being Into Practice: A Qualitative Study

Health &Social Care in the Community, Volume 2025, Issue 1, 2025.
In the context of long‐term care facilities, mealtime situations have been linked to residents’ health and well‐being. The optimisation of mealtime situations is dependent on multiple aspects and is complex. To better understand this complexity, this qualitative study aimed to identify staffs’ beliefs about the values of mealtime situations for ...
Stefan Andersson, Anna Sandgren, Carina Werkander Harstäde, Kristiina Heikkilä, Erika Lagerbielke, Carina Persson, Sohini Basu Roy   +6 more
wiley   +1 more source

The American Cancer Society National Lung Cancer Roundtable strategic plan: Methods for improving turnaround time of comprehensive biomarker testing in non–small cell lung cancer

Cancer, Volume 130, Issue 24, Page 4200-4212, 15 December 2024.
Abstract Comprehensive biomarker testing for patients with non–small cell lung cancer is critical for selecting appropriate targeted therapy or immunotherapy. Ensuring timely ordering, processing, and reporting is key to optimizing patient outcomes.
Sinchita Roy‐Chowdhuri, Haresh Mani, Adam H. Fox, Anne Tsao, Lynette M. Sholl, Farhood Farjah, Bruce E. Johnson, Raymond U. Osarogiagbon, M. Patricia Rivera, Gerard A. Silvestri, Robert A. Smith, Ignacio I. Wistuba   +11 more
wiley   +1 more source

Continuous Multi-Utility Representations of Preorders and the Chipman Approach

Axioms
Chipman contended, in stark contrast to the conventional view, that, utility is not a real number but a vector, and that it is inherently lexicographic in nature.
Gianni Bosi, Roberto Daris, Magalì Zuanon   +2 more
doaj   +1 more source