Ingegneria di sistemi auto‐organizzanti con il paradigma multiagente

Self-organisation is increasingly being regarded as an effective approach to tackle modern systems complexity. The self-organisation approach allows the development of systems exhibiting complex dynamics and adapting to environmental perturbations without requiring a complete knowledge of the future surrounding conditions. However, the development of self-organising systems (SOS) is driven by different principles with respect to traditional software engineering. For instance, engineers typically design systems combining smaller elements where the composition rules depend on the reference paradigm, but typically produce predictable results. Conversely, SOS display non-linear dynamics, which can hardly be captured by deterministic models, and, although robust with respect to external perturbations, are quite sensitive to changes on inner working parameters. In this thesis, we describe methodological aspects concerning the early-design stage of SOS built relying on the Multiagent paradigm: in particular, we refer to the A&A metamodel, where MAS are composed by agents and artefacts, i.e. environmental resources. Then, we describe an architectural pattern that has been extracted from a recurrent solution in designing self-organising systems: this pattern is based on a MAS environment formed by artefacts, modelling non-proactive resources, and environmental agents acting on artefacts so as to enable self-organising mechanisms. In this context, we propose a scientific approach for the early design stage of the engineering of self-organising systems: the process is an iterative one and each cycle is articulated in four stages, modelling, simulation, formal verification, and tuning. During the modelling phase we mainly rely on the existence of a self-organising strategy observed in Nature and, hopefully encoded as a design pattern. Simulations of an abstract system model are used to drive design choices until the required quality properties are obtained, thus providing guarantees that the subsequent design steps would lead to a correct implementation. However, system analysis exclusively based on simulation results does not provide sound guarantees for the engineering of complex systems: to this purpose, we envision the application of formal verification techniques, specifically model checking, in order to exactly characterise the system behaviours. During the tuning stage parameters are tweaked in order to meet the target global dynamics and feasibility constraints. In order to evaluate the methodology, we analysed several systems: in this thesis, we only describe three of them, i.e. the most representative ones for each of the three years of PhD course. We analyse each case study using the presented method, and describe the exploited formal tools and techniques.

Solving the cooling flow problem through mechanical AGN feedback

A fundamental gap in the current understanding of collapsed structures in the universe concerns the thermodynamical evolution of the ordinary, baryonic component. Unopposed radiative cooling of plasma would lead to the cooling catastrophe, a massive inflow of condensing gas toward the centre of galaxies, groups and clusters. The last generation of multiwavelength observations has radically changed our view on baryons, suggesting that the heating linked to the active galactic nucleus (AGN) may be the balancing counterpart of cooling. In this Thesis, I investigate the engine of the heating regulated by the central black hole. I argue that the mechanical feedback, based on massive subrelativistic outflows, is the key to solving the cooling flow problem, i.e. dramatically quenching the cooling rates for several billion years without destroying the cool-core structure. Using an upgraded version of the parallel 3D hydrodynamic code FLASH, I show that anisotropic AGN outflows can further reproduce fundamental observed features, such as buoyant bubbles, cocoon shocks, sonic ripples, metals dredge-up, and subsonic turbulence. The latter is an essential ingredient to drive nonlinear thermal instabilities, which cause cold gas condensation, a residual of the quenched cooling flow and, later, fuel for the AGN feedback engine. The self-regulated outflows are systematically tested on the scales of massive clusters, groups and isolated elliptical galaxies: in lighter less bound objects the feedback needs to be gentler and less efficient, in order to avoid drastic overheating. In this Thesis, I describe in depth the complex hydrodynamics, involving the coupling of the feedback energy to that of the surrounding hot medium. Finally, I present the merits and flaws of all the proposed models, with a critical eye toward observational concordance.

Expression of the repressor element-1 silencing transcription factor (REST) is regulated by IGF-I and PKC in human neuroblastoma cells

The repressor element 1-silencing transcription factor (REST) was first identified as a protein that binds to a 21-bp DNA sequence element (known as repressor element 1 (RE1)) resulting in transcriptional repression of the neural-specific genes [Chong et al., 1995; Schoenherr and Anderson, 1995]. The original proposed role for REST was that of a factor responsible for restricting neuronal gene expression to the nervous system by silencing expression of these genes in non-neuronal cells. Although it was initially thought to repress neuronal genes in non-neuronal cells, the role of REST is complex and tissue dependent. In this study I investigated any role played by REST in the induction and patterning of differentiation of SH-SY5Y human neuroblastoma cells exposed to IGF-I. and phorbol 12- myristate 13-acetate (PMA) To down-regulate REST expression we developed an antisense (AS) strategy based on the use of phosphorothioate oligonucleotides (ODNs). In order to evaluate REST mRNA levels, we developed a real-time PCR technique and REST protein levels were evaluated by western blotting. Results showed that nuclear REST is increased in SH-SY5Y neuroblastoma cells cultured in SFM and exposed to IGF-I for 2-days and it then declines in 5-day-treated cells concomitant with a progressive neurite extension. Also the phorbol ester PMA was able to increase nuclear REST levels after 3-days treatment concomitant to neuronal differentiation of neuroblastoma cells, whereas, at later stages, it is down-regulated. Supporting these data, the exposure to PKC inhibitors (GF10923X and Gö6976) and PMA (16nM) reverted the effects observed with PMA alone. REST levels were related to morphological differentiation, expression of growth coneassociated protein 43 (GAP-43; a gene not regulated by REST) and of synapsin I and βIII tubulin (genes regulated by REST), proteins involved in the early stage of neuronal development. We observed that differentiation of SH-SY5Y cells by IGF-I and PMA was accompanied by a significant increase of these neuronal markers, an effect that was concomitant with REST decrease. In order to relate the decreased REST expression with a progressive neurite extension, I investigated any possible involvement of the ubiquitin–proteasome system (UPS), a multienzymatic pathway which degrades polyubiquinated soluble cytoplasmic proteins [Pickart and Cohen, 2004]. For this purpose, SH-SY5Y cells are concomitantly exposed to PMA and the proteasome inhibitor MG132. In SH-SY5Y exposed to PMA and MG 132, we observed an inverse pattern of expression of synapsin I and β- tubulin III, two neuronal differentiation markers regulated by REST. Their cytoplasmic levels are reduced when compared to cells exposed to PMA alone, as a consequence of the increase of REST expression by proteasome inhibitor. The majority of proteasome substrates identified to date are marked for degradation by polyubiquitinylation; however, exceptions to this principle, are well documented [Hoyt and Coffino, 2004]. Interestingly, REST degradation seems to be completely ubiquitin-independent. The expression pattern of REST could be consistent with the theory that, during early neuronal differentiation induced by IGF-I and PKC, it may help to repress the expression of several genes not yet required by the differentiation program and then it declines later. Interestingly, the observation that REST expression is progressively reduced in parallel with cell proliferation seems to indicate that the role of this transcription factor could also be related to cell survival or to counteract apotosis events [Lawinger et al., 2000] although, as shown by AS-ODN experiments, it does not seem to be directly involved in cell proliferation. Therefore, the decline of REST expression is a comparatively later event during maturation of neuroroblasts in vitro. Thus, we propose that REST is regulated by growth factors, like IGF-I, and PKC activators in a time-dependent manner: it is elevated during early steps of neural induction and could contribute to down-regulate genes not yet required by the differentiation program while it declines later for the acquisition of neural phenotypes, concomitantly with a progressive neurite extension. This later decline is regulated by the proteasome system activation in an ubiquitin-indipendent way and adds more evidences to the hypothesis that REST down-regulation contributes to differentiation and arrest of proliferation of neuroblastoma cells. Finally, the glycosylation pattern of the REST protein was analysed, moving from the observation that the molecular weight calculated on REST sequence is about 116 kDa but using western blotting this transcription factor appears to have distinct apparent molecular weight (see Table 1.1): this difference could be explained by post-translational modifications of the proteins, like glycosylation. In fact recently, several studies underlined the importance of O-glycosylation in modulating transcriptional silencing, protein phosphorylation, protein degradation by proteasome and protein–protein interactions [Julenius et al., 2005; Zachara and Hart, 2006]. Deglycosilating analysis showed that REST protein in SH-SY5Y and HEK293 cells is Oglycosylated and not N-glycosylated. Moreover, using several combination of deglycosilating enzymes it is possible to hypothesize the presence of Gal-β(1-3)-GalNAc residues on the endogenous REST, while β(1-4)-linked galactose residues may be present on recombinant REST protein expressed in HEK293 cells. However, the O-glycosylation process produces an immense multiplicity of chemical structures and monosaccharides must be sequentially hydrolyzed by a series of exoglycosidase. Further experiments are needed to characterize all the post-translational modification of the transcription factor REST.

Evolutionary methods for self-organizing cooperation in peer-to-peer networks

The Peer-to-Peer network paradigm is drawing the attention of both final users and researchers for its features. P2P networks shift from the classic client-server approach to a high level of decentralization where there is no central control and all the nodes should be able not only to require services, but to provide them to other peers as well. While on one hand such high level of decentralization might lead to interesting properties like scalability and fault tolerance, on the other hand it implies many new problems to deal with. A key feature of many P2P systems is openness, meaning that everybody is potentially able to join a network with no need for subscription or payment systems. The combination of openness and lack of central control makes it feasible for a user to free-ride, that is to increase its own benefit by using services without allocating resources to satisfy other peers’ requests. One of the main goals when designing a P2P system is therefore to achieve cooperation between users. Given the nature of P2P systems based on simple local interactions of many peers having partial knowledge of the whole system, an interesting way to achieve desired properties on a system scale might consist in obtaining them as emergent properties of the many interactions occurring at local node level. Two methods are typically used to face the problem of cooperation in P2P networks: 1) engineering emergent properties when designing the protocol; 2) study the system as a game and apply Game Theory techniques, especially to find Nash Equilibria in the game and to reach them making the system stable against possible deviant behaviors. In this work we present an evolutionary framework to enforce cooperative behaviour in P2P networks that is alternative to both the methods mentioned above. Our approach is based on an evolutionary algorithm inspired by computational sociology and evolutionary game theory, consisting in having each peer periodically trying to copy another peer which is performing better. The proposed algorithms, called SLAC and SLACER, draw inspiration from tag systems originated in computational sociology, the main idea behind the algorithm consists in having low performance nodes copying high performance ones. The algorithm is run locally by every node and leads to an evolution of the network both from the topology and from the nodes’ strategy point of view. Initial tests with a simple Prisoners’ Dilemma application show how SLAC is able to bring the network to a state of high cooperation independently from the initial network conditions. Interesting results are obtained when studying the effect of cheating nodes on SLAC algorithm. In fact in some cases selfish nodes rationally exploiting the system for their own benefit can actually improve system performance from the cooperation formation point of view. The final step is to apply our results to more realistic scenarios. We put our efforts in studying and improving the BitTorrent protocol. BitTorrent was chosen not only for its popularity but because it has many points in common with SLAC and SLACER algorithms, ranging from the game theoretical inspiration (tit-for-tat-like mechanism) to the swarms topology. We discovered fairness, meant as ratio between uploaded and downloaded data, to be a weakness of the original BitTorrent protocol and we drew inspiration from the knowledge of cooperation formation and maintenance mechanism derived from the development and analysis of SLAC and SLACER, to improve fairness and tackle freeriding and cheating in BitTorrent. We produced an extension of BitTorrent called BitFair that has been evaluated through simulation and has shown the abilities of enforcing fairness and tackling free-riding and cheating nodes.

Pre-clinical and clinical development of leukemia stem cell inhibitors in acute leukemias

In Leukemias, recent developments have demonstrated that the Hedgehog pathway plays a key-role in the peculiar ability of self renewal of leukemia stem cells. The aim of this research activity was to investigate, through a first in man, Phase I, open label, clinical trial, the role and the impact, mainly in terms of safety profile, adverse events and pharmacokinetics, of a Sonic Hedgehog inhibitor compound on a population of heavely pretreated patients affected by AML, CML, MF, or MDS, resistant or refractory to standard chemotherapy. Thirty-five patients have been enrolled. The drug was administered orally, in 28 days cycles, without rest periods. The compound showed a good safety profile. The half life was of 17-35 hours, justifying the daily administration. Significant signs of activity, in terms of reduction of bone marrow blast cell amount were seen in most of the patients enrolled. Interestingly, correlative biological studies demonstrated that, comparing the gene expression profyiling signature of separated CD34+ cells before and after one cycle of treatment, the most variably expressed genes were involved in the Hh pathway. Moreover, we observed that many genes involved in MDR (multidrug resistance)were significantly down regulated after treatment. These data might lead to future clinical trials based on combinatory approaches, including, for instance, Hh inhibitors and conventional chemotherapy.

Development, degeneration and neural network of the bodily self

The question addressed by this dissertation is how the human brain builds a coherent representation of the body, and how this representation is used to recognize its own body. Recent approaches by neuroimaging and TMS revealed hints for a distinct brain representation of human body, as compared with other stimulus categories. Neuropsychological studies demonstrated that body-parts and self body-parts recognition are separate processes sub-served by two different, even if possibly overlapping, networks within the brain. Bodily self-recognition is one aspect of our ability to distinguish between self and others and the self/other distinction is a crucial aspect of social behaviour. This is the reason why I have conducted a series of experiment on subjects with everyday difficulties in social and emotional behaviour, such as patients with autism spectrum disorders (ASD) and patients with Parkinson’s disease (PD). More specifically, I studied the implicit self body/face recognition (Chapter 6) and the influence of emotional body postures on bodily self-processing in TD children as well as in ASD children (Chapter 7). I found that the bodily self-recognition is present in TD and in ASD children and that emotional body postures modulate self and others’ body processing. Subsequently, I compared implicit and explicit bodily self-recognition in a neuro-degenerative pathology, such as in PD patients, and I found a selective deficit in implicit but not in explicit self-recognition (Chapter 8). This finding suggests that implicit and explicit bodily self-recognition are separate processes subtended by different mechanisms that can be selectively impaired. If the bodily self is crucial for self/other distinction, the space around the body (personal space) represents the space of interaction and communication with others. When, I studied this space in autism, I found that personal space regulation is impaired in ASD children (Chapter 9).

Development of 3D Cancer Cell Models to Test Metabolic Interventions as an Anticancer Strategy

In recent years, it has become evident that the role of mitochondria in the metabolic rewiring is essential for cancer development and progression. The metabolic profile during tumorigenesis has been performed mainly in traditional 2D cell models, including cell lines of various lineages and phenotypes. Although useful in many ways, their relevance can be often debatable, as they lack the interactions between different cells of the tumour microenvironment and/or interaction with the extracellular matrix 1,2. Improved models are now being developed using 3D cell culture technology, contributing with increased physiological relevance 3,4. In this work, we improved a method for the generation of 3D models from healthy and tumour colon tissue, based on organoid technology, and performed their molecular and biochemical characterization and validation. Further, in-plate cryopreservation was applied to these models, and optimal results were obtained in terms of cell viability and functionality of the cryopreserved models. We also cryopreserved colon fibroblasts with the aim to introduce them in a co-culture cryopreserved model with organoids. This technology allows the conversion of cell models into “plug and play” formats. Therefore, cryopreservation in-plate facilitates the accessibility of specialized cell models to cell-based research and application, in cases where otherwise such specialized models would be out of reach. Finally, we briefly explored the field of bioprinting, by testing a new matrix to support the growth of colon tumour organoids, which revealed promising preliminary results. To facilitate the reader, we organized this thesis into chapters, divided by the main points of work which include development, characterization and validation of the model, commercial output, and associated applications. Each chapter has a brief introduction, followed by results and discussion and a final conclusion. The thesis has also a general discussion and conclusion section in the end, which covers the main results obtained during this work.

Development of an innovative strategy to enhance the efficacy of gene therapy for CDKL5 deficiency disorder

CDKL5 (cyclin-dependent kinase-like 5) deficiency disorder (CDD) is a severe X-linked neurodevelopmental disease caused by mutations in the CDKL5 gene, characterized by early-onset epileptic seizures, intellectual disability, motor and visual impairment and respiratory dysregulation. Although pharmacological treatments are used to control seizures, there is currently no cure to ameliorate symptoms for CDD. Albeit delivery of a wild-type copy of the mutated gene to cells represents the most curative approach for a monogenic disease, proof-of-concept studies highlight significant efficacy caveats for brain gene therapy. The major one regards the low efficiency of gene delivery to the CNS by viral vectors. We used a secretable Igk-TATk-CDKL5 protein to enhance the efficiency of a gene therapy for CDD. In view of the properties of the Igk-chain leader sequence, the TATk-CDKL5 protein produced by infected cells is secreted via constitutive secretory pathways. Importantly, due to the transduction property of the TATk peptide, the secreted CDKL5 protein is internalized by cells. We compared the effects of a CDKL5 gene therapy with an IgK-TATk-CDKL5 gene therapy in a Cdkl5 KO mouse model to validate whether the Igk-TATk-CDKL5 approach significantly improve the therapeutic efficacy. We found that, although AAVPHP.B_Igk-TATk-CDKL5 and AAVPHP.B_CDKL5 vectors had similar brain infection efficiency, the AAVPHP.B_Igk-TATk-CDKL5 vector led to a higher CDKL5 protein replacement and Cdkl5 KO mice treated with the AAVPHP.B_Igk-TATk-CDKL5 vector showed a behavioral and neuroanatomical improvement in comparison with Cdkl5 KO mice treated with the AAVPHP.B_CDKL5 vector.

Nanostructured piezoelectric materials for the design and development of self-sensing composite materials and energy harvesting devices

The work activities reported in this PhD thesis regard the functionalization of composite materials and the realization of energy harvesting devices by using nanostructured piezoelectric materials, which can be integrated in the composite without affecting its mechanical properties. The self-sensing composite materials were fabricated by interleaving between the plies of the laminate the piezoelectric elements. The problem of negatively impacting on the mechanical properties of the hosting structure was addressed by shaping the piezoelectric materials in appropriate ways. In the case of polymeric piezoelectric materials, the electrospinning technique allowed to produce highly-porous nanofibrous membranes which can be immerged in the hosting matrix without inducing delamination risk. The flexibility of the polymers was exploited also for the production of flexible tactile sensors. The sensing performances of the specimens were evaluated also in terms of lifetime with fatigue tests. In the case of ceramic piezo-materials, the production and the interleaving of nanometric piezoelectric powder limitedly affected the impact resistance of the laminate, which showed enhanced sensing properties. In addition to this, a model was proposed to predict the piezoelectric response of the self-sensing composite materials as function of the amount of the piezo-phase within the laminate and to adapt its sensing functionalities also for quasi-static loads. Indeed, one final application of the work was to integrate the piezoelectric nanofibers in the sole of a prosthetic foot in order to detect the walking cycle, which has a period in the order of 1 second. In the end, the energy harvesting capabilities of the piezoelectric materials were investigated, with the aim to design wearable devices able to collect energy from the environment and from the body movements. The research activities focused both on the power transfer capability to an external load and the charging of an energy storage unit, like, e.g., a supercapacitor.

Development of numerical tools for the simulation, design and optimization of a Helicon Plasma Thruster

This work thesis focuses on the Helicon Plasma Thruster (HPT) as a candidate for generating thrust for small satellites and CubeSats. Two main topics are addressed: the development of a Global Model (GM) and a 3D self-consistent numerical tool. The GM is suitable for preliminary analysis of HPTs with noble gases such as argon, neon, krypton, and xenon, and alternative propellants such as air and iodine. A lumping methodology is developed to reduce the computational cost when modelling the excited species in the plasma chemistry. A 3D self-consistent numerical tool is also developed that can treat discharges with a generic 3D geometry and model the actual plasma-antenna coupling. The tool consists of two main modules, an EM module and a FLUID module, which run iteratively until a steady state solution is converged. A third module is available for solving the plume with a simplified semi-analytical approach, a PIC code, or directly by integration of the fluid equations. Results obtained from both the numerical tools are benchmarked against experimental measures of HPTs or Helicon reactors, obtaining very good qualitative agreement with the experimental trend for what concerns the GM, and an excellent agreement of the physical trends predicted against the measured data for the 3D numerical strategy.