Results 1 to 10 of about 485,027 (292)
Analysing Mutual Exclusion using Process Algebra with Signals [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 In contrast to common belief, the Calculus of Communicating Systems (CCS) and similar process algebras lack the expressive power to accurately capture mutual exclusion protocols without enriching the language with fairness assumptions.
Victor Dyseryn +2 more
doaj +6 more sources
Semi-supervised Counting of Grape Berries in the Field Based on Density Mutual Exclusion. [PDF]
Plant Phenomics, 2023 Automated counting of grape berries has become one of the most important tasks in grape yield prediction. However, dense distribution of berries and the severe occlusion between berries bring great challenges to counting algorithm based on deep learning.
Li Y, Tang Y, Liu Y, Zheng D.
europepmc +2 more sources
Inverse shielding and mutual exclusion for PET-MR hybrid imaging concerning induced positronium hyperfine splits radiations. [PDF]
Sci Rep, 2023 Prevalent PET imaging reconstructs 2γ-photon pairs emitted after an annihilation from para-positronium (p-Ps) and rejects 3γ events from ortho-positronium (o-Ps) as noises.
Wang K, Huq MS.
europepmc +2 more sources
Verifying Temporal Properties of Reactive Systems by Transformation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We show how program transformation techniques can be used for the verification of both safety and liveness properties of reactive systems. In particular, we show how the program transformation technique distillation can be used to transform reactive ...
Geoff Hamilton
doaj +4 more sources
Mutual exclusion of Asaia and Wolbachia in the reproductive organs of mosquito vectors. [PDF]
Parasit Vectors, 2015 Background Wolbachia is a group of intracellular maternally inherited bacteria infecting a high number of arthropod species. Their presence in different mosquito species has been largely described, but Aedes aegypti, the main vector of Dengue virus, has ...
Rossi P +17 more
europepmc +2 more sources
Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs [PDF]
Logical Methods in Computer Science, 2012 We present a static analysis by Abstract Interpretation to check for run-time errors in parallel and multi-threaded C programs. Following our work on Astr\'ee, we focus on embedded critical programs without recursion nor dynamic memory allocation, but ...
Antoine Miné
doaj +9 more sources
MUTUAL EXCLUSION BETWEEN RELATED PHAGES [PDF]
Journal of Bacteriology, 1952 The discovery of the breakdown of superinfecting phage needs to be supplemented by genetic tests to find out whether the phage whose nucleic acid is broken down is, indeed, unable to contribute genetic markers to the progeny. The present paper presents experiments of this kind, whose results leave no doubt that the breakdown of superinfecting phage is ...
Dulbecco, R.
openaire +6 more sources
Identification of gene signatures and molecular mechanisms underlying the mutual exclusion between psoriasis and leprosy. [PDF]
Sci RepLeprosy and psoriasis rarely coexist, the specific molecular mechanisms underlying their mutual exclusion have not been extensively investigated. This study aimed to reveal the underlying mechanism responsible for the mutual exclusion between psoriasis ...
Lu YW +8 more
europepmc +2 more sources
Mutually Exclusive Uncertainty Relations [PDF]
Scientific Reports, 2016 AbstractThe uncertainty principle is one of the characteristic properties of quantum theory based on incompatibility. Apart from the incompatible relation of quantum states, mutually exclusiveness is another remarkable phenomenon in the information- theoretic foundation of quantum theory.
Yunlong Xiao, Naihuan Jing
openaire +3 more sources
Frontiers in Veterinary Science, 2022 Characterizing the gut microbiota of free-range and alternative poultry production systems provides information, which can be used to improve poultry welfare, performance, and environmental sustainability. Gut microbiota influence not only the health and
Lorena Varriale +12 more
doaj +1 more source