Results 11 to 20 of about 2,376,801 (294)
Soundness, idempotence and commutativity of set-sharing [PDF]
It is important that practical data-flow analyzers are backed by reliably proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic properties for an abstract domain to be well-defined and sound ...
Bagnara, R., Hill, P.M., Zaffanella, E.
core +2 more sources
Cooperative production and efficiency [PDF]
We characterize the sharing rule for which a contribution mechanism achieves efficiency in a cooperative production setting when agents are heterogeneous. The sharing rule bears no resemblance to those considered by the previous literature.
Beviá, Carmen, Corchón, Luis C.
core +7 more sources
Investigation of charge sharing among electrode strips for a CdZnTe detector [PDF]
We have investigated charge sharing among the anode strips of a CdZnTe (CZT) detector using a 30 micrometer collimated gamma-ray beam. We compared the laboratory measurements with the predictions from our modeling of the charge transport within the ...
Barret +6 more
core +2 more sources
Often clients (e.g., sensors, organizations) need to outsource joint computations that are based on some joint inputs to external untrusted servers.
Georgia Tsaloli +2 more
doaj +1 more source
Quantifying the benefits of vehicle pooling with shareability networks [PDF]
Taxi services are a vital part of urban transportation, and a considerable contributor to traffic congestion and air pollution causing substantial adverse effects on human health.
Ratti, Carlo +5 more
core +2 more sources
Unicity of Meromorphic Function Sharing One Small Function with Its Derivative
We deal with the problem of uniqueness of a meromorphic function sharing one small function with its k's derivative and obtain some results.
Ang Chen, Xiuwang Wang, Guowei Zhang
doaj +1 more source
An entire function sharing a polynomial with its linear differential polynomial [PDF]
We study the uniqueness of entire functions which share a polynomial with their linear differential polynomials.
Imrul Kaish, Md. Majibur Rahaman
doaj +1 more source
A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks [PDF]
In a 2-hop IEEE 801.11-based wireless LAN, the distributed coordination function (DCF) tends to equally share the available capacity among the contending stations. Recently alternative capacity sharing strategies have been made possible.
Cloth, Lucia +2 more
core +2 more sources
The main aim of this article is to discuss the uniqueness of meromorphic functions partially sharing some values and small functions in a k-punctured complex plane Ω.
Hong Yan Xu, Yong Ming Li, Shan Liu
doaj +1 more source
Unlocking the deployment of spectrum sharing with a policy enforcement framework [PDF]
Spectrum sharing has been proposed as a promising way to increase the efficiency of spectrum usage by allowing incumbent operators (IOs) to share their allocated radio resources with licensee operators (LOs), under a set of agreed rules.
Butt, M. Majid +5 more
core +1 more source

