Results 31 to 40 of about 11,624,387 (363)
Partial Order as Decision Support between Statistics and Multicriteria Decision Analyses
Standards, 2022 Evaluation by ranking/rating of data based on a multitude of indicators typically calls for multi-criteria decision analyses (MCDA) methods. MCDA methods often, in addition to indicator values, require further information, typically subjective.
Lars Carlsen, Rainer Bruggemann
doaj +1 more source
Inferring genetic interactions from comparative fitness data
eLife, 2017 Darwinian fitness is a central concept in evolutionary biology. In practice, however, it is hardly possible to measure fitness for all genotypes in a natural population.
Kristina Crona +3 more
doaj +1 more source
A fixed point principle in ordered metric spaces and applications to rational type contractions
AIMS Mathematics, 2022 Fixed points results for rational type contractions in metric spaces have been widely studied in the literature. In the last years, many of these results are obtained in the context of partially ordered metric spaces.
I. Eroǧlu +3 more
doaj +1 more source
Optimal Dynamic Partial Order Reduction with Observers
International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2018 Dynamic partial order reduction (DPOR) algorithms are used in stateless model checking (SMC) to combat the combinatorial explosion in the number of schedulings that need to be explored to guarantee soundness.
Stavros Aronis +3 more
semanticscholar +1 more source
Fixed points of α-Θ-Geraghty type and Θ-Geraghty graphic type contractions
Applied General Topology, 2017 In this paper, by using the concept of the α-Garaghty contraction, we introduce the new notion of the α-Θ-Garaghty type contraction and prove some fixed point results for this contraction in partial metric spaces.
Wudthichai Onsod +2 more
doaj +1 more source
Towards Partial Order Reductions for Strategic Ability
Adaptive Agents and Multi-Agent Systems, 2018 We propose a general semantics for strategic abilities of agents in asynchronous systems, with and without perfect information. Based on the semantics, we show some general complexity results for verification of strategic abilities in asynchronous ...
Wojciech Jamroga +3 more
semanticscholar +1 more source
Data-centric dynamic partial order reduction [PDF]
Proc. ACM Program. Lang., 2016 We present a new dynamic partial-order reduction method for stateless model checking of concurrent programs. A common approach for exploring program behaviors relies on enumerating the traces of the program, without storing the visited states (aka ...
Marek Chalupa +4 more
semanticscholar +1 more source
Applied SciencesIdentifying and ranking the key drivers of grassland conversion at the county level is crucial for developing targeted policies and improving protection efficiency.
Xuemei Li +5 more
doaj +1 more source
Higher-Order Partial Differentiation [PDF]
Formalized Mathematics, 2012 Summary In this article, we shall extend the formalization of [10] to discuss higher-order partial differentiation of real valued functions. The linearity of this operator is also proved (refer to [10], [12] and [13] for partial differentiation).
Endou, Noboru +2 more
openaire +3 more sources
Partial Order Aware Concurrency Sampling
International Conference on Computer Aided Verification, 2018 We present POS, a concurrency testing approach that samples the partial order of concurrent programs. POS uses a novel priority-based scheduling algorithm that dynamically reassigns priorities regarding the partial order information and formally ensures ...
Xinhao Yuan, Junfeng Yang, Ronghui Gu
semanticscholar +1 more source