A core calculus for the analysis and implementation of biologically inspired languages

The application of Concurrency Theory to Systems Biology is in its earliest stage of progress. The metaphor of cells as computing systems by Regev and Shapiro opened the employment of concurrent languages for the modelling of biological systems. Their peculiar characteristics led to the design of many bio-inspired formalisms which achieve higher faithfulness and specificity. In this thesis we present pi@, an extremely simple and conservative extension of the pi-calculus representing a keystone in this respect, thanks to its expressiveness capabilities. The pi@ calculus is obtained by the addition of polyadic synchronisation and priority to the pi-calculus, in order to achieve compartment semantics and atomicity of complex operations respectively. In its direct application to biological modelling, the stochastic variant of the calculus, Spi@, is shown able to model consistently several phenomena such as formation of molecular complexes, hierarchical subdivision of the system into compartments, inter-compartment reactions, dynamic reorganisation of compartment structure consistent with volume variation. The pivotal role of pi@ is evidenced by its capability of encoding in a compositional way several bio-inspired formalisms, so that it represents the optimal core of a framework for the analysis and implementation of bio-inspired languages. In this respect, the encodings of BioAmbients, Brane Calculi and a variant of P Systems in pi@ are formalised. The conciseness of their translation in pi@ allows their indirect comparison by means of their encodings. Furthermore it provides a ready-to-run implementation of minimal effort whose correctness is granted by the correctness of the respective encoding functions. Further important results of general validity are stated on the expressive power of priority. Several impossibility results are described, which clearly state the superior expressiveness of prioritised languages and the problems arising in the attempt of providing their parallel implementation. To this aim, a new setting in distributed computing (the last man standing problem) is singled out and exploited to prove the impossibility of providing a purely parallel implementation of priority by means of point-to-point or broadcast communication.

Expressiveness in biologically inspired languages

A very recent and exciting new area of research is the application of Concurrency Theory tools to formalize and analyze biological systems and one of the most promising approach comes from the process algebras (process calculi). A process calculus is a formal language that allows to describe concurrent systems and comes with well-established techniques for quantitative and qualitative analysis. Biological systems can be regarded as concurrent systems and therefore modeled by means of process calculi. In this thesis we focus on the process calculi approach to the modeling of biological systems and investigate, mostly from a theoretical point of view, several promising bio-inspired formalisms: Brane Calculi and k-calculus family. We provide several expressiveness results mostly by means of comparisons between calculi. We provide a lower bound to the computational power of the non Turing complete MDB Brane Calculi by showing an encoding of a simple P-System into MDB. We address the issue of local implementation within the k-calculus family: whether n-way rewrites can be simulated by binary interactions only. A solution introducing divergence is provided and we prove a deterministic solution preserving the termination property is not possible. We use the symmetric leader election problem to test synchronization capabilities within the k-calculus family. Several fragments of the original k-calculus are considered and we prove an impossibility result about encoding n-way synchronization into (n-1)-way synchronization. A similar impossibility result is obtained in a pure computer science context. We introduce CCSn, an extension of CCS with multiple input prefixes and show, using the dining philosophers problem, that there is no reasonable encoding of CCS(n+1) into CCSn.

Utilizzo di dispositivi magnetici nel trattamento della patologia artrosica del ginocchio

The use of scaffolds for Tissue Engineering (TE) is increasing due to their efficacy in helping the body rebuild damaged or diseased tissue. Hydroxyapatite (HA) is the most suitable bioactive ceramic to be used in orthopaedic reconstruction since it replicates the mineral component of the hard tissues, and it has therefore excellent biocompatibility properties. The temporal and spatial control of the tissue regeneration process is the limit to be overcome in order to treat large bone and osteochondral defects. In this thesis we describe the realization of a magnetic scaffolds able to attract and take up growth factors or other bio-agents in vivo via a driving magnetic force. This concept involves the use of magnetic nanoparticles (MNP) functionalized with selected growth factors or stem cells. These functionalized MNP act as shuttles transporting the bio-agents towards and inside the scaffold under the effect of the magnetic field, enhancing the control of tissue regeneration processes. This scaffold can be imagined as a fixed “station” that provides a unique possibility to adjust the scaffold activity to the specific needs of the healing tissue. Synthetic bone graft substitutes, made of collagen or biomineralized collagen (i.e. biomimetic Hydroxyapatite/collagen composites) were used as starting materials for the fabrication of magnetic scaffolds. These materials are routinely used clinically to replace damaged or diseased cartilaginous or bone tissue. Our magnetization technique is based on a dip-coating process consisting in the infilling of biologically inspired porous scaffolds with aqueous biocompatible ferrofluids’ suspensions. In this technique, the specific interconnected porosity of the scaffolds allows the ferrofluids to be drawn inside the structure by capillarity. A subsequent freeze-drying process allows the solvent elimination while keeping very nearly the original shape and porosity of the scaffolds. The remaining magnetic nanoparticles, which are trapped in the structure, lead to the magnetization of the HA/Collagen scaffold. We demonstrate here the possibility to magnetize commercially available scaffolds up to magnetization values that are used in drug delivery processes. The preliminary biocompatibility test showed that the investigated scaffolds provide a suitable micro-environment for cells. The biocompatibility of scaffold facilitates the growth and proliferation of osteogenic cells.

Synthesis of Biologically Active Small Molecules: Different Approaches to Drug Design

In the past years, genome biology had disclosed an ever-growing kind of biological targets that emerged as ideal points for therapeutic intervention. Nevertheless, the number of new chemical entities (NCEs) translated into effective therapies employed in the clinic, still not observed. Innovative strategies in drug discovery combined with different approaches to drug design should be searched for bridge this gap. In this context organic synthetic chemistry had to provide for effective strategies to achieve biologically active small molecules to consider not only as potentially drug candidates, but also as chemical tools to dissect biological systems. In this scenario, during my PhD, inspired by the Biology-oriented Synthesis approach, a small library of hybrid molecules endowed with privileged scaffolds, able to block cell cycle and to induce apoptosis and cell differentiation, merged with natural-like cores were synthesized. A synthetic platform which joined a Domino Knoevenagel-Diels Alder reaction with a Suzuki coupling was performed in order to reach the hybrid compounds. These molecules can represent either antitumor lead candidates, or valuable chemical tools to study molecular pathways in cancer cells. The biological profile expressed by some of these derivatives showed a well defined antiproliferative activity on leukemia Bcr-Abl expressing K562 cell lines. A parallel project regarded the rational design and synthesis of minimally structurally hERG blockers with the purpose of enhancing the SAR studies of a previously synthesized collection. A Target-Oriented Synthesis approach was applied. Combining conventional and microwave heating, the desired final compounds were achieved in good yields and reaction rates. The preliminary biological results of the compounds, showed a potent blocking activity. The obtained small set of hERG blockers, was able to gain more insight the minimal structural requirements for hERG liability, which is mandatory to investigate in order to reduce the risk of potential side effects of new drug candidates.

Cannabinoid system combined to classic targets for a new MTDL strategy: design and synthesis of natural inspired molecules for Alzheimer's disease

In this thesis is described the design and synthesis of potential agents for the treatment of the multifactorial Alzheimer’s disease (AD). Our multi-target approach was to consider cannabinoid system involved in AD, together with classic targets. In the first project, designed modifications were performed on lead molecule in order to increase potency and obtain balanced activities on fatty acid amide hydrolase and cholinesterases. A small library of compounds was synthesized and biological results showed increased inhibitory activity (nanomolar range) related to selected target. The second project was focused on the benzofuran framework, a privileged structure being a common moiety found in many biologically active natural products and therapeutics. Hybrid molecules were designed and synthesized, focusing on the inhibition of cholinesterases, Aβ aggregation, FAAH and on the interaction with CB receptors. Preliminary results showed that several compounds are potent CB ligands, in particular the high affinity for CB2 receptors, could open new opportunities to modulate neuroinflammation. The third and the fourth project were carried out at the IMS, Aberdeen, under the supervision of Prof. Matteo Zanda. The role of the cannabinoid system in the brain is still largely unexplored and the relationship between the CB1 receptors functional modification, density and distribution and the onset of a pathological state is not well understood. For this reasons, Rimonabant analogues suitable as radioligands were synthesized. The latter, through PET, could provide reliable measurements of density and distribution of CB1 receptors in the brain. In the fifth project, in collaboration with CHyM of York, the goal was to develop arginine analogues that are target specific due to their exclusively location into NOS enzymes and could work as MRI contrasting agents. Synthesized analogues could be suitable substrate for the transfer of polarization by p-H2 molecules through SABRE technique transforming MRI a more sensitive and faster technique.

Microwave-Mediated Hetero Diels-Alder reaction: Synthesis of biologically active compounds

Heterocyclic compounds represent almost two-thirds of all the known organic compounds: they are widely distributed in nature and play a key role in a huge number of biologically important molecules including some of the most significant for human beings. A powerful tool for the synthesis of such compounds is the hetero Diels-Alder reaction (HDA), that involve a [4+2] cycloaddition reaction between heterodienes and suitable dienophiles. Among heterodienes to be used in such six-membered heterocyclic construction strategy, 3-trialkylsilyloxy-2-aza-1,3-dienes (Fig 1) has been demonstrated particularly attractive. In this thesis work, HDA reactions between 2-azadienes and carbonylic and/or olefinic dienophiles, are described. Moreover, substitution of conventional heating by the corresponding dielectric heating as been explored in the frame of Microwave-Assisted-Organic-Synthesis (MAOS) which constitutes an up-to-grade research field of great interest both from an academic and industrial point of view. Reaction of the azadiene 1 (Fig 1) will be described using as dienophiles carbonyl compounds as aldehyde and ketones. The six-membered adducts thus obtained (Scheme 1) have been elaborated to biologically active compounds like 1,3-aminols which constitutes the scaffold for a wide range of drugs (Prozac®, Duloxetine, Venlafaxine) with large applications in the treatment of severe diseases of nervous central system (NCS). Scheme 1 The reaction provides the formation of three new stereogenic centres (C-2; C-5; C-6). The diastereoselective outcome of these reactions has been deeply investigated by the use of various combination of achiral and chiral azadienes and aliphatic, aromatic or heteroaromatic aldehydes. The same approach, basically, has been used in the synthesis of piperidin-2-one scaffold substituting the carbonyl dienophile with an electron poor olefin. Scheme 2 As a matter of fact, this scaffold is present in a very large number of natural substances and, more interesting, is a required scaffold for an huge variety of biologically active compounds. Activated olefins bearing one or two sulfone groups, were choose as dienophiles both for the intrinsic characteristic flexibility of the “sulfone group” which may be easily removed or elaborated to more complex decorations of the heterocyclic ring, and for the electron poor property of this dienophiles which makes the resulting HDA reaction of the type “normal electron demand”. Synthesis of natural compounds like racemic (±)-Anabasine (alkaloid of Tobacco’s leaves) and (R)- and (S)-Conhydrine (alkaloid of Conium Maculatum’s seeds and leaves) and its congeners, are described (Fig 2).

Stereoselective synthesis of heterocycles as intermediates of biologically active compounds

The aim of this thesis was to investigate the synthesis of enantiomerically enriched heterocycles and dehydro-β-amino acid derivatives which can be used as scaffolds or intermediates of biologically active compounds, in particular as novel αvβ3 and α5β1 integrin ligands. The starting materials of all the compounds here synthesized are alkylideneacetoacetates. Alkylidene derivates are very usefull compounds, they are usually used as unsaturated electrophiles and they have the advantage of introducing different kind of functionality that may be further elaborated. In chapter 1, regio- and stereoselective allylic amination of pure carbonates is presented. The reaction proceeds via uncatalyzed or palladium-catalyzed conditions and affords enantiopure dehydro-β-amino esters that are useful precursor of biologically active compounds. Chapter 2 illustrates the synthesis of substituted isoxazolidines and isoxazolines via Michael addition followed by intramolecular hemiketalisation. The investigation on the effect of the Lewis acid catalysis on the regioselectivity of the addition it also reported. Isoxazolidines and isoxazolines are interesting heterocyclic compounds that may be regarded as unusual constrained -amino acids or as furanose mimetics. The synthesis of unusual cyclic amino acids precursors, that may be envisaged as proline analogues, as scaffolds for the design of bioactive peptidomimetics is presented in chapter 3. The synthesis of 2-substituted-3,4-dehydropyrrole derivatives starting from allylic carbonates via a two step allylic amination/ring closing metathesis (RCM) protocol is carried out. The reaction was optimized by testing different Grubbs’ catalysts and carbamate nitrogen protecting groups. Moreover, in view of a future application of these dehydro-β-amino acids as central core of peptidomimetics , the malonate chain was also used to protect nitrogen prior to RCM. Finally, chapter 4 presents the synthesis of two novel different classes of integrin antagonists, one derived from dehydro-β-amino acid prepared as described in chapter 1 and the other one has isoxazolidines synthesized in chapter 2 as rigid constrained core. Since that these compounds are promising RGD mimetics for αvβ3 and α5β1 integrins, they have been submitted to biological assay. and to interpret on a molecular basis their different affinities for the αvβ3 receptor, docking studies were performed using Glide program.

Innovative Strategies for the Synthesis of Biologically Active Small Molecules

The post genomic era, set the challenge to develop drugs that target an ever-growing list of proteins associated with diseases. However, an increase in the number of drugs approved every year is nowadays still not observed. To overcome this gap, innovative approaches should be applied in drug discovery for target validation, and at the same time organic synthetic chemistry has to find new fruitful strategies to obtain biologically active small molecules not only as therapeutic agents, but also as diagnostic tools to identify possible cellular targets. In this context, in view of the multifactorial mechanistic nature of cancer, new chimeric molecules, which can be either antitumor lead candidates, or valuable chemical tools to study molecular pathways in cancer cells, were developed using a multitarget-directed drug design strategy. According to this approach, the desired hybrid compounds were obtained by combining in a single chemical entity SAHA analogues, targeting histone deacetylases (HDACs), with substituted stilbene or terphenyl derivatives able to block cell cycle, to induce apoptosis and cell differentiation and with Sorafenib derivative, a multikinase inhibitor. The new chimeric derivatives were characterized with respect to their cytotoxic activity and their effects on cell cycle progression on leukemia Bcr-Abl-expressing K562 cell lines, as well as their HDACs inhibition. Preliminary results confirmed that one of the hybrid compounds has the desired chimeric profile. A distinct project was developed in the laboratory of Dr Spring, regarding the synthesis of a diversity-oriented synthesis (DOS) library of macrocyclic peptidomimetics. From a biological point of view, this class of molecules is extremely interesting but underrepresented in drug discovery due to the poor synthetic accessibility. Therefore it represents a valid challenge for DOS to take on. A build/couple/pair (B/C/P) approach provided, in an efficient manner and in few steps, the structural diversity and complexity required for such compounds.

Innovative asymmetric organocatalytic processess: en route to the synthesis of biologically relevant compounds

This doctoral thesis deals with the development of novel organocatalytic strategies for asymmetric transformation. The intrinsic versatility of organocatalysis and the use of different activation modes have been exploited to achieve new catalytic enantioselective processes, towards the synthesis of biologically relevant scaffolds. The most investigated organocatalytic system have been those based on H-bond interaction (such as chiral thioureas or phosphoric acids) as well as the ones based on aminocatalysis. Despite conceptually distinct, the transformations detailed in this Thesis are linked together by simple and recurring modes of activation, induction and reactivity, promoted by the catalysts employed. The chemical diversity of the challenges encountered allows to get a precious overall view on organocatalysis, highlighting that enormous chemical diversity can be created by judicious choice of select catalyst.