Sonno e funzioni cognitive: ruolo della microstruttura del sonno NREM

STUDY OBJECTIVE: Cyclic Alternating Pattern (CAP) is a fluctuation of the arousal level during NREM sleep and consists of the alternation between two phases: phase A (divided into three subtypes A1, A2, and A3) and phase B. A1 is thought to be generated by the frontal cortex and is characterized by the presence of K complexes or delta bursts; additionally, CAP A1 seems to have a role in the involvement of sleep slow wave activity in cognitive processing. Our hypothesis was that an overall CAP rate would have a negative influence on cognitive performance due to excessive fluctuation of the arousal level during NREM sleep. However, we also predicted that CAP A1 would be positively correlated with cognitive functions, especially those related to frontal lobe functioning. For this reason, the objective of our study was to correlate objective sleep parameters with cognitive behavioral measures in normal healthy adults. METHODS: 8 subjects (4 males; 4 females; mean age 27.75 years, range 2334) were recruited for this study. Two nocturnal polysomnography (night 2 and 3 = N2 and N3) were carried out after a night of adaptation. A series of neuropsychological tests were performed by the subjects in the morning and afternoon of the second day (D2am; D2pm) and in the morning of the third day (D3am). Raw scores from the neuropsychological tests were used as dependent variables in the statistical analysis of the results. RESULTS: We computed a series of partial correlations between sleep microstructure parameters (CAP, A1, A2 and A3 rate) and a number of indices of cognitive functioning. CAP rate was positively correlated with visuospatial working memory (Corsi block test), Trial Making Test Part A (planning and motor sequencing) and the retention of words from the Hopkins Verbal Learning Test (HVLT). Conversely, CAP was negatively correlated with visuospatial fluency (Ruff Figure Fluency Test). CAP A1 were correlated with many of the tests of neuropsychological functioning, such as verbal fluency (as measured by the COWAT), working memory (as measured by the Digit Span – Backward test), and both delay recall and retention of the words from the HVLT. The same parameters were found to be negatively correlated with CAP A2 subtypes. CAP 3 were negatively correlated with the Trial Making Test Parts A and B. DISCUSSION: To our knowledge this is the first study indicating a role of CAP A1 and A2 on behavioral cognitive performance of healthy adults. The results suggest that high rate of CAP A1 might be related to an improvement whereas high rate of CAP A2 to a decline of cognitive functions. Further studies need to be done to better determine the role of the overall CAP rate and CAP A3 on cognitive behavioral performances.

Coordinated Control of Robotic Swarms in Unknown Environments

This thesis gathers the work carried out by the author in the last three years of research and it concerns the study and implementation of algorithms to coordinate and control a swarm of mobile robots moving in unknown environments. In particular, the author's attention is focused on two different approaches in order to solve two different problems. The first algorithm considered in this work deals with the possibility of decomposing a main complex task in many simple subtasks by exploiting the decentralized implementation of the so called \emph{Null Space Behavioral} paradigm. This approach to the problem of merging different subtasks with assigned priority is slightly modified in order to handle critical situations that can be detected when robots are moving through an unknown environment. In fact, issues can occur when one or more robots got stuck in local minima: a smart strategy to avoid deadlock situations is provided by the author and the algorithm is validated by simulative analysis. The second problem deals with the use of concepts borrowed from \emph{graph theory} to control a group differential wheel robots by exploiting the Laplacian solution of the consensus problem. Constraints on the swarm communication topology have been introduced by the use of a range and bearing platform developed at the Distributed Intelligent Systems and Algorithms Laboratory (DISAL), EPFL (Lausanne, CH) where part of author's work has been carried out. The control algorithm is validated by demonstration and simulation analysis and, later, is performed by a team of four robots engaged in a formation mission. To conclude, the capabilities of the algorithm based on the local solution of the consensus problem for differential wheel robots are demonstrated with an application scenario, where nine robots are engaged in a hunting task.

Geometric and Combinatorial Aspects of NonEquilibrium Statistical Mechanics

Non-Equilibrium Statistical Mechanics is a broad subject. Grossly speaking, it deals with systems which have not yet relaxed to an equilibrium state, or else with systems which are in a steady non-equilibrium state, or with more general situations. They are characterized by external forcing and internal fluxes, resulting in a net production of entropy which quantifies dissipation and the extent by which, by the Second Law of Thermodynamics, time-reversal invariance is broken. In this thesis we discuss some of the mathematical structures involved with generic discrete-state-space non-equilibrium systems, that we depict with networks in all analogous to electrical networks. We define suitable observables and derive their linear regime relationships, we discuss a duality between external and internal observables that reverses the role of the system and of the environment, we show that network observables serve as constraints for a derivation of the minimum entropy production principle. We dwell on deep combinatorial aspects regarding linear response determinants, which are related to spanning tree polynomials in graph theory, and we give a geometrical interpretation of observables in terms of Wilson loops of a connection and gauge degrees of freedom. We specialize the formalism to continuous-time Markov chains, we give a physical interpretation for observables in terms of locally detailed balanced rates, we prove many variants of the fluctuation theorem, and show that a well-known expression for the entropy production due to Schnakenberg descends from considerations of gauge invariance, where the gauge symmetry is related to the freedom in the choice of a prior probability distribution. As an additional topic of geometrical flavor related to continuous-time Markov chains, we discuss the Fisher-Rao geometry of nonequilibrium decay modes, showing that the Fisher matrix contains information about many aspects of non-equilibrium behavior, including non-equilibrium phase transitions and superposition of modes. We establish a sort of statistical equivalence principle and discuss the behavior of the Fisher matrix under time-reversal. To conclude, we propose that geometry and combinatorics might greatly increase our understanding of nonequilibrium phenomena.

A parallel community detection algorithm

Complex networks analysis is a very popular topic in computer science. Unfortunately this networks, extracted from different contexts, are usually very large and the analysis may be very complicated: computation of metrics on these structures could be very complex. Among all metrics we analyse the extraction of subnetworks called communities: they are groups of nodes that probably play the same role within the whole structure. Communities extraction is an interesting operation in many different fields (biology, economics,...). In this work we present a parallel community detection algorithm that can operate on networks with huge number of nodes and edges. After an introduction to graph theory and high performance computing, we will explain our design strategies and our implementation. Then, we will show some performance evaluation made on a distributed memory architectures i.e. the supercomputer IBM-BlueGene/Q "Fermi" at the CINECA supercomputing center, Italy, and we will comment our results.

Mathematical aspects of Feynman integrals

In the present dissertation we consider Feynman integrals in the framework of dimensional regularization. As all such integrals can be expressed in terms of scalar integrals, we focus on this latter kind of integrals in their Feynman parametric representation and study their mathematical properties, partially applying graph theory, algebraic geometry and number theory. The three main topics are the graph theoretic properties of the Symanzik polynomials, the termination of the sector decomposition algorithm of Binoth and Heinrich and the arithmetic nature of the Laurent coefficients of Feynman integrals.rnrnThe integrand of an arbitrary dimensionally regularised, scalar Feynman integral can be expressed in terms of the two well-known Symanzik polynomials. We give a detailed review on the graph theoretic properties of these polynomials. Due to the matrix-tree-theorem the first of these polynomials can be constructed from the determinant of a minor of the generic Laplacian matrix of a graph. By use of a generalization of this theorem, the all-minors-matrix-tree theorem, we derive a new relation which furthermore relates the second Symanzik polynomial to the Laplacian matrix of a graph.rnrnStarting from the Feynman parametric parameterization, the sector decomposition algorithm of Binoth and Heinrich serves for the numerical evaluation of the Laurent coefficients of an arbitrary Feynman integral in the Euclidean momentum region. This widely used algorithm contains an iterated step, consisting of an appropriate decomposition of the domain of integration and the deformation of the resulting pieces. This procedure leads to a disentanglement of the overlapping singularities of the integral. By giving a counter-example we exhibit the problem, that this iterative step of the algorithm does not terminate for every possible case. We solve this problem by presenting an appropriate extension of the algorithm, which is guaranteed to terminate. This is achieved by mapping the iterative step to an abstract combinatorial problem, known as Hironaka's polyhedra game. We present a publicly available implementation of the improved algorithm. Furthermore we explain the relationship of the sector decomposition method with the resolution of singularities of a variety, given by a sequence of blow-ups, in algebraic geometry.rnrnMotivated by the connection between Feynman integrals and topics of algebraic geometry we consider the set of periods as defined by Kontsevich and Zagier. This special set of numbers contains the set of multiple zeta values and certain values of polylogarithms, which in turn are known to be present in results for Laurent coefficients of certain dimensionally regularized Feynman integrals. By use of the extended sector decomposition algorithm we prove a theorem which implies, that the Laurent coefficients of an arbitrary Feynman integral are periods if the masses and kinematical invariants take values in the Euclidean momentum region. The statement is formulated for an even more general class of integrals, allowing for an arbitrary number of polynomials in the integrand.

Pharmacological Rescue of Dendritic Pathology in the Ts65Dn Mouse Model of Down Syndrome

Down syndrome (DS) is a genetic pathology characterized by brain hypotrophy and severe cognitive disability. Although defective neurogenesis is an important determinant of cognitive impairment, a severe dendritic pathology appears to be an equally important factor. It is well established that serotonin plays a pivotal role both on neurogenesis and dendritic maturation. Since the serotonergic system is profoundly altered in the DS brain, we wondered whether defects in the hippocampal development can be rescued by treatment with fluoxetine, a selective serotonin reuptake inhibitor and a widely used antidepressant drug. A previous study of our group showed that fluoxetine fully restores neurogenesis in the Ts65Dn mouse model of DS and that this effect is accompanied by a recovery of memory functions. The goal of the current study was to establish whether fluoxetine also restores dendritic development and maturation. In mice aged 45 days, treated with fluoxetine in the postnatal period P3-P15, we examined the dendritic arbor of newborn and mature granule cells of the dentate gyrus (DG). The granule cells of trisomic mice had a severely hypotrophic dendritic arbor, fewer spines and a reduced innervation than euploid mice. Treatment with fluoxetine fully restored all these defects. Moreover the impairment of excitatory and inhibitory inputs to CA3 pyramidal neurons was fully normalized in treated trisomic mice, indicating that fluoxetine can rescue functional connectivity between the DG and CA3. The widespread beneficial effects of fluoxetine on the hippocampal formation suggest that early treatment with fluoxetine can be a suitable therapy, possibly usable in humans, to restore the physiology of the hippocampal networks and, hence, memory functions. These findings may open the way for future clinical trials in children and adolescents with DS.

Residual function, spontaneous reorganisation and treatment plasticity in homonymous visual field defects

This thesis will focus on the residual function and visual and attentional deficits in human patients, which accompany damage to the visual cortex or its thalamic afferents, and plastic changes, which follow it. In particular, I will focus on homonymous visual field defects, which comprise a broad set of central disorders of vision. I will present experimental evidence that when the primary visual pathway is completely damaged, the only signal that can be implicitly processed via subcortical visual networks is fear. I will also present data showing that in a patient with relative deafferentation of visual cortex, changes in the spatial tuning and response gain of the contralesional and ipsilesional cortex are observed, which are accompanied by changes in functional connectivity with regions belonging to the dorsal attentional network and the default mode network. I will also discuss how cortical plasticity might be harnessed to improve recovery through novel treatments. Moreover, I will show how treatment interventions aimed at recruiting spared subcortical pathway supporting multisensory orienting can drive network level change.

Teoria del consenso e applicazione al problema del coordinamento del moto di robot.

Il sempre crescente numero di applicazioni di reti di sensori, robot cooperanti e formazioni di veicoli, ha fatto sì che le problematiche legate al coordinamento di sistemi multi-agente (MAS) diventassero tra le più studiate nell’ambito della teoria dei controlli. Esistono numerosi approcci per affrontare il problema, spesso profondamente diversi tra loro. La strategia studiata in questa tesi è basata sulla Teoria del Consenso, che ha una natura distribuita e completamente leader-less; inoltre il contenuto informativo scambiato tra gli agenti è ridotto al minimo. I primi 3 capitoli introducono ed analizzano le leggi di interazione (Protocolli di Consenso) che permettono di coordinare un Network di sistemi dinamici. Nel capitolo 4 si pensa all'applicazione della teoria al problema del "loitering" circolare di più robot volanti attorno ad un obiettivo in movimento. Si sviluppa a tale scopo una simulazione in ambiente Matlab/Simulink, che genera le traiettorie di riferimento di raggio e centro impostabili, a partire da qualunque posizione iniziale degli agenti. Tale simulazione è stata utilizzata presso il “Center for Research on Complex Automated Systems” (CASY-DEI Università di Bologna) per implementare il loitering di una rete di quadrirotori "CrazyFlie". I risultati ed il setup di laboratorio sono riportati nel capitolo 5. Sviluppi futuri si concentreranno su algoritmi locali che permettano agli agenti di evitare collisioni durante i transitori: il controllo di collision-avoidance dovrà essere completamente indipendente da quello di consenso, per non snaturare il protocollo di Consenso stesso.

Statistical mechanics of polymer models: rigorous results and applications

Monomer-dimer models are amongst the models in statistical mechanics which found application in many areas of science, ranging from biology to social sciences. This model describes a many-body system in which monoatomic and diatomic particles subject to hard-core interactions get deposited on a graph. In our work we provide an extension of this model to higher-order particles. The aim of our work is threefold: first we study the thermodynamic properties of the newly introduced model. We solve analytically some regular cases and find that, differently from the original, our extension admits phase transitions. Then we tackle the inverse problem, both from an analytical and numerical perspective. Finally we propose an application to aggregation phenomena in virtual messaging services.

Interference with gesture production by theta burst stimulation over left inferior frontal cortex

The traditional view of a predominant inferior parietal representation of gestures has been recently challenged by neuroimaging studies demonstrating that gesture production and discrimination may critically depend on inferior frontal lobe function. The aim of the present work was therefore to investigate the effect of transient disruption of these brain sites by continuous theta burst stimulation (cTBS) on gesture production and recognition.

Common parietal activation in musical mental transformations across pitch and time

We previously observed that mental manipulation of the pitch level or temporal organization of melodies results in functional activation in the human intraparietal sulcus (IPS), a region also associated with visuospatial transformation and numerical calculation. Two outstanding questions about these musical transformations are whether pitch and time depend on separate or common processing in IPS, and whether IPS recruitment in melodic tasks varies depending upon the degree of transformation required (as it does in mental rotation). In the present study we sought to answer these questions by applying functional magnetic resonance imaging while musicians performed closely matched mental transposition (pitch transformation) and melody reversal (temporal transformation) tasks. A voxel-wise conjunction analysis showed that in individual subjects, both tasks activated overlapping regions in bilateral IPS, suggesting that a common neural substrate subserves both types of mental transformation. Varying the magnitude of mental pitch transposition resulted in variation of IPS BOLD signal in correlation with the musical key-distance of the transposition, but not with the pitch distance, indicating that the cognitive metric relevant for this type of operation is an abstract one, well described by music-theoretic concepts. These findings support a general role for the IPS in systematically transforming auditory stimulus representations in a nonspatial context. (C) 2013 Elsevier Inc. All rights reserved.

Discovering imaging endophenotypes for major depression

Psychiatry research lacks an in-depth understanding of mood disorders phenotypes, leading to limited success of genetics studies of major depressive disorder (MDD). The dramatic progress in safe and affordable magnetic resonance-based imaging methods has the potential to identify subtle abnormalities of neural structures, connectivity and function in mood disordered subjects. This review paper presents strategies to improve the phenotypic definition of MDD by proposing imaging endophenotypes derived from magnetic resonance spectroscopy measures, such as cortical gamma-amino butyric acid (GABA) and glutamate/glutamine concentrations, and from measures of resting-state activity and functional connectivity. The proposed endophenotypes are discussed regarding specificity, mood state-independence, heritability, familiarity, clinical relevance and possible associations with candidate genes. By improving phenotypic definitions, the discovery of new imaging endophenotypes will increase the power of candidate gene and genome-wide associations studies. It will also help to develop and evaluate novel therapeutic treatments and enable clinicians to apply individually tailored therapeutic approaches. Finally, improvements of the phenotypic definition of MDD based on neuroimaging measures will contribute to a new classification system of mood disorders based on etiology and pathophysiology.

Widespread grey matter changes and hemodynamic correlates to interictal epileptiform discharges in pharmacoresistant mesial temporal epilepsy

Focal onset epilepsies most often occur in the temporal lobes. To improve diagnosis and therapy of patients suffering from pharmacoresistant temporal lobe epilepsy it is highly important to better understand the underlying functional and structural networks. In mesial temporal lobe epilepsy (MTLE) widespread functional networks are involved in seizure generation and propagation. In this study we have analyzed the spatial distribution of hemodynamic correlates (HC) to interictal epileptiform discharges on simultaneous EEG/fMRI recordings and relative grey matter volume (rGMV) reductions in 10 patients with MTLE. HC occurred beyond the seizure onset zone in the hippocampus, in the ipsilateral insular/operculum, temporo-polar and lateral neocortex, cerebellum, along the central sulcus and bilaterally in the cingulate gyrus. rGMV reductions were detected in the middle temporal gyrus, inferior temporal gyrus and uncus to the hippocampus, the insula, the posterior cingulate and the anterior lobe of the cerebellum. Overlaps between HC and decreased rGMV were detected along the mesolimbic network ipsilateral to the seizure onset zone. We conclude that interictal epileptic activity in MTLE induces widespread metabolic changes in functional networks involved in MTLE seizure activity. These functional networks are spatially overlapping with areas that show a reduction in relative grey matter volumes.

Quantification of network perfusion in ASL cerebral blood flow data with seed based and ICA approaches

Independent component analysis (ICA) or seed based approaches (SBA) in functional magnetic resonance imaging blood oxygenation level dependent (BOLD) data became widely applied tools to identify functionally connected, large scale brain networks. Differences between task conditions as well as specific alterations of the networks in patients as compared to healthy controls were reported. However, BOLD lacks the possibility of quantifying absolute network metabolic activity, which is of particular interest in the case of pathological alterations. In contrast, arterial spin labeling (ASL) techniques allow quantifying absolute cerebral blood flow (CBF) in rest and in task-related conditions. In this study, we explored the ability of identifying networks in ASL data using ICA and to quantify network activity in terms of absolute CBF values. Moreover, we compared the results to SBA and performed a test-retest analysis. Twelve healthy young subjects performed a fingertapping block-design experiment. During the task pseudo-continuous ASL was measured. After CBF quantification the individual datasets were concatenated and subjected to the ICA algorithm. ICA proved capable to identify the somato-motor and the default mode network. Moreover, absolute network CBF within the separate networks during either condition could be quantified. We could demonstrate that using ICA and SBA functional connectivity analysis is feasible and robust in ASL-CBF data. CBF functional connectivity is a novel approach that opens a new strategy to evaluate differences of network activity in terms of absolute network CBF and thus allows quantifying inter-individual differences in the resting state and task-related activations and deactivations.

Brain areas involved in medial temporal lobe seizures: a principal component analysis of ictal SPECT data

The study describes brain areas involved in medial temporal lobe (mTL) seizures of 12 patients. All patients showed so-called oro-alimentary behavior within the first 20 s of clinical seizure manifestation characteristic of mTL seizures. Single photon emission computed tomography (SPECT) images of regional cerebral blood flow (rCBF) were acquired from the patients in ictal and interictal phases and from normal volunteers. Image analysis employed categorical comparisons with statistical parametric mapping and principal component analysis (PCA) to assess functional connectivity. PCA supplemented the findings of the categorical analysis by decomposing the covariance matrix containing images of patients and healthy subjects into distinct component images of independent variance, including areas not identified by the categorical analysis. Two principal components (PCs) discriminated the subject groups: patients with right or left mTL seizures and normal volunteers, indicating distinct neuronal networks implicated by the seizure. Both PCs were correlated with seizure duration, one positively and the other negatively, confirming their physiological significance. The independence of the two PCs yielded a clear clustering of subject groups. The local pattern within the temporal lobe describes critical relay nodes which are the counterpart of oro-alimentary behavior: (1) right mesial temporal zone and ipsilateral anterior insula in right mTL seizures, and (2) temporal poles on both sides that are densely interconnected by the anterior commissure. Regions remote from the temporal lobe may be related to seizure propagation and include positively and negatively loaded areas. These patterns, the covarying areas of the temporal pole and occipito-basal visual association cortices, for example, are related to known anatomic paths.