Results 11 to 20 of about 30,211 (267)
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
, 2023 AbstractTrace properties, which are sets of execution traces, are often used to analyze systems, but their expressiveness is limited. Clarkson and Schneider defined hyperproperties as a generalization of trace properties to sets of sets of traces. Typical applications of hyperproperties are found in information flow security.
Bernd Finkbeiner, Ernst-Rüdiger Olderog
openaire +2 more sources
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
Persistence of blood paste proteins in a dry white wine after clarification
OENO One, 1999 Until the end of 1997, plasmatic proteins and blood cells could be used to clarify wines. The aim of our work was to study the persistence of these animal proteins in a dry white wine during clarification.
J.-P. Douet +2 more
doaj +1 more source