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
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
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
Dynamic sharing of a multiple access channel [PDF]
arXiv, 2010 In this paper we consider the mutual exclusion problem on a multiple access channel. Mutual exclusion is one of the fundamental problems in distributed computing. In the classic version of this problem, n processes perform a concurrent program which occasionally triggers some of them to use shared resources, such as memory, communication channel ...
Bienkowski, Marcin +3 more
arxiv +6 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
The Rule of Mutual Exclusion [PDF]
The Journal of Chemical Physics, 1954 Peer Reviewed ; http://deepblue.lib.umich.edu/bitstream/2027.42/70604/2/JCPSA6-22-7-1269-1 ...
Venkatarayudu, T.
openaire +4 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
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
Self-stabilizing mutual exclusion on a ring, even if K=N [PDF]
arXiv, 1999 We show that, contrary to common belief, Dijkstra's self-stabilizing mutual exclusion algorithm on a ring [Dij74,Dij82] also stabilizes when the number of states per node is one less than the number of nodes on the ring.
Hoepman, Jaap-Henk
arxiv +4 more sources
Closing the Complexity Gap between FCFS Mutual Exclusion and Mutual Exclusion [PDF]
Distributed Computing, 2008 First-Come-First-Served (FCFS) mutual exclusion (ME) is the problem of ensuring that processes attempting to concurrently access a shared resource do so one by one, in a fair order. In this paper, we close the complexity gap between FCFS ME and ME in the asynchronous shared memory model where processes communicate using atomic reads and writes only ...
Robert Danek, Wojciech Golab
openaire +3 more sources