Showing 1–31 of 31 results for author: Correia, B

Refinement of an Epilepsy Dictionary through Human Annotation of Health-related posts on Instagram

Authors: Aehong Min, Xuan Wang, Rion Brattig Correia, Jordan Rozum, Wendy R. Miller, Luis M. Rocha

Abstract: We used a dictionary built from biomedical terminology extracted from various sources such as DrugBank, MedDRA, MedlinePlus, TCMGeneDIT, to tag more than 8 million Instagram posts by users who have mentioned an epilepsy-relevant drug at least once, between 2010 and early 2016. A random sample of 1,771 posts with 2,947 term matches was evaluated by human annotators to identify false-positives. Open… ▽ More We used a dictionary built from biomedical terminology extracted from various sources such as DrugBank, MedDRA, MedlinePlus, TCMGeneDIT, to tag more than 8 million Instagram posts by users who have mentioned an epilepsy-relevant drug at least once, between 2010 and early 2016. A random sample of 1,771 posts with 2,947 term matches was evaluated by human annotators to identify false-positives. OpenAI's GPT series models were compared against human annotation. Frequent terms with a high false-positive rate were removed from the dictionary. Analysis of the estimated false-positive rates of the annotated terms revealed 8 ambiguous terms (plus synonyms) used in Instagram posts, which were removed from the original dictionary. To study the effect of removing those terms, we constructed knowledge networks using the refined and the original dictionaries and performed an eigenvector-centrality analysis on both networks. We show that the refined dictionary thus produced leads to a significantly different rank of important terms, as measured by their eigenvector-centrality of the knowledge networks. Furthermore, the most important terms obtained after refinement are of greater medical relevance. In addition, we show that OpenAI's GPT series models fare worse than human annotators in this task. △ Less

Submitted 14 May, 2024; originally announced May 2024.

Selecting focused digital cohorts from social media using the metric backbone of biomedical knowledge graphs

Authors: Ziqi Guo, Jack Felag, Jordan C. Rozum, Rion Brattig Correia, Luis M. Rocha

Abstract: The abundance of social media data allows researchers to construct large digital cohorts to study the interplay between human behavior and medical treatment. Identifying the users most relevant to a specific health problem is, however, a challenge in that social media sites vary in the generality of their discourse. While X (formerly Twitter), Instagram, and Facebook cater to wide ranging topics,… ▽ More The abundance of social media data allows researchers to construct large digital cohorts to study the interplay between human behavior and medical treatment. Identifying the users most relevant to a specific health problem is, however, a challenge in that social media sites vary in the generality of their discourse. While X (formerly Twitter), Instagram, and Facebook cater to wide ranging topics, Reddit subgroups and dedicated patient advocacy forums trade in much more specific, biomedically-relevant discourse. To hone in on relevant users anywhere, we have developed a general framework and applied it to epilepsy discourse in social media as a test case. We analyzed the text from posts by users who mention epilepsy drugs in the general-purpose social media sites X and Instagram, the epilepsy-focused Reddit subgroup (r/Epilepsy), and the Epilepsy Foundation of America (EFA) forums. We curated a medical terms dictionary and used it to generate a knowledge graph (KG) for each online community. For each KG, we computed the metric backbone--the smallest subgraph that preserves all shortest paths in the network. By comparing the subset of users who contribute to the backbone to the subset who do not, we found that epilepsy-focused social media users contribute to the KG backbone in much higher proportion than do general-purpose social media users. Furthermore, using human annotation of Instagram posts, we demonstrated that users who do not contribute to the backbone are more than twice as likely to use dictionary terms in a manner inconsistent with their biomedical meaning. For biomedical research applications, our backbone-based approach thus has several benefits over simple engagement-based approaches: It can retain low-engagement users who nonetheless contribute meaningful biomedical insights. It can filter out very vocal users who contribute no relevant content. △ Less

Submitted 11 May, 2024; originally announced May 2024.

myAURA: Personalized health library for epilepsy management via knowledge graph sparsification and visualization

Authors: Rion Brattig Correia, Jordan C. Rozum, Leonard Cross, Jack Felag, Michael Gallant, Ziqi Guo, Bruce W. Herr II, Aehong Min, Deborah Stungis Rocha, Xuan Wang, Katy Börner, Wendy Miller, Luis M. Rocha

Abstract: Objective: We report the development of the patient-centered myAURA application and suite of methods designed to aid epilepsy patients, caregivers, and researchers in making decisions about care and self-management. Materials and Methods: myAURA rests on the federation of an unprecedented collection of heterogeneous data resources relevant to epilepsy, such as biomedical databases, social media,… ▽ More Objective: We report the development of the patient-centered myAURA application and suite of methods designed to aid epilepsy patients, caregivers, and researchers in making decisions about care and self-management. Materials and Methods: myAURA rests on the federation of an unprecedented collection of heterogeneous data resources relevant to epilepsy, such as biomedical databases, social media, and electronic health records. A generalizable, open-source methodology was developed to compute a multi-layer knowledge graph linking all this heterogeneous data via the terms of a human-centered biomedical dictionary. Results: The power of the approach is first exemplified in the study of the drug-drug interaction phenomenon. Furthermore, we employ a novel network sparsification methodology using the metric backbone of weighted graphs, which reveals the most important edges for inference, recommendation, and visualization, such as pharmacology factors patients discuss on social media. The network sparsification approach also allows us to extract focused digital cohorts from social media whose discourse is more relevant to epilepsy or other biomedical problems. Finally, we present our patient-centered design and pilot-testing of myAURA, including its user interface, based on focus groups and other stakeholder input. Discussion: The ability to search and explore myAURA's heterogeneous data sources via a sparsified multi-layer knowledge graph, as well as the combination of those layers in a single map, are useful features for integrating relevant information for epilepsy. Conclusion: Our stakeholder-driven, scalable approach to integrate traditional and non-traditional data sources, enables biomedical discovery and data-powered patient self-management in epilepsy, and is generalizable to other chronic conditions. △ Less

Submitted 10 May, 2024; v1 submitted 8 May, 2024; originally announced May 2024.

Shintani descent for standard supercharacters of algebra groups

Authors: Carlos A. M. André, Ana L. Branco Correia, João Dias

Abstract: Let $\mathcal{A}(q)$ be a finite-dimensional nilpotent algebra over a finite field $\mathbb{F}_{q}$ with $q$ elements, and let $G(q) = 1+\mathcal{A}(q)$. On the other hand, let $\Bbbk$ denote the algebraic closure of $\mathbb{F}_{q}$, and let $\mathcal{A} = \mathcal{A}(q) \otimes_{\mathbb{F}_{q}} \Bbbk$. Then $G = 1+\mathcal{A}$ is an algebraic group over $\Bbbk$ equipped with an $\mathbb{F}_{q}$-… ▽ More Let $\mathcal{A}(q)$ be a finite-dimensional nilpotent algebra over a finite field $\mathbb{F}_{q}$ with $q$ elements, and let $G(q) = 1+\mathcal{A}(q)$. On the other hand, let $\Bbbk$ denote the algebraic closure of $\mathbb{F}_{q}$, and let $\mathcal{A} = \mathcal{A}(q) \otimes_{\mathbb{F}_{q}} \Bbbk$. Then $G = 1+\mathcal{A}$ is an algebraic group over $\Bbbk$ equipped with an $\mathbb{F}_{q}$-rational structure given by the usual Frobenius map $F:G\to G$, and $G(q)$ can be regarded as the fixed point subgroup $G^{F}$. For every $n \in \mathbb{N}$, the $n$th power $F^{n}:G\to G$ is also a Frobenius map, and $G^{F^{n}}$ identifies with $G(q^{n}) = 1 + \mathcal{A}(q^{n})$. The Frobenius map restricts to a group automorphism $F:G(q^{n})\to G(q^{n})$, and hence it acts on the set of irreducible characters of $G(q^{n})$. Shintani descent provides a method to compare $F$-invariant irreducible characters of $G(q^{n})$ and irreducible characters of $G(q)$. In this paper, we show that it also provides a uniform way of studying supercharacters of $G(q^{n})$ for $n \in \mathbb{N}$. These groups form an inductive system with respect to the inclusion maps $G(q^{m}) \to G(q^{n})$ whenever $m \mid n$, and this fact allows us to study all supercharacter theories simultaneously, to establish connections between them, and to relate them to the algebraic group $G$. Indeed, we show that Shintani descent permits the definition of a certain ``superdual algebra'' which encodes information about the supercharacters of $G(q^{n})$ for $n \in \mathbb{N}$. △ Less

Submitted 17 January, 2024; originally announced January 2024.

MSC Class: 20C15; 20D15; 20G40

FSscore: A Machine Learning-based Synthetic Feasibility Score Leveraging Human Expertise

Authors: Rebecca M. Neeser, Bruno Correia, Philippe Schwaller

Abstract: Determining whether a molecule can be synthesized is crucial for many aspects of chemistry and drug discovery, allowing prioritization of experimental work and ranking molecules in de novo design tasks. Existing scoring approaches to assess synthetic feasibility struggle to extrapolate to out-of-distribution chemical spaces or fail to discriminate based on minor differences such as chirality that… ▽ More Determining whether a molecule can be synthesized is crucial for many aspects of chemistry and drug discovery, allowing prioritization of experimental work and ranking molecules in de novo design tasks. Existing scoring approaches to assess synthetic feasibility struggle to extrapolate to out-of-distribution chemical spaces or fail to discriminate based on minor differences such as chirality that might be obvious to trained chemists. This work aims to address these limitations by introducing the Focused Synthesizability score (FSscore), which learns to rank structures based on binary preferences using a graph attention network. First, a baseline trained on an extensive set of reactant-product pairs is established that subsequently is fine-tuned with expert human feedback on a chemical space of interest. Fine-tuning on focused datasets improves performance on these chemical scopes over the pre-trained model exhibiting moderate performance and generalizability. This enables distinguishing hard- from easy-to-synthesize molecules and improving the synthetic accessibility of generative model outputs. On very complex scopes with limited labels achieving satisfactory gains remains challenging. The FSscore showcases how human expert feedback can be utilized to optimize the assessment of synthetic feasibility for a variety of applications. △ Less

Submitted 19 December, 2023; originally announced December 2023.

RetroBridge: Modeling Retrosynthesis with Markov Bridges

Authors: Ilia Igashov, Arne Schneuing, Marwin Segler, Michael Bronstein, Bruno Correia

Abstract: Retrosynthesis planning is a fundamental challenge in chemistry which aims at designing reaction pathways from commercially available starting materials to a target molecule. Each step in multi-step retrosynthesis planning requires accurate prediction of possible precursor molecules given the target molecule and confidence estimates to guide heuristic search algorithms. We model single-step retros… ▽ More Retrosynthesis planning is a fundamental challenge in chemistry which aims at designing reaction pathways from commercially available starting materials to a target molecule. Each step in multi-step retrosynthesis planning requires accurate prediction of possible precursor molecules given the target molecule and confidence estimates to guide heuristic search algorithms. We model single-step retrosynthesis planning as a distribution learning problem in a discrete state space. First, we introduce the Markov Bridge Model, a generative framework aimed to approximate the dependency between two intractable discrete distributions accessible via a finite sample of coupled data points. Our framework is based on the concept of a Markov bridge, a Markov process pinned at its endpoints. Unlike diffusion-based methods, our Markov Bridge Model does not need a tractable noise distribution as a sampling proxy and directly operates on the input product molecules as samples from the intractable prior distribution. We then address the retrosynthesis planning problem with our novel framework and introduce RetroBridge, a template-free retrosynthesis modeling approach that achieves state-of-the-art results on standard evaluation benchmarks. △ Less

Submitted 26 March, 2024; v1 submitted 30 August, 2023; originally announced August 2023.

Isoperimetry in Finitely Generated Groups

Authors: Bruno Luiz Santos Correia, Marc Troyanov

Abstract: We revisit the isoperimetric inequalities for finitely generated groups introduced and studied by N. Varopoulos, T. Coulhon and L. Saloff-Coste. Namely we show that a lower bound on the isoperimetric quotient of finite subsets in a finitely generated group is given by the $\U-$transform of its growth function, which is a variant of the Legendre transform. From this lower bound, we obtain some asym… ▽ More We revisit the isoperimetric inequalities for finitely generated groups introduced and studied by N. Varopoulos, T. Coulhon and L. Saloff-Coste. Namely we show that a lower bound on the isoperimetric quotient of finite subsets in a finitely generated group is given by the $\U-$transform of its growth function, which is a variant of the Legendre transform. From this lower bound, we obtain some asymptotic estimates for the Følner function of the group. The paper also includes a discussion of some basic definitions from Geometric Group Theory and some basic properties of the $\U$-transform, including some computational techniques and its relation with the Legendre transform. △ Less

Submitted 29 August, 2023; originally announced August 2023.

Comments: 20 pages. The results in this paper refine those in arXiv:2110.15798

MSC Class: 20F65; 20F69; 05C63

Structure-based Drug Design with Equivariant Diffusion Models

Authors: Arne Schneuing, Yuanqi Du, Charles Harris, Arian Jamasb, Ilia Igashov, Weitao Du, Tom Blundell, Pietro Lió, Carla Gomes, Max Welling, Michael Bronstein, Bruno Correia

Abstract: Structure-based drug design (SBDD) aims to design small-molecule ligands that bind with high affinity and specificity to pre-determined protein targets. In this paper, we formulate SBDD as a 3D-conditional generation problem and present DiffSBDD, an SE(3)-equivariant 3D-conditional diffusion model that generates novel ligands conditioned on protein pockets. Comprehensive in silico experiments demo… ▽ More Structure-based drug design (SBDD) aims to design small-molecule ligands that bind with high affinity and specificity to pre-determined protein targets. In this paper, we formulate SBDD as a 3D-conditional generation problem and present DiffSBDD, an SE(3)-equivariant 3D-conditional diffusion model that generates novel ligands conditioned on protein pockets. Comprehensive in silico experiments demonstrate the efficiency and effectiveness of DiffSBDD in generating novel and diverse drug-like ligands with competitive docking scores. We further explore the flexibility of the diffusion framework for a broader range of tasks in drug design campaigns, such as off-the-shelf property optimization and partial molecular design with inpainting. △ Less

Submitted 30 June, 2023; v1 submitted 24 October, 2022; originally announced October 2022.

Equivariant 3D-Conditional Diffusion Models for Molecular Linker Design

Authors: Ilia Igashov, Hannes Stärk, Clément Vignac, Victor Garcia Satorras, Pascal Frossard, Max Welling, Michael Bronstein, Bruno Correia

Abstract: Fragment-based drug discovery has been an effective paradigm in early-stage drug development. An open challenge in this area is designing linkers between disconnected molecular fragments of interest to obtain chemically-relevant candidate drug molecules. In this work, we propose DiffLinker, an E(3)-equivariant 3D-conditional diffusion model for molecular linker design. Given a set of disconnected… ▽ More Fragment-based drug discovery has been an effective paradigm in early-stage drug development. An open challenge in this area is designing linkers between disconnected molecular fragments of interest to obtain chemically-relevant candidate drug molecules. In this work, we propose DiffLinker, an E(3)-equivariant 3D-conditional diffusion model for molecular linker design. Given a set of disconnected fragments, our model places missing atoms in between and designs a molecule incorporating all the initial fragments. Unlike previous approaches that are only able to connect pairs of molecular fragments, our method can link an arbitrary number of fragments. Additionally, the model automatically determines the number of atoms in the linker and its attachment points to the input fragments. We demonstrate that DiffLinker outperforms other methods on the standard datasets generating more diverse and synthetically-accessible molecules. Besides, we experimentally test our method in real-world applications, showing that it can successfully generate valid linkers conditioned on target protein pockets. △ Less

Submitted 11 October, 2022; originally announced October 2022.

Comments: Under review

The distance backbone of directed networks

Authors: Felipe Xavier Costa, Rion Brattig Correia, Luis M. Rocha

Abstract: In weighted graphs the shortest path between two nodes is often reached through an indirect path, out of all possible connections, leading to structural redundancies which play key roles in the dynamics and evolution of complex networks. We have previously developed a parameter-free, algebraically-principled methodology to uncover such redundancy and reveal the distance backbone of weighted graphs… ▽ More In weighted graphs the shortest path between two nodes is often reached through an indirect path, out of all possible connections, leading to structural redundancies which play key roles in the dynamics and evolution of complex networks. We have previously developed a parameter-free, algebraically-principled methodology to uncover such redundancy and reveal the distance backbone of weighted graphs, which has been shown to be important in transmission dynamics, inference of important paths, and quantifying the robustness of networks. However, the method was developed for undirected graphs. Here we expand this methodology to weighted directed graphs and study the redundancy and robustness found in nine networks ranging from social, biomedical, and technical systems. We found that similarly to undirected graphs, directed graphs in general also contain a large amount of redundancy, as measured by the size of their (directed) distance backbone. Our methodology adds an additional tool to the principled sparsification of complex networks and the measure of their robustness. △ Less

Submitted 2 September, 2022; originally announced September 2022.

Comments: Accepted at the 11th International Conference on Complex Networks and their Applications

Small Cohort of Epilepsy Patients Showed Increased Activity on Facebook before Sudden Unexpected Death

Authors: Ian B. Wood, Rion Brattig Correia, Wendy R. Miller, Luis M. Rocha

Abstract: Sudden Unexpected Death in Epilepsy (SUDEP) remains a leading cause of death in people with epilepsy. Despite the constant risk for patients and bereavement to family members, to date the physiological mechanisms of SUDEP remain unknown. Here we explore the potential to identify putative predictive signals of SUDEP from online digital behavioral data using text and sentiment analysis. Specifically… ▽ More Sudden Unexpected Death in Epilepsy (SUDEP) remains a leading cause of death in people with epilepsy. Despite the constant risk for patients and bereavement to family members, to date the physiological mechanisms of SUDEP remain unknown. Here we explore the potential to identify putative predictive signals of SUDEP from online digital behavioral data using text and sentiment analysis. Specifically, we analyze Facebook timelines of six epilepsy patients deceased due to SUDEP, donated by surviving family members. We find preliminary evidence for behavioral changes detectable by text and sentiment analysis tools. Namely, in the months preceding their SUDEP event patient social media timelines show: i) increase in verbosity; ii) increased use of functional words; and iii) sentiment shifts as measured by different sentiment analysis tools. Combined, these results suggest that social media engagement, as well as its sentiment, may serve as possible early-warning signals for SUDEP in people with epilepsy. While the small sample of patient timelines analyzed in this study prevents generalization, our preliminary investigation demonstrates the potential of social media data as complementary data in larger studies of SUDEP and epilepsy. △ Less

Submitted 19 January, 2022; originally announced January 2022.

Comments: Submitted to Epilepsy & Behavior

MSC Class: 62P10 (Primary) 92D50; 68U15; 92D30 (Secondary) ACM Class: J.3; I.5.4

On the Isoperimetric Inequality in Finitely Generated Groups

Authors: Bruno Luiz Santos Correia, Marc Troyanov

Abstract: We present a sharp version of the isoperimetric inequality for finitely generated groups due to T. Couhlon and L. Saloff-Coste based on the proof suggested by M. Gromov. We present a sharp version of the isoperimetric inequality for finitely generated groups due to T. Couhlon and L. Saloff-Coste based on the proof suggested by M. Gromov. △ Less

Submitted 29 October, 2021; originally announced October 2021.

Comments: 7 pages

The distance backbone of complex networks

Authors: Tiago Simas, Rion Brattig Correia, Luis M. Rocha

Abstract: Redundancy needs more precise characterization as it is a major factor in the evolution and robustness of networks of multivariate interactions. We investigate the complexity of such interactions by inferring a connection transitivity that includes all possible measures of path length for weighted graphs. The result, without breaking the graph into smaller components, is a distance backbone subgra… ▽ More Redundancy needs more precise characterization as it is a major factor in the evolution and robustness of networks of multivariate interactions. We investigate the complexity of such interactions by inferring a connection transitivity that includes all possible measures of path length for weighted graphs. The result, without breaking the graph into smaller components, is a distance backbone subgraph sufficient to compute all shortest paths. This is important for understanding the dynamics of spread and communication phenomena in real-world networks. The general methodology we formally derive yields a principled graph reduction technique and provides a finer characterization of the triangular geometry of all edges -- those that contribute to shortest paths and those that do not but are involved in other network phenomena. We demonstrate that the distance backbone is very small in large networks across domains ranging from air traffic to the human brain connectome, revealing that network robustness to attacks and failures seems to stem from surprisingly vast amounts of redundancy. △ Less

Submitted 11 May, 2021; v1 submitted 8 March, 2021; originally announced March 2021.

Comments: To appear in the Journal of Complex Networks

MSC Class: 05C12 (Primary) 05C22; 05C82; 91D30 (Secondary) ACM Class: G.2.2; F.2.2; I.2.4; I.2.1; J.3

Journal ref: Journal of Complex Networks, Volume 9, Issue 6, December 2021, cnab021

Theoretical and experimental comparative study of nonlinear properties of imidazolium cation based ionic liquids

Authors: Vinícius Castro Ferreira, Letícia Zanchet, Wesley Formentin Monteiro, Letícia Guerreiro da Trindade, Michèle Oberson de Souza, Ricardo Rego Bordalo Correia

Abstract: This work describes the experimental and theoretical study of the nonlinear optical properties of the imidazolium cation based ionic liquids and the corresponding thermo-optical parameters. Experimental results of nonlinear optical properties, such as nonlinear refractive index and thermo-optical properties are determined by Z-scan and EZ-scan techniques with a femtosecond laser source. Theoretica… ▽ More This work describes the experimental and theoretical study of the nonlinear optical properties of the imidazolium cation based ionic liquids and the corresponding thermo-optical parameters. Experimental results of nonlinear optical properties, such as nonlinear refractive index and thermo-optical properties are determined by Z-scan and EZ-scan techniques with a femtosecond laser source. Theoretical simulations of linear and nonlinear optical properties performed by density functional theory (DFT) are discussed, in terms of polarizability, the first and second-order of hyperpolarizability. A correlation between the theoretical and experimental results is presented, where the variation of the signals of each ionic liquid can be compared with their nonlinear optical properties. △ Less

Submitted 4 August, 2020; originally announced August 2020.

Comments: 25 pages, 5 figures, 5 tables

Nonlinear and thermo-optical characterization of bare imidazolium ionic liquids

Authors: Vinícius C. Ferreira, Graciane Marin, Jairton Dupont, Ricardo R. B. Correia

Abstract: Nonlinear optical and thermo-optical properties of two pure ionic liquids, BMIOMe.NTf2 and BMIOMe.N(CN)2, were examined here. It was the first nonlinear refractive index determination of a pristine ionic liquid by a standard self-refraction experiment. The nonlinear optical characterizations were performed using Z-scan and EZ-scan techniques in the thermally managed approach with a mode-locked fem… ▽ More Nonlinear optical and thermo-optical properties of two pure ionic liquids, BMIOMe.NTf2 and BMIOMe.N(CN)2, were examined here. It was the first nonlinear refractive index determination of a pristine ionic liquid by a standard self-refraction experiment. The nonlinear optical characterizations were performed using Z-scan and EZ-scan techniques in the thermally managed approach with a mode-locked femtosecond laser source. Thermal properties were analyzed concomitantly and the thermo-optical coefficient, thermal characteristic time, and lens strength were characterized. These results show that BMIOMe.NTf2 is a prominent material to be engineered for photonics applications △ Less

Submitted 31 July, 2020; originally announced July 2020.

Comments: 7 pages, 6 figures

On the isoperimetric inequality of Coulhon and Saloff-Coste

Authors: Bruno Luiz Santos Correia

Abstract: We improve the isoperimetric inequality of Coulhon and Saloff-Coste following a method of mass transport proposed by Gromov. We improve the isoperimetric inequality of Coulhon and Saloff-Coste following a method of mass transport proposed by Gromov. △ Less

Submitted 17 February, 2020; originally announced February 2020.

Mining social media data for biomedical signals and health-related behavior

Authors: Rion Brattig Correia, Ian B. Wood, Johan Bollen, Luis M. Rocha

Abstract: Social media data has been increasingly used to study biomedical and health-related phenomena. From cohort level discussions of a condition to planetary level analyses of sentiment, social media has provided scientists with unprecedented amounts of data to study human behavior and response associated with a variety of health conditions and medical treatments. Here we review recent work in mining s… ▽ More Social media data has been increasingly used to study biomedical and health-related phenomena. From cohort level discussions of a condition to planetary level analyses of sentiment, social media has provided scientists with unprecedented amounts of data to study human behavior and response associated with a variety of health conditions and medical treatments. Here we review recent work in mining social media for biomedical, epidemiological, and social phenomena information relevant to the multilevel complexity of human health. We pay particular attention to topics where social media data analysis has shown the most progress, including pharmacovigilance, sentiment analysis especially for mental health, and other areas. We also discuss a variety of innovative uses of social media data for health-related applications and important limitations in social media data access and use. △ Less

Submitted 28 January, 2020; originally announced January 2020.

Comments: To appear in the Annual Review of Biomedical Data Science

ACM Class: K.4; I.7

Journal ref: Annual Review of Biomedical Data Science, 3:1 (2020)

Superextreme Waves Generation in the Linear Regime

Authors: Cristian Bonatto, Sandra D. Prado, Fernando L. Metz, Júlio R. Schoffen, Ricardo R. B. Correia, Jandir M. Hickmann

Abstract: Extreme or rogue waves are large and unexpected waves appearing with higher probability than predicted by Gaussian statistics. Although their formation is explained by both linear and nonlinear wave propagation, nonlinearity has been considered a necessary ingredient to generate superextreme waves, i.e., an enhanced wave amplification, where the wave amplitudes exceed by far those of standard rogu… ▽ More Extreme or rogue waves are large and unexpected waves appearing with higher probability than predicted by Gaussian statistics. Although their formation is explained by both linear and nonlinear wave propagation, nonlinearity has been considered a necessary ingredient to generate superextreme waves, i.e., an enhanced wave amplification, where the wave amplitudes exceed by far those of standard rogue waves. Here we show, experimentally and theoretically, that superextreme optical waves emerge in the simple case of linear one-dimensional light diffraction. The underlying physics is a long-range correlation on the random initial phases of the light waves. When subgroups of random phases appear recurrently along the spatial phase distribution, a more ordered phase structure greatly increases the probability of constructive interference to generate superextreme events, i.e., non-Gaussian statistics with super-long tails. Our results consist of a significant advance in the understanding of extreme waves formation by linear superposition of random waves, with applications in a large variety of wave systems. △ Less

Submitted 27 December, 2019; originally announced December 2019.

Comments: 6 pages, 4 figures

Journal ref: Physical Review E 2020 102 052219

Twisted Light and the mirage effect

Authors: Claire M. Cisowski, Ricardo R. B. Correia

Abstract: We study the transformation of an OAM-carrying beam propagating through a vertical gradient of refractive index present in a water-ethanol column. Proper liquid mixing and incidence conditions upon the solution cause the beam to undergo a mirror inversion along the vertical direction, forming an inferior mirage. This path reverses the handedness of the beam and unlike mirror inversion witnessed at… ▽ More We study the transformation of an OAM-carrying beam propagating through a vertical gradient of refractive index present in a water-ethanol column. Proper liquid mixing and incidence conditions upon the solution cause the beam to undergo a mirror inversion along the vertical direction, forming an inferior mirage. This path reverses the handedness of the beam and unlike mirror inversion witnessed at sharp interfaces, mirror inversion occurs smoothly and topological charge inversion is accompanied by astigmatic changes. It is also possible to obtain, at the exit of the solution, a beam that has been partially inverted, thus presents spatially varying orbital fluxes. △ Less

Submitted 9 September, 2019; originally announced September 2019.

PCIe Hot Plug support standardization challenges in ATCA

Authors: Miguel Correia, Jorge Sousa, António P. Rodrigues, Paulo F. Carvalho, Bruno Santos, Álvaro Combo, Carlos M. B. A. Correia, Bruno Gonçalves

Abstract: Throughout the last decade, the Advanced Telecommunications Computing Architecture (ATCA) solidified its position as one of the main switched-based crate standards for advanced Physics instrumentation, offering not only highly performant characteristics in data throughput, channel density or power supply/dissipation capabilities, but also special features for high availability (HA), required for l… ▽ More Throughout the last decade, the Advanced Telecommunications Computing Architecture (ATCA) solidified its position as one of the main switched-based crate standards for advanced Physics instrumentation, offering not only highly performant characteristics in data throughput, channel density or power supply/dissipation capabilities, but also special features for high availability (HA), required for latest and upcoming large-scale endeavours, as is the case of ITER. Hot Swap is one of the main HA features in ATCA, allowing for Boards to be replaced in a crate (Shelf), without powering off the whole system. Platforms using the Peripheral Component Interconnect Express (PCIe) protocol on the Fabric Interface must be complemented, at the software level, with the PCIe Hot Plug native feature, currently not specified for the ATCA form-factor. From a customised Hot Plug support implementation for ATCA Node Boards, the paper presents an implementation extension for Hub Boards, allowing Hot Plug of PCIe switching devices, without causing bus enumeration problems. This paper further addresses the main issues concerning an eventual standardization of PCIe Hot Plug support in ATCA, such as the implementability of Hot Plug Elements and the generation and management of Hot Plug Events, aiming to stimulate the discussion within the PICMG community towards a long overdue standardized solution for Hot Plug in ATCA. △ Less

Submitted 22 June, 2018; originally announced June 2018.

Comments: 4 pages, 3 figures, 21st IEEE Real Time Conference - Colonial Williamsburg 9-15 June 2018 Woodlands Conference Center

The design and performance of the real time software architecture for the ITER Radial Neutron Camera

Authors: N. Cruz, B. Santos, A. Fernandes, P. F. Carvalho, J. Sousa, B. Gonçalves, M. Riva, C. Centioli, D. Marocco, B. Esposito, C. M. B. Correia, R. C. Pereira

Abstract: The neutron detection system for characterization of emissivity in ITER Tokamak during DD and DT experiments poses serious challenges to the performance of the diagnostic control and data acquisition system (CDAcq). The ongoing design of the ITER Radial Neutron Camera (RNC) diagnostic is composed by 26 lines of sight (LOS) for complete plasma inspection. The CDAcq system aims at meeting the ITER r… ▽ More The neutron detection system for characterization of emissivity in ITER Tokamak during DD and DT experiments poses serious challenges to the performance of the diagnostic control and data acquisition system (CDAcq). The ongoing design of the ITER Radial Neutron Camera (RNC) diagnostic is composed by 26 lines of sight (LOS) for complete plasma inspection. The CDAcq system aims at meeting the ITER requirements of delivering the measurement of the real-time neutron emissivity profile with time resolution and control cycle time of 10 ms at peak event rate of 2 MEvents/s per LOS. This measurement demands the generation of the neutron spectra for each LOS with neutron/gamma discrimination and pile up rejection. The neutron spectra can be totally processed in the host CPU or it can use the processed data coming from the system FPGA. The number of neutron counts extracted from the spectra is then used to calculate the neutron emissivity profile using an inversion algorithm. Moreover, it is required that the event based raw data acquired is made available to the ITER data network without local data storage for post processing. The data production for the 2 MEvents/s rate can go up to a maximum data throughput of 0.5 GB/s per channel. The evaluation of the use of real-time data compression techniques in RNC is also depicted in another contribution. To meet the demands of the project a CDAcq prototype has been used to design and test a high-performance distributed software architecture taking advantage of multi-core CPU technology capable of co** with the requirements. This submission depicts the design of the real-time architecture, the spectra algorithms (pulse height analysis, neutron/gamma discrimination and pile-up correction) and the inversion algorithm to calculate the emissivity profile. Preliminary tests to evaluate the system performance with synthetic data are presented. △ Less

Submitted 22 June, 2018; originally announced June 2018.

Comments: Conference Record - 21st IEEE Real Time Conference, Colonial Williamsburg, USA, 9-15 June 2018

FPGA code for the data acquisition and real-time processing prototype of the ITER Radial Neutron Camera

Authors: Ana Fernandes, Nuno Cruz, Bruno Santos, Paulo F. Carvalho, Jorge Sousa, Bruno Gonçalves, Marco Riva, Fabio Pollastrone, Cristina Centioli, Daniele Marocco, Basilio Esposito, Carlos M. B. A. Correia, Rita C. Pereira

Abstract: The main role of the ITER Radial Neutron Camera (RNC) diagnostic is to measure in real-time the plasma neutron emissivity profile at high peak count rates for a time duration up to 500 s. Due to the unprecedented high performance conditions and after the identification of critical problems, a set of activities have been selected, focused on the development of high priority prototypes, capable to d… ▽ More The main role of the ITER Radial Neutron Camera (RNC) diagnostic is to measure in real-time the plasma neutron emissivity profile at high peak count rates for a time duration up to 500 s. Due to the unprecedented high performance conditions and after the identification of critical problems, a set of activities have been selected, focused on the development of high priority prototypes, capable to deliver answers to those problems before the final RNC design. This paper presents one of the selected activities: the design, development and testing of a dedicated FPGA code for the RNC Data Acquisition prototype. The FPGA code aims to acquire, process and store in real-time the neutron and gamma pulses from the detectors located in collimated lines of sight viewing a poloidal plasma section from the ITER Equatorial Port Plug 1. The hardware platform used was an evaluation board from Xilinx (KC705) carrying an IPFN FPGA Mezzanine Card (FMC-AD2-1600) with 2 digitizer channels of 12-bit resolution sampling up to 1.6 GSamples/s. The code performs the proper input signal conditioning using a down-sampled configuration to 400 MSamples/s, apply dedicated algorithms for pulse detection, filtering and pileup detection, and includes two distinct data paths operating simultaneously: i) the event-based data-path for pulse storage; and ii) the real-time processing, with dedicated algorithms for pulse shape discrimination and pulse height spectra. For continuous data throughput both data-paths are streamed to the host through two distinct PCIe x8 Direct Memory Access (DMA) channels. △ Less

Submitted 15 June, 2018; originally announced June 2018.

Comments: 6 pages, 10 figures, 21st IEEE Real Time Conference (RT-2018), Colonial Williamsburg, 9-15 June 2018

Real-time data compression for data acquisition systems applied to the ITER Radial Neutron Camera

Authors: B. Santos, N. Cruz, A. Fernandes, P. F. Carvalho, J. Sousa, B. Gonçalves, M. Riva, F. Pollastrone, C. Centioli, D. Marocco, B. Esposito, C. M. B. Correia, R. C. Pereira

Abstract: To achieve the aim of the ITER Radial Neutron Camera Diagnostic, the data acquisition prototype must be compliant with a sustained 2 MHz peak event for each channel with 128 samples of 16 bits per event. The data is acquired and processed using an IPFN FPGA Mezzanine Card (FMC-AD2-1600) with 2 digitizer channels of 12-bit resolution and a sampling rate up to 1.6 GSamples/s mounted in a PCIe evalua… ▽ More To achieve the aim of the ITER Radial Neutron Camera Diagnostic, the data acquisition prototype must be compliant with a sustained 2 MHz peak event for each channel with 128 samples of 16 bits per event. The data is acquired and processed using an IPFN FPGA Mezzanine Card (FMC-AD2-1600) with 2 digitizer channels of 12-bit resolution and a sampling rate up to 1.6 GSamples/s mounted in a PCIe evaluation board from Xilinx (KC705) installed in the host PC. The acquired data in the event-based data-path is streamed to the host through the PCIe x8 Direct Memory Access (DMA) with a maximum data throughput per channel is 0.5 GB/s of raw data (event base), 1 GB/s per digitizer and up to 1.6 GB/s in continuous mode. The prototype architecture comprises an host PC with two KC705 modules and four channels, producing up to 2 GB/s in event mode and up to 3.2 GB/s in continuous mode. To reduce the produced data throughput from host to ITER databases, the real-time data compression was evaluated using the LZ4 lossless compression algorithm, which provides compression speed up to 400 MB/s per core. This paper presents the architecture, implementation and test of the parallel real-time data compression system running in multiple isolated cores. The average space saving and the performance results for long term acquisitions up to 30 minutes, using different data block size and different number of CPUs, is also presented. △ Less

Submitted 21 June, 2018; v1 submitted 11 June, 2018; originally announced June 2018.

Comments: 21st Real Time Conference, June 9th - 15th, Colonial Williamsburg, Virginia, United States

CANA: A python package for quantifying control and canalization in Boolean Networks

Authors: Rion Brattig Correia, Alexander J. Gates, Xuan Wang, Luis M. Rocha

Abstract: Logical models offer a simple but powerful means to understand the complex dynamics of biochemical regulation, without the need to estimate kinetic parameters. However, even simple automata components can lead to collective dynamics that are computationally intractable when aggregated into networks. In previous work we demonstrated that automata network models of biochemical regulation are highly… ▽ More Logical models offer a simple but powerful means to understand the complex dynamics of biochemical regulation, without the need to estimate kinetic parameters. However, even simple automata components can lead to collective dynamics that are computationally intractable when aggregated into networks. In previous work we demonstrated that automata network models of biochemical regulation are highly canalizing, whereby many variable states and their grou**s are redundant (Marques-Pita and Rocha, 2013). The precise charting and measurement of such canalization simplifies these models, making even very large networks amenable to analysis. Moreover, canalization plays an important role in the control, robustness, modularity and criticality of Boolean network dynamics, especially those used to model biochemical regulation (Gates and Rocha, 2016; Gates et al., 2016; Manicka, 2017). Here we describe a new publicly-available Python package that provides the necessary tools to extract, measure, and visualize canalizing redundancy present in Boolean network models. It extracts the pathways most effective in controlling dynamics in these models, including their effective graph and dynamics canalizing map, as well as other tools to uncover minimum sets of control variables. △ Less

Submitted 9 May, 2018; v1 submitted 9 March, 2018; originally announced March 2018.

Comments: Submitted to the Systems Biology section of Frontiers in Physiology

MSC Class: 94C (Primary) 93; 92C42 (Secondary) ACM Class: G.4; I.1; J.3

Journal ref: Frontiers in Physiology, 9:1046, 2018

City-wide Analysis of Electronic Health Records Reveals Gender and Age Biases in the Administration of Known Drug-Drug Interactions

Authors: Rion Brattig Correia, Luciana P. de Araújo, Mauro M. Mattos, Luis M. Rocha

Abstract: The occurrence of drug-drug-interactions (DDI) from multiple drug dispensations is a serious problem, both for individuals and health-care systems, since patients with complications due to DDI are likely to reenter the system at a costlier level. We present a large-scale longitudinal study (18 months) of the DDI phenomenon at the primary- and secondary-care level using electronic health records (E… ▽ More The occurrence of drug-drug-interactions (DDI) from multiple drug dispensations is a serious problem, both for individuals and health-care systems, since patients with complications due to DDI are likely to reenter the system at a costlier level. We present a large-scale longitudinal study (18 months) of the DDI phenomenon at the primary- and secondary-care level using electronic health records (EHR) from the city of Blumenau in Southern Brazil (pop. $\approx 340,000$). We found that 181 distinct drug pairs known to interact were dispensed concomitantly to 12\% of the patients in the city's public health-care system. Further, 4\% of the patients were dispensed drug pairs that are likely to result in major adverse drug reactions (ADR)---with costs estimated to be much larger than previously reported in smaller studies. The large-scale analysis reveals that women have a 60\% increased risk of DDI as compared to men; the increase becomes 90\% when considering only DDI known to lead to major ADR. Furthermore, DDI risk increases substantially with age; patients aged 70-79 years have a 34\% risk of DDI when they are dispensed two or more drugs concomitantly. Interestingly, a statistical null model demonstrates that age- and female-specific risks from increased polypharmacy fail by far to explain the observed DDI risks in those populations, suggesting unknown social or biological causes. We also provide a network visualization of drugs and demographic factors that characterize the DDI phenomenon and demonstrate that accurate DDI prediction can be included in healthcare and public-health management, to reduce DDI-related ADR and costs. △ Less

Submitted 2 January, 2020; v1 submitted 9 March, 2018; originally announced March 2018.

MSC Class: J.3; G.3 ACM Class: J.3; G.3

Journal ref: npj Digit. Med. 2, 74 (2019)

Monitoring Potential Drug Interactions and Reactions via Network Analysis of Instagram User Timelines

Authors: Rion Brattig Correia, Lang Li, Luis M. Rocha

Abstract: Much recent research aims to identify evidence for Drug-Drug Interactions (DDI) and Adverse Drug reactions (ADR) from the biomedical scientific literature. In addition to this "Bibliome", the universe of social media provides a very promising source of large-scale data that can help identify DDI and ADR in ways that have not been hitherto possible. Given the large number of users, analysis of soci… ▽ More Much recent research aims to identify evidence for Drug-Drug Interactions (DDI) and Adverse Drug reactions (ADR) from the biomedical scientific literature. In addition to this "Bibliome", the universe of social media provides a very promising source of large-scale data that can help identify DDI and ADR in ways that have not been hitherto possible. Given the large number of users, analysis of social media data may be useful to identify under-reported, population-level pathology associated with DDI, thus further contributing to improvements in population health. Moreover, tap** into this data allows us to infer drug interactions with natural products--including cannabis--which constitute an array of DDI very poorly explored by biomedical research thus far. Our goal is to determine the potential of Instagram for public health monitoring and surveillance for DDI, ADR, and behavioral pathology at large. Using drug, symptom, and natural product dictionaries for identification of the various types of DDI and ADR evidence, we have collected ~7000 timelines. We report on 1) the development of a monitoring tool to easily observe user-level timelines associated with drug and symptom terms of interest, and 2) population-level behavior via the analysis of co-occurrence networks computed from user timelines at three different scales: monthly, weekly, and daily occurrences. Analysis of these networks further reveals 3) drug and symptom direct and indirect associations with greater support in user timelines, as well as 4) clusters of symptoms and drugs revealed by the collective behavior of the observed population. This demonstrates that Instagram contains much drug- and pathology specific data for public health monitoring of DDI and ADR, and that complex network analysis provides an important toolbox to extract health-related associations and their support from large-scale social media data. △ Less

Submitted 14 January, 2016; v1 submitted 4 October, 2015; originally announced October 2015.

Comments: Pacific Symposium on Biocomputing. 21:492-503

Light with tunable non-Markovian phase imprint

Authors: Robert Fischer, Itamar Vidal, Doron Gilboa, Ricardo R. B. Correia, Ana C. Ribeiro-Teixeira, Sandra D. Prado, Jandir Hickman, Yaron Silberberg

Abstract: We introduce a simple and flexible method to generate spatially non-Markovian light with tunable coherence properties in one and two dimensions. The unusual behavior of this light is demonstrated experimentally by probing the far field and recording its diffraction pattern after a double slit: In both cases we observe instead of a central intensity maximum a line or cross shaped dark region, whose… ▽ More We introduce a simple and flexible method to generate spatially non-Markovian light with tunable coherence properties in one and two dimensions. The unusual behavior of this light is demonstrated experimentally by probing the far field and recording its diffraction pattern after a double slit: In both cases we observe instead of a central intensity maximum a line or cross shaped dark region, whose width and profile depend on the non-Markovian coherence properties. Since these properties can be controlled and easily reproduced in experiment, the presented approach lends itself to serve as a testbed to gain a deeper understanding of non-Markovian processes. △ Less

Submitted 5 May, 2015; originally announced May 2015.

Journal ref: Phys. Rev. Lett. 115, 073901 (2015)

An optimal real-time controller for vertical plasma stabilization

Authors: N. Cruz, J-M. Moret, S. Coda, B. P. Duval, H. B. Le, A. P. Rodrigues, C. A. F. Varandas, C. M. B. A. Correia, B. S. Goncalves

Abstract: Modern Tokamaks have evolved from the initial axisymmetric circular plasma shape to an elongated axisymmetric plasma shape that improves the energy confinement time and the triple product, which is a generally used figure of merit for the conditions needed for fusion reactor performance. However, the elongated plasma cross section introduces a vertical instability that demands a real-time feedback… ▽ More Modern Tokamaks have evolved from the initial axisymmetric circular plasma shape to an elongated axisymmetric plasma shape that improves the energy confinement time and the triple product, which is a generally used figure of merit for the conditions needed for fusion reactor performance. However, the elongated plasma cross section introduces a vertical instability that demands a real-time feedback control loop to stabilize the plasma vertical position and velocity. At the Tokamak à Configuration Variable (TCV) in-vessel poloidal field coils driven by fast switching power supplies are used to stabilize highly elongated plasmas. TCV plasma experiments have used a PID algorithm based controller to correct the plasma vertical position. In late 2013 experiments a new optimal real-time controller was tested improving the stability of the plasma. This contribution describes the new optimal real-time controller developed. The choice of the model that describes the plasma response to the actuators is discussed. The high order model that is initially implemented demands the application of a mathematical order reduction and the validation of the new reduced model. The lower order model is used to derive the time optimal control law. A new method for the construction of the switching curves of a bang-bang controller is presented that is based on the state-space trajectories that optimize the time to target of the system. A closed loop controller simulation tool was developed to test different possible algorithms and the results were used to improve the controller parameters. The final control algorithm and its implementation are described and preliminary experimental results are discussed. △ Less

Submitted 18 June, 2014; v1 submitted 13 June, 2014; originally announced June 2014.

Comments: Preprint submitted to IEEE Transactions on Nuclear Science

Divisors of a module and blow up

Authors: Ana L. Branco Correia, Santiago Zarzuela

Abstract: In this paper we work with several divisors of a module $E \subseteq G \simeq R^{e}$ having rank $e$, such as the classical Fitting ideals of $E$ and of $G/E$, and the more recently introduced (generic) Bourbaki ideals $I(E)$ (A. Simis, B. Ulrich, and W. Vasconcelos [18]) or ideal norms $[[E]]_R$ (O. Villamayor [22]). We found several relations and equalities among them which allow to describe in… ▽ More In this paper we work with several divisors of a module $E \subseteq G \simeq R^{e}$ having rank $e$, such as the classical Fitting ideals of $E$ and of $G/E$, and the more recently introduced (generic) Bourbaki ideals $I(E)$ (A. Simis, B. Ulrich, and W. Vasconcelos [18]) or ideal norms $[[E]]_R$ (O. Villamayor [22]). We found several relations and equalities among them which allow to describe in some cases universal properties with respect to $E$ of their blow ups. As a byproduct we are also able to obtain lower bounds for the analytic spread $\ell(\bigwedge^{e}E)$ related with the algebraic local version of Zak's inequality as explained in A. Simis, K. Smith and B. Ulrich [16]. △ Less

Submitted 4 July, 2012; originally announced July 2012.

On equimultiple modules

Authors: Ana L. Branco Correia, Santiago Zarzuela

Abstract: We study the class of equimultiple modules. In particular, we prove several criteria for an equimultiple module to be a complete intersection and prove the openness of the equimultiple locus of an ideal module. We study the class of equimultiple modules. In particular, we prove several criteria for an equimultiple module to be a complete intersection and prove the openness of the equimultiple locus of an ideal module. △ Less

Submitted 16 August, 2007; originally announced August 2007.

Comments: 26 pages

Some asymptotic properties of the Rees powers of a module

Authors: Ana L. Branco Correia, Santiago Zarzuela

Abstract: Let R be a commutative ring and let G be a free R-module with positive rank e. For any R-submodule E of G we may consider the image of the symmetric algebra of E by the natural map to the symmetric algebra of G, and then the graded components E_n of the image, that we call the n-th Rees powers of E. In this work we prove some asymptotic properties of the modules E_n, which extend well known simi… ▽ More Let R be a commutative ring and let G be a free R-module with positive rank e. For any R-submodule E of G we may consider the image of the symmetric algebra of E by the natural map to the symmetric algebra of G, and then the graded components E_n of the image, that we call the n-th Rees powers of E. In this work we prove some asymptotic properties of the modules E_n, which extend well known similar ones for the case of ideals, among them Burch's inequality for the analytic spread. △ Less

Submitted 25 August, 2004; originally announced August 2004.

Comments: 13 pages

MSC Class: 13A30