Closed-loop investigation of the dynamical properties of cardiomyocyte electrophysiology by means of Dynamic clamp and Mathematical modelling

The research field of my PhD concerns mathematical modeling and numerical simulation, applied to the cardiac electrophysiology analysis at a single cell level. This is possible thanks to the development of mathematical descriptions of single cellular components, ionic channels, pumps, exchangers and subcellular compartments. Due to the difficulties of vivo experiments on human cells, most of the measurements are acquired in vitro using animal models (e.g. guinea pig, dog, rabbit). Moreover, to study the cardiac action potential and all its features, it is necessary to acquire more specific knowledge about single ionic currents that contribute to the cardiac activity. Electrophysiological models of the heart have become very accurate in recent years giving rise to extremely complicated systems of differential equations. Although describing the behavior of cardiac cells quite well, the models are computationally demanding for numerical simulations and are very difficult to analyze from a mathematical (dynamical-systems) viewpoint. Simplified mathematical models that capture the underlying dynamics to a certain extent are therefore frequently used. The results presented in this thesis have confirmed that a close integration of computational modeling and experimental recordings in real myocytes, as performed by dynamic clamp, is a useful tool in enhancing our understanding of various components of normal cardiac electrophysiology, but also arrhythmogenic mechanisms in a pathological condition, especially when fully integrated with experimental data.

Il ruolo delle architetture di controllo nella progettazione e sviluppo di applicazioni web: Un confronto fra event-loop e control-loop utilizzando il linguaggio dart e linguaggi agent-oriented

Quando si parla di architetture di controllo in ambito Web, il Modello ad Eventi è indubbiamente quello più diffuso e adottato. L’asincronicità e l’elevata interazione con l’utente sono caratteristiche tipiche delle Web Applications, ed un architettura ad eventi, grazie all’adozione del suo tipico ciclo di controllo chiamato Event Loop, fornisce un'astrazione semplice ma sufficientemente espressiva per soddisfare tali requisiti. La crescita di Internet e delle tecnologie ad esso associate, assieme alle recenti conquiste in ambito di CPU multi-core, ha fornito terreno fertile per lo sviluppo di Web Applications sempre più complesse. Questo aumento di complessità ha portato però alla luce alcuni limiti del modello ad eventi, ancora oggi non del tutto risolti. Con questo lavoro si intende proporre un differente approccio a questa tipologia di problemi, che superi i limiti riscontrati nel modello ad eventi proponendo un architettura diversa, nata in ambito di IA ma che sta guadagno popolarità anche nel general-purpose: il Modello ad Agenti. Le architetture ad agenti adottano un ciclo di controllo simile all’Event Loop del modello ad eventi, ma con alcune profonde differenze: il Control Loop. Lo scopo di questa tesi sarà dunque approfondire le due tipologie di architetture evidenziandone le differenze, mostrando cosa significa affrontare un progetto e lo sviluppo di una Web Applications avendo tecnologie diverse con differenti cicli di controllo, mettendo in luce pregi e difetti dei due approcci.

Hunting for warped extra dimensions via loop-induced processes

This thesis is on loop-induced processes in theories with warped extra dimensions where the fermions and gauge bosons are allowed to propagate in the bulk, while the Higgs sector is localized on or near the infra-red brane. These so-called Randall-Sundrum (RS) models have the potential to simultaneously explain the hierarchy problem and address the question of what causes the large hierarchies in the fermion sector of the Standard Model (SM). The Kaluza-Klein (KK) excitations of the bulk fields can significantly affect the loop-level processes considered in this thesis and, hence, could indirectly indicate the existence of warped extra dimensions. The analytical part of this thesis deals with the detailed calculation of three loop-induced processes in the RS models in question: the Higgs production process via gluon fusion, the Higgs decay into two photons, and the flavor-changing neutral current b → sγ. A comprehensive, five-dimensional (5D) analysis will show that the amplitudes of the Higgs processes can be expressed in terms of integrals over 5D propagators with the Higgs-boson profile along the extra dimension, which can be used for arbitrary models with a compact extra dimension. To this end, both the boson and fermion propagators in a warped 5D background are derived. It will be shown that the seemingly contradictory results for the gluon fusion amplitude in the literature can be traced back to two distinguishable, not smoothly-connected incarnations of the RS model. The investigation of the b → sγ transition is performed in the KK decomposed theory. It will be argued that summing up the entire KK tower leads to a finite result, which can be well approximated by a closed, analytical expression.rnIn the phenomenological part of this thesis, the analytic results of all relevant Higgs couplings in the RS models in question are compared with current and in particular future sensitivities of the Large Hadron Collider (LHC) and the planned International Linear Collider. The latest LHC Higgs data is then used to exclude significant portions of the parameter space of each RS scenario. The analysis will demonstrate that especially the loop-induced Higgs couplings are sensitive to KK particles of the custodial RS model with masses in the multi tera-electronvolt range. Finally, the effect of the RS model on three flavor observables associated with the b → sγ transition are examined. In particular, we study the branching ratio of the inclusive decay B → X_s γ

BCJ-relations in quantum field theory

BCJ-relations have a series of important consequences in Quantum FieldrnTheory and in Gravity. In QFT, one can use BCJ-relations to reduce thernnumber of independent colour-ordered partial amplitudes and to relate nonplanarrnand planar diagrams in loop calculations. In addition, one can usernBCJ-numerators to construct gravity scattering amplitudes through a squaringrn procedure. For these reasons, it is important to nd a prescription tornobtain BCJ-numerators without requiring a diagram by diagram approach.rnIn this thesis, after introducing some basic concepts needed for the discussion,rnI will examine the existing diagrammatic prescriptions to obtainrnBCJ-numerators. Subsequently, I will present an algorithm to construct anrneective Yang-Mills Lagrangian which automatically produces kinematic numeratorsrnsatisfying BCJ-relations. A discussion on the kinematic algebrarnfound through scattering equations will then be presented as a way to xrnnon-uniqueness problems in the algorithm.

Simulazione numerica di un sistema geotermico a bassa entalpia open-loop in presenza di un gradiente geotermico anomalo

Il lavoro svolto nella presente tesi di laurea magistrale consiste nella modellazione e simulazione numerica, tramite il software commericale COMSOL MULTIPHYSICS, di un reservoir geotermico a bassa entalpia sfruttato mediante un impianto di teleriscaldamento a pompa di calore accoppiato ad un sistema open-loop.

Bouncing black holes in loop quantum gravity

In questo lavoro viene presentato un recente modello di buco nero che implementa le proprietà quantistiche di quelle regioni dello spaziotempo dove non possono essere ignorate, pena l'implicazione di paradossi concettuali e fenomenologici. In suddetto modello, la regione di spaziotempo dominata da comportamenti quantistici si estende oltre l'orizzonte del buco nero e suscita un'inversione, o più precisamente un effetto tunnel, della traiettoria di collasso della stella in una traiettoria di espansione simmetrica nel tempo. L'inversione impiega un tempo molto lungo per chi assiste al fenomeno a grandi distanze, ma inferiore al tempo di evaporazione del buco nero tramite radiazione di Hawking, trascurata e considerata come un effetto dissipativo da studiarsi in un secondo tempo. Il resto dello spaziotempo, fuori dalla regione quantistica, soddisfa le equazioni di Einstein. Successivamente viene presentata la teoria della Gravità Quantistica a Loop (LQG) che permetterebbe di studiare la dinamica della regione quantistica senza far riferimento a una metrica classica, ma facendo leva sul contenuto relazionale del tessuto spaziotemporale. Il campo gravitazionale viene riformulato in termini di variabili hamiltoniane in uno spazio delle fasi vincolato e con simmetria di gauge, successivamente promosse a operatori su uno spazio di Hilbert legato a una vantaggiosa discretizzazione dello spaziotempo. La teoria permette la definizione di un'ampiezza di transizione fra stati quantistici di geometria spaziotemporale, applicabile allo studio della regione quantistica nel modello di buco nero proposto. Infine vengono poste le basi per un calcolo in LQG dell'ampiezza di transizione del fenomeno di rimbalzo quantistico all'interno del buco nero, e di conseguenza per un calcolo quantistico del tempo di rimbalzo nel riferimento di osservatori statici a grande distanza da esso, utile per trattare a posteriori un modello che tenga conto della radiazione di Hawking e, auspicatamente, fornisca una possibile risoluzione dei problemi legati alla sua esistenza.

Loop ileostomy closure: comparison of cost effectiveness between suture and stapler

Closure of loop ileostomy can be safely performed using sutures or staplers. The aim of the present study was to compare the cost effectiveness of three different techniques.

Body Mass Index and Cancer Risk: The Evidence for Causal Association

Increased body mass index (BMI), as an approximation of body adiposity, is a risk factor for developing several adult malignancies. To quantify these risks, we reported a comprehensive systematic review (Lancet 2008; 371: 569-78) of prospective observational studies determining associations between BMI and risk of incident cancer for 20 cancer types. We demonstrated that associations are: (i) sex-specific; (ii) exist for a wider range of malignancies than previously thought; and (iii) are broadly consistent across geographic populations. In the present paper, we tested these data against the Bradford-Hill criteria of causal association, and argue that the available data support strength of association, consistency, specificity, temporality, biological gradient, plausibility, coherence and probably analogy. However, the experimental evidence supporting reversibility is currently lacking, though indirect evidence from longitudinal data in cohort studies and long-term follow-up post-bariatric surgery is emerging. We additionally assessed these data against appropriate adjustment for available confounding factors; measurement error and study design; and residual confounding; and found lack of alternative explanations. We conclude that there is considerable evidence to support a causal association between BMI and risk for many cancer types, but in order to establish the role of weight control in cancer prevention, there is a need to develop trial frameworks in which to better test reversibility.

Innate-like control of human iNKT cell autoreactivity via the hypervariable CDR3beta loop

Invariant Natural Killer T cells (iNKT) are a versatile lymphocyte subset with important roles in both host defense and immunological tolerance. They express a highly conserved TCR which mediates recognition of the non-polymorphic, lipid-binding molecule CD1d. The structure of human iNKT TCRs is unique in that only one of the six complementarity determining region (CDR) loops, CDR3beta, is hypervariable. The role of this loop for iNKT biology has been controversial, and it is unresolved whether it contributes to iNKT TCR:CD1d binding or antigen selectivity. On the one hand, the CDR3beta loop is dispensable for iNKT TCR binding to CD1d molecules presenting the xenobiotic alpha-galactosylceramide ligand KRN7000, which elicits a strong functional response from mouse and human iNKT cells. However, a role for CDR3beta in the recognition of CD1d molecules presenting less potent ligands, such as self-lipids, is suggested by the clonal distribution of iNKT autoreactivity. We demonstrate that the human iNKT repertoire comprises subsets of greatly differing TCR affinity to CD1d, and that these differences relate to their autoreactive functions. These functionally different iNKT subsets segregate in their ability to bind CD1d-tetramers loaded with the partial agonist alpha-linked glycolipid antigen OCH and structurally different endogenous beta-glycosylceramides. Using surface plasmon resonance with recombinant iNKT TCRs and different ligand-CD1d complexes, we demonstrate that the CDR3beta sequence strongly impacts on the iNKT TCR affinity to CD1d, independent of the loaded CD1d ligand. Collectively our data reveal a crucial role for CDR3beta for the function of human iNKT cells by tuning the overall affinity of the iNKT TCR to CD1d. This mechanism is relatively independent of the bound CD1d ligand and thus forms the basis of an inherent, CDR3beta dependent functional hierarchy of human iNKT cells.

A residue close to ?1 loop F disrupts modulation of GABAA receptors by benzodiazepines while their binding is maintained

Benzodiazepines act at the major isoforms of GABA type A receptors where they potentiate the current evoked by the agonist GABA. The underlying mechanism of this potentiation is poorly understood, but hypothesized to be related to the mechanism that links agonist binding to channel opening in these ligand activated ion channels. The loop F of the ?(1) and the ?(2) subunit have been implicated in channel gating, and loop F of the ?(2) subunit in the modulation by benzodiazepines. We have identified the conservative point mutation Y168F located N-terminally of loop F in the ?(1) subunit that fails to affect agonist properties. Interestingly, it disrupts modulation by benzodiazepines, but leaves high affinity binding to the benzodiazepine binding site intact. Modulation by barbiturates and neurosteroids is also unaffected. Residue ?(1) Y168 is not located either near the binding pockets for GABA, or for benzodiazepines, or close to the loop F of the ?(2) subunit. Our results support the fact, that broader regions of ligand gated receptors are conformationally affected by the binding of benzodiazepines. We infer that also broader regions could contribute to signaling from GABA agonist binding to channel opening.

A sequential Cox approach for estimating the causal effect of treatment in the presence of time-dependent confounding applied to data from the Swiss HIV Cohort Study

When estimating the effect of treatment on HIV using data from observational studies, standard methods may produce biased estimates due to the presence of time-dependent confounders. Such confounding can be present when a covariate, affected by past exposure, is both a predictor of the future exposure and the outcome. One example is the CD4 cell count, being a marker for disease progression for HIV patients, but also a marker for treatment initiation and influenced by treatment. Fitting a marginal structural model (MSM) using inverse probability weights is one way to give appropriate adjustment for this type of confounding. In this paper we study a simple and intuitive approach to estimate similar treatment effects, using observational data to mimic several randomized controlled trials. Each 'trial' is constructed based on individuals starting treatment in a certain time interval. An overall effect estimate for all such trials is found using composite likelihood inference. The method offers an alternative to the use of inverse probability of treatment weights, which is unstable in certain situations. The estimated parameter is not identical to the one of an MSM, it is conditioned on covariate values at the start of each mimicked trial. This allows the study of questions that are not that easily addressed fitting an MSM. The analysis can be performed as a stratified weighted Cox analysis on the joint data set of all the constructed trials, where each trial is one stratum. The model is applied to data from the Swiss HIV cohort study.

Patent foramen ovale may be causal for the first stroke but unrelated to subsequent ischemic events

Studies with very long follow-up are scarce in patients with cryptogenic stroke and patent foramen ovale (PFO). Little is known about the etiology of recurrent cerebrovascular events (CVE) in PFO patients.