Expressiveness of Concurrent Languages

The aim of this thesis is to go through different approaches for proving expressiveness properties in several concurrent languages. We analyse four different calculi exploiting for each one a different technique. We begin with the analysis of a synchronous language, we explore the expressiveness of a fragment of CCS! (a variant of Milner's CCS where replication is considered instead of recursion) w.r.t. the existence of faithful encodings (i.e. encodings that respect the behaviour of the encoded model without introducing unnecessary computations) of models of computability strictly less expressive than Turing Machines. Namely, grammars of types 1,2 and 3 in the Chomsky Hierarchy. We then move to asynchronous languages and we study full abstraction for two Linda-like languages. Linda can be considered as the asynchronous version of CCS plus a shared memory (a multiset of elements) that is used for storing messages. After having defined a denotational semantics based on traces, we obtain fully abstract semantics for both languages by using suitable abstractions in order to identify different traces which do not correspond to different behaviours. Since the ability of one of the two variants considered of recognising multiple occurrences of messages in the store (which accounts for an increase of expressiveness) reflects in a less complex abstraction, we then study other languages where multiplicity plays a fundamental role. We consider the language CHR (Constraint Handling Rules) a language which uses multi-headed (guarded) rules. We prove that multiple heads augment the expressive power of the language. Indeed we show that if we restrict to rules where the head contains at most n atoms we could generate a hierarchy of languages with increasing expressiveness (i.e. the CHR language allowing at most n atoms in the heads is more expressive than the language allowing at most m atoms, with minally we analyse a language similar but simpler than CHR. The kappa-calculus is a formalism for modelling molecular biology where molecules are terms with internal state and sites, bonds are represented by shared names labelling sites, and reactions are represented by rewriting rules. Depending on the shape of the rewriting rules, several dialects of the calculus can be obtained. We analyse the expressive power of some of these dialects by focusing on decidability and undecidability for problems like reachability and coverability.

Laser guide stars wavefront sensors for the EELT

The Adaptive Optics is the measurement and correction in real time of the wavefront aberration of the star light caused by the atmospheric turbulence, that limits the angular resolution of ground based telescopes and thus their capabilities to deep explore faint and crowded astronomical objects. The lack of natural stars enough bright to be used as reference sources for the Adaptive Optics, over a relevant fraction of the sky, led to the introduction of artificial reference stars. The so-called Laser Guide Stars are produced by exciting the Sodium atoms in a layer laying at 90km of altitude, by a powerful laser beam projected toward the sky. The possibility to turn on a reference star close to the scientific targets of interest has the drawback in an increased difficulty in the wavefront measuring, mainly due to the time instability of the Sodium layer density. These issues are increased with the telescope diameter. In view of the construction of the 42m diameter European Extremely Large Telescope a detailed investigation of the achievable performances of Adaptive Optics becomes mandatory to exploit its unique angular resolution . The goal of this Thesis was to present a complete description of a laboratory Prototype development simulating a Shack-Hartmann wavefront sensor using Laser Guide Stars as references, in the expected conditions for a 42m telescope. From the conceptual design, through the opto-mechanical design, to the Assembly, Integration and Test, all the phases of the Prototype construction are explained. The tests carried out shown the reliability of the images produced by the Prototype that agreed with the numerical simulations. For this reason some possible upgrades regarding the opto-mechanical design are presented, to extend the system functionalities and let the Prototype become a more complete test bench to simulate the performances and drive the future Adaptive Optics modules design.

Multi-functional electrocatalysts for CO2 reduction reaction: towards the modulation of selectivity

The electrocatalytic reduction of CO2 (CO2RR) is a captivating strategy for the conversion of CO2 into fuels, to realize a carbon neutral circular economy. In the recent years, research has focused on the development of new materials and technology capable of capturing and converting CO2 into useful products. The main problem of CO2RR is given by its poor selectivity, which can lead to the formation of numerous reaction products, to the detriment of efficiencies. For this reason, the design of new electrocatalysts that selectively and efficiently reduce CO2 is a fundamental step for the future exploitation of this technology. Here we present a new class of electrocatalysts, designed with a modular approach, namely, deriving from the combination of different building blocks in a single nanostructure. With this approach it is possible to obtain materials with an innovative design and new functionalities, where the interconnections between the various components are essential to obtain a highly selective and efficient reduction of CO2, thus opening up new possibilities in the design of optimized electrocatalytic materials. By combining the unique physic-chemical properties of carbon nanostructures (CNS) with nanocrystalline metal oxides (MO), we were able to modulate the selectivity of CO2RR, with the production of formic acid and syngas at low overpotentials. The CNS have not only the task of stabilizing the MO nanoparticles, but the creation of an optimal interface between two nanostructures is able to improve the catalytic activity of the active phase of the material. While the presence of oxygen atoms in the MO creates defects that accelerate the reaction kinetics and stabilize certain reaction intermediates, selecting the reaction pathway. Finally, a part was dedicated to the study of the experimental parameters influencing the CO2RR, with the aim of improving the experimental setup in order to obtain commercial catalytic performances.

Liquid biofuels for aviation: valorisation of the by-product biochar

Biochar is a carbonaceous material produced through pyrolysis of biomass. One promising application of biochar is phosphorus recovery from wastewater. Phosphorus is a vital nutrient for plant growth, but its use in fertilizers often leads to runoff or leaching. Wastewater treatment plants discharge large amounts of phosphorus-rich wastewater, contributing to eutrophication and ecological harm. Biochar can sorb phosphorus, retaining it in solid form. In this thesis, two composites made of biomass and dolomite or shells exhibited superior phosphate sorption compared to biochar alone, reaching up to 100% sorption. Biochar also finds use in soil remediation, specifically in cleaning up contaminated soil. Polycyclic aromatic hydrocarbons (PAHs), which can be carcinogenic and toxic, can be present in soil. Biochar adsorb PAHs, preventing their leakage or bioaccumulation. Hetero-PAHs, a subclass of PAHs with nitrogen, sulfur, or oxygen atoms in their ring structures, are particularly challenging to degrade. Little is known about their behavior or sorption onto biochar. In this thesis, biochar and activated carbon were effective in immobilizing PAHs and hetero-PAHs in real soils, with rates of immobilization reaching 100%. Biochar performed equally or better than activated carbon, offering a cost-effective alternative due to its lower price. Biochar reduce of metal(loid)s mobility in soil. Metal(loid)s like lead, zinc, and arsenic can contaminate soil through industrial sources, agricultural runoff, and other pollution, and are toxic to plants and animals, rendering the soil unsuitable for agriculture. When biochar is added to contaminated soil, it binds to metal(loid)s, preventing leaching into the environment. A biomass-dolomite composite was compared to activated carbon for immobilizing metal(loid)s in contaminated soils. The composite generally outperformed activated carbon and exhibited the ability to immobilize arsenic. In summary, biochar shows promise for phosphorus recovery, soil remediation, and reducing the mobility of heavy metals, offering cost-effective and sustainable solutions to these environmental challenges.

Transformations of bridging ligands in diiron complexes: unconventional routes to new functionalized multisite bound organic frames

The main scope of this Ph.D. thesis has concerned the possible transformations of bridging ligands in diiron complexes, in order to explore unconventional routes to the synthesis of new functionalized multisite bound organic frames. The results achieved during the Ph.D. can be summarized in the following points: 1) We have extended the assembling between small unsaturated molecules and bridging carbyne ligands in diiron complexes to other species. In particular, we have investigated the coupling between olefins and thiocarbyne, leading to the synthesis of thioallylidene bridging diiron complexes. Then, we have extended the study to the coupling between olefins and aminocarbyne. This result shows that the coupling between activated olefins and heteroatom substituted bridging carbynes has a general character. 2) As we have shown, the coupling of bridging alkylidyne ligands with alkynes and alkenes provides excellent routes to the synthesis of bridging C3 hydrocarbyl ligands. As a possible extension of these results we have examined the synthesis of C4 bridging frames through the combination of bridging alkylidynes with allenes. Also in this case the reaction has a general character. 3) Diiron complexes bearing bridging functionalized C3 organic frames display the presence of donor atoms, such as N and S, potentially able to coordinate unsaturated metal fragments. Thus, we have studied the possibility for these systems to act as ‘organometallic ligands’, in particular towards Pd and Rh. 4) The possibility of releasing the organic frame from the bridging coordination appears particularly appealing in the direction of a metal-assisted organic synthesis. Within this field, we have investigated the possibility of involving the C3 bridging ligand in cycloaddition reactions with alkynes, with the aim of generating variously functionalized five-membered cycles. The [3+2] cyclization does not lead to the complete release of the organic fragment but rather it produces its transformation into a cyclopentadienyl ring, which remains coordinated to one Fe atom. This result introduces a new approach to the formation of polyfunctionalised ferrocenes. 5) Furthermore, I have spent a research period of about six months at the Department of Inorganic Chemistry of the Barcelona University, under the supervision of Prof. Concepción López, with the aim of studying the chemistry of polydentate ferrocenyl ligands and their use in organometallic synthesis.

Oxylipins biosynthesis in Lactobacillus helveticus in the presence of oxidative stress

This PhD thesis is aimed at studying the possible pathways and the mechanisms that can trigger oxylipins biosynthesis, and particularly that of short chain aldehydes and alcohols, in Lactobacillus helveticus, also in the presence of oxidative stress, using a totally labelled linoleic acid as precursor. In plants and fungi these molecules, involved in defence mechanisms against pathogens and in communication systems, derive from the oxidation of cellular unsaturated fatty acids (UFAs) and their accumulation is associated with stress exposure. Since some oxylipins are produced also by lactobacilli, it is possible to hypothesize that a metabolic pathway from UFAs to oxylipins, similar to what happens in plants and fungi, is present also in lactic acid bacteria. The results obtained pointed out that some volatile molecules are the result of UFAs catabolism, since they appear only when cells are incubated in their presence. Labelled linoleic acid is integrated in the membrane and subsequently transformed into aldehydes and alcohols, whose extent and carbon atoms number depend on stress exposure. The enzymes responsible for this metabolic pathway in plants and fungi (e.g. lipoxygenase, dioxygenase) seem to be absent in Lactobacillus helveticus and in other lactobacilli. Proteomic analyses show the over expression of many proteins, including thioredoxin reductase (part of the bacterial oxidative defence system), mainly in cells grown with linoleic acid without oxidative stress exposure, confirming that linoleic acid itself induces oxidative stress. 6 general oxidoreductases (class including dioxygenases and peroxidase) were found and therefore a deeper investigation on them could be productive in elucidating all steps involved in oxylipins biosynthesis in bacteria. Due to the multiple role of oxylipins (flavouring agents, antimicrobial compounds and interspecific signalling molecules) the identification of genes involved and regulating factors should have an important biotechnological impact, also allowing the overproduction of selected bioactive molecules.

Small Molecules as Modulators of Different Targets Involved in Tumor Progression

Tumor is a lesion that may be formed by an abnormal growth of neoplastic cells. Many factors increase the risk of cancer and different targets are involved in tumor progression. Within this thesis, we have addressed two different biological targets, independently connected with tumor formation, e.g. Hsp90 and androgen receptor. The ATP-dependent chaperone Hsp90 is responsible for the conformational maturation and the renaturation of proteins. “Client” proteins are associated with the cancer hallmarks, as cell proliferation and tumor progression. Consequently, Hsp90 has evolved into promising anticancer target. Over the past decade, radicicol has been identified as potential anticancer agent targeting Hsp90, but it is not active in vivo. With that aim of obtaining radicicol-related derivatives, we developed the design and synthesis of new chalcones analogs. Chalcones, which are abundant in edible plants, own a diverse array of pharmacological activities and are considered a versatile scaffold for drug design. Antiproliferative assays and western blot analysis on the new compounds showed that some of those display an interesting cytotoxic effect and the ability to modulate Hsp90 client proteins expression. Androgen Receptor (AR) hypersensitivity plays crucial role in prostate cancer, which progression is stimulated by androgens. The therapy consists in a combination of surgical or chemical castration, along with antiandrogens treatment. Casodex® (bicalutamide), is the most widespread antiandrogen used in clinic. However, hormonal therapy is time-limited since many patients develop resistance. Commercially available antiandrogens show a common scaffold, e.g. two substituted aromatic rings linked by a linear or a cyclic spacer. With the aim of obtaining novel pure AR antagonists, we developed a new synthetic methodology, which allowed us to introduce, as linker between two suitably chosen aromatic rings, a triazole moiety. Preliminary data suggest that the herein reported new molecules generally decrease PSA expression, thus confirming their potential AR antagonistic activity.

Elemetary processes of radiation damage in organic molecules of biological interest

It was observed in the ‘80s that the radiation damage on biological systems strongly depends on processes occurring at the microscopic level, involving the elementary constituents of biological cells. Since then, lot of attention has been paid to study elementary processes of photo- and ion-chemistry of isolated organic molecule of biological interest. This work fits in this framework and aims to study the radiation damage mechanisms induced by different types of radiations on simple halogenated biomolecules used as radiosensitizers in radiotherapy. The research is focused on the photofragmentation of halogenated pyrimidine molecules (5Br-pyrimidine, 2Br-pyrimidine and 2Cl-pyrimidine) in the VUV range and on the 12C4+ ion-impact fragmentation of the 5Br-uracil and its homogeneous and hydrated clusters. Although halogen substituted pyrimidines have similar structure to the pyrimidine molecule, their photodissociation dynamics is quite different. These targets have been chosen with the purpose of investigating the effect of the specific halogen atom and site of halogenation on the fragmentation dynamics. Theoretical and experimental studies have highlighted that the site of halogenation and the type of halogen atom, lead either to the preferential breaking of the pyrimidinic ring or to the release of halogen/hydrogen radicals. The two processes can subsequently trigger different mechanisms of biological damage. To understand the effect of the environment on the fragmentation dynamic of the single molecule, the ion-induced fragmentation of homogenous and hydrated clusters of 5Br-uracil have been studied and compared to similar studies on the isolated molecule. The results show that the “protective effect” of the environment on the single molecule hold in the homogeneous clusters, but not in the hydrated clusters, where several hydrated fragments have been observed. This indicates that the presence of water molecules can inhibit some fragmentation channels and promote the keto-enol tautomerization, which is very important in the mutagenesis of the DNA.

Upgrading Bio-Platform Molecules in the Gas-Phase: From Levulinic Acid to Bio-Chemicals

Levulinic acid (LA) is a polyfunctional molecule obtained from biomass. Because of its structure, the United States Department of energy classified LA as one of the top 12 building block chemicals. Typically, it is valorized through chemical reduction to γ-valerolactone (GVL). It is usually done with H2 in batch systems with high H2 pressures and noble metal catalysts, making it expensive and less applicable. Therefore, alternative approaches such as catalytic transfer hydrogenation (CTH) through the Meerwein–Ponndorf–Verley (MPV) reaction over heterogeneous catalysts have been studied. This uses organic molecules (alcohols) which act as a hydride transfer agent (H-donor), to reduce molecules containing carbonyl groups. Given the stability of the intermediate, reports have shown the batch liquid-phase CTH of levulinate esters with secondary alcohols, and remarkable results (GVL yield) have been obtained over ZrO2, given the need of a Lewis acid (LASites) and base pair for CTH. However, there were no reports of the continuous gas-phase CTH of levulinate esters. Therefore, high surface area ZrO2 was tested for gas-phase CTH of methyl levulinate (ML) using ethanol, methanol and isopropanol as H-donors. Under optimized conditions with ethanol (250 ℃), the reaction is selective towards GVL (yield 70%). However, heavy carbonaceous materials over the catalyst surface progressively blocked LASites changing the chemoselectivity. The in situ regeneration of the catalyst permitted a partial recovery of the LASites and an almost total recovery of the initial catalytic behavior, proving the deactivation reversible. Tests with methanol were not promising (ML conversion 35%, GVL yield 4%). As expected, using isopropanol provided complete conversion and a GVL yield of 80%. The reaction was also tested using bioethanol derived from agricultural waste. In addition, a preliminary study was performed for the hydrogenolysis of polyols to produce bioethanol, were Pd-Fe catalyst promoted the ethanol selective (37%) hydrogenolysis of glycerol.

Design, realization, and characterization of complex reaction networks in dynamic mechanically interlocked molecules

The experimental projects discussed in this thesis are all related to the field of artificial molecular machines, specifically to systems composed of pseudorotaxane and rotaxane architectures. The characterization of the peculiar properties of these mechano-molecules is frequently associated with the analysis and elucidation of complex reaction networks; this latter aspect represents the main focus and central thread tying my thesis work. In each chapter, a specific project is described as summarized below: the focus of the first chapter is the realization and characterization of a prototype model of a photoactivated molecular transporter based on a pseudorotaxane architecture; in the second chapter is reported the design, synthesis, and characterization of a [2]rotaxane endowed with a dibenzylammonium station and a novel photochromic unit that acts as a recognition site for a DB24C8 crown ether macrocycle; in the last chapter is described the synthesis and characterization of a [3]rotaxane in which the relative number of rings and stations can be changed on command.