Publications

Simple Video Generation using Neural ODEs
S Ebrahimi Kahou
Christopher Pal
Despite having been studied to a great extent, the task of conditional generation of sequences of frames, or videos, remains extremely chall… (see more)enging. It is a common belief that a key step towards solving this task resides in modelling accurately both spatial and temporal information in video signals. A promising direction to do so has been to learn latent variable models that predict the future in latent space and project back to pixels, as suggested in recent literature. Following this line of work and building on top of a family of models introduced in prior work, Neural ODE, we investigate an approach that models time-continuous dynamics over a continuous latent space with a differential equation with respect to time. The intuition behind this approach is that these trajectories in latent space could then be extrapolated to generate video frames beyond the time steps for which the model is trained. We show that our approach yields promising results in the task of future frame prediction on the Moving MNIST dataset with 1 and 2 digits.
Social belonging: brain structure and function is linked to membership in sports teams, religious groups, and social clubs
Carolin Kieckhaefer
Leonhard Schilbach
Human behavior across the life span is driven by the psychological need to belong, right from kindergarten to bingo nights. Being part of so… (see more)cial groups constitutes a backbone for communal life and confers many benefits for the physical and mental health. Capitalizing on the neuroimaging and behavioral data from ∼40,000 participants from the UK Biobank population cohort, we used structural and functional analyses to explore how social participation is reflected in the human brain. Across 3 different types of social groups, structural analyses point toward the variance in ventromedial prefrontal cortex, fusiform gyrus, and anterior cingulate cortex as structural substrates tightly linked to social participation. Functional connectivity analyses not only emphasized the importance of default mode and limbic network but also showed differences for sports teams and religious groups as compared to social clubs. Taken together, our findings establish the structural and functional integrity of the default mode network as a neural signature of social belonging.
Learning Neural Causal Models with Active Interventions
Yashas Annadani
Patrick Schwab
Bernhard Schölkopf
Michael Curtis Mozer
Nan Rosemary Ke
Discovering causal structures from data is a challenging inference problem of fundamental importance in all areas of science. The appealing … (see more)scaling properties of neural networks have recently led to a surge of interest in differentiable neural network-based methods for learning causal structures from data. So far, differentiable causal discovery has focused on static datasets of observational or interventional origin. In this work, we introduce an active intervention-targeting mechanism which enables quick identification of the underlying causal structure of the data-generating process. Our method significantly reduces the required number of interactions compared with random intervention targeting and is applicable for both discrete and continuous optimization formulations of learning the underlying directed acyclic graph (DAG) from data. We examine the proposed method across multiple frameworks in a wide range of settings and demonstrate superior performance on multiple benchmarks from simulated to real-world data.
Proceedings 17th International Conference on Quantum Physics and Logic
Benoît Valiron
Shane Mansfield
Pablo Arrighi
This volume contains the proceedings of the 17th International Conference on Quantum Physics and Logic (QPL 2020), which was held June 2-6, … (see more)2020. Quantum Physics and Logic is an annual conference that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behavior in general. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) is also welcome.
Rapid simultaneous acquisition of macromolecular tissue volume, susceptibility, and relaxometry maps
Fang Frank Yu
Susie Yi Huang
Thomas Witzel
Ashwin Kumar
Congyu Liao
Tanguy Duval
Berkin Bilgic
Purpose A major obstacle to the clinical implementation of quantitative MR is the lengthy acquisition time required to derive multi-contrast… (see more) parametric maps. We sought to reduce the acquisition time for quantitative susceptibility mapping (QSM) and macromolecular tissue volume (MTV) by acquiring both contrasts simultaneously by leveraging their redundancies. The Joint Virtual Coil concept with generalized autocalibrating partially parallel acquisitions (JVC-GRAPPA) was applied to reduce acquisition time further. Methods Three adult volunteers were imaged on a 3T scanner using a multi-echo 3D GRE sequence acquired at three head orientations. MTV, QSM, R2*, T1, and proton density maps were reconstructed. The same sequence (GRAPPA R=4) was performed in subject #1 with a single head orientation for comparison. Fully sampled data was acquired in subject #2, from which retrospective undersampling was performed (R=6 GRAPPA and R=9 JVC-GRAPPA). Prospective undersampling was performed in subject #3 (R=6 GRAPPA and R=9 JVC-GRAPPA) using gradient blips to shift k-space sampling in later echoes. Results Subject #1’s multi-orientation and single-orientation MTV maps were not significantly different based on RMSE. For subject #2, the retrospectively undersampled JVC-GRAPPA and GRAPPA generated similar results as fully sampled data. This approach was validated with the prospectively undersampled images in subject #3. Using QSM, R2*, and MTV, the contributions of myelin and iron content to susceptibility was estimated. Conclusion We have developed a novel strategy to simultaneously acquire data for the reconstruction of five intrinsically co-registered 1-mm isotropic resolution multi-parametric maps, with a scan time of 6 minutes using JVC-GRAPPA.
Quantitative 7-Tesla Imaging of Cortical Myelin Changes in Early Multiple Sclerosis
Valeria Barletta
Elena Herranz
Constantina A. Treaba
Ambica Mehndiratta
Russell Ouellette
Gabriel Mangeat
Tobias Granberg
Jacob A. Sloane
Eric C Klawiter
Caterina Mainero
Cortical demyelination occurs early in multiple sclerosis (MS) and relates to disease outcome. The brain cortex has endogenous propensity fo… (see more)r remyelination as proven from histopathology study. In this study, we aimed at characterizing cortical microstructural abnormalities related to myelin content by applying a novel quantitative MRI technique in early MS. A combined myelin estimation (CME) cortical map was obtained from quantitative 7-Tesla (7T) T2* and T1 acquisitions in 25 patients with early MS and 19 healthy volunteers. Cortical lesions in MS patients were classified based on their myelin content by comparison with CME values in healthy controls as demyelinated, partially demyelinated, or non-demyelinated. At follow-up, we registered changes in cortical lesions as increased, decreased, or stable CME. Vertex-wise analysis compared cortical CME in the normal-appearing cortex in 25 MS patients vs. 19 healthy controls at baseline and investigated longitudinal changes at 1 year in 10 MS patients. Measurements from the neurite orientation dispersion and density imaging (NODDI) diffusion model were obtained to account for cortical neurite/dendrite loss at baseline and follow-up. Finally, CME maps were correlated with clinical metrics. CME was overall low in cortical lesions (p = 0.03) and several normal-appearing cortical areas (p 0.05) in the absence of NODDI abnormalities. Individual cortical lesion analysis revealed, however, heterogeneous CME patterns from extensive to partial or absent demyelination. At follow-up, CME overall decreased in cortical lesions and non-lesioned cortex, with few areas showing an increase (p 0.05). Cortical CME maps correlated with processing speed in several areas across the cortex. In conclusion, CME allows detection of cortical microstructural changes related to coexisting demyelination and remyelination since the early phases of MS, and shows to be more sensitive than NODDI and relates to cognitive performance.
Sleep spindles track cortical learning patterns for memory consolidation
Marit Petzka
Alex Chatburn
George M. Balanos
Bernhard P. Staresina
Application of Artificial Intelligence in Community-Based Primary Health Care: Systematic Scoping Review and Critical Appraisal (Preprint)
Samira Abbasgholizadeh Rahimi
France Légaré
Patrick Archambault
Herve Tchala Vignon Zomahoun
Sam Chandavong
Nathalie Rheault
Sabrina T Wong
Lyse Langlois
Yves Couturier
Jose L Salmeron
Marie-Pierre Gagnon
Jean Légaré
BACKGROUND

Research on the integration of artificial intelligence (AI) i… (see more)nto community-based primary health care (CBPHC) has highlighted several advantages and disadvantages in practice regarding, for example, facilitating diagnosis and disease management, as well as doubts concerning the unintended harmful effects of this integration. However, there is a lack of evidence about a comprehensive knowledge synthesis that could shed light on AI systems tested or implemented in CBPHC.

OBJECTIVE

We intended to identify and evaluate published studies that have tested or implemented AI in CBPHC settings.

METHODS

We conducted a systematic scoping review informed by an earlier study and the Joanna Briggs Institute (JBI) scoping review framework and reported the findings according to PRISMA-ScR (Preferred Reporting Items for Systematic Reviews and Meta-Analysis-Scoping Reviews) reporting guidelines. An information specialist performed a comprehensive search from the date of inception until February 2020, in seven bibliographic databases: Cochrane Library, MEDLINE, EMBASE, Web of Science, Cumulative Index to Nursing and Allied Health Literature (CINAHL), ScienceDirect, and IEEE Xplore. The selected studies considered all populations who provide and receive care in CBPHC settings, AI interventions that had been implemented, tested, or both, and assessed outcomes related to patients, health care providers, or CBPHC systems. Risk of bias was assessed using the Prediction Model Risk of Bias Assessment Tool (PROBAST). Two authors independently screened the titles and abstracts of the identified records, read the selected full texts, and extracted data from the included studies using a validated extraction form. Disagreements were resolved by consensus, and if this was not possible, the opinion of a third reviewer was sought. A third reviewer also validated all the extracted data.

RESULTS

We retrieved 22,113 documents. After the removal of duplicates, 16,870 documents were screened, and 90 peer-reviewed publications met our inclusion criteria. Machine learning (ML) (41/90, 45%), natural language processing (NLP) (24/90, 27%), and expert systems (17/90, 19%) were the most commonly studied AI interventions. These were primarily implemented for diagnosis, detection, or surveillance purposes. Neural networks (ie, convolutional neural networks and abductive networks) demonstrated the highest accuracy, considering the given database for the given clinical task. The risk of bias in diagnosis or prognosis studies was the lowest in the participant category (4/49, 4%) and the highest in the outcome category (22/49, 45%).

CONCLUSIONS

We observed variabilities in reporting the participants, types of AI methods, analyses, and outcomes, and highlighted the large gap in the effective development and implementation of AI in CBPHC. Further studies are needed to efficiently guide the development and implementation of AI interventions in CBPHC settings.

Automated Traceability for Domain Modelling Decisions Empowered by Artificial Intelligence
Rijul Saini
Gunter Mussbacher
Jin L.C. Guo
Jörg Kienzle
Domain modelling abstracts real-world entities and their relationships in the form of class diagrams for a given domain problem space. Model… (see more)lers often perform domain modelling to reduce the gap between understanding the problem description which expresses requirements in natural language and the concise interpretation of these requirements. However, the manual practice of domain modelling is both time-consuming and error-prone. These issues are further aggravated when problem descriptions are long, which makes it hard to trace modelling decisions from domain models to problem descriptions or vice-versa leading to completeness and conciseness issues. Automated support for tracing domain modelling decisions in both directions is thus advantageous. In this paper, we propose an automated approach that uses artificial intelligence techniques to extract domain models along with their trace links. We present a traceability information model to enable traceability of modelling decisions in both directions and provide its proof-of-concept in the form of a tool. The evaluation on a set of unseen problem descriptions shows that our approach is promising with an overall median F2 score of 82.04%. We conduct an exploratory user study to assess the benefits and limitations of our approach and present the lessons learned from this study.
DoMoBOT: A Modelling Bot for Automated and Traceable Domain Modelling
Rijul Saini
Gunter Mussbacher
Jin L.C. Guo
Jörg Kienzle
In the initial phases of the software development cycle, domain modelling is typically performed to transform informal requirements expresse… (see more)d in natural language into concise and analyzable domain models. These models capture the key concepts of an application domain and their relationships in the form of class diagrams. Building domain models manually is often a time-consuming and labor-intensive task. The current approaches which aim to extract domain models automatically, are inadequate in providing insights into the modelling decisions taken by extractor systems. This inhibits modellers to quickly confirm the completeness and conciseness of extracted domain models. To address these challenges, we present DoMoBOT, a domain modelling bot that uses a traceability knowledge graph to enable traceability of modelling decisions from extracted domain model elements to requirements and vice-versa. In this tool demo paper, we showcase how the implementation and architecture of DoMoBOT facilitate modellers to extract domain models and gain insights into the modelling decisions taken by our bot.
Full-Scale Information Diffusion Prediction With Reinforced Recurrent Networks
Hao Wang
Chuan Shi
Maosong Sun
Ganqu Cui
Zhiyuan Liu
Information diffusion prediction is an important task, which studies how information items spread among users. With the success of deep lear… (see more)ning techniques, recurrent neural networks (RNNs) have shown their powerful capability in modeling information diffusion as sequential data. However, previous works focused on either microscopic diffusion prediction, which aims at guessing who will be the next influenced user at what time, or macroscopic diffusion prediction, which estimates the total numbers of influenced users during the diffusion process. To the best of our knowledge, few attempts have been made to suggest a unified model for both microscopic and macroscopic scales. In this article, we propose a novel full-scale diffusion prediction model based on reinforcement learning (RL). RL incorporates the macroscopic diffusion size information into the RNN-based microscopic diffusion model by addressing the nondifferentiable problem. We also employ an effective structural context extraction strategy to utilize the underlying social graph information. Experimental results show that our proposed model outperforms state-of-the-art baseline models on both microscopic and macroscopic diffusion predictions on three real-world datasets.
Promoting and Optimizing the Use of 3D-Printed Objects in Spontaneous Recognition Memory Tasks in Rodents: A Method for Improving Rigor and Reproducibility
Mehreen Inayat
Arely Cruz-Sanchez
Hayley H. A. Thorpe
Jude A. Frie
Blake Aaron Richards
Jibran Y. Khokhar
Maithe Arruda-Carvalho