Alimenti Funzionali e Componenti Nutraceutici come Biomodulatori

Recent knowledge supports the hypothesis that, beyond meeting nutrition needs, diet may modulate various functions in the body and play beneficial roles in some diseases. Research on functional foods is addressing the physiologic effects and health benefits of foods and food components, with the aim of authorizing specific health claims. The recognition that oxidative stress plays a major role in the pathophysiology of cardiac disorders has led to extensive investigations of the protective effects of exogenous antioxidants, but results are controversial. A promising strategy for protecting cardiac cells against oxidative damage may be through the induction of endogenous phase 2 enzymes with the enhancement of cellular antioxidant capacity. Sulforaphane (SF), a naturally occurring isothiocyanate abundant in Cruciferous vegetables, has gained attention as a potential chemopreventive compound thanks to its ability to induce several classes of genes implicated in reactive oxygen species (ROS) and electrophiles detoxification. Antioxidant responsive element (ARE)-mediated gene induction is a pivotal mechanism of cellular defence against the toxicity of electrophiles and ROS. The transcription factor NF-E2-related factor-2 (Nrf2), is essential for the up-regulation of these genes. We investigated whether SF could exert cardioprotective effects against oxidative stress and elucidated the mechanisms underpinning these effects. Accordingly, using cultured rat neonatal cardiomyocytes as a model system, we evaluated the time-dependent induction of gene transcription, the corresponding protein expression and activity of various antioxidant and phase 2 enzymes (catalase, superoxide dismutase, glutathione and related enzymes glutathione reductase, glutathione peroxidase and glutathione S-transferase, NAD(P)H: quinone oxidoreductase 1 and thioredoxine reductase) elicited by SF. The results were correlated to intracellular ROS production and cell viability after oxidative stress generated by H2O2, and confirmed the ability of SF to exert cytoprotective effects acting as an indirect antioxidant. Furthermore, to get better insight into SF mechanism of action, we investigated the effect of SF treatment on Nrf2 and the upstream signalling pathways MAPK ERK1/2 and PI3K/Akt, known to mediate a pro survival signal in the heart. The use of specific inhibitors of ERK1/2 and Akt phosphorylation demonstrated their involvement in phase 2 enzymes induction. The concentration of SF tested in this study is comparable to peak plasma concentration achieved after dietary exposure giving clear relevance to our data to support dietary intake of Cruciferous vegetables in cytoprotection against oxidative stress, a common determinant of many cardiovascular diseases.

Development and characterization of non-oxide ceramic composites for mechanical and tribological applications

The main reasons for the attention focused on ceramics as possible structural materials are their wear resistance and the ability to operate with limited oxidation and ablation at temperatures above 2000°C. Hence, this work is devoted to the study of two classes of materials which can satisfy these requirements: silicon carbide -based ceramics (SiC) for wear applications and borides and carbides of transition metals for ultra-high temperatures applications (UHTCs). SiC-based materials: Silicon carbide is a hard ceramic, which finds applications in many industrial sectors, from heat production, to automotive engineering and metals processing. In view of new fields of uses, SiC-based ceramics were produced with addition of 10-30 vol% of MoSi2, in order to obtain electro conductive ceramics. MoSi2, indeed, is an intermetallic compound which possesses high temperature oxidation resistance, high electrical conductivity (21·10-6 Ω·cm), relatively low density (6.31 g/cm3), high melting point (2030°C) and high stiffness (440 GPa). The SiC-based ceramics were hot pressed at 1900°C with addition of Al2O3-Y2O3 or Y2O3-AlN as sintering additives. The microstructure of the composites and of the reference materials, SiC and MoSi2, were studied by means of conventional analytical techniques, such as X-ray diffraction (XRD), scanning electron microscopy (SEM) and energy dispersive spectroscopy (SEM-EDS). The composites showed a homogeneous microstructure, with good dispersion of the secondary phases and low residual porosity. The following thermo-mechanical properties of the SiC-based materials were measured: Vickers hardness (HV), Young’s modulus (E), fracture toughness (KIc) and room to high temperature flexural strength (σ). The mechanical properties of the composites were compared to those of two monolithic SiC and MoSi2 materials and resulted in a higher stiffness, fracture toughness and slightly higher flexural resistance. Tribological tests were also performed in two configurations disco-on-pin and slideron cylinder, aiming at studying the wear behaviour of SiC-MoSi2 composites with Al2O3 as counterfacing materials. The tests pointed out that the addition of MoSi2 was detrimental owing to a lower hardness in comparison with the pure SiC matrix. On the contrary, electrical measurements revealed that the addition of 30 vol% of MoSi2, rendered the composite electroconductive, lowering the electrical resistance of three orders of magnitude. Ultra High Temperature Ceramics: Carbides, borides and nitrides of transition metals (Ti, Zr, Hf, Ta, Nb, Mo) possess very high melting points and interesting engineering properties, such as high hardness (20-25 GPa), high stiffness (400-500 GPa), flexural strengths which remain unaltered from room temperature to 1500°C and excellent corrosion resistance in aggressive environment. All these properties place the UHTCs as potential candidates for the development of manoeuvrable hypersonic flight vehicles with sharp leading edges. To this scope Zr- and Hf- carbide and boride materials were produced with addition of 5-20 vol% of MoSi2. This secondary phase enabled the achievement of full dense composites at temperature lower than 2000°C and without the application of pressure. Besides the conventional microstructure analyses XRD and SEM-EDS, transmission electron microscopy (TEM) was employed to explore the microstructure on a small length scale to disclose the effective densification mechanisms. A thorough literature analysis revealed that neither detailed TEM work nor reports on densification mechanisms are available for this class of materials, which however are essential to optimize the sintering aids utilized and the processing parameters applied. Microstructural analyses, along with thermodynamics and crystallographic considerations, led to disclose of the effective role of MoSi2 during sintering of Zrand Hf- carbides and borides. Among the investigated mechanical properties (HV, E, KIc, σ from room temperature to 1500°C), the high temperature flexural strength was improved due to the protective and sealing effect of a silica-based glassy phase, especially for the borides. Nanoindentation tests were also performed on HfC-MoSi2 composites in order to extract hardness and elastic modulus of the single phases. Finally, arc jet tests on HfC- and HfB2-based composites confirmed the excellent oxidation behaviour of these materials under temperature exceeding 2000°C; no cracking or spallation occurred and the modified layer was only 80-90 μm thick.

Exact Algorithms for Different Classes of Vehicle Routing Problems

We deal with five problems arising in the field of logistics: the Asymmetric TSP (ATSP), the TSP with Time Windows (TSPTW), the VRP with Time Windows (VRPTW), the Multi-Trip VRP (MTVRP), and the Two-Echelon Capacitated VRP (2E-CVRP). The ATSP requires finding a lest-cost Hamiltonian tour in a digraph. We survey models and classical relaxations, and describe the most effective exact algorithms from the literature. A survey and analysis of the polynomial formulations is provided. The considered algorithms and formulations are experimentally compared on benchmark instances. The TSPTW requires finding, in a weighted digraph, a least-cost Hamiltonian tour visiting each vertex within a given time window. We propose a new exact method, based on new tour relaxations and dynamic programming. Computational results on benchmark instances show that the proposed algorithm outperforms the state-of-the-art exact methods. In the VRPTW, a fleet of identical capacitated vehicles located at a depot must be optimally routed to supply customers with known demands and time window constraints. Different column generation bounding procedures and an exact algorithm are developed. The new exact method closed four of the five open Solomon instances. The MTVRP is the problem of optimally routing capacitated vehicles located at a depot to supply customers without exceeding maximum driving time constraints. Two set-partitioning-like formulations of the problem are introduced. Lower bounds are derived and embedded into an exact solution method, that can solve benchmark instances with up to 120 customers. The 2E-CVRP requires designing the optimal routing plan to deliver goods from a depot to customers by using intermediate depots. The objective is to minimize the sum of routing and handling costs. A new mathematical formulation is introduced. Valid lower bounds and an exact method are derived. Computational results on benchmark instances show that the new exact algorithm outperforms the state-of-the-art exact methods.

Implicit computational complexity and probabilistic classes

The thesis applies the ICC tecniques to the probabilistic polinomial complexity classes in order to get an implicit characterization of them. The main contribution lays on the implicit characterization of PP (which stands for Probabilistic Polynomial Time) class, showing a syntactical characterisation of PP and a static complexity analyser able to recognise if an imperative program computes in Probabilistic Polynomial Time. The thesis is divided in two parts. The first part focuses on solving the problem by creating a prototype of functional language (a probabilistic variation of lambda calculus with bounded recursion) that is sound and complete respect to Probabilistic Prolynomial Time. The second part, instead, reverses the problem and develops a feasible way to verify if a program, written with a prototype of imperative programming language, is running in Probabilistic polynomial time or not. This thesis would characterise itself as one of the first step for Implicit Computational Complexity over probabilistic classes. There are still open hard problem to investigate and try to solve. There are a lot of theoretical aspects strongly connected with these topics and I expect that in the future there will be wide attention to ICC and probabilistic classes.

Permutation classes, sorting algorithms, and lattice paths

A permutation is said to avoid a pattern if it does not contain any subsequence which is order-isomorphic to it. Donald Knuth, in the first volume of his celebrated book "The art of Computer Programming", observed that the permutations that can be computed (or, equivalently, sorted) by some particular data structures can be characterized in terms of pattern avoidance. In more recent years, the topic was reopened several times, while often in terms of sortable permutations rather than computable ones. The idea to sort permutations by using one of Knuth’s devices suggests to look for a deterministic procedure that decides, in linear time, if there exists a sequence of operations which is able to convert a given permutation into the identical one. In this thesis we show that, for the stack and the restricted deques, there exists an unique way to implement such a procedure. Moreover, we use these sorting procedures to create new sorting algorithms, and we prove some unexpected commutation properties between these procedures and the base step of bubblesort. We also show that the permutations that can be sorted by a combination of the base steps of bubblesort and its dual can be expressed, once again, in terms of pattern avoidance. In the final chapter we give an alternative proof of some enumerative results, in particular for the classes of permutations that can be sorted by the two restricted deques. It is well-known that the permutations that can be sorted through a restricted deque are counted by the Schrӧder numbers. In the thesis, we show how the deterministic sorting procedures yield a bijection between sortable permutations and Schrӧder paths.

Deidrogenazione catalitica di idrocarburi per la produzione di H2 "on-board"

Lo studio della deidrogenazione catalitica di idrocarburi affronta uno dei problemi principali per l'applicazione delle fuel cells in aeromobili. La conversione di miscele di idrocarburi in H2 può essere eseguita in loco, evitando le difficoltà di stoccaggio dell'idrogeno: l'H2 prodotto è privo di CO e CO2 e può essere alimentato direttamente alle celle a combustibile per dare energia ai sistemi ausiliari, mentre i prodotti deidrogenati, mantenendo le loro originali caratteristiche possono essere riutilizzati come carburante. In questo un lavoro è stato effettuato uno studio approfondito sulla deidrogenazione parziale (PDH) di diverse miscele di idrocarburi e carburante avio JetA1 desolforato utilizzando Pt-Sn/Al2O3, con l'obiettivo di mettere in luce i principali parametri (condizioni di reazione e composizione di catalizzatore) coinvolti nel processo di deidrogenazione. Inoltre, la PDH di miscele idrocarburiche e di Jet-A1 ha evidenziato che il problema principale in questa reazione è la disattivazione del catalizzatore, a causa della formazione di residui carboniosi e dell’avvelenamento da zolfo. Il meccanismo di disattivazione da residui carboniosi è stato studiato a fondo, essendo uno dei principali fattori che influenzano la vita del catalizzatore e di conseguenza l'applicabilità processo. Alimentando molecole modello separatamente, è stato possibile discriminare le classi di composti che sono coinvolti principalmente nella produzione di H2 o nell’avvelenamento del catalizzatore. Una riduzione parziale della velocità di disattivazione è stata ottenuta modulando l'acidità del catalizzatore al fine di ottimizzare le condizioni di reazione. I catalizzatori Pt-Sn modificati hanno mostrato ottimi risultati in termini di attività, ma soffrono di una disattivazione rapida in presenza di zolfo. Così, la sfida finale di questa ricerca era sviluppare un sistema catalitico in grado di lavorare in condizioni reali con carburante ad alto tenore di zolfo, in questo campo sono stati studiati due nuove classi di materiali: Ni e Co fosfuri supportati su SiO2 e catalizzatori Pd-Pt/Al2O3.

Tailoring, synthesis and structure-property relationships of 2,3-thienoimide based molecular materials

Organic molecular semiconductors are subject of intense research for their crucial role as key components of new generation low cost, flexible, and large area electronic devices such as displays, thin-film transistors, solar cells, sensors and logic circuits. In particular, small molecular thienoimide (TI) based materials are emerging as novel multifunctional materials combining a good processability together to ambipolar or n-type charge transport and electroluminescence at the solid state, thus enabling the fabrication of integrated devices like organic field effect transistors (OFETs) and light emitting transistor (OLETs). Given this peculiar combination of characteristics, they also constitute the ideal substrates for fundamental studies on the structure-property relationships in multifunctional molecular systems. In this scenario, this thesis work is focused on the synthesis of new thienoimide based materials with tunable optical, packing, morphology, charge transport and electroluminescence properties by following a fine molecular tailoring, thus optimizing their performances in device as well as investigating and enabling new applications. Investigation on their structure-property relationships has been carried out and in particular, the effect of different π-conjugated cores (heterocycles, length) and alkyl end chain (shape, length) changes have been studied, obtaining materials with enhanced electron transport capability end electroluminescence suitable for the realization of OFETs and single layer OLETs. Moreover, control on the polymorphic behaviour characterizing thienoimide materials has been reached by synthetic and post-synthetic methodologies, developing multifunctional materials from a single polymorphic compound. Finally, with the aim of synthesizing highly pure materials, simplifying the purification steps and avoiding organometallic residues, procedures based on direct arylation reactions replacing conventional cross-couplings have been investigated and applied to different classes of molecules, bearing thienoimidic core or ends, as well as thiophene and anthracene derivatives, validating this approach as a clean alternative for the synthesis of several molecular materials.