We present a type theory for analyzing concurrent multiparty interactionsas found in service-oriented computing. Our theory introduces a novel andflexible type structure, able to uniformly describe both the internal and theinterface behavior of systems, referred respectively as choreographies and con-tracts in web-services terminology. The notion of conversation builds on th...

The rewriting calculus has been introduced as a general formalism that uniformlyintegrates rewriting and λ-calculus. In this calculus all the basic ingredients ofrewriting such as rewrite rules, rule applications and results are rst-class objects.The rewriting calculus has been originally designed and used for expressing thesemantics of rule based as well as object oriented ...

Random walk on the chambers of hyperplanes arrangements is used to de ne a family of card shu ing measuresMW;x for a nite Coxeter group W and real x 6= 0. By algebraic group theory, there is a map from the semisimple orbits of the adjoint action of a nite group of Lie type on its Lie algebra to the conjugacy classes of the Weyl group. Choosing such a semisimple orbit uniformly at random thereby...

A multimedia system consists of substantial amount of continuous media workload scheduled periodically at deterministic time points. Phased scheduling is achieved by shifting phase or the lag between the invocation times of independent periodic tasks. A proper phase con guration distributes workload uniformly over time and reduces task interference that may otherwise result in jitter, deadline ...

0009-2614/$ see front matter 2012 Elsevier B.V. A http://dx.doi.org/10.1016/j.cplett.2012.05.030 q First presented at the 53rd Rocky Mountain Con istry, August 2010, Snowmass, Colorado, USA. ⇑ Corresponding author at: Ecole Normale Supérie 24 rue Lhomond, 75231 Paris cedex 05, France. E-mail address: [email protected] (P. Tekely). The intrinsic asymmetry of 2D solid-state homonuclear NMR corr...

Principal Component Analysis PCA is one of the most pop ular techniques for dimensionality reduction of multivariate data points with application areas covering many branches of science However con ventional PCA handles the multivariate data in a discrete manner only i e the covariance matrix represents only sample data points rather than higher order data representations In this paper we exten...

The rewriting calculus has been introduced as a general formalism that uniformly integrates rewriting and λ-calculus. In this calculus all the basic ingredients of rewriting such as rewrite rules, rule applications and results are rst-class objects. The rewriting calculus has been originally designed and used for expressing the semantics of rule based as well as object oriented paradigms. We ha...