Diagnosing cognitive (mental health) disorders is a delicate and complex task. Identifying the next most informative symptoms to assess, in order to distinguish between possible disorders, presents an additional challenge. This process requires comprehensive knowledge of diagnostic criteria and symptom overlap across disorders, making it difficult to navigate based on symptoms alone. This research aims to develop a recommender system for cognitive disorder diagnosis using binary matrix representations. The core algorithm utilizes a binary matrix of disorders and their symptom combinations. It filters through the rows and columns based on the patient's current symptoms to identify potential disorders and recommend the most informative next symptoms to examine. A prototype of the recommender system was implemented in Python. Using synthetic test and some real-life data, the system successfully identified plausible disorders from an initial symptom set and recommended further symptoms to refine the diagnosis. It also provided additional context on the symptom-disorder relationships. Although this is a prototype, the recommender system shows potential as a clinical support tool. A full
Mental disorders are among the foremost contributors to the global healthcare challenge. Research indicates that timely diagnosis and intervention are vital in treating various mental disorders. However, the early somatization symptoms of certain mental disorders may not be immediately evident, often resulting in their oversight and misdiagnosis. Additionally, the traditional diagnosis methods incur high time and cost. Deep learning methods based on fMRI and EEG have improved the efficiency of the mental disorder detection process. However, the cost of the equipment and trained staff are generally huge. Moreover, most systems are only trained for a specific mental disorder and are not general-purpose. Recently, physiological studies have shown that there are some speech and facial-related symptoms in a few mental disorders (e.g., depression and ADHD). In this paper, we focus on the emotional expression features of mental disorders and introduce a multimodal mental disorder diagnosis system based on audio-visual information input. Our proposed system is based on spatial-temporal attention networks and innovative uses a less computationally intensive pre-train audio recognition netwo
Neurological and Physiological Disorders that impact emotional regulation each have their own unique characteristics which are important to understand in order to create a generalized solution to all of them. The purpose of this experiment is to explore the potential applications of EEG-based Brain-Computer Interfaces (BCIs) in enhancing emotional regulation for individuals with neurological and physiological disorders. The research focuses on the development of a novel neural network algorithm for understanding EEG data, with a particular emphasis on recognizing and regulating emotional states. The procedure involves the collection of EEG-based emotion data from open-Neuro. Using novel data modification techniques, information from the dataset can be altered to create a dataset that has neural patterns of patients with disorders whilst showing emotional change. The data analysis reveals promising results, as the algorithm is able to successfully classify emotional states with a high degree of accuracy. This suggests that EEG-based BCIs have the potential to be a valuable tool in aiding individuals with a range of neurological and physiological disorders in recognizing and regulati
We investigate the impact of several quasiperiodic disorders and their continuous interpolation with the Aubry-Andre (AA) potential on the Hofstadter butterfly using mean field approximation at zero temperature for a two-dimensional square lattice. Weak disorder mildly smears the fractal spectrum, while strong quasiperiodic potentials destroy the butterfly and generate multiple energy gaps. The AA potential produces the strongest spectral restructuring, creating prominent gaps near half-filling. Interpolating AA with other quasiperiodic potentials reveals competing gap-opening mechanisms, ranging from AA-dominated gaps at small interpolation parameters to a robust half-filling gap generated by the competing disorders at large parameters. Entanglement entropy follows the area law at low and high magnetic fields but shows pronounced deviations at intermediate fields, with opposite trends for strong AA versus other quasiperiodic potentials. Localization analysis using IPR and NPR confirms enhanced localization with increasing disorder; the AA potential yields the largest IPR, with notable field dependence. Interpolation produces smooth crossovers between distinct localization regimes.
Bounded Model Checking (BMC) is a widely used software verification technique. Despite its successes, the technique has several limiting factors, from state-space explosion to lack of completeness. Over the years, interval analysis has repeatedly been proposed as a partial solution to these limitations. In this work, we evaluate whether the computational cost of interval analysis yields significant enough improvements in BMC's performance to justify its use. In more detail, we quantify the benefits of interval analysis on two benchmarks: the Intel Core Power Management firmware and 9537 programs in the ReachSafety category of the International Competition on Software Verification. Our results show that interval analysis is essential in solving 203 unique benchmarks.
Several studies have been reported in the literature for the automatic detection of mental disorders. It is reported that mental disorders are highly correlated. The exploration of this fact for the automatic detection of mental disorders is yet to explore. Emotion regulation difficulties (ERD) characterize several mental disorders. Motivated by that, we investigated the use of ERD for the detection of two opted mental disorders in this study. For this, we have collected audio-video data of human subjects while conversing with a computer agent based on a specific questionnaire. Subsequently, a subject's responses are collected to obtain the ground truths of the audio-video data of that subject. The results indicate that the ERD can be used as an intermediate representation of audio-video data for detecting mental disorders.
We study the one-dimensional tight-binding model with quasi-periodic disorders, where the quasi-period is tuned to be very large. It is found that this type of model with large quasi-periodic disorders can also support the mobility edges, which is very similar to the models with slowly varying quasi-periodic disorders. The energy matching method is employed to determine the locations of mobility edges in both types of models. These results of mobility edges are verified by numerical calculations in various examples. We also provide a qualitative arguments to support the fact that large quasi-periodic disorders will lead to the existence of mobility edges.
According to the World Health Organization (WHO), one in four people will be affected by mental disorders at some point in their lives. However, in many parts of the world, patients do not actively seek professional diagnosis because of stigma attached to mental illness, ignorance of mental health and its associated symptoms. In this paper, we propose a model for passively detecting mental disorders using conversations on Reddit. Specifically, we focus on a subset of mental disorders that are characterized by distinct emotional patterns (henceforth called emotional disorders): major depressive, anxiety, and bipolar disorders. Through passive (i.e., unprompted) detection, we can encourage patients to seek diagnosis and treatment for mental disorders. Our proposed model is different from other work in this area in that our model is based entirely on the emotional states, and the transition between these states of users on Reddit, whereas prior work is typically based on content-based representations (e.g., n-grams, language model embeddings, etc). We show that content-based representation is affected by domain and topic bias and thus does not generalize, while our model, on the other
The hypothalamic-pituitary-adrenal (HPA) axis is a neuroendocrine system that regulates numerous physiological processes. Disruptions in the activity of the HPA axis are correlated with many stress-related diseases such as post-traumatic stress disorder (PTSD) and major depressive disorder. In this paper, we characterize "normal" and "diseased" states of the HPA axis as basins of attraction of a dynamical system describing the inhibition of peptide hormones such as corticotropin-releasing hormone (CRH) and adrenocorticotropic hormone (ACTH) by circulating glucocorticoids such as cortisol (CORT). In addition to including key physiological features such as ultradian oscillations in cortisol levels and self-upregulation of CRH neuron activity, our model distinguishes the relatively slow process of cortisol-mediated CRH biosynthesis from rapid trans-synaptic effects that regulate the CRH secretion process. Crucially, we find that the slow regulation mechanism mediates external stress-driven transitions between the stable states in novel, intensity, duration, and timing-dependent ways. These results indicate that the timing of traumatic events may be an important factor in determining i
The primary method for identifying mental disorders automatically has traditionally involved using binary classifiers. These classifiers are trained using behavioral data obtained from an interview setup. In this training process, data from individuals with the specific disorder under consideration are categorized as the positive class, while data from all other participants constitute the negative class. In practice, it is widely recognized that certain mental disorders share similar symptoms, causing the collected behavioral data to encompass a variety of attributes associated with multiple disorders. Consequently, attributes linked to the targeted mental disorder might also be present within the negative class. This data impurity may lead to sub-optimal training of the classifier for a mental disorder of interest. In this study, we investigate this hypothesis in the context of major depressive disorder (MDD) and post-traumatic stress disorder detection (PTSD). The results show that upon removal of such data impurity, MDD and PTSD detection performances are significantly improved.
Topological states of matter in disordered systems without translation symmetry have attracted great interest in recent years. These states with topological characters are not only robust against certain disorders, but also can be counterintuitively induced by disorders from a topologically trivial phase in the clean limit. In this review, we summarize the current theoretical and experimental progress on disorder-induced topological phases in both condensed-matter and artificial systems. We first introduce the topological Anderson insulators (TAIs) induced by random disorders and their topological characterizations and experimental realizations. We then discuss various extensions of TAIs with unique localization phenomena in quasiperiodic and non-Hermitian systems. We also review the theoretical and experimental studies on the disorder-induced topology in dynamical and many-body systems, including topological Anderson-Thouless pumps, disordered correlated topological insulators and average-symmetry protected topological orders acting as interacting TAI phases. Finally, we conclude the review by highlighting potential directions for future explorations.
Although displaying genetic correlations, psychiatric disorders are clinically defined as categorical entities as they each have distinguishing clinical features and may involve different treatments. Identifying differential genetic variations between these disorders may reveal how the disorders differ biologically and help to guide more personalized treatment. Here we presented a comprehensive analysis to identify genetic markers differentially associated with various psychiatric disorders/traits based on GWAS summary statistics, covering 18 psychiatric traits/disorders and 26 comparisons. We also conducted comprehensive analysis to unravel the genes, pathways and SNP functional categories involved, and the cell types and tissues implicated. We also assessed how well one could distinguish between psychiatric disorders by polygenic risk scores (PRS). SNP-based heritabilities (h2SNP) were significantly larger than zero for most comparisons. Based on current GWAS data, PRS have mostly modest power to distinguish between psychiatric disorders. For example, we estimated that AUC for distinguishing schizophrenia from major depressive disorder (MDD), bipolar disorder (BPD) from MDD and s
Non-invasive brain imaging techniques allow understanding the behavior and macro changes in the brain to determine the progress of a disease. However, computational pathology provides a deeper understanding of brain disorders at cellular level, able to consolidate a diagnosis and make the bridge between the medical image and the omics analysis. In traditional histopathology, histology slides are visually inspected, under the microscope, by trained pathologists. This process is time-consuming and labor-intensive; therefore, the emergence of Computational Pathology has triggered great hope to ease this tedious task and make it more robust. This chapter focuses on understanding the state-of-the-art machine learning techniques used to analyze whole slide images within the context of brain disorders. We present a selective set of remarkable machine learning algorithms providing discriminative approaches and quality results on brain disorders. These methodologies are applied to different tasks, such as monitoring mechanisms contributing to disease progression and patient survival rates, analyzing morphological phenotypes for classification and quantitative assessment of disease, improvin
Finding software vulnerabilities in concurrent programs is a challenging task due to the size of the state-space exploration, as the number of interleavings grows exponentially with the number of program threads and statements. We propose and evaluate EBF (Ensembles of Bounded Model Checking with Fuzzing) -- a technique that combines Bounded Model Checking (BMC) and Gray-Box Fuzzing (GBF) to find software vulnerabilities in concurrent programs. Since there are no publicly-available GBF tools for concurrent code, we first propose OpenGBF -- a new open-source concurrency-aware gray-box fuzzer that explores different thread schedules by instrumenting the code under test with random delays. Then, we build an ensemble of a BMC tool and OpenGBF in the following way. On the one hand, when the BMC tool in the ensemble returns a counterexample, we use it as a seed for OpenGBF, thus increasing the likelihood of executing paths guarded by complex mathematical expressions. On the other hand, we aggregate the outcomes of the BMC and GBF tools in the ensemble using a decision matrix, thus improving the accuracy of EBF. We evaluate EBF against state-of-the-art pure BMC tools and show that it can
We study the interplay between fermion-fermion interactions and disorder scatterings beneath the superconducting dome of noncentrosymmetric nodal-line superconductors. With the application of renormalization group, several interesting low-energy behaviors are extracted from the coupled equations of all interaction parameters. At the clean limit, fermion-fermion interactions decrease with lowering the energy scales but conversely fermion velocities climb up and approach certain saturated values. This yields a slight decrease or increase of the anisotropy of fermion velocities depending upon their initial ratio. After bringing out four kinds of disorders designated by the random charge ($Δ_{1}$), random mass ($Δ_{2}$), random axial chemical potential ($Δ_{3}$), and spin-orbit scatterers ($Δ_{4}$) based on their own unique features, we begin with presenting the distinct low-energy fates of these disorders. For the presence of sole disorder, its strength becomes either relevant ($Δ_{1,4}$) or irrelevant($Δ_{2,3}$) in the low-energy regime. However, the competition for multiple sorts of disorders is capable of qualitatively reshaping the low-energy properties of disorders $Δ_{2,3,4}$. B
Bounded model checking (BMC) and fuzzing techniques are among the most effective methods for detecting errors and security vulnerabilities in software. However, there are still shortcomings in detecting these errors due to the inability of existent methods to cover large areas in target code. We propose FuSeBMC v4, a test generator that synthesizes seeds with useful properties, that we refer to as smart seeds, to improve the performance of its hybrid fuzzer thereby achieving high C program coverage. FuSeBMC works by first analyzing and incrementally injecting goal labels into the given C program to guide BMC and Evolutionary Fuzzing engines. After that, the engines are employed for an initial period to produce the so-called smart seeds. Finally, the engines are run again, with these smart seeds as starting seeds, in an attempt to achieve maximum code coverage / find bugs. During both seed generation and normal running, coordination between the engines is aided by the Tracer subsystem. This subsystem carries out additional coverage analysis and updates a shared memory with information on goals covered so far. Furthermore, the Tracer evaluates test cases dynamically to convert cases
Different disorders lead to various localization and topological phenomena in condensed matter and artificial systems. Here we study the topological and localization properties in one-dimensional Su-Schrieffer-Heeger model with spatially correlated random binary disorders. It is found that random binary disorders can induce the topological Anderson insulating phase from the trivial insulator in various parameter regions. The topological Anderson insulators are characterized by the disorder-averaged winding number and localized bulk states revealed by the inverse participation ratio in both real and momentum spaces. We show that the topological phase boundaries are consistent with the analytical results of the self-consistent Born approach and the localization length of zero-energy modes, and discuss how the bimodal probability affects the disorder-induced topological phases. The topological characters can be detected from the mean chiral displacement in atomic or photonic systems. Our work provides an extension of the topological Anderson insulators to the case of correlated disorders.
For the nanoscale structures, disorder scattering plays a vital role in the carriers' transport, including electrons and high-frequency phonons. The capability for effectively treating the disorders, including both diagonal and off-diagonal disorders, is indispensable for quantum transport simulation of realistic device materials. In this work, we report a self-consistent nonequilibrium mean-field quantum transport approach, by combining the auxiliary coherent potential approximation (ACPA) and non-equilibrium Green's function method, for calculating the phonon transport through disordered material structures with the force-constant disorders (including the Anderson-type disorder). The nonequilibrium vertex correction (NVC) is derived in an extended local degree of freedom to account for both the multiple disorder scattering by force-constant disorder and the nonequilibrium quantum statistics. We have tested ACPA-NVC method with the fluctuation-dissipation theorem at the equilibrium and obtained very good agreement with supercell calculations for the phonon transmission. To demonstrate the applicability, we apply ACPA-NVC to calculate the thermal conductance for the disordered Ni/P
We elucidate the nature of universal scaling in disordered driven models. We in particularly explore the intriguing possibility of whether coupling with quenched disorders can lead to continuously varying universality classes. We examine this question in the context of the Kardar-Parisi-Zhang (KPZ) equation, with and without a conservation law, coupled with quenched disorders of appropriate structures. By using a renormalisation group (RG) framework, we show when the disorder is relevant in the RG sense, the scaling exponents can depend continuously on a dimensionless parameter that defines the disorder variance. This result is generic and holds for quenched disorders with or without spatially long ranged correlations, as long as the disorder remains "relevant perturbation" on the pure system in a renormalisation group sense and a dimensionless parameter naturally exists in its variance. We speculate on its implications for generic driven systems with quenched disorders, and compare and contrast with the scaling displayed in the presence of annealed disorders.
This article proposes a comprehensive investigation of the automatic classification of functional gait disorders based solely on ground reaction force (GRF) measurements. The aim of the study is twofold: (1) to investigate the suitability of stateof-the-art GRF parameterization techniques (representations) for the discrimination of functional gait disorders; and (2) to provide a first performance baseline for the automated classification of functional gait disorders for a large-scale dataset. The utilized database comprises GRF measurements from 279 patients with gait disorders (GDs) and data from 161 healthy controls (N). Patients were manually classified into four classes with different functional impairments associated with the "hip", "knee", "ankle", and "calcaneus". Different parameterizations are investigated: GRF parameters, global principal component analysis (PCA)-based representations and a combined representation applying PCA on GRF parameters. The discriminative power of each parameterization for different classes is investigated by linear discriminant analysis (LDA). Based on this analysis, two classification experiments are pursued: (1) distinction between healthy and