Diophantine Approximation and applications in Interference Alignment

This paper is motivated by recent applications of Diophantine approximation in electronics, in particular, in the rapidly developing area of Interference Alignment. Some remarkable advances in this area give substantial credit to the fundamental Khintchine-Groshev Theorem and, in particular, to its far reaching generalisation for submanifolds of a Euclidean space. With a view towards the aforementioned applications, here we introduce and prove quantitative explicit generalisations of the Khintchine-Groshev Theorem for non-degenerate submanifolds of R n. The importance of such quantitative statements is explicitly discussed in Jafar's monograph [12, §4.7.1]

Analysis and Verification of Service Interaction Protocols - A Brief Survey

Modeling and analysis of interactions among services is a crucial issue in Service-Oriented Computing. Composing Web services is a complicated task which requires techniques and tools to verify that the new system will behave correctly. In this paper, we first overview some formal models proposed in the literature to describe services. Second, we give a brief survey of verification techniques that can be used to analyse services and their interaction. Last, we focus on the realizability and conformance of choreographies.Comment: In Proceedings TAV-WEB 2010, arXiv:1009.330

Case and Activity Identification for Mining Process Models from Middleware

Process monitoring aims to provide transparency over operational aspects of a business process. In practice, it is a challenge that traces of business process executions span across a number of diverse systems. It is cumbersome manual engineering work to identify which attributes in unstructured event data can serve as case and activity identifiers for extracting and monitoring the business process. Approaches from literature assume that these identifiers are known a priori and data is readily available in formats like eXtensible Event Stream (XES). However, in practice this is hardly the case, specifically when event data from different sources are pooled together in event stores. In this paper, we address this research gap by inferring potential case and activity identifiers in a provenance agnostic way. More specifically, we propose a semi-automatic technique for discovering event relations that are semantically relevant for business process monitoring. The results are evaluated in an industry case study with an international telecommunication provider

An analysis of material consumption culture in the Muslim world

In this paper, we examine the notion of material consumption culture in Islamic societies. We differentiate between institutionalised religion and religion as culture. We contest the Orientalist portrayal of Islam as a fanatic ideology opposed to Western Modernity’s features of secularism, individualism, and pluralism. With reference to the Qur’anic text, we discuss that such qualities are embedded with Islam. We do not interpret the Qur’an from a theological perspective; rather, we seek to demonstrate the possibilities of its multiple interpretations. We argue that, in their everyday life consumption practices, Muslims (re)interpret religious guidelines in different ways and refer to Islam, as a transcendental set of guidelines, to make better sense of their cultural practices in different ways. We summarise our discussion by highlighting the importance of analysing the culture of consumption from the lens of insiders and offer directions for future research

Application-Layer Connector Synthesis

International audienceThe heterogeneity characterizing the systems populating the Ubiquitous Computing environment prevents their seamless interoperability. Heterogeneous protocols may be willing to cooperate in order to reach some common goal even though they meet dynamically and do not have a priori knowledge of each other. Despite numerous e orts have been done in the literature, the automated and run-time interoperability is still an open challenge for such environment. We consider interoperability as the ability for two Networked Systems (NSs) to communicate and correctly coordinate to achieve their goal(s). In this chapter we report the main outcomes of our past and recent research on automatically achieving protocol interoperability via connector synthesis. We consider application-layer connectors by referring to two conceptually distinct notions of connector: coordinator and mediator. The former is used when the NSs to be connected are already able to communicate but they need to be speci cally coordinated in order to reach their goal(s). The latter goes a step forward representing a solution for both achieving correct coordination and enabling communication between highly heterogeneous NSs. In the past, most of the works in the literature described e orts to the automatic synthesis of coordinators while, in recent years the focus moved also to the automatic synthesis of mediators. Within the Connect project, by considering our past experience on automatic coordinator synthesis as a baseline, we propose a formal theory of mediators and a related method for automatically eliciting a way for the protocols to interoperate. The solution we propose is the automated synthesis of emerging mediating connectors (i.e., mediators for short)

Mediating Connector Patterns for Components Interoperability

International audienceA key objective for ubiquitous environments is to enable system interoperability between system's components that are highly heterogeneous. In particular, the challenge is to embed in the system architecture the necessary support to cope with behavioral diversity in order to allow components to coordinate and communicate. In this paper we present the design building blocks for the dynamic and on-the-fly interoperability between heterogeneous components. Specifically, we describe an Architectural Pattern called Mediating Connector, that is the key enabler for communication. In addition, we present a set of Basic Mediator Patterns, that describe the basic mismatches which can occur when components try to interact, and their corresponding solution

Erratum to: Study protocol: differential effects of diet and physical activity based interventions in pregnancy on maternal and fetal outcomes: individual patient data (IPD) meta-analysis and health economic evaluation.

Erratum to: Study protocol: differential effects of diet and physical activity based interventions in pregnancy on maternal and fetal outcomes: individual patient data (IPD) meta-analysis and health economic evaluatio