Anticancer drug screening from images of zebrafish embryogenesis

During the previous 10 years, global R&D expenditure in the pharmaceuticals and biotechnology sector has steadily increased, without a corresponding increase in output of new medicines. To address this situation, the biopharmaceutical industry's greatest need is to predict the failures at the earliest possible stage of the drug development process. A major key to reducing failures in drug screenings is the development and use of preclinical models that are more predictive of efficacy and safety in clinical trials. Further, relevant animal models are needed to allow a wider testing of novel hypotheses. Key to this is the developing, refining, and validating of complex animal models that directly link therapeutic targets to the phenotype of disease, allowing earlier prediction of human response to medicines and identification of safety biomarkers. Morehover, well-designed animal studies are essential to bridge the gap between test in cell cultures and people. Zebrafish is emerging, complementary to other models, as a powerful system for cancer studies and drugs discovery. We aim to investigate this research area designing a new preclinical cancer model based on the in vivo imaging of zebrafish embryogenesis. Technological advances in imaging have made it feasible to acquire nondestructive in vivo images of fluorescently labeled structures, such as cell nuclei and membranes, throughout early Zebrafishsh embryogenesis. This In vivo image-based investigation provides measurements for a large number of features at cellular level and events including nuclei movements, cells counting, and mitosis detection, thereby enabling the estimation of more significant parameters such as proliferation rate, highly relevant for investigating anticancer drug effects. In this work, we designed a standardized procedure for accessing drug activity at the cellular level in live zebrafish embryos. The procedure includes methodologies and tools that combine imaging and fully automated measurements of embryonic cell proliferation rate. We achieved proliferation rate estimation through the automatic classification and density measurement of epithelial enveloping layer and deep layer cells. Automatic embryonic cells classification provides the bases to measure the variability of relevant parameters, such as cell density, in different classes of cells and is finalized to the estimation of efficacy and selectivity of anticancer drugs. Through these methodologies we were able to evaluate and to measure in vivo the therapeutic potential and overall toxicity of Dbait and Irinotecan anticancer molecules. Results achieved on these anticancer molecules are presented and discussed; furthermore, extensive accuracy measurements are provided to investigate the robustness of the proposed procedure. Altogether, these observations indicate that zebrafish embryo can be a useful and cost-effective alternative to some mammalian models for the preclinical test of anticancer drugs and it might also provides, in the near future, opportunities to accelerate the process of drug discovery.

Harmful algae and their potential impacts on the coastal ecosystem: growth and toxin production dynamics

The main goal of the present thesis was to study some harmful algal species which cause blooms in Italian coastal waters, leading to consequences for human health, coastal ecosystem, fishery and tourism. In particular, in the first part of this thesis the toxicity of Adriatic strains of the raphidophyte Fibrocapsa japonica was investigated. Despite several hypotheses have been proposed for the toxic mechanism of the raphidophytes, especially for the species Chattonella antiqua and C. marina, which have been studied more extensively, just a few studies on the toxic effects of these species for different organisms were reported. Moreover, a careful reading of the literature evidenced as any ichthyotoxic events reported worldwide can be linked to F. japonica blooms. Although recently several studies were performed on F. japonica strains from the USA, Japan, Australia, New Zealand, the Netherlands, Germany, and France in order to characterize their growth and toxicity features, the work reported in this thesis results one of the first investigation on the toxic effects of F. japonica for different organisms, such as bacteria, crustaceans and fish. Mortality effects, together with haemolysis of fish erythrocytes, probably due to the relatively high amount of PUFAs produced by this species, were observed. Mortality for fish, however, was reported only at a high cell density and after a long exposition period (9-10 days); moreover a significant increase of H2O2 obtained in the tanks where sea basses were exposed to F. japonica was also relevant. This result may justify the absence of ichthyotoxic events in the Italian coasts, despite F. japonica blooms detected in these areas were characterized by high cell densities. This work reports also a first complete characterization of the fatty acids produced and extracellularly released by the Adriatic F. japonica, and results were also compared with the fatty acid profile of other strains. The absence of known brevetoxins in F. japonica algal extracts was also highlighted, leading to the hypothesis that the toxicity of F. japonica may be due to a synergic effect of PUFAs and ROS. Another microalgae that was studied in this thesis is the benthic dinoflagellate Ostreopsis cf. ovata. This species was investigated with the aim to investigate the effect of environmental parameters on its growth and toxicity. O. cf. ovata, in fact, shows different blooming periods along the Italian coasts and even the reported toxic effects are variable. The results of this work confirmed the high variability in the growth dynamic and toxin content of several Italian strains which were isolated in recent years along the Adriatic and Tyrrhenian Seas. Moreover, the effects of temperature and salinity on the behaviour of the different isolates are in good agreement with the results obtained from field surveys, which evidence as the environmental parameters are important factors modulating O. cf. ovata proliferation. Another relevant result that was highlighted is the anomaly in the production of palytoxin-like compounds reported by one of the studied isolate, in particular the one isolated in 2008 in Ancona (Adriatic Sea). Only this strain reported the absence of two (ovatoxin-b and –c) of the five ovatoxins so far known in the toxin profile and a different relative abundance of the other toxins. The last aspect that was studied in this thesis regards the toxin biosythesis. In fact, toxins produced (palytoxin-like compounds) or supposed to be produced (brevetoxin-like compounds) by O. cf. ovata and F. japonica, respectively, are polyketides, which are highly oxygenated compounds synthesized by complex enzymes known as polyketide synthase (PKS) enzymes. These enzymes are multi-domain complexes that structurally and functionally resemble the fatty acid synthases (FASs). This work reports the first study of PKS proteins in the dinoflagellates O. cf. ovata, C. monotis and in the raphidophyte F. japonica. For the first time some PKSs were identified in these species, confirming the presence of PKS proteins predicted by the in silico translation of the transcripts found in K. brevis also in other species. The identification of O. cf. ovata PKSs and the localization of the palytoxin-like compounds produced by this dinoflagellate in a similar location (chloroplast) as that observed for other dinoflagellate and cyanobacterial toxins provides some indication that these proteins may be involved in polyketide biosynthesis. However, their potential function as fatty acid synthases cannot be ruled out, as plant fatty acid synthesis also occurs within chloroplasts. This last hypothesis is also supported by the fact that in all the investigated species, and in particular in F. japonica, PKS proteins were present. Therefore, these results provide an important contribution to the study of the polyketides and of the involvement of PKS proteins in the toxin biosynthesis.

Continuos Flow Single Cell Separation into Open Microwell Arrays

A novel design based on electric field-free open microwell arrays for the automated continuous-flow sorting of single or small clusters of cells is presented. The main feature of the proposed device is the parallel analysis of cell-cell and cell-particle interactions in each microwell of the array. High throughput sample recovery with a fast and separate transfer from the microsites to standard microtiter plates is also possible thanks to the flexible printed circuit board technology which permits to produce cost effective large area arrays featuring geometries compatible with laboratory equipment. The particle isolation is performed via negative dielectrophoretic forces which convey the particles’ into the microwells. Particles such as cells and beads flow in electrically active microchannels on whose substrate the electrodes are patterned. The introduction of particles within the microwells is automatically performed by generating the required feedback signal by a microscope-based optical counting and detection routine. In order to isolate a controlled number of particles we created two particular configurations of the electric field within the structure. The first one permits their isolation whereas the second one creates a net force which repels the particles from the microwell entrance. To increase the parallelism at which the cell-isolation function is implemented, a new technique based on coplanar electrodes to detect particle presence was implemented. A lock-in amplifying scheme was used to monitor the impedance of the channel perturbed by flowing particles in high-conductivity suspension mediums. The impedance measurement module was also combined with the dielectrophoretic focusing stage situated upstream of the measurement stage, to limit the measured signal amplitude dispersion due to the particles position variation within the microchannel. In conclusion, the designed system complies with the initial specifications making it suitable for cellomics and biotechnology applications.

Automated Segmentation and Non-Rigid Registration for the Quantitative Evaluation of Myocardial Perfusion from Magnetic Resonance Images

Myocardial perfusion quantification by means of Contrast-Enhanced Cardiac Magnetic Resonance images relies on time consuming frame-by-frame manual tracing of regions of interest. In this Thesis, a novel automated technique for myocardial segmentation and non-rigid registration as a basis for perfusion quantification is presented. The proposed technique is based on three steps: reference frame selection, myocardial segmentation and non-rigid registration. In the first step, the reference frame in which both endo- and epicardial segmentation will be performed is chosen. Endocardial segmentation is achieved by means of a statistical region-based level-set technique followed by a curvature-based regularization motion. Epicardial segmentation is achieved by means of an edge-based level-set technique followed again by a regularization motion. To take into account the changes in position, size and shape of myocardium throughout the sequence due to out of plane respiratory motion, a non-rigid registration algorithm is required. The proposed non-rigid registration scheme consists in a novel multiscale extension of the normalized cross-correlation algorithm in combination with level-set methods. The myocardium is then divided into standard segments. Contrast enhancement curves are computed measuring the mean pixel intensity of each segment over time, and perfusion indices are extracted from each curve. The overall approach has been tested on synthetic and real datasets. For validation purposes, the sequences have been manually traced by an experienced interpreter, and contrast enhancement curves as well as perfusion indices have been computed. Comparisons between automatically extracted and manually obtained contours and enhancement curves showed high inter-technique agreement. Comparisons of perfusion indices computed using both approaches against quantitative coronary angiography and visual interpretation demonstrated that the two technique have similar diagnostic accuracy. In conclusion, the proposed technique allows fast, automated and accurate measurement of intra-myocardial contrast dynamics, and may thus address the strong clinical need for quantitative evaluation of myocardial perfusion.

Automated Analysis Methods for the Assessment of Bicycle Infrastructure and Demand

A first phase of the research activity has been related to the study of the state of art of the infrastructures for cycling, bicycle use and methods for evaluation. In this part, the candidate has studied the "bicycle system" in countries with high bicycle use and in particular in the Netherlands. Has been carried out an evaluation of the questionnaires of the survey conducted within the European project BICY on mobility in general in 13 cities of the participating countries. The questionnaire was designed, tested and implemented, and was later validated by a test in Bologna. The results were corrected with information on demographic situation and compared with official data. The cycling infrastructure analysis was conducted on the basis of information from the OpenStreetMap database. The activity consisted in programming algorithms in Python that allow to extract data from the database infrastructure for a region, to sort and filter cycling infrastructure calculating some attributes, such as the length of the arcs paths. The results obtained were compared with official data where available. The structure of the thesis is as follows: 1. Introduction: description of the state of cycling in several advanced countries, description of methods of analysis and their importance to implement appropriate policies for cycling. Supply and demand of bicycle infrastructures. 2. Survey on mobility: it gives details of the investigation developed and the method of evaluation. The results obtained are presented and compared with official data. 3. Analysis cycling infrastructure based on information from the database of OpenStreetMap: describes the methods and algorithms developed during the PhD. The results obtained by the algorithms are compared with official data. 4. Discussion: The above results are discussed and compared. In particular the cycle demand is compared with the length of cycle networks within a city. 5. Conclusions

Discrete Event Systems based Design Patterns for Diagnosability Analysis of Automated Manufacturing Systems

The main goal of this thesis is to facilitate the process of industrial automated systems development applying formal methods to ensure the reliability of systems. A new formulation of distributed diagnosability problem in terms of Discrete Event Systems theory and automata framework is presented, which is then used to enforce the desired property of the system, rather then just verifying it. This approach tackles the state explosion problem with modeling patterns and new algorithms, aimed for verification of diagnosability property in the context of the distributed diagnosability problem. The concepts are validated with a newly developed software tool.