Vegetables biofortified with iodine: chemical, agronomic and qualitative aspects of raw and fried potatoes

Iodine is an essential microelement for human health because it is a constituent of the thyroid hormones that regulate growth and development of the organism. Iodine Deficiency Disorders (IDDs) are believed to be one of the commonest preventable human health problems in the world today, according to the World Health Organization: that diseases include endemic goiter, cretinism and fetal abnormalities, among others, and they are caused by lack of iodine in the diet, that is the main source of iodine. Since iodine intake from food is not enough respect to human needs, this can be remedied through dietary diversification, mineral supplementation, food fortification, or increasing the concentration and/or bioavailability of mineral elements in the edible portions of crops through agricultural intervention or genetic selection (biofortification). The introduction of iodized salt is a strategy widely used and accepted to eradicate iodine deficiency, because it is an inexpensive source of stable iodine. Since the intake of salt, though iodized, must still be limited according to the risk of cardiovascular disease, so the increase of iodine content in plants for the production of functional foods is representing a field of study of particular interest and a potential market. In Italy potatoes enriched with iodine are produced by a patented procedure of agronomic biofortification for the fresh market since several years, furthermore they are recently accepted and recommended by Italian Thyroid Association, as an alternative source of iodine. Researches performed during the PhD course intended to characterize this innovative vegetables products, focusing the attention on different aspects, such as chemistry, agriculture, and quality of fresh and fried potatoes. For this purpose, lipid fraction of raw material was firstly investigated, in order to assess whether the presence of iodine in plant metabolism can affect fatty acid or sterol biosynthesis, according to the hypothesis that iodine can be bounded to polyunsaturated fatty acids of cell membranes, protecting them from peroxydation; phytosterols of plant sterol are also studied because their importance in reducing serum cholesterol, especially in potato plant sterols are also involved in synthesis of glycoalkaloid, a family of steroidal toxic secondary metabolites present in plants of the Solanaceae family. To achieve this goal chromatographic analytical techniques were employed to identify and quantify fatty acids and sterols profile of common and iodine enriched row potatoes. Another aim of the project was to evaluate the effects of frying on the quality of iodine-enriched and common potatoes. Since iodine-enriched potatoes are nowadays produced only for the fresh market, preliminary trials of cultivation under controlled environment were carried out to verify if potato varieties suitable for processing were able to absorb and accumulate iodine in the tuber. In a successive phase, these varieties were grown in the field, to evaluate their potential productivity and quality at harvest and after storage. The best potato variety to be destined for processing purposes, was finally subjected to repeated frying cycles; the effects of lipid oxidation on the composition and quality of both potatoes and frying oil bath were evaluated by chromatographic and spectrophotometric analytical techniques. Special attention were paid on volatile compounds of fried potatoes.

Mitochondrial inheritance and germ line determination in a bivalve species with Doubly Uniparental Inheritance (DUI)

Mitochondria are inherited maternally in most metazoans. However, in some bivalves, two mitochondrial lineages are present: one transmitted through eggs (F), the other through sperm (M). This is called Doubly Uniparental Inheritance (DUI). During male embryo development, spermatozoon mitochondria aggregate and end up in the primordial germ cells, while they are dispersed in female embryos. The molecular mechanisms of segregation patterns are still unknown. In the DUI species Ruditapes philippinarum, I examined sperm mitochondria distribution by MitoTracker, microtubule staining and TEM, and I localized germ line determinants with immunocytochemical analysis. I also analyzed the gonad transcriptome, searching for genes involved in reproduction and sex determination. Moreover, I analyzed an M-type specific open reading frame that could be responsible for maintenance/degradation of M mitochondria during embryo development. These transcripts were also localized in tissues using in situ hybridization. As in Mytilus, two distribution patterns of M mitochondria were detected in R. philippinarum, supporting that they are related to DUI. Moreover, the first division midbody concurs in positioning aggregated M mitochondria on the animal-vegetal axis of the male embryo: in organisms with spiral segmentation this zone is not involved in further cleavages, so aggregation is maintained. Moreover, sperm mitochondria reach the same embryonic area where germ plasm is transferred, suggesting their contribution in male germ line formation. The finding of reproduction and ubiquitination transcripts led to formulate a model in which ubiquitination genes stored in female oocytes during gametogenesis would activate sex-gene expression in the early embryonic developmental stages (preformation). Only gametogenetic cells were labeled by in situ hybridization, proving their specific transcription in developing gametes. Other than having a role in sex determination, some ubiquination factors could also be involved in mitochondrial inheritance, and their differential expression could be responsible for the different fate of sperm mitochondria in the two sexes.

Food safety in wine: optimization of analytical controls and evaluation of production technologies

This PhD thesis has been proposed to validate and then apply innovative analytical methodologies for the determination of compounds with harmful impact on human health, such as biogenic amines and ochratoxin A in wines. Therefore, the influence of production technology (pH, amino acids precursor and use of different malolactic starters) on biogenic amines content in wines was evaluated. An HPLC method for simultaneous determination of amino acids and amines with precolumnderivatization with 9-Fluorenyl-methoxycarbonyl chloride (FMOC-Cl) and UV detection was developed. Initially, the influence of pH, time of derivatization, gradient profile were studied. In order to improve the separation of amino acids and amines and reduce the time of analysis, it was decided to study the influence of different flows and the use of different columns in the chromatographic method. Firstly, a C18 Luna column was used and later two monolithic columns Chromolith in series. It appeared to be suitable for an easy, precise and accurate determination of a relatively large number of amino acids and amines in wines. This method was then applied on different wines produced in the Emilia Romagna region. The investigation permitted to discriminate between red and white wines. Amino acids content is related to the winemaking process. Biogenic amines content in these wines does not represent a possible toxicological problem for human health. The results of the study of influence of technologies and wine composition demonstrated that pH of wines and amino acids content are the most important factors. Particularly wines with pH > 3,5 show higher concentration of biogenic amines than wines with lower pH. The enrichment of wines by nutrients also influences the content of some biogenic amines that are higher in wines added with amino acids precursors. In this study, amino acids and biogenic amines are not statistically affected by strain of lactic acid bacteria inoculated as a starter for malolactic fermentation. An evaluation of different clean-up (SPE-MycoSep; IACs and LLE) and determination methods (HPLC and ELISA) of ochratoxin A was carried out. The results obtained proved that the SPE clean-up are reliable at the same level while the LLE procedures shows lowest recovery. The ELISA method gave a lower determination and a low reproducibility than HPLC method.

MCAO for Extremely Large Telescopes: the cases of LBT and E-ELT

Several MCAO systems are under study to improve the angular resolution of the current and of the future generation large ground-based telescopes (diameters in the 8-40 m range). The subject of this PhD Thesis is embedded in this context. Two MCAO systems, in dierent realization phases, are addressed in this Thesis: NIRVANA, the 'double' MCAO system designed for one of the interferometric instruments of LBT, is in the integration and testing phase; MAORY, the future E-ELT MCAO module, is under preliminary study. These two systems takle the sky coverage problem in two dierent ways. The layer oriented approach of NIRVANA, coupled with multi-pyramids wavefront sensors, takes advantage of the optical co-addition of the signal coming from up to 12 NGS in a annular 2' to 6' technical FoV and up to 8 in the central 2' FoV. Summing the light coming from many natural sources permits to increase the limiting magnitude of the single NGS and to improve considerably the sky coverage. One of the two Wavefront Sensors for the mid- high altitude atmosphere analysis has been integrated and tested as a stand- alone unit in the laboratory at INAF-Osservatorio Astronomico di Bologna and afterwards delivered to the MPIA laboratories in Heidelberg, where was integrated and aligned to the post-focal optical relay of one LINC-NIRVANA arm. A number of tests were performed in order to characterize and optimize the system functionalities and performance. A report about this work is presented in Chapter 2. In the MAORY case, to ensure correction uniformity and sky coverage, the LGS-based approach is the current baseline. However, since the Sodium layer is approximately 10 km thick, the articial reference source looks elongated, especially when observed from the edge of a large aperture. On a 30-40 m class telescope, for instance, the maximum elongation varies between few arcsec and 10 arcsec, depending on the actual telescope diameter, on the Sodium layer properties and on the laser launcher position. The centroiding error in a Shack-Hartmann WFS increases proportionally to the elongation (in a photon noise dominated regime), strongly limiting the performance. To compensate for this effect a straightforward solution is to increase the laser power, i.e. to increase the number of detected photons per subaperture. The scope of Chapter 3 is twofold: an analysis of the performance of three dierent algorithms (Weighted Center of Gravity, Correlation and Quad-cell) for the instantaneous LGS image position measurement in presence of elongated spots and the determination of the required number of photons to achieve a certain average wavefront error over the telescope aperture. An alternative optical solution to the spot elongation problem is proposed in Section 3.4. Starting from the considerations presented in Chapter 3, a first order analysis of the LGS WFS for MAORY (number of subapertures, number of detected photons per subaperture, RON, focal plane sampling, subaperture FoV) is the subject of Chapter 4. An LGS WFS laboratory prototype was designed to reproduce the relevant aspects of an LGS SH WFS for the E-ELT and to evaluate the performance of different centroid algorithms in presence of elongated spots as investigated numerically and analytically in Chapter 3. This prototype permits to simulate realistic Sodium proles. A full testing plan for the prototype is set in Chapter 4.

Development of original analytical methods for the therapeutic drug monitoring of CNS druges: Antipsychotics, Antidepressants and Anxiolytics-hypnotics

Great strides have been made in the last few years in the pharmacological treatment of neuropsychiatric disorders, with the introduction into the therapy of several new and more efficient agents, which have improved the quality of life of many patients. Despite these advances, a large percentage of patients is still considered “non-responder” to the therapy, not drawing any benefits from it. Moreover, these patients have a peculiar therapeutic profile, due to the very frequent application of polypharmacy, attempting to obtain satisfactory remission of the multiple aspects of psychiatric syndromes. Therapy is heavily individualised and switching from one therapeutic agent to another is quite frequent. One of the main problems of this situation is the possibility of unwanted or unexpected pharmacological interactions, which can occur both during polypharmacy and during switching. Simultaneous administration of psychiatric drugs can easily lead to interactions if one of the administered compounds influences the metabolism of the others. Impaired CYP450 function due to inhibition of the enzyme is frequent. Other metabolic pathways, such as glucuronidation, can also be influenced. The Therapeutic Drug Monitoring (TDM) of psychotropic drugs is an important tool for treatment personalisation and optimisation. It deals with the determination of parent drugs and metabolites plasma levels, in order to monitor them over time and to compare these findings with clinical data. This allows establishing chemical-clinical correlations (such as those between administered dose and therapeutic and side effects), which are essential to obtain the maximum therapeutic efficacy, while minimising side and toxic effects. It is evident the importance of developing sensitive and selective analytical methods for the determination of the administered drugs and their main metabolites, in order to obtain reliable data that can correctly support clinical decisions. During the three years of Ph.D. program, some analytical methods based on HPLC have been developed, validated and successfully applied to the TDM of psychiatric patients undergoing treatment with drugs belonging to following classes: antipsychotics, antidepressants and anxiolytic-hypnotics. The biological matrices which have been processed were: blood, plasma, serum, saliva, urine, hair and rat brain. Among antipsychotics, both atypical and classical agents have been considered, such as haloperidol, chlorpromazine, clotiapine, loxapine, risperidone (and 9-hydroxyrisperidone), clozapine (as well as N-desmethylclozapine and clozapine N-oxide) and quetiapine. While the need for an accurate TDM of schizophrenic patients is being increasingly recognized by psychiatrists, only in the last few years the same attention is being paid to the TDM of depressed patients. This is leading to the acknowledgment that depression pharmacotherapy can greatly benefit from the accurate application of TDM. For this reason, the research activity has also been focused on first and second-generation antidepressant agents, like triciclic antidepressants, trazodone and m-chlorophenylpiperazine (m-cpp), paroxetine and its three main metabolites, venlafaxine and its active metabolite, and the most recent antidepressant introduced into the market, duloxetine. Among anxiolytics-hypnotics, benzodiazepines are very often involved in the pharmacotherapy of depression for the relief of anxious components; for this reason, it is useful to monitor these drugs, especially in cases of polypharmacy. The results obtained during these three years of Ph.D. program are reliable and the developed HPLC methods are suitable for the qualitative and quantitative determination of CNS drugs in biological fluids for TDM purposes.

Analytical challenges in the fields of Nanobioscience and Nanobiotecnology: integrated methods for separation and characterization

Nano(bio)science and nano(bio)technology play a growing and tremendous interest both on academic and industrial aspects. They are undergoing rapid developments on many fronts such as genomics, proteomics, system biology, and medical applications. However, the lack of characterization tools for nano(bio)systems is currently considered as a major limiting factor to the final establishment of nano(bio)technologies. Flow Field-Flow Fractionation (FlFFF) is a separation technique that is definitely emerging in the bioanalytical field, and the number of applications on nano(bio)analytes such as high molar-mass proteins and protein complexes, sub-cellular units, viruses, and functionalized nanoparticles is constantly increasing. This can be ascribed to the intrinsic advantages of FlFFF for the separation of nano(bio)analytes. FlFFF is ideally suited to separate particles over a broad size range (1 nm-1 μm) according to their hydrodynamic radius (rh). The fractionation is carried out in an empty channel by a flow stream of a mobile phase of any composition. For these reasons, fractionation is developed without surface interaction of the analyte with packing or gel media, and there is no stationary phase able to induce mechanical or shear stress on nanosized analytes, which are for these reasons kept in their native state. Characterization of nano(bio)analytes is made possible after fractionation by interfacing the FlFFF system with detection techniques for morphological, optical or mass characterization. For instance, FlFFF coupling with multi-angle light scattering (MALS) detection allows for absolute molecular weight and size determination, and mass spectrometry has made FlFFF enter the field of proteomics. Potentialities of FlFFF couplings with multi-detection systems are discussed in the first section of this dissertation. The second and the third sections are dedicated to new methods that have been developed for the analysis and characterization of different samples of interest in the fields of diagnostics, pharmaceutics, and nanomedicine. The second section focuses on biological samples such as protein complexes and protein aggregates. In particular it focuses on FlFFF methods developed to give new insights into: a) chemical composition and morphological features of blood serum lipoprotein classes, b) time-dependent aggregation pattern of the amyloid protein Aβ1-42, and c) aggregation state of antibody therapeutics in their formulation buffers. The third section is dedicated to the analysis and characterization of structured nanoparticles designed for nanomedicine applications. The discussed results indicate that FlFFF with on-line MALS and fluorescence detection (FD) may become the unparallel methodology for the analysis and characterization of new, structured, fluorescent nanomaterials.

Development of numerical tools for the simulation, design and optimization of a Helicon Plasma Thruster

This work thesis focuses on the Helicon Plasma Thruster (HPT) as a candidate for generating thrust for small satellites and CubeSats. Two main topics are addressed: the development of a Global Model (GM) and a 3D self-consistent numerical tool. The GM is suitable for preliminary analysis of HPTs with noble gases such as argon, neon, krypton, and xenon, and alternative propellants such as air and iodine. A lumping methodology is developed to reduce the computational cost when modelling the excited species in the plasma chemistry. A 3D self-consistent numerical tool is also developed that can treat discharges with a generic 3D geometry and model the actual plasma-antenna coupling. The tool consists of two main modules, an EM module and a FLUID module, which run iteratively until a steady state solution is converged. A third module is available for solving the plume with a simplified semi-analytical approach, a PIC code, or directly by integration of the fluid equations. Results obtained from both the numerical tools are benchmarked against experimental measures of HPTs or Helicon reactors, obtaining very good qualitative agreement with the experimental trend for what concerns the GM, and an excellent agreement of the physical trends predicted against the measured data for the 3D numerical strategy.

Il corpo e l'individuo tra proprietà ed autodeterminazione. Con particolare riferimento al fenomeno delle biobanche

La bioetica è il luogo ideale per cercare risposte ai grandi interrogativi concernenti la vita, la morte e la cura dell'essere umano. I recenti dibattiti sull'uso, ed il temuto abuso, del corpo umano in medicina hanno messo in evidenza la necessità di una discussione approfondita sul potere di scelta che l'individuo può esercitare sulla propria mente e sul proprio corpo. Spinta dal desidero di indagare l'estensione di tale potere di scelta ho voluto analizzare le tematiche riguardanti “il corpo”, “l'individuo”, “la proprietà” e “l'autodeterminazione”. L'analisi è stata condotta individuando alcuni dei differenti significati che questi termini assumono nei diversi ambiti che la bioetica lambisce e mostrando, in particolare, la visione di tale realtà attraverso le lenti del giurista. A chi appartiene il corpo? Chi ha il potere di decidere su di esso? Il potere di scelta valica gli antichi i confini legati al corpo del paziente e coinvolge tessuti, organi e cellule staccati dal corpo umano, parti che un tempo erano considerati scarti operatori sono oggi divenuti tesori inestimabili per la ricerca. L'importanza assunta dai campioni biologici ha portato alla creazione di biobanche nelle quali sono raccolti, catalogati e il DNA studiato in campioni biologici Le biobanche riflettono le tensioni della bioetica e del biodititto. Lo studio delle biobanche riguarda, tra l'altro, la riceca dell'equilibrio tra le diverse esigenze meritevoli di tutela: in primo luogo il diritto alla privacy, diritto a che le “proprie informazioni” non vengano divulgate ed il diritto a non essere discriminato ed in secondo luogo le necessità dettate dalla ricerca e dalla scienza medica. Nel 2009 la rivista Times messo biobanche tra le 10 idee in grado di cambiare il mondo anche in considarazione della medicina personalizzata e del fatto che costituiscono una la speranza per la ricerca contro le malattie attuali e future.

Normare la vita. Biocontrollo e nuove tecnologie

Questa ricerca, suddivisa in due parti, si concentra sulle problematiche connesse alla normazione della vita e dei corpi delle donne al tempo delle biotecnologie. La Parte I è una genealogia filosofico-politica che ripercorre le tappe analitico-concettuali del dibattito intorno a biopolitica e tecnoscienza, a partire dai contributi teorici di poststrutturalismo e femminismo neomaterialista, e risponde alle domande: Cosa sono diventati i corpi nell’attuale società bio-info-modificata? Qual'è il ruolo delle scienze nelle metamorfosi che interessano soggettività e rapporti di potere? La Parte II è una cartografia dei modi in cui le biotecnologie, riguardanti i corpi delle donne, si sono sviluppate e diffuse. Essa indaga in modo transdisciplinare come in Italia, e più in generale in Europa, sono state normate le tecniche di interruzione volontaria di gravidanza e fecondazione in vitro. Ampio spazio è dedicato ai modi in cui gli attori della bioetica, istituzionale e non, i medici, laici e cattolici, e le case farmaceutiche hanno affrontato questi temi e quello della contraccezione ormonale maschile. Medicina riproduttiva e rigenerativa sono tematizzate sempre in relazione al quadro normativo, per mostrare in che modo esso influenzi l’accesso ai diritti alla salute e all’autodeterminazione delle donne. Il quadro normativo è analizzato, a sua volta, alla luce dei fatti storici più rilevanti e delle culture più diffuse. L’obiettivo della ricerca è duplice: da un lato essa ha il fine di mostrare il modo in cui i corpi delle donne, e la relativa potenza generatrice, siano diventati uno snodo fondamentale nell’articolazione del biocontrollo e nell'apertura dei nuovi mercati legati a medicina riproduttiva e rigenerativa; dall’altro si propone di argomentare come un biodiritto flessibile, a contenuto storico variabile, condiviso e partecipato, sia un’ipotesi praticabile e virtuosa, utile all'eliminazione del gender gap ancora esistente in materia di diritti riproduttivi e sessuali.

La detenzione amministrativa degli stranieri. Nuove frontiere in materia di liberta' personale

La detenzione amministrativa degli stranieri, pur condividendo il carattere tipicamente afflittivo e stigmatizzante delle pene, non si fonda sulla commissione di un reato e non gode delle medesime garanzie previste dal sistema della giustizia penale. Nel nostro ordinamento l’inadeguatezza della legislazione, l’ampio margine di discrezionalità rimesso all’autorità di pubblica sicurezza, nonché il debole potere di sindacato giurisdizionale rimesso all’autorità giudiziaria, raggiungono il loro apice problematico nell’ambito delle pratiche di privazione della libertà personale che hanno per destinatari gli stranieri maggiormente vulnerabili, ossia quelli appena giunti sul territorio e il cui status giuridico non è ancora stato accertato (c.d. situazione di pre-admittance). E’ proprio sulla loro condizione che il presente lavoro si focalizza maggiormente. Le detenzioni de facto degli stranieri in condizione di pre-admittance sono analizzate, nel primo capitolo, a partire dal “caso Lampedusa”, descritto alla luce dell’indagine sul campo condotta dall’Autrice. Nel secondo capitolo viene ricostruito lo statuto della libertà personale dello straniero sulla base dei principi costituzionali e, nel terzo capitolo, sono analizzati i principi che informano il diritto alla libertà personale nell’ambito delle fonti sovranazionali, con particolare riferimento al diritto dell’Unione Europea e al sistema della Convenzione Europea dei Diritti dell’Uomo. Sulla scorta dei principi indagati, nel quarto capitolo è tracciata l’evoluzione legislativa in materia di detenzione amministrativa dello straniero in Italia e, nel quinto capitolo, è approfondito il tema dei Centri dell’immigrazione e delle regole che li disciplinano. Nelle conclusioni, infine, sono tirate le fila del percorso tracciato, attraverso la valutazione degli strumenti di tutela in grado di prevenire le pratiche di privazione della libertà informali e di garantire uno standard minimo nella tutela della libertà individuale, anche nelle zone di frontiera del nostro ordinamento.

Paleoproteomica e osteoarcheologia: determinazione di sesso e specie da resti ossei frammentari

La buona riuscita delle analisi archeozoologiche e antropologiche è molto condizionata dallo stato di conservazione in cui si trova il reperto da analizzare. Soprattutto nei siti paleolitici, l’alto tasso di frammentazione dei resti può ostacolare l’ottenimento delle informazioni, compromettendo la comprensione del contesto preso in esame. Il presente studio ha avuto come scopo quello di sperimentare e proporre un protocollo metodologico che supportasse l’approccio morfologico tradizionale combinandolo con quello proteomico. Diverse sono le problematiche affrontate: la penuria di informazioni tassonomiche ricavabili da contesti paleolitici con ossa particolarmente frammentate, l’impossibilità di ottenere dati sulla stima del sesso in individui non adulti e la limitata attendibilità nell’ottenimento della determinazione del sesso negli individui privi dei distretti scheletrici sessualmente dimorfici. Nel primo caso, lo studio morfologico di resti provenienti da contesti di transizione tra Paleolitico medio e superiore è stato combinato alla ZooMS (Zooarchaeology by mass spectrometry) una tecnica di peptide mass fingerprinting che permette di identificare la specie di un frammento osseo tramite l’analisi della proteina più abbondante all’interno delle ossa, il collagene I. L’analisi dell’amelogenina, una proteina contenuta all’interno dello smalto dentale, è stata proposta come metodo alternativo per la stima del sesso, applicata a diversi casi studio per avvalorare la sua affidabilità. Il metodo qui proposto ha permesso di rendere informativi dei frammenti ossei e dentari indeterminati che normalmente non avrebbero contribuito, se non marginalmente, alle analisi archeozoologiche e antropologiche.

Outcomes of global coagulation assays in patients with Philadelphia-negative myeloproliferative neoplasms with respect to genetic determinants of clonal progression

Classical myeloproliferative neoplasms (MPNs) are hematopoietic stem cell disorders that manifest with inflammation, promotion of atherosclerosis, hypercoagulability, fibrosis, and clonal evolution. The complex biological background lends itself to multi-omics studies. We have previously shown that reduced platelet fibrinogen receptor (PFR) expression may follow hyperactivation of plasma-dependent mechanisms, such as tissue factor (TF) release, unbalanced thrombin generation, involvement of protease-activated receptors (PARs). Acetylsalicylic acid (ASA) helped to restore the expression of PFRs. In this study, we enrolled 53 MPN patients, subjecting them to advanced genetic testing (panel of 30 genes in NGS), global coagulation testing (Rotational Thromboelastometry - ROTEM) and cytofluorometric determination of PFRs. ROTEM parameters appear to differ considerably depending on the type of pathology under investigation, cell count, and selected mutations. Essential thrombocythemia (ET) and CALR mutation appear to correlate with increased efficiency of both classical coagulation pathways, with significantly more contracted clot formation times (CFTs). In contrast, primary myelofibrosis (PMF) and polycythemia vera (PV) show greater imbalances in the hemostatic system. PV, probably due to its peculiar hematological features, shows a lengthening of the CFT and, at the same time, a selective contraction of parameters in INTEM with the increase of platelets and white blood cells. PMF - in contrast - seems to exploit the extrinsic pathway more to increase cell numbers. The presence of DNMT3A mutations is associated with reduced clotting time (CT) in EXTEM, while ASXL1 causes reduced maximal lysis (ML). EZH2 could be responsible for the elongation of CFT in INTEM assay. In addition, increased PFR expression is associated with history of hemorrhage and sustained CT time in FIBTEM under ASA prophylaxis. Our findings corroborate the existing models on the connection between fibrosis, genetic complexity, clonal progression, and hypercoagulability. Global coagulation assays and PFR expression are potentially useful tools for dynamic evaluation of treatments’ outcomes.

Nanomechanical characterization of soft bioelectronic interfaces via modeling-informed atomic force microscopy

The field of bioelectronics involves the use of electrodes to exchange electrical signals with biological systems for diagnostic and therapeutic purposes in biomedical devices and healthcare applications. However, the mechanical compatibility of implantable devices with the human body has been a challenge, particularly with long-term implantation into target organs. Current rigid bioelectronics can trigger inflammatory responses and cause unstable device functions due to the mechanical mismatch with the surrounding soft tissue. Recent advances in flexible and stretchable electronics have shown promise in making bioelectronic interfaces more biocompatible. To fully achieve this goal, material science and engineering of soft electronic devices must be combined with quantitative characterization and modeling tools to understand the mechanical issues at the interface between electronic technology and biological tissue. Local mechanical characterization is crucial to understand the activation of failure mechanisms and optimizing the devices. Experimental techniques for testing mechanical properties at the nanoscale are emerging, and the Atomic Force Microscope (AFM) is a good candidate for in situ local mechanical characterization of soft bioelectronic interfaces. In this work, in situ experimental techniques with solely AFM supported by interpretive models for the characterization of planar and three-dimensional devices suitable for in vivo and in vitro biomedical experimentations are reported. The combination of the proposed models and experimental techniques provides access to the local mechanical properties of soft bioelectronic interfaces. The study investigates the nanomechanics of hard thin gold films on soft polymeric substrates (Poly(dimethylsiloxane) PDMS) and 3D inkjet-printed micropillars under different deformation states. The proposed characterization methods provide a rapid and precise determination of mechanical properties, thus giving the possibility to parametrize the microfabrication steps and investigate their impact on the final device.

A formal analysis of blockchain consensus

In this thesis, we analyse these protocols using PRISM+, our extension of the probabilistic model checker PRISM with blockchain types and operations upon them. This allows us to model the behaviour of key participants in the protocols and describe the protocols as a parallel composition of PRISM+ processes. Through our analysis of the Bitcoin model, we are able to understand how forks (where different nodes have different versions of the blockchain) occur and how they depend on specific parameters of the protocol, such as the difficulty of the cryptopuzzle and network communication delays. Our results corroborate the statement that considering confirmed the transactions in blocks at depth larger than 5 is reasonable because the majority of miners have consistent blockchains up-to that depth with probability of almost 1. We also study the behaviour of the Bitcoin network with churn miners (nodes that leave and rejoin the network) and with different topologies (linear topology, ring topology, tree topology and fully connected topology). PRISM+ is therefore used to analyse the resilience of Hybrid Casper when changing various basic parameters of the protocol, such as block creation rates and penalty determination strategies. We also study the robustness of Hybrid Casper against two known attacks: the Eclipse attack (where an attacker controls a significant portion of the network's nodes and can prevent other nodes from receiving new transactions) and the majority attack (where an attacker controls a majority of the network's nodes and can manipulate the blockchain to their advantage).