Results 91 to 100 of about 482,704 (293)
Finding Mutual Exclusion Invariants in Temporal Planning Domains [PDF]
We present a technique for automatically extracting temporal mutual exclusion invariants from PDDL2.2 planning instances. We first identify a set of invariant candidates by inspecting the domain and then check these candidates against properties that ...
Bernardini, Sara, Smith, David E.
core +1 more source
A unidirectional cerebral organoid–organoid neural circuit is established using a microfluidic platform, enabling controlled directional propagation of electrical signals, neuroinflammatory cues, and neurodegenerative disease–related proteins between spatially separated organoids.
Kyeong Seob Hwang +9 more
wiley +1 more source
Research on Linux network packet buffer recycling toward multi-core processor
A lock-free algorithm for Linux packet buffer recycling on multi-core processor was proposed.Through making a model of Linux network packet forwarding, the principle of Linux packet buffer recycling was analyzed, and the main reason that the mechanism ...
YAO Qi +3 more
doaj +2 more sources
Q-LME: Q-learning-based local mutual exclusion algorithm for flying ad hoc networks
Local mutual exclusion (LME) extends traditional mutual exclusion by preventing two neighboring nodes from accessing the Critical Section (CS) simultaneously while allowing concurrent access for non-neighboring nodes.
Sindhuja S, Mary Anita Rajam V
doaj +1 more source
A mutual exclusion key pairing scheme for preserving the privacy of channel shared 5G users
The fifth generation (5G) network ensures terahertz communication and low latency features to improve the Quality of Service (QoS). Based on the communication and service demands, the security and privacy requirements of the users directly impact the QoS.
Meshari D. Alanazi +7 more
doaj +1 more source
A marked effect of water snails on small crustaceans. [Translation from: Anz.Ost.Akad.Wiss 10, 95-99, 1952. ] [PDF]
Cases of mutual exclusion of two species of organisms in nature are known in large numbers. In the majority, they make different demands on the environ- ment which makes co-occurrence impossible. Less frequent are those cases in which a definite activity
Dolling, L., Kuhnelt, W.
core
Rational Device Design and Doping‐Controlled Performance in Fast‐Response π‐Ion Gel Transistors
π‐Ion gel transistors (PIGTs) achieve extraordinary transconductance and stability through device configuration optimization, high‐mobility conjugated polymer selection, and hole scavenger doping. The optimized PIGTs maintain performance on flexible substrates, enabling printed, fast‐response, and wearable electronics.
Masato Kato +10 more
wiley +1 more source
A dag-based algorithm for distributed mutual exclusion [PDF]
Call number: LD2668 .T4 CMSC 1989 N45Master of ScienceComputing and Information ...
Neilsen, Mitchell L.
core
Toughening β‐Ga2O3 via Mechanically Seeded Dislocations
β‐Ga2O3 is promising for next‐generation semiconductors but its brittleness limits flexible and high‐precision applications. Here, mechanically seeded dislocations introduced by surface deformation improved damage tolerance in (001) β‐Ga2O3. Nanoindentation and characterization show dislocations suppress cleavage cracks by enabling stable plastic ...
Zanlin Cheng +5 more
wiley +1 more source
Simulasi Produsen – Konsumen Untuk Menyelesaikan Problem Mutual Exclusion Pada Market
Kasus producer-consumer digunakan sebagai ilustrasi pembahasan sinkronisasi. Kasus producer-consumer berisi masalah mutual-exclusion dan sinkronisasi. Kasus ini sering juga disebut sebagai bounded-buffer problem (masalah buffer dengan jumlah terbatas ...
Khairul Ummi, Zulfrida Andayani
doaj

