MultiVeStA: Statistical Model Checking for Discrete Event Simulators

The modeling, analysis and performance evaluation of large-scale systems are difficult tasks. Due to the size and complexity of the considered systems, an approach typically followed by engineers consists in performing simulations of systems models to obtain statistical estimations of quantitative properties. Similarly, a technique used by computer scientists working on quantitative analysis is Statistical Model Checking (SMC), where rigorous mathematical languages (typically logics) are used to express systems properties of interest. Such properties can then be automatically estimated by tools performing simulations of the model at hand. These property specifications languages, often not popular among engineers, provide a formal, compact and elegant way to express systems properties without needing to hard-code them in the model definition. This paper presents MultiVeStA, a statistical analysis tool which can be easily integrated with existing discrete event simulators, enriching them with efficient distributed statistical analysis and SMC capabilities

Statistical analysis of chemical computational systems with MULTIVESTA and ALCHEMIST

The chemical-oriented approach is an emerging paradigm for programming the behaviour of densely distributed and context-aware devices (e.g. in ecosystems of displays tailored to crowd steering, or to obtain profile-based coordinated visualization). Typically, the evolution of such systems cannot be easily predicted, thus making of paramount importance the availability of techniques and tools supporting prior-to-deployment analysis. Exact analysis techniques do not scale well when the complexity of systems grows: as a consequence, approximated techniques based on simulation assumed a relevant role. This work presents a new simulation-based distributed tool addressing the statistical analysis of such a kind of systems, which has been obtained by chaining two existing tools: MultiVeStA and Alchemist. The former is a recently proposed lightweight tool which allows to enrich existing discrete event simulators with distributed statistical analysis capabilities, while the latter is an efficient simulator for chemical-oriented computational systems. The tool is validated against a crowd steering scenario, and insights on the performance are provided by discussing how these scale distributing the analysis tasks on a multi-core architecture

Where Is the Power? Transnational Networks, Authority and the Dispute over the Xayaburi Dam on the Lower Mekong Mainstream

Accounts of hydro-hegemony and counter hydro-hegemony provide state-based conceptions of power in international river basins. However, authority should be seen as transnationalized as small states develop coping strategies to augment their authority over decision-making processes. The article engages Rosenau’s spheres of authority concept to argue that hydro-hegemony is exercised by actors embedded in spheres of authority that reshape actor configurations as they emerge. These spheres consist of complex networks challenging customary notions of the local-global dichotomy and hydro-hegemony. Hydro-hegemony is therefore not fixed. The article examines these processes by analysing the dispute over the Xayaburi Dam in the Mekong Basin

A cooperative approach for distributed task execution in autonomic clouds

Virtualization and distributed computing are two key pillars that guarantee scalability of applications deployed in the Cloud. In Autonomous Cooperative Cloud-based Platforms, autonomous computing nodes cooperate to offer a PaaS Cloud for the deployment of user applications. Each node must allocate the necessary resources for customer applications to be executed with certain QoS guarantees. If the QoS of an application cannot be guaranteed a node has mainly two options: to allocate more resources (if it is possible) or to rely on the collaboration of other nodes. Making a decision is not trivial since it involves many factors (e.g. the cost of setting up virtual machines, migrating applications, discovering collaborators). In this paper we present a model of such scenarios and experimental results validating the convenience of cooperative strategies over selfish ones, where nodes do not help each other. We describe the architecture of the platform of autonomous clouds and the main features of the model, which has been implemented and evaluated in the DEUS discrete-event simulator. From the experimental evaluation, based on workload data from the Google Cloud Backend, we can conclude that (modulo our assumptions and simplifications) the performance of a volunteer cloud can be compared to that of a Google Cluster

A Computational Field Framework for Collaborative Task Execution in Volunteer Clouds

The increasing diffusion of cloud technologies is opening new opportunities for distributed and collaborative computing. Volunteer clouds are a prominent example, where participants join and leave the platform and collaborate by sharing their computational resources. The high dynamism and unpredictability of such scenarios call for decentralized self-* approaches to guarantee QoS. We present a simulation framework for collaborative task execution in volunteer clouds and propose one concrete instance based on Ant Colony Optimization, which is validated through a set of simulation experiments based on Google workload data

Data-Jam: could data reduce road congestion in Dhaka?

Agglomeration effects and productivity gains are among the most desired of urbanisation outcomes. The less desirable outcomes, lagging infrastructure, elevated crime rates, and greater congestion require more evidence to understand what does and does not work to be effectively addressed. This blog examines the challenges of congestion and traffic in Dhaka, and it explores the potential for data to uncover evidenced-based policy designs that can effectively mitigate the downsides of congestion

Guerrilla semiotica 2.0 – La rivoluzione culturale dei social network nell’economia globale della contestazione sociale

Abstract not availabl

Reputation-based Cooperation in the Clouds

The popularity of the cloud computing paradigm is opening new opportunities for collaborative computing. In this paper we tackle a fundamental problem in open-ended cloud-based distributed comput- ing platforms, i.e., the quest for potential collaborators. We assume that cloud participants are willing to share their computational resources for shared distributed computing problems, but they are not willing to dis- closure the details of their resources. Lacking such information, we advo- cate to rely on reputation scores obtained by evaluating the interactions among participants. More specifically, we propose a methodology to as- sess, at design time, the impact of different (reputation-based) collabo- rator selection strategies on the system performance. The evaluation is performed through statistical analysis on a volunteer cloud simulator

Cross-Talk between PPARγ and Insulin Signaling and Modulation of Insulin Sensitivity

PPARγ activation in type 2 diabetic patients results in a marked improvement in insulin and glucose parameters, resulting from an improvement of whole-body insulin sensitivity. Adipose tissue is the major mediator of PPARγ action on insulin sensitivity. PPARγ activation in mature adipocytes induces the expression of a number of genes involved in the insulin signaling cascade, thereby improving insulin sensitivity. PPARγ is the master regulator of adipogenesis, thereby stimulating the production of small insulin-sensitive adipocytes. In addition to its importance in adipogenesis, PPARγ plays an important role in regulating lipid, metabolism in mature adipocytes by increasing fatty acid trapping. Finally, adipose tissue produces several cytokines that regulate energy homeostasis, lipid and glucose metabolism. Disturbances in the production of these factors may contribute to metabolic abnormalities, and PPARγ activation is also associated with beneficial effects on expression and secretion of a whole range of cytokines