Results 11 to 20 of about 1,000,824 (299)
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 +4 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
Mutual Exclusivity in Pragmatic Agents [PDF]
Cognitive Science, 2022 AbstractOne of the great challenges in word learning is that words are typically uttered in a context with many potential referents. Children's tendency to associate novel words with novel referents, which is taken to reflect a mutual exclusivity (ME) bias, forms a useful disambiguation mechanism.
Xenia Ohmer +2 more
openaire +3 more sources
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
IEEE Access, 2020 Equal load balancing for dispatching incoming packets to multiple threads is a crucial requirement in the stateful forwarding of multi-threaded software routers to achieve high-speed forwarding and low packet loss simultaneously.
Junji Takemasa +3 more
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 +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 +1 more source
Theoretical Computer Science, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Brenda S. Baker, Edward G. Coffman Jr.
openaire +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