17 citations · 29 across the 12 of their papers we have counts for
13 papers
OSSMM: An Open-Source Sleep Monitor and Modulator
Jonny Giordano, Fergal Stapleton, Gabriel Palma +1
We present the Open-Source Sleep Monitor and Modulator (OSSMM), an open-source hardware and software platform for accessible sleep research. The OSSMM comprises a small wearable he…
The Repeated-Stimulus Confound in Electroencephalography
Jack A. Kilgallen, Barak A. Pearlmutter, Jeffrey Mark Siskind
In neural-decoding studies, recordings of participants' responses to stimuli are used to train models. In recent years, there has been an explosion of publications detailing applic…
Change of Thought: Adaptive Test-Time Computation
Mrinal Mathur, Mike Doan, Barak Pearlmutter +1
Transformers evaluated in a single, fixed-depth pass are provably limited in expressive power to the constant-depth circuit class TC0. Running a Transformer autoregressively remove…
Automatic Differentiation: Inverse Accumulation Mode
Barak A. Pearlmutter, Jeffrey Mark Siskind
We show that, under certain circumstances, it is possible to automatically compute Jacobian-inverse-vector and Jacobian-inverse-transpose-vector products about as efficiently as Ja…
Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report
Syed Ali Asadullah Bukhari, Thomas Flinkow, Medet Inkarbekov +2
The increased reliance of self-driving vehicles on neural networks opens up the challenge of their verification. In this paper we present an experience report, describing a case st…
Recent Trends in Modelling the Continuous Time Series using Deep Learning: A Survey
Mansura Habiba, Barak A. Pearlmutter, Mehrdad Maleki
Continuous-time series is essential for different modern application areas, e.g. healthcare, automobile, energy, finance, Internet of things (IoT) and other related areas. Differen…
Second-Order Forward-Mode Automatic Differentiation for Optimization
Adam D. Cobb, Atılım Güneş Baydin, Barak A. Pearlmutter +1
This paper introduces a second-order hyperplane search, a novel optimization step that generalizes a second-order line search from a line to a -dimensional hyperplane. This, com…
Comparing differentiable logics for learning with logical constraints
Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan
Extensive research on formal verification of machine learning systems indicates that learning from data alone often fails to capture underlying background knowledge, such as specif…
Learning Exemplar Representations in Single-Trial EEG Category Decoding
Jack Kilgallen, Barak Pearlmutter, Jeffery Mark Siskind
Within neuroimgaing studies it is a common practice to perform repetitions of trials in an experiment when working with a noisy class of data acquisition system, such as electroenc…
Low-Rank Learning by Design: the Role of Network Architecture and Activation Linearity in Gradient Rank Collapse
Bradley T. Baker, Barak A. Pearlmutter, Robyn Miller +2
Our understanding of learning dynamics of deep neural networks (DNNs) remains incomplete. Recent research has begun to uncover the mathematical principles underlying these networks…
Comparing Differentiable Logics for Learning Systems: A Research Preview
Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan
Extensive research on formal verification of machine learning (ML) systems indicates that learning from data alone often fails to capture underlying background knowledge. A variety…
Visualization of AI Systems in Virtual Reality: A Comprehensive Review
Medet Inkarbekov, Rosemary Monahan, Barak A. Pearlmutter
This study provides a comprehensive review of the utilization of Virtual Reality (VR) for visualizing Artificial Intelligence (AI) systems, drawing on 18 selected studies. The resu…
ECG synthesis with Neural ODE and GAN models
Mansura Habiba, Eoin Brophy, Barak A. Pearlmutter +1
Continuous medical time series data such as ECG is one of the most complex time series due to its dynamic and high dimensional characteristics. In addition, due to its sensitive na…