Surface-Based tools for Characterizing the Human Brain Cortical Morphology

Tesis por compendio de publicacionesThe cortex of the human brain is highly convoluted. These characteristic convolutions present advantages over lissencephalic brains. For instance, gyrification allows an expansion of cortical surface area without significantly increasing the cranial volume, thus facilitating the pass of the head through the birth channel. Studying the human brain’s cortical morphology and the processes leading to the cortical folds has been critical for an increased understanding of the pathological processes driving psychiatric disorders such as schizophrenia, bipolar disorders, autism, or major depression. Furthermore, charting the normal developmental changes in cortical morphology during adolescence or aging can be of great importance for detecting deviances that may be precursors for pathology. However, the exact mechanisms that push cortical folding remain largely unknown. The accurate characterization of the neurodevelopment processes is challenging. Multiple mechanisms co-occur at a molecular or cellular level and can only be studied through the analysis of ex-vivo samples, usually of animal models. Magnetic Resonance Imaging can partially fill the breach, allowing the portrayal of the macroscopic processes surfacing on in-vivo samples. Different metrics have been defined to measure cortical structure to describe the brain’s morphological changes and infer the associated microstructural events. Metrics such as cortical thickness, surface area, or cortical volume help establish a relation between the measured voxels on a magnetic resonance image and the underlying biological processes. However, the existing methods present limitations or room for improvement. Methods extracting the lines representing the gyral and sulcal morphology tend to over- or underestimate the total length. These lines can provide important information about how sulcal and gyral regions function differently due to their distinctive ontogenesis. Nevertheless, some methods label every small fold on the cortical surface as a sulcal fundus, thus losing the perspective of lines that travel through the deeper zones of a sulcal basin. On the other hand, some methods are too restrictive, labeling sulcal fundi only for a bunch of primary folds. To overcome this issue, we have proposed a Laplacian-collapse-based algorithm that can delineate the lines traversing the top regions of the gyri and the fundi of the sulci avoiding anastomotic sulci. For this, the cortex, represented as a 3D surface, is segmented into gyral and sulcal surfaces attending to the curvature and depth at every point of the mesh. Each resulting surface is spatially filtered, smoothing the boundaries. Then, a Laplacian-collapse-based algorithm is applied to obtain a thinned representation of the morphology of each structure. These thin curves are processed to detect where the extremities or endpoints lie. Finally, sulcal fundi and gyral crown lines are obtained by eroding the surfaces while preserving the structure topology and connectivity between the endpoints. The assessment of the presented algorithm showed that the labeled sulcal lines were close to the proposed ground truth length values while crossing through the deeper (and more curved) regions. The tool also obtained reproducibility scores better or similar to those of previous algorithms. A second limitation of the existing metrics concerns the measurement of sulcal width. This metric, understood as the physical distance between the points on opposite sulcal banks, can come in handy in detecting cortical flattening or complementing the information provided by cortical thickness, gyrification index, or such features. Nevertheless, existing methods only provided averaged measurements for different predefined sulcal regions, greatly restricting the possibilities of sulcal width and ignoring the intra-region variability. Regarding this, we developed a method that estimates the distance from each sulcal point in the cortex to its corresponding opposite, thus providing a per-vertex map of the physical sulcal distances. For this, the cortical surface is sampled at different depth levels, detecting the points where the sulcal banks change. The points corresponding to each sulcal wall are matched with the closest point on a different one. The distance between those points is the sulcal width. The algorithm was validated against a simulated sulcus that resembles a simple fold. Then the tool was used on a real dataset and compared against two widely-used sulcal width estimation methods, averaging the proposed algorithm’s values into the same region definition those reference tools use. The resulting values were similar for the proposed and the reference methods, thus demonstrating the algorithm’s accuracy. Finally, both algorithms were tested on a real aging population dataset to prove the methods’ potential in a use-case scenario. The main idea was to elucidate fine-grained morphological changes in the human cortex with aging by conducting three analyses: a comparison of the age-dependencies of cortical thickness in gyral and sulcal lines, an analysis of how the sulcal and gyral length changes with age, and a vertex-wise study of sulcal width and cortical thickness. These analyses showed a general flattening of the cortex with aging, with interesting findings such as a differential age-dependency of thickness thinning in the sulcal and gyral regions. By demonstrating that our method can detect this difference, our results can pave the way for future in vivo studies focusing on macro- and microscopic changes specific to gyri or sulci. Our method can generate new brain-based biomarkers specific to sulci and gyri, and these can be used on large samples to establish normative models to which patients can be compared. In parallel, the vertex-wise analyses show that sulcal width is very sensitive to changes during aging, independent of cortical thickness. This corroborates the concept of sulcal width as a metric that explains, in the least, the unique variance of morphology not fully captured by existing metrics. Our method allows for sulcal width vertex-wise analyses that were not possible previously, potentially changing our understanding of how changes in sulcal width shape cortical morphology. In conclusion, this thesis presents two new tools, open source and publicly available, for estimating cortical surface-based morphometrics. The methods have been validated and assessed against existing algorithms. They have also been tested on a real dataset, providing new, exciting insights into cortical morphology and showing their potential for defining innovative biomarkers.Programa de Doctorado en Ciencia y Tecnología Biomédica por la Universidad Carlos III de MadridPresidente: Juan Domingo Gispert López.- Secretario: Norberto Malpica González de Vega.- Vocal: Gemma Cristina Monté Rubi

Tools and Algorithms for the Construction and Analysis of Systems

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems

Automated Deduction – CADE 28

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions

Tools and Algorithms for the Construction and Analysis of Systems

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems

Monitoring and modeling urban sprinkling: a new perspective of land take

According to the studies done until now on the recent urban transformation dynamics, namely urban sprinkling, this thesis aims to investigate the phenomenon from different points of view to bring out its unsustainable character. The urban dispersion phenomena, specific characteristic of low-density territories, will be examined through the sprinkling index by including new components in addition to the traditional settlement system components. It allows to evaluate the shape of the anthropic settlements and the distance between them which often results in fragmentation of the urban settlements which in turn generate landscape fragmentation. Nowadays, both in the proximity of large cities and in more external areas such as rural areas, there are often evidences of strong fragmentation of the anthropic settlements in which, even if the amount of occupied surface (land take) may not seem worrying, its configuration determines a general decrease in ecological connectivity, landscape quality and general degradation of soil functions. The general hypothesis is that fragmentation (of urban, landscape and habitat) can become an indicator of land take. In fact, it is not enough to consider only the loss of natural or agricultural areas, but also the distribution of buildings in the landscape matrix, i.e., its spatial component. An emblematic case is that of Basilicata region whose dynamics of transformation from the 50s to the present day will be investigated in this thesis. According to the latest report of the Italian Institute for Environmental Protection and Research (ISPRA 2020), the Basilicata region has only 3.15% of land consumption compared to the entire regional surface. This indicator is in contrast with the shape of the anthropic settlements which results fragmented and dispersed. It is essential that the effects of fragmentation as well as ecosystem disaggregation take on a "measurable" character, joining the list of indicators of urban and territorial quality such as land take and land consumption that European Union addresses to national communities currently consider essential and decisive to highlighting the efficiency/inefficiency of environmental and landscape management. It is crucial to understand and investigate what have been and will be in the future the most influential drivers on these dynamics that contribute intrinsically to land consumption and to define the addresses or the thresholds to contain this pulverized and disordered dissemination of anthropic settlements

Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 19-21, 2009

This booklet contains the proceedings of the Tenth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 19-21, 2009. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark. The papers are also available in electronic form via the web pages: http://www.cs.au.dk/CPnets/events/workshop0

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing

Foundations of Software Science and Computation Structures

This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems