Machine Learning methods for hepatocellular malignancies segmentation and MVI prediction

The aim of this thesis project is to automatically localize HCC tumors in the human liver and subsequently predict if the tumor will undergo microvascular infiltration (MVI), the initial stage of metastasis development. The input data for the work have been partially supplied by Sant'Orsola Hospital and partially downloaded from online medical databases. Two Unet models have been implemented for the automatic segmentation of the livers and the HCC malignancies within it. The segmentation models have been evaluated with the Intersection-over-Union and the Dice Coefficient metrics. The outcomes obtained for the liver automatic segmentation are quite good (IOU = 0.82; DC = 0.35); the outcomes obtained for the tumor automatic segmentation (IOU = 0.35; DC = 0.46) are, instead, affected by some limitations: it can be state that the algorithm is almost always able to detect the location of the tumor, but it tends to underestimate its dimensions. The purpose is to achieve the CT images of the HCC tumors, necessary for features extraction. The 14 Haralick features calculated from the 3D-GLCM, the 120 Radiomic features and the patients' clinical information are collected to build a dataset of 153 features. Now, the goal is to build a model able to discriminate, based on the features given, the tumors that will undergo MVI and those that will not. This task can be seen as a classification problem: each tumor needs to be classified either as “MVI positive” or “MVI negative”. Techniques for features selection are implemented to identify the most descriptive features for the problem at hand and then, a set of classification models are trained and compared. Among all, the models with the best performances (around 80-84% ± 8-15%) result to be the XGBoost Classifier, the SDG Classifier and the Logist Regression models (without penalization and with Lasso, Ridge or Elastic Net penalization).

Implementation of a non ground meta interpreter for defeasible logic

Human reasoning is a fascinating and complex cognitive process that can be applied in different research areas such as philosophy, psychology, laws and financial. Unfortunately, developing supporting software (to those different areas) able to cope such as complex reasoning it’s difficult and requires a suitable logic abstract formalism. In this thesis we aim to develop a program, that has the job to evaluate a theory (a set of rules) w.r.t. a Goal, and provide some results such as “The Goal is derivable from the KB5 (of the theory)”. In order to achieve this goal we need to analyse different logics and choose the one that best meets our needs. In logic, usually, we try to determine if a given conclusion is logically implied by a set of assumptions T (theory). However, when we deal with programming logic we need an efficient algorithm in order to find such implications. In this work we use a logic rather similar to human logic. Indeed, human reasoning requires an extension of the first order logic able to reach a conclusion depending on not definitely true6 premises belonging to a incomplete set of knowledge. Thus, we implemented a defeasible logic7 framework able to manipulate defeasible rules. Defeasible logic is a non-monotonic logic designed for efficient defeasible reasoning by Nute (see Chapter 2). Those kind of applications are useful in laws area especially if they offer an implementation of an argumentation framework that provides a formal modelling of game. Roughly speaking, let the theory is the set of laws, a keyclaim is the conclusion that one of the party wants to prove (and the other one wants to defeat) and adding dynamic assertion of rules, namely, facts putted forward by the parties, then, we can play an argumentative challenge between two players and decide if the conclusion is provable or not depending on the different strategies performed by the players. Implementing a game model requires one more meta-interpreter able to evaluate the defeasible logic framework; indeed, according to Göedel theorem (see on page 127), we cannot evaluate the meaning of a language using the tools provided by the language itself, but we need a meta-language able to manipulate the object language8. Thus, rather than a simple meta-interpreter, we propose a Meta-level containing different Meta-evaluators. The former has been explained above, the second one is needed to perform the game model, and the last one will be used to change game execution and tree derivation strategies.

Super shell logic - [sush-ic] - progetto di un edificio per il tempo libero a Tokyo. Implicazioni tettoniche ed estetiche delle logiche monoscocca integrate e stress lines analysis in architettura.

Implicazioni tettoniche ed estetiche delle logiche monoscocca integrate e stress lines analysis in architettura.

Authoring tools and management information systems: study of a generalizable architecture

The need to effectively manage the documentation covering the entire production process, from the concept phase right through to market realise, constitutes a key issue in the creation of a successful and highly competitive product. For almost forty years the most commonly used strategies to achieve this have followed Product Lifecycle Management (PLM) guidelines. Translated into information management systems at the end of the '90s, this methodology is now widely used by companies operating all over the world in many different sectors. PLM systems and editor programs are the two principal types of software applications used by companies for their process aotomation. Editor programs allow to store in documents the information related to the production chain, while the PLM system stores and shares this information so that it can be used within the company and made it available to partners. Different software tools, which capture and store documents and information automatically in the PLM system, have been developed in recent years. One of them is the ''DirectPLM'' application, which has been developed by the Italian company ''Focus PLM''. It is designed to ensure interoperability between many editors and the Aras Innovator PLM system. In this dissertation we present ''DirectPLM2'', a new version of the previous software application DirectPLM. It has been designed and developed as prototype during the internship by Focus PLM. Its new implementation separates the abstract logic of business from the real commands implementation, previously strongly dependent on Aras Innovator. Thanks to its new design, Focus PLM can easily develop different versions of DirectPLM2, each one devised for a specific PLM system. In fact, the company can focus the development effort only on a specific set of software components which provides specialized functions interacting with that particular PLM system. This allows shorter Time-To-Market and gives the company a significant competitive advantage.

Enhancing quality of service in software-defined networks

Resource management is of paramount importance in network scenarios and it is a long-standing and still open issue. Unfortunately, while technology and innovation continue to evolve, our network infrastructure system has been maintained almost in the same shape for decades and this phenomenon is known as “Internet ossification”. Software-Defined Networking (SDN) is an emerging paradigm in computer networking that allows a logically centralized software program to control the behavior of an entire network. This is done by decoupling the network control logic from the underlying physical routers and switches that forward traffic to the selected destination. One mechanism that allows the control plane to communicate with the data plane is OpenFlow. The network operators could write high-level control programs that specify the behavior of an entire network. Moreover, the centralized control makes it possible to define more specific and complex tasks that could involve many network functionalities, e.g., security, resource management and control, into a single framework. Nowadays, the explosive growth of real time applications that require stringent Quality of Service (QoS) guarantees, brings the network programmers to design network protocols that deliver certain performance guarantees. This thesis exploits the use of SDN in conjunction with OpenFlow to manage differentiating network services with an high QoS. Initially, we define a QoS Management and Orchestration architecture that allows us to manage the network in a modular way. Then, we provide a seamless integration between the architecture and the standard SDN paradigm following the separation between the control and data planes. This work is a first step towards the deployment of our proposal in the University of California, Los Angeles (UCLA) campus network with differentiating services and stringent QoS requirements. We also plan to exploit our solution to manage the handoff between different network technologies, e.g., Wi-Fi and WiMAX. Indeed, the model can be run with different parameters, depending on the communication protocol and can provide optimal results to be implemented on the campus network.

Sekundenschlaf e il kabarett austriaco

Cabaret is deeply rooted in Austrian culture, particularly in Vienna, where nowadays this genre can once again live its glory days thanks to the effort of many cabaret comedians like Michael Niavarani, Roland Düringer, Alfred Dorfer and Andreas Vitásek. The starting point for this work is the show “Sekundenschlaf”, of the Viennese cabaret artist Andreas Vitásek. The core of the show is time, a dimension that is not fixed, but time can both fly as well as lengthen almost endlessly. Moreover, Vitásek also speaks about many current issues, like politics and the economic crisis, but the focus of the show is always the author’s personal experience. By means of this work I wanted to identify the difficulties of a potential translation of the show in order to find out whether such a translation might be possible and effective. I chose the examples that were more significant from a thematic and linguistic point of view, transcribed them directly from the DVD and analyzed them in detail. The translation of cabaret proves to be particularly difficult, as it is essential to convey the humorous elements to the target audience. Although humor belongs to all human beings, it is extremely specific for each culture and language. Therefore it is the job of a translator to manage to build a bridge between the source and the target culture. This work is divided into two major parts, one dedicated to cabaret as artistic genre, and the other one specifically dedicated to the show “Sekundenschlaf”. Through the analysis of the transcribed examples I have identified first the linguistic and then the thematic difficulties, pointing out which cultural elements are specific for Austrian culture and which elements can be understood (almost) everywhere.

Analisi idrogeologica dell'area carsica dei Monti Alburni (Salerno, Campania)

The Alburni Massif is the most important karstic area in southern Italy and It contains about 250 caves. Most of these caves are located on the plateau, between 1500 m a.s.l. and 700 m a.s.l., and only a few reach the underground streams that feed the springs and the deep aquifer. The main springs are Grotta di Pertosa-Auletta (CP1) and Auso spring (CP31), both located at 280 m a.s.l., the first on the south-eastern margin whereas the second on south-west margin, and the springs present in Castelcivita area, the Castelcivita-Ausino system (CP2) and Mulino di Castelcivita spring (CP865), located at 60 m a.s.l.. Some other secondary springs are present too. We have monitored Pertosa-Auletta’s spring with a multiparameter logger. This logger has registered data from November 2014 to December 2015 regarding water level, electric conductivity and temperature. The hydrodynamic monitoring has been supported by a sampling campaign in order to obtain chemical water analyses. The work was done from August 2014 to December 2015, not only at Pertosa but also at all the other main springs, and in some caves. It was possible to clarify the behavior of Pertosa-Auletta’s spring, almost exclusively fed by full charge conduits, only marginally affected by seasonal rains. Pertosa-Auletta showed a characteristic Mg/Ca ratio and Mg2+ enrichment, as demonstrated by its saturation index that always showed a dolomite saturation. All other spring have characteristic waters from a chemical point of view. In particular, it highlights the great balance between the components dissolved in the waters of Mulino’ spring opposed to the variability of the nearby Castelcivita-Ausino spring. Regarding the Auso spring the variable behavior in terms of discharge and chemistry is confirmed, greatly influenced by rainfall and, during drought periods, by full charge conduits. Rare element concentrations were also analyzed and allowed to characterize further the different waters. Based on all these data an updated hydrogeological map of the Alburni massif has been drawn, that defines in greater detail the hydrogeological complexes on the basis of lithologies, and therefore of their chemical characteristics.