Results 11 to 20 of about 328,670 (294)
Proceedings of the ACM on Programming Languages, 2022 The size of a data structure (i.e., the number of elements in it) is a widely used property of a data set. However, for concurrent programs, obtaining a correct size efficiently is non-trivial. In fact, the literature does not offer a mechanism to obtain a correct (linearizable) size of a concurrent data set without resorting to inefficient solutions ...
Gal Sela 0001, Erez Petrank
openaire +2 more sources
Mathematical Structures in Computer Science, 2021 AbstractWe show how concurrent quantales and concurrent Kleene algebras arise as convolution algebras of functions from relational structures with two ternary relations that satisfy relational interchange laws into concurrent quantales or Kleene algebras, among others.
James Cranch +2 more
openaire +3 more sources
Logical Methods in Computer Science, 2021 We give a formalization of Pratt's intuitive sculpting process for higher-dimensional automata (HDA). Intuitively, an HDA is a sculpture if it can be embedded in (i.e., sculpted from) a single higher dimensional cell (hypercube). A first important result of this paper is that not all HDA can be sculpted, exemplified through several natural acyclic HDA,
Fahrenberg, Uli +3 more
openaire +8 more sources
Quantum correlation in superconducting Two-Qubit systems [PDF]
Mathematics and Computational Sciences, 2021 We consider a two-qubit superconducting system. By introducing the two measures of Concurrence and discord, we calculate the value of the correlations of this system and also determine the changes of the correlations of this system with respect to the ...
M Bohloul, S Mohebi, P Najmadi
doaj +1 more source
Hardware Mechanism for Energy Saving in WiFi Access Points
Sensors, 2019 Wireless fidelity (WiFi) networks are deployed in several varied environments all around the World. Usually, the wireless fidelity access points are always on in houses and other small companies.
Juan Pablo García Baquerizo +3 more
doaj +1 more source
Entanglement Swapping and Swapped Entanglement
Entropy, 2023 Entanglement swapping is gaining widespread attention due to its application in entanglement distribution among different parts of quantum appliances. We investigate the entanglement swapping for pure and noisy systems, and argue different entanglement ...
Sultan M. Zangi +3 more
doaj +1 more source
Teneurs en éléments minéraux des vins
OENO One, 1994 Lors d'une enquête lancée par la Direction Générale de la Concurrence, de la Consommation et de la Répression des Fraudes en 1991, pour une meilleure connaissance de la teneur en plomb des vins français, la section « éléments minéraux » du Laboratoire de
P. Sudraud, Bernard Médina, J.P. Grenon
doaj +1 more source
Teneur des vins en chrome et en nickel. Causes d'enrichissement
OENO One, 1980 La mise au point du dosage du chrome et du nickel dans les vins par spectrométrie d'absorption atomique sans flamme avec un four en graphite a été réalisée.
Bernard Médina, P. Sudraud
doaj +1 more source
Veterinary Sciences, 2022 Inter-pathologist variation is widely recognized across human and veterinary pathology and is often compounded by missing animal or clinical information on pathology submission forms.
Emily Jones +7 more
doaj +1 more source
Publicité du savon en côte d’ivoire : l’expression d’une néologie concurrentielle par analogie [PDF]
Akofena, 2022 Résumé : Les annonceurs des produits détergents, en l’occurrence les savent, dans toutes leurs variétés, sont de plus en plus créatifs et novateurs. Ils font appel à plusieurs procédés de valorisation de leurs produits.
Jean-Hervé WOBE & Bi Tié Benjamain IRIÉ
doaj +1 more source