Results 31 to 40 of about 464,155 (337)
Discrete Dynamics in Nature and Society, 2017 Mutual exclusion problems widely exist in discrete event systems in which several processes will compete for the common resource for maintaining their normal running. This competition is mutually exclusive.
Zhongyuan Jiang +4 more
doaj +1 more source
The evidence for anthocyanins in the betalain-pigmented genus Hylocereus is weak
BMC Genomics, 2022 Here we respond to Zhou (BMC Genomics 21:734, 2020) “Combined Transcriptome and Metabolome analysis of Pitaya fruit unveiled the mechanisms underlying peel and pulp color formation” published in BMC Genomics.
Boas Pucker, Samuel F. Brockington
doaj +1 more source
Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints
IEEE Access, 2022 A coloured Petri net (CPN) is widely used to model discrete event systems due to its compact representation of the system by colour sets associated with places, transitions and I/O arcs.
Kohei Fujita, Toshimitsu Ushio
doaj +1 more source
Coexistence and competitive exclusion in mutualism [PDF]
Ecology, 2019 AbstractThe competitive exclusion principle is fundamental to understanding coexistence. Well‐established theories predict the conditions for coexistence in consumer–resource interactions. Given that species often compete for commodities offered by mutualists, competitive exclusion theory should also be critical to understanding how mutualisms function.
Judith L. Bronstein +2 more
openaire +3 more sources
Mutual Exclusion by Interpolation [PDF]
, 2012 The question of what constraints must hold for a predicate to behave as a (partial) function, is key to understanding the behaviour of a logic program. It has been shown how this question can be answered by combining backward analysis, a form of analysis that propagates determinacy requirements against the control flow, with a component for deriving so-
Jael Kriener, Andy King
openaire +2 more sources
The landscape of human mutually exclusive splicing [PDF]
Molecular Systems Biology, 2017 Mutually exclusive splicing of exons is a mechanism of functional gene and protein diversification with pivotal roles in organismal development and diseases such as Timothy syndrome, cardiomyopathy and cancer in humans. In order to obtain a first genomewide estimate of the extent and biological role of mutually exclusive splicing in humans, we ...
Martin Kollmar +18 more
openaire +8 more sources
Clitics: Lexicalization Patterns of the So-called 3rd Person Dative
Catalan Journal of Linguistics, 2002 Manzini and Savoia (1999, 2001, 2002, to appear) argue that the basic facts about the clitic string are best accounted for without having recourse to anything but a minimalist syntactic compo- nent, i.e.
Rita Manzini, Leonardo M. Savoia
doaj +1 more source
Mutual exclusion revisited [PDF]
Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology', 2002 A family of four mutual exclusion algorithms is presented. Its members vary from a simple three-bit linear wait mutual exclusion to the four-bit first-come first-served algorithm immune to various faults. The algorithms are based on a scheme similar to J.M. Morris's (1979) solution of the mutual exclusion problem with three weak semaphores. The present
openaire +1 more source
Fractional exclusion and braid statistics in one dimension: a study via dimensional reduction of Chern-Simons theory [PDF]
, 2017 The relation between braid and exclusion statistics is examined in one-dimensional systems, within the framework of Chern-Simons statistical transmutation in gauge invariant form with an appropriate dimensional reduction.
Marchetti, P. A. +3 more
core +2 more sources
Automated Synthesis of Distributed Self-Stabilizing Protocols [PDF]
Logical Methods in Computer Science, 2018 In this paper, we introduce an SMT-based method that automatically synthesizes a distributed self-stabilizing protocol from a given high-level specification and network topology. Unlike existing approaches, where synthesis algorithms require the explicit
Fathiyeh Faghih +3 more
doaj +1 more source