Timeliness, efficiency and public procurement in hip surgery in Italy

Considering different perspectives, the scope of this thesis is to investigate how to improve healthcare resources allocation and the provision efficiency for hip surgeries, a resource-intensive operation, among the most frequently performed on the elderly, with a trend in volume that is increasing in years due to population aging. Firstly, the effect of Time-To-Surgery (TTS) on mortality for hip fracture patients is investigated. The analysis attempts to account for TTS endogeneity due to the inability to fully control for variables affecting patient delay – e.g. patient severity. Exploiting an instrumental variable model, where being admitted on Friday or Saturday predicts longer TTS, findings show exogenous TTS does not have a significant effect on mortality. Thus suggesting surgeons prioritize patients effectively, neutralizing the adverse impact of longer TTS. Then, the volume-outcome relation for total hip replacement surgery is analyzed, seeking to account for selective referral, which may be present in elective surgery context, and induce reverse causality issue in the volume-outcome relation. The analysis employs a conditional choice model where patient travel distance from all regions' hospitals is used as a hospital choice predictor. Findings show the exogenous hospital volume significantly decreases adverse outcomes probability, especially in the short run. Finally, the change in public procurement design enforced in the Romagna LHA (Italy) is exploited to assess its impact on hip prostheses cost, surgeons' implant choice, and patient health outcomes. Hip prostheses are the major cost-driver of hip replacement surgeries, hence it is crucial to design the public tender such that implant prices are minimized, but cost-containment policies have to be weighted with patient well-being. Evidence shows that a cost reduction occurred without a significant surgeons’ choices impact. Positive or no effect of surgeons specialization is found on patients outcomes after the new procurement introduction.

The United Nations 'quasi-prosecutorial' investigative mechanisms: assessing a new institutional model in the international criminal justice landscape

This work aims to provide a theoretical examination of three recently created bodies of the United Nations mandated to investigate the alleged international crimes committed in Syria (IIIM), Iraq (UNITAD) and Myanmar (IIMM). Established as a compromise solution in the paralysis of international criminal jurisdictions, these essentially overlapping entities have been depicted as a ‘new generation’ of UN investigative mechanisms. While non-judicial in nature, they depart indeed from traditional commissions of inquiry in several respects due to their increased criminal or ‘quasi-prosecutorial’ character. After clarifying their legal basis and different mandating authorities, a comparative institutional analysis is thus carried out in order to ascertain whether these ‘mechanisms’ can be said to effectively represent a new institutional model. Through an in-depth assessment of their mandates, the thesis is also intended to outline both the strengths and the criticalities of these organs. Given their aim to facilitate criminal proceedings by sharing information and case files, it is suggested that more attention shall be paid to the position of the person under investigation. To this end, some proposals are made in order to enhance the mechanisms’ frameworks, especially from the angle of procedural safeguards. As a third aspect, the cooperation with judicial authorities is explored, in order to shed light on the actors involved, the relevant legal instruments and the possible obstacles, in particular from a human rights perspective. Ultimately, drawing from the detected issues, the thesis seeks to identify some lessons learned which could be taken into account in case of creation of new ad hoc investigative mechanisms or of a permanent institution of this kind.

Specification, execution and verification of interaction protocols: an approach based on computational logic

Interaction protocols establish how different computational entities can interact with each other. The interaction can be finalized to the exchange of data, as in 'communication protocols', or can be oriented to achieve some result, as in 'application protocols'. Moreover, with the increasing complexity of modern distributed systems, protocols are used also to control such a complexity, and to ensure that the system as a whole evolves with certain features. However, the extensive use of protocols has raised some issues, from the language for specifying them to the several verification aspects. Computational Logic provides models, languages and tools that can be effectively adopted to address such issues: its declarative nature can be exploited for a protocol specification language, while its operational counterpart can be used to reason upon such specifications. In this thesis we propose a proof-theoretic framework, called SCIFF, together with its extensions. SCIFF is based on Abductive Logic Programming, and provides a formal specification language with a clear declarative semantics (based on abduction). The operational counterpart is given by a proof procedure, that allows to reason upon the specifications and to test the conformance of given interactions w.r.t. a defined protocol. Moreover, by suitably adapting the SCIFF Framework, we propose solutions for addressing (1) the protocol properties verification (g-SCIFF Framework), and (2) the a-priori conformance verification of peers w.r.t. the given protocol (AlLoWS Framework). We introduce also an agent based architecture, the SCIFF Agent Platform, where the same protocol specification can be used to program and to ease the implementation task of the interacting peers.

Specification and Verification of Declarative Open Interaction Models - A Logic-based framework

The advent of distributed and heterogeneous systems has laid the foundation for the birth of new architectural paradigms, in which many separated and autonomous entities collaborate and interact to the aim of achieving complex strategic goals, impossible to be accomplished on their own. A non exhaustive list of systems targeted by such paradigms includes Business Process Management, Clinical Guidelines and Careflow Protocols, Service-Oriented and Multi-Agent Systems. It is largely recognized that engineering these systems requires novel modeling techniques. In particular, many authors are claiming that an open, declarative perspective is needed to complement the closed, procedural nature of the state of the art specification languages. For example, the ConDec language has been recently proposed to target the declarative and open specification of Business Processes, overcoming the over-specification and over-constraining issues of classical procedural approaches. On the one hand, the success of such novel modeling languages strongly depends on their usability by non-IT savvy: they must provide an appealing, intuitive graphical front-end. On the other hand, they must be prone to verification, in order to guarantee the trustworthiness and reliability of the developed model, as well as to ensure that the actual executions of the system effectively comply with it. In this dissertation, we claim that Computational Logic is a suitable framework for dealing with the specification, verification, execution, monitoring and analysis of these systems. We propose to adopt an extended version of the ConDec language for specifying interaction models with a declarative, open flavor. We show how all the (extended) ConDec constructs can be automatically translated to the CLIMB Computational Logic-based language, and illustrate how its corresponding reasoning techniques can be successfully exploited to provide support and verification capabilities along the whole life cycle of the targeted systems.

Study of apoptotic deletion mediated by Bifidobacterium longum with construction of recombinant strains for Serpin encoding gene and phenotypes comparison in a pig cell model

The first part of the research project of the Co-Advisorship Ph.D Thesis was aimed to select the best Bifidobacterium longum strains suitable to set the basis of our study. We were looking for strains with the abilities to colonize the intestinal mucosa and with good adhesion capacities, so that we can test these strains to investigate their ability to induce apoptosis in “damaged” intestinal cells. Adhesion and apoptosis are the two process that we want to study to better understand the role of an adhesion protein that we have previously identified and that have top scores homologies with the recent serpin encoding gene identified in B. longum by Nestlè researchers. Bifidobacterium longum is a probiotic, known for its beneficial effects to the human gut and even for its immunomodulatory and antitumor activities. Recently, many studies have stressed out the intimate relation between probiotic bacteria and the GIT mucosa and their influence on human cellular homeostasis. We focused on the apoptotic deletion of cancer cells induced by B. longum. This has been valued in vitro, performing the incubation of three B.longum strains with enterocyte-like Caco- 2 cells, to evidence DNA fragmentation, a cornerstone of apoptosis. The three strains tested were defined for their adhesion properties using adhesion and autoaggregation assays. These features are considered necessary to select a probiotic strain. The three strains named B12, B18 and B2990 resulted respectively: “strong adherent”, “adherent” and “non adherent”. Then, bacteria were incubated with Caco-2 cells to investigate apoptotic deletion. Cocultures of Caco-2 cells with B. longum resulted positive in DNA fragmentation test, only when adherent strains were used (B12 and B18). These results indicate that the interaction with adherent B. longum can induce apoptotic deletion of Caco-2 cells, suggesting a role in cellular homeostasis of the gastrointestinal tract and in restoring the ecology of damaged colon tissues. These results were used to keep on researching and the strains tested were used as recipient of recombinant techniques aimed to originate new B.longum strains with enhanced capacity of apoptotic induction in “damaged” intestinal cells. To achieve this new goal it was decided to clone the serpin encoding gene of B. longum, so that we can understand its role in adhesion and apoptosis induction. Bifidobacterium longum has immunostimulant activity that in vitro can lead to apoptotic response of Caco-2 cell line. It secretes a hypothetical eukaryotic type serpin protein, which could be involved in this kind of deletion of damaged cells. We had previously characterised a protein that has homologies with the hypothetical serpin of B. longum (DD087853). In order to create Bifidobacterium serpin transformants, a B. longum cosmid library was screened with a PCR protocol using specific primers for serpin gene. After fragment extraction, the insert named S1 was sub-cloned into pRM2, an Escherichia coli - Bifidobacterium shuttle vector, to construct pRM3. Several protocols for B. longum transformation were performed and the best efficiency was obtained using MRS medium and raffinose. Finally bacterial cell supernatants were tested in a dotblot assay to detect antigens presence against anti-antitrypsin polyclonal antibody. The best signal was produced by one starin that has been renamed B. longum BLKS 7. Our research study was aimed to generate transformants able to over express serpin encoding gene, so that we can have the tools for a further study on bacterial apoptotic induction of Caco-2 cell line. After that we have originated new trasformants the next step to do was to test transformants abilities when exposed to an intestinal cell model. In fact, this part of the project was achieved in the Department of Biochemistry of the Medical Faculty of the University of Maribor, guest of the abroad supervisor of the Co-Advisorship Doctoral Thesis: Prof. Avrelija Cencic. In this study we examined the probiotic ability of some bacterial strains using intestinal cells from a 6 years old pig. The use of intestinal mammalian cells is essential to study this symbiosis and a functional cell model mimics a polarised epithelium in which enterocytes are separated by tight junctions. In this list of strains we have included the Bifidobacterium longum BKS7 transformant strain that we have previously originated; in order to compare its abilities. B. longum B12 wild type and B. longum BKS7 transformant and eight Lactobacillus strains of different sources were co-cultured with porcine small intestine epithelial cells (PSI C1) and porcine blood monocytes (PoM2) in Transwell filter inserts. The strains, including Lb. gasseri, Lb. fermentum, Lb. reuterii, Lb. plantarum and unidentified Lactobacillus from kenyan maasai milk and tanzanian coffee, were assayed for activation of cell lines, measuring nitric oxide by Griess reaction, H202 by tetramethylbenzidine reaction and O2 - by cytochrome C reduction. Cytotoxic effect by crystal violet staining and induction on metabolic activity by MTT cell proliferation assay were tested too. Transepithelial electrical resistance (TER) of polarised PSI C1 was measured during 48 hours co-culture. TER, used to observe epithelium permeability, decrease during pathogenesis and tissue becomes permeable to ion passive flow lowering epithelial barrier function. Probiotics can prevent or restore increased permeability. Lastly, dot-blot was achieved against Interleukin-6 of treated cells supernatants. The metabolic activity of PoM2 and PSI C1 increased slightly after co-culture not affecting mitochondrial functions. No strain was cytotoxic over PSI C1 and PoM2 and no cell activation was observed, as measured by the release of NO2, H202 and O2 - by PoM2 and PSI C1. During coculture TER of polarised PSI C1 was two-fold higher comparing with constant TER (~3000 ) of untreated cells. TER raise generated by bacteria maintains a low permeability of the epithelium. During treatment Interleukin-6 was detected in cell supernatants at several time points, confirming immunostimulant activity. All results were obtained using Lactobacillus paracasei Shirota e Carnobacterium divergens as controls. In conclusion we can state that both the list of putative probiotic bacteria and our new transformant strain of B. longum are not harmful when exposed to intestinal cells and could be selected as probiotics, because can strengthen epithelial barrier function and stimulate nonspecific immunity of intestinal cells on a pig cell model. Indeed, we have found out that none of the strains tested that have good adhesion abilities presents citotoxicity to the intestinal cells and that non of the strains tested can induce cell lines to produce high level of ROS, neither NO2. Moreover we have assayed even the capacity of producing certain citokynes that are correlated with immune response. The detection of Interleukin-6 was assayed in all our samples, including B.longum transformant BKS 7 strain, this result indicates that these bacteria can induce a non specific immune response in the intestinal cells. In fact, when we assayed the presence of Interferon-gamma in cells supernatant after bacterial exposure, we have no positive signals, that means that there is no activation of a specific immune response, thus confirming that these bacteria are not recognize as pathogen by the intestinal cells and are certainly not harmful for intestinal cells. The most important result is the measure of Trans Epithelial Electric Resistance that have shown how the intestinal barrier function get strengthen when cells are exposed to bacteria, due to a reduction of the epithelium permeability. We have now a new strain of B. longum that will be used for further studies above the mechanism of apoptotic induction to “damaged cells” and above the process of “restoring ecology”. This strain will be the basis to originate new transformant strains for Serpin encoding gene that must have better performance and shall be used one day even in clinical cases as in “gene therapy” for cancer treatment and prevention.

The application of a new psychotherapeutic strategy for enhancing eudaimonic well-being in children with mood and anxiety disorders

The aim of the dissertation was to test the feasibility of a new psychotherapeutic protocol for treating children and adolescents with mood and anxiety disorders: Child-Well-Being Therapy (CWBT). It originates from adult Well-Being Therapy protocol (WBT) and represents a conceptual innovation for treating affective disorders. WBT is based on the multidimensional model of well-being postulated by Ryff (eudaimonic perspective), in sequential combination with cognitive-behavioral therapy (CBT). Results showed that eudaimonic well-being was impaired in children with affective disorders in comparison with matched healthy students. A first open investigation aimed at exploring the feasibility of a 8-session CWBT protocol in a group of children with emotional and behavioural disorders has been implemented. Data showed how CWBT resulted associated to symptoms reduction, together with the decrease of externalizing problems, maintained at 1-year follow-up. CWBT triggered also an improvement in psychological well-being as well as an increasing flourishing trajectory over time. Subsequently, a modified and extended version of CWBT (12-sessions) has been developed and then tested in a controlled study with 34 patients (8 to 16 years) affected by mood and anxiety disorders. They were consecutively randomized into 3 different groups: CWBT, CBT, 6-month waiting list (WL). Both treatments resulted effective in decreasing distress and in improving well-being. Moreover, CWBT was associated with higher improvement in anxiety and showed a greater recovery rate (83%) than CBT (54%). Both groups maintained beneficial effects and CWBT group displayed a lower level of distress as well as a higher positive trend in well-being scores over time. Findings need to be interpret with caution, because of study limitations, however important clinical implications emerged. Further investigations should determine whether the sequential integration of well-being and symptom-oriented strategies could play an important role in children and adolescents’ psychotherapeutic options, fostering a successful adaptation to adversities during the growth process.

The porcine animal model goes through the 3Rs: development of in vitro and ex vivo system to study vascular biology

Since the publication of the book of Russell and Burch in 1959, scientific research has never stopped improving itself with regard to the important issue of animal experimentation. The European Directive 2010/63/EU “On the protection of animals used for scientific purposes” focuses mainly on the animal welfare, fixing the Russell and Burch’s 3Rs principles as the foundations of the document. In particular, the legislator clearly states the responsibility of the scientific community to improve the number of alternative methods to animal experimentation. The swine is considered a species of relevant interest for translational research and medicine due to its biological similarities with humans. The surgical community has, in fact, recognized the swine as an excellent model replicating the human cardiovascular system. There have been several wild-type and transgenic porcine models which were produced for biomedicine and translational research. Among these, the cardiovascular ones are the most represented. The continuous involvement of the porcine animal model in the biomedical research, as the continuous advances achieved using swine in translational medicine, support the need for alternative methods to animal experimentation involving pigs. The main purpose of the present work was to develop and characterize novel porcine alternative methods for cardiovascular translational biology/medicine. The work was mainly based on two different models: the first consisted in an ex vivo culture of porcine aortic cylinders and the second consisted in an in vitro culture of porcine aortic derived progenitor cells. Both the models were properly characterized and results indicated that they could be useful to the study of vascular biology. Nevertheless, both the models aim to reduce the use of experimental animals and to refine animal based-trials. In conclusion, the present research aims to be a small, but significant, contribution to the important and necessary field of study of alternative methods to animal experimentation.

Role of Magnesium and its mitochondrial transporter MRS2 in the modulation of drug-induced apoptosis leading to multidrug resistance phenotype

Magnesium is an essential element for many biological processes crucial for cell life and proliferation. Growing evidences point out a role for this cation in the apoptotic process and in developing multi drug resistance (MDR) phenotype. The first part of this study aimed to highlight the involvement of the mitochondrial magnesium channel MRS2 in modulating drug-induced apoptosis. We generated an appropriate transgenic cellular system to regulate expression of MRS2 protein. The cells were then exposed to two different apoptotic agents commonly used in chemotherapy. The obtained results showed that cells overexpressing MRS2 channel are less responsiveness to pharmacological insults, looking more resistant to the induced apoptosis. Moreover, in normal condition, MRS2 overexpression induces higher magnesium uptake into isolated mitochondria respect to control cells correlating with an increment of total intracellular magnesium concentration. In the second part of this research we investigated whether magnesium intracellular content and compartmentalization could be used as a signature to discriminate MDR tumour cells from their sensitive counterparts. As MDR model we choose colon carcinoma cell line sensitive and resistant to doxorubicin. We exploited a standard-less approach providing a complete characterization of whole single-cells by combining X-Ray Fluorescence Microscopy , Atomic Force Microscopy and Scanning Transmission X-ray Microscopy. This method allows the quantification of the intracellular spatial distribution and total concentration of magnesium in whole dehydrated cells. The measurements, carried out in 27 single cells, revealed a different magnesium pattern for both concentration and distribution of the element in the two cellular strains. These results were then confirmed by quantifying the total amount of intracellular magnesium in a large populations of cells by using DCHQ5 probe and traditional fluorimetric technique.

Development and characterisation of a neurogenic model of brain cancer

Primary glioblastoma (GB), the most common and aggressive adult brain tumour, is refractory to conventional therapies and characterised by poor prognosis. GB displays striking cellular heterogeneity, with a sub-population, called Glioblastoma Stem Cells (GSCs), intrinsically resistant to therapy, hence the high rate of recurrence. Alterations of the tumour suppressor gene PTEN are prevalent in primary GBM, resulting in the inhibition of the polarity protein Lgl1 due to aPKC hyperactivation. Dysregulation of this molecular axis is one of the mechanisms involved in GSC maintenance. After demonstrating that the PTEN/aPKC/Lgl axis is conserved in Drosophila, I deregulated it in different cells populations of the nervous system in order to individuate the cells at the root of neurogenic brain cancers. This analysis identified the type II neuroblasts (NBs) as the most sensitive to alterations of this molecular axis. Type II NBs are a sub-population of Drosophila stem cells displaying a lineage similar to that of the mammalian neural stem cells. Following aPKC activation in these stem cells, I obtained an adult brain cancer model in Drosophila that summarises many phenotypic traits of human brain tumours. Fly tumours are indeed characterised by accumulation of highly proliferative immature cells and keep growing in the adult leading the affected animals to premature death. With the aim to understand the role of cell polarity disruption in this tumorigenic process I carried out a molecular characterisation and transcriptome analysis of brain cancers from our fly model. In summary, the model I built and partially characterised in this thesis work may help deepen our knowledge on human brain cancers by investigating many different aspects of this complicate disease.