We prove a conjecture raised by Tsygan [12], namely the existence of an L∞-quasiisomorphism of L∞-modules between the cyclic chain complex of smooth functions on a manifold and the differential forms on that manifold. Concretely, we prove that the obvious u-linear extension of Shoikhet’s morphism of Hochschild chains solves Tsygan’s conjecture.

The paper seeks a perspective on the reality of Formal Methods in industry today. What has worked; what has not; and what might the future bring? We show that where formality has been adopted it has largely been benefical. We show that formality takes many forms, not all of them obviously

Recently the first two authors [1] constructed an L∞-morphism using the S1-equivariant version of the Poisson Sigma Model (PSM). Its role in deformation quantization was not entirely clear. We give here a “good” interpretation and show that the resulting formality statement is equivalent to formality on cyclic chains as conjectured by Tsygan and proved recently by several authors [5], [9].

This is a non-technical introduction into theory of contextuality. More precisely, it presents the basics contextuality called Contextuality-by-Default (CbD). One main tenets CbD that identity random variable determined not only by its content (that which measured or responded to) but also contexts, systematically recorded conditions under observed; and variables in different contexts possess n...

This paper compares inter-organizational (IO) interaction and interorganizational information systems (IOS) in public and private sector. The purpose of the paper is to explore differences and similarities between egovernment and e-business focusing IOS and interaction. This is done in order to facilitate learning between the two fields. The point of departure is two case studies performed in p...

Recently the first two authors [1] constructed an L∞-morphism using the S1-equivariant version of the Poisson Sigma Model (PSM). Its role in deformation quantization was not entirely clear. We give here a “good” interpretation and show that the resulting formality statement is equivalent to formality on cyclic chains as conjectured by Tsygan and proved recently by several authors [5], [10].

This paper presents a methodology integrating formal and informal soft ware development By distinguishing several dimensions and perspectives we structure the development process into stages and documents with di erent emphasis on formality Formality is only be required for documents which can be related through formal techniques to the system design

We define and discuss G-formality for certain spaces endowed with an action by a compact Lie group. This concept is essentially formality of the Borel construction of the space in a category of commutative differential graded algebras over R = H•(BG). These results may be applied in computing the equivariant cohomology of their loop spaces.

the principle of formality –free protection is an international principle in the copyright and it was stabilized in the berne convention. but this principle has not been studied in iran and evaluation of the principle is very vital because easier access to the works and fair trial. recent paper has attempted to study this principle in light of the berne convention and analyzes and interprets th...