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.
Yanan Li +3 more
doaj +2 more sources
Inverse shielding and mutual exclusion for PET-MR hybrid imaging concerning induced positronium hyperfine splits radiations [PDF]
Scientific Reports, 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.
Kelin Wang, M. Saiful Huq
doaj +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]
Parasites & 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 ...
Paolo Rossi +17 more
doaj +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.
Dulbecco, R.
core +5 more sources
Identification of gene signatures and molecular mechanisms underlying the mutual exclusion between psoriasis and leprosy [PDF]
Scientific ReportsLeprosy 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 ...
You-Wang Lu +8 more
doaj +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
Distributed Mutual Exclusion Algorithms for Intersection Traffic Problems
IEEE Access, 2020 Conurbations around the globe are encountering the challenges of traffic congestion. Miscellaneous smart systems have been developed to help control and improve traffic flow in a cost-effective and measurable way.
Harisu Abdullahi Shehu +2 more
doaj +1 more source