English
Related papers

Related papers: Dataflow Matrix Machines as a Model of Computation…

200 papers

Neural networks are powerful function estimators, leading to their status as a paradigm of choice for modeling structured data. However, unlike other structured representations that emphasize the modularity of the problem -- e.g., factor…

Machine Learning · Computer Science 2022-06-20 Tsvetomila Mihaylova , Vlad Niculae , André F. T. Martins

We propose reactive Turing machines (RTMs), extending classical Turing machines with a process-theoretical notion of interaction, and use it to define a notion of executable transition system. We show that every computable transition system…

Logic in Computer Science · Computer Science 2013-03-06 Jos C. M. Baeten , Bas Luttik , Paul van Tilburg

A novel Neural Network architecture is proposed using the mathematically and physically rich idea of vector fields as hidden layers to perform nonlinear transformations in the data. The data points are interpreted as particles moving along…

Machine Learning · Computer Science 2018-02-23 Daniel Vieira , Fabio Rangel , Fabricio Firmino , Joao Paixao

TensorFlow is a machine learning system that operates at large scale and in heterogeneous environments. TensorFlow uses dataflow graphs to represent computation, shared state, and the operations that mutate that state. It maps the nodes of…

We explore a simple mathematical model of network computation, based on Markov chains. Similar models apply to a broad range of computational phenomena, arising in networks of computers, as well as in genetic, and neural nets, in social…

Information Retrieval · Computer Science 2009-04-18 Dusko Pavlovic

Modern machine learning systems represent their computations as dataflow graphs. The increasingly complex neural network architectures crave for more powerful yet efficient programming abstractions. In this paper we propose an efficient…

Programming Languages · Computer Science 2024-10-29 Kelly Kostopoulou , Angelos Charalambidis , Panos Rondogiannis

Based on a natural connection between ResNet and transport equation or its characteristic equation, we propose a continuous flow model for both ResNet and plain net. Through this continuous model, a ResNet can be explicitly constructed as a…

Machine Learning · Computer Science 2017-12-12 Zhen Li , Zuoqiang Shi

This paper discusses new analytic algorithms and software for the enumeration of all integer flows inside a network. Concrete applications abound in graph theory \cite{Jaeger}, representation theory \cite{kirillov}, and statistics…

Combinatorics · Mathematics 2007-05-23 W. Baldoni-Silva , J. A. De Loera , M. Vergne

In this paper we propose a generalization of deep neural networks called deep function machines (DFMs). DFMs act on vector spaces of arbitrary (possibly infinite) dimension and we show that a family of DFMs are invariant to the dimension of…

Machine Learning · Statistics 2017-11-08 William H. Guss

Matrix engines or units, in different forms and affinities, are becoming a reality in modern processors; CPUs and otherwise. The current and dominant algorithmic approach to Deep Learning merits the commercial investments in these units,…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-03-02 Jens Domke , Emil Vatai , Aleksandr Drozd , Peng Chen , Yosuke Oyama , Lingqi Zhang , Shweta Salaria , Daichi Mukunoki , Artur Podobas , Mohamed Wahib , Satoshi Matsuoka

In comparison to classical shallow representation learning techniques, deep neural networks have achieved superior performance in nearly every application benchmark. But despite their clear empirical advantages, it is still not well…

Machine Learning · Computer Science 2022-01-11 Calvin Murdock , George Cazenavette , Simon Lucey

Probabilistic programming frameworks are powerful tools for statistical modelling and inference. They are not immediately generalisable to phylogenetic problems due to the particular computational properties of the phylogenetic tree object.…

Populations and Evolution · Quantitative Biology 2022-11-11 Christiaan Swanepoel , Mathieu Fourment , Xiang Ji , Hassan Nasif , Marc A Suchard , Frederick A Matsen , Alexei Drummond

We introduce graph normalizing flows: a new, reversible graph neural network model for prediction and generation. On supervised tasks, graph normalizing flows perform similarly to message passing neural networks, but at a significantly…

Machine Learning · Computer Science 2019-05-31 Jenny Liu , Aviral Kumar , Jimmy Ba , Jamie Kiros , Kevin Swersky

Neuromorphic computing exhibits great potential to provide high-performance benefits in various applications beyond neural networks. However, a general-purpose program execution model that aligns with the features of neuromorphic computing…

Computation and Language · Computer Science 2024-08-05 Weihao Zhang , Yu Du , Hongyi Li , Songchen Ma , Rong Zhao

A decision tree looks like a simple directed acyclic computational graph, where only the leaf nodes specify the output values and the non-terminals specify their tests or split conditions. From the numerical perspective, we express decision…

Machine Learning · Computer Science 2024-11-07 Jinxiong Zhang

Reservoir computing is a popular approach to design recurrent neural networks, due to its training simplicity and approximation performance. The recurrent part of these networks is not trained (e.g., via gradient descent), making them…

Neural and Evolutionary Computing · Computer Science 2021-02-15 Pietro Verzelli , Cesare Alippi , Lorenzo Livi , Peter Tino

Indexed monoidal algebras are introduced as an equivalent structure for self-dual compact closed categories, and a coherence theorem is proved for the category of such algebras. Turing automata and Turing graph machines are defined by…

Formal Languages and Automata Theory · Computer Science 2010-06-09 Miklós Bartha

Properties such as composability and automatic differentiation made artificial neural networks a pervasive tool in applications. Tackling more challenging problems caused neural networks to progressively become more complex and thus…

Category Theory · Mathematics 2022-09-07 Mattia G. Bergomi , Pietro Vertechi

Recurrent neural networks can learn complex transduction problems that require maintaining and actively exploiting a memory of their inputs. Such models traditionally consider memory and input-output functionalities indissolubly entangled.…

Machine Learning · Computer Science 2018-11-09 Davide Bacciu , Antonio Carta , Alessandro Sperduti

We describe various computational models based initially, but not exclusively, on that of the Turing machine, that are generalized to allow for transfinitely many computational steps. Variants of such machines are considered that have…

Logic · Mathematics 2014-09-19 Philip Welch