Results 1  10
of
26
On Confluence in the nCalculus
"... Abstract. An account of the basic theory of confluence in the 1rcalculus is presented, techniques for showing confluence of mobile systems are given, and the utility of some of the theory presented is illustrated via an analysis of a distributed algorithm. 1 In t roduct ion Confluence arises in a v ..."
Abstract
 Add to MetaCart
general study was made in [1] which in particular clarified the relationships among various notions of confluence and semanticinvariance under silent actions, and illustrated the utility
Invariants and Variability of Synonymy Networks: Self Mediated Agreement by Confluence
"... Edges of graphs that model real data can be seen as judgements whether pairs of objects are in relation with each other or not. So, one can evaluate the similarity of two graphs with a measure of agreement between judges classifying pairs of vertices into two categories (connected or not connected). ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
Edges of graphs that model real data can be seen as judgements whether pairs of objects are in relation with each other or not. So, one can evaluate the similarity of two graphs with a measure of agreement between judges classifying pairs of vertices into two categories (connected or not connected). When applied to synonymy networks, such measures demonstrate a surprisingly low agreement between various resources of the same language. This seems to suggest that the judgements on synonymy of lexemes of the same lexicon radically differ from one dictionary editor to another. In fact, even a strong disagreement between edges does not necessarily mean that graphs model a completely different reality: although their edges seem to disagree, synonymy resources may, at a coarser grain level, outline similar semantics. To investigate this hypothesis, we relied on shared common properties of real world data networks to look at the graphs at a more global level by using random walks. They enabled us to reveal a much better agreement between dense zones than between edges of synonymy graphs. These results suggest that although synonymy resources may disagree at the level of judgements on single pairs of words, they may nevertheless convey an essentially similar semantic information. 1
Coordination Avoidance in Database Systems
"... Minimizing coordination, or blocking communication between concurrently executing operations, is key to maximizing scalability, availability, and high performance in database systems. However, uninhibited coordinationfree execution can compromise application correctness, or consistency. When is c ..."
Abstract

Cited by 7 (1 self)
 Add to MetaCart
is coordination necessary for correctness? The classic use of serializable transactions is sufficient to maintain correctness but is not necessary for all applications, sacrificing potential scalability. In this paper, we develop a formal framework, invariant confluence, that determines whether an appli
Coordinationavoiding database systems
 CoRR
"... Concurrent access to shared state results in a fundamental tradeoff between coordination—surfacing in the form of reduced availability, decreased scalability, and increased latency—and applicationlevel consistency, or semantic guarantees for end users. Traditional mechanisms such as serializable ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
without violating applicationlevel consistency: invariant confluence. By explicitly considering applicationlevel invariants, invariant confluence analysis allows databases to coordinate between operations only when anomalies that might violate invariants are possible. This provides a formal basis
Invariant distribution of duplicated diffusions and application to RichardsonRomberg extrapolation
, 2013
"... With a view to numerical applications we address the following question: given an ergodicBrowniandiffusion with a unique invariantdistribution, what arethe invariant distributions of the duplicated system consisting of two trajectories? We mainly focus on the interesting case where the two trajector ..."
Abstract
 Add to MetaCart
With a view to numerical applications we address the following question: given an ergodicBrowniandiffusion with a unique invariantdistribution, what arethe invariant distributions of the duplicated system consisting of two trajectories? We mainly focus on the interesting case where the two
Adaptive Cellular Integration of Dynamical Systems Constructed for Locating Regular and Singular Invariants of a Given Flow
"... Some issues concerning cell mapping methods for the analysis of nonlinear dynamical systems are addressed in this paper. Convergence properties of simple and adjoining cell mapping are analyzed in the context of a general theory of convergence for cellular techniques. This theory takes account of th ..."
Abstract
 Add to MetaCart
of the use of an underlying numerical method, unifying cellular and numerical aspects in a comprehensive framework. The behavior of these techniques concerning some singularity issues of a specific family of dynamical systems is also studied. Finally, the confluence of convergence and singularity aspects
Dissipationless quantum spin current at room temperature, Science 301 (2003), no. 5638, 1348–1351, condmat/0308167
 Sinova J., Culcer D., Niu Q., Sinitsyn N.A., Jungwirth T., MacDonald A.H., Universal intrinsic spinHall effect, Phys. Rev. Lett
"... 1 While microscopic laws of physics are invariant under the reversal of the arrow of time, the transport of energy and information in most devices is an irreversible process. It is this irreversibility that leads to intrinsic dissipations in electronic devices and limits the possibility of quantum c ..."
Abstract

Cited by 19 (0 self)
 Add to MetaCart
1 While microscopic laws of physics are invariant under the reversal of the arrow of time, the transport of energy and information in most devices is an irreversible process. It is this irreversibility that leads to intrinsic dissipations in electronic devices and limits the possibility of quantum
A logical framework to prove . . .
, 1997
"... We present an assertional approach to prove properties of Alpha programs. Alpha is a functional language based on affine recurrence equations. We first present two kinds of operational semantics for Alpha together with some equivalence and confluence properties of these semantics. We then present ..."
Abstract
 Add to MetaCart
We present an assertional approach to prove properties of Alpha programs. Alpha is a functional language based on affine recurrence equations. We first present two kinds of operational semantics for Alpha together with some equivalence and confluence properties of these semantics. We
The effects of task dimensionality, endpoint deviation, throughput calculation, and experiment design on pointing measures and models
 In Proc. CHI '11. ACM
, 2011
"... Fitts ’ law (1954) characterizes pointing speedaccuracy performance as throughput, whose invariance to target distances (A) and sizes (W) is known. However, it is unknown whether throughput and Fitts ’ law models in general are invariant to task dimensionality (1D vs. 2D), whether univariate (SDx ..."
Abstract

Cited by 11 (3 self)
 Add to MetaCart
Fitts ’ law (1954) characterizes pointing speedaccuracy performance as throughput, whose invariance to target distances (A) and sizes (W) is known. However, it is unknown whether throughput and Fitts ’ law models in general are invariant to task dimensionality (1D vs. 2D), whether univariate
STABILITY OF THE STOCHASTIC HEAT EQUATION IN L 1 ([0, 1])
"... Abstract. We consider the whitenoise driven stochastic heat equation on [0, ∞)×[0, 1] with Lipschitzcontinuous drift and diffusion coefficients. We derive an inequality for the L 1 ([0, 1])norm of the difference between two solutions. Using some martingale arguments, we show that this inequality ..."
Abstract
 Add to MetaCart
provides some estimates which allow us to study the stability of the solution with respect the initial condition, the uniqueness of the possible invariant distribution and the asymptotic confluence of solutions.
Results 1  10
of
26