Transformations of CLP modules

We propose a transformation system for CLP programs and modules. The framework is inspired by the one of Tamaki and Sato for pure logic programs. However, the use of CLP allows us to introduce some new operations such as splitting and constraint replacement. We provide two sets of applicability conditions. The first one guarantees that the original and the transformed programs have the same computational behaviour, in terms of answer constraints. The second set contains more restrictive conditions that ensure compositionality: we prove that under these conditions the original and the transformed modules have the same answer constraints also when they are composed with other modules. This result is proved by first introducing a new formulation, in terms of trees, of a resultants semantics for CLP. As corollaries we obtain the correctness of both the modular and the non-modular system w.r.t. the least model semantics

Programming adaptive microservice applications: An AIOCJ tutorial

This tutorial describes AIOCJ, which stands for Adaptive Interaction Oriented Choreographies in Jolie, a choreographic language for programming microservice-based applications which can be updated at runtime. The compilation of a single AIOCJ program generates the whole set of distributed microservices that compose the application. Adaptation is performed using adaptation rules. Abstractly, each rule replaces a pre-delimited part of the program with the new code contained in the rule itself. Concretely, at runtime, the application of a rule updates part of the microservices that compose the application so to match the behavior specified by the updated program. Thanks to the properties of choreographies, the adaptive application is free from communication deadlocks and message races even after adaptation

Guess Who\u2019s Coming: Runtime Inclusion of Participants in Choreographies

In Choreographic Programming, a choreography specifies in a single artefact the expected behaviour of all the participants in a distributed system. The choreography is used to synthesise correct-by-construction programs for each participant. In previous work, we defined Dynamic Choreographies to support the update of distributed systems at runtime. In this work, we extend Dynamic Choreographies to include new participants at runtime, capturing those use cases where the system might be updated to interact with new, unforeseen stakeholders. We formalise our extension, prove its correctness, and present an implementation in the AIOCJ choreographic framework

Validation of a small scale woody biomass downdraft gasification plant coupled with gas engine

In recent years, small scale cogeneration systems (< 500 kWe) distributed in different geographical locations using biomass has received special attention as economically competitive and environmentally friendly ways of producing energy. These systems can be integrated to industrial and agricultural activities where biomass residues are generated and can be converted into electricity and thermal energy by combustion or gasification. The legislations of many European countries such as Italy concerning renewable energy and energy efficiency along the taxation schemes have raised the incentives for small scale cogeneration plants. Consequently, there is a clear economic interest of the companies in this sector and there is also a scientific interest towards demonstration of their energetic efficiency, environmental performance and reliability. Among the suggested technologies for the biomass conversion into energy, downdraft gasification (using air as gasification agent), coupled with internal combustion engines, has the advantage of high electric efficiency (~ 25%) and low tar generation, making easier the gas cleaning process necessary for its use into engines. In the present work, the results of a measurement campaign performed on a commercial scale 350 kWth downdraft woodchips gasification plant, coupled with an SI internal combustion engine (ICE), are presented and discussed. The main goals of this first experimental campaign have been to verify the stability of gasifier and engine operation, operability of the plant and to determine its energy efficiency. The campaign verified a stable operation of the gasifier and the plant produced a syngas with a composition suitable for a gas engine. The energy balance resulted in a potential overall wood fuel to electricity efficiency of about 23 %

Probabilistic Recursion Theory and Implicit Computational Complexity

We show that probabilistic computable functions, i.e., those func- tions outputting distributions and computed by probabilistic Turing machines, can be characterized by a natural generalization of Church and Kleene’s partial recursive functions. The obtained algebra, following Leivant, can be restricted so as to capture the notion of a polytime sampleable distribution, a key concept in average-case complexity and cryptography

Micro- and Nanoplastics’ Effects on Protein Folding and Amyloidosis

A significant portion of the world's plastic is not properly disposed of and, through various processes, is degraded into microscopic particles termed micro- and nanoplastics. Marine and terrestrial faunae, including humans, inevitably get in contact and may inhale and ingest these microscopic plastics which can deposit throughout the body, potentially altering cellular and molecular functions in the nervous and other systems. For instance, at the cellular level, studies in animal models have shown that plastic particles can cross the blood-brain barrier and interact with neurons, and thus affect cognition. At the molecular level, plastics may specifically influence the folding of proteins, induce the formation of aberrant amyloid proteins, and therefore potentially trigger the development of systemic and local amyloidosis. In this review, we discuss the general issue of plastic micro- and nanoparticle generation, with a focus on their effects on protein folding, misfolding, and their possible clinical implications