English
Related papers

Related papers: Programs as Singularities

200 papers

Bayesian Networks may be appealing for clinical decision-making due to their inclusion of causal knowledge, but their practical adoption remains limited as a result of their inability to deal with unstructured data. While neural networks do…

Machine Learning · Computer Science 2022-11-16 Paloma Rabaey , Cedric De Boom , Thomas Demeester

Structural missingness breaks 'just impute and train': values can be undefined by causal or logical constraints, and the mask may depend on observed variables, unobserved variables (MNAR), and other missingness indicators. It simultaneously…

We propose a general theory for constructing functorial assignments $\Sigma \longmapsto \Omega_{\Sigma} \in E(\Sigma)$ for a large class of functors $E$ from a certain category of bordered surfaces to a suitable target category of…

Geometric Topology · Mathematics 2023-11-21 Jørgen Ellegaard Andersen , Gaëtan Borot , Nicolas Orantin

Motivated by the strong nearby Lagrangian conjecture, we constrain the parametrised Whitehead torsion of a family of closed exact Lagrangian submanifolds in a cotangent bundle. We prove the parametrised Whitehead torsion admits a…

Symplectic Geometry · Mathematics 2025-06-09 Sylvain Courte , Noah Porcelli

Deep neural networks have achieved impressive supervised classification performance in many tasks including image recognition, speech recognition, and sequence to sequence learning. However, this success has not been translated to…

Machine Learning · Computer Science 2016-08-05 Arvind Neelakantan , Quoc V. Le , Ilya Sutskever

A circular program creates a data structure whose computation depends upon itself or refers to itself. The technique is used to implement the classic data structures circular and doubly-linked lists, threaded trees and queues, in a…

Programming Languages · Computer Science 2024-03-05 Lloyd Allison

As an example of the concept of rulial space, we explore the case of simple Turing machines. We construct the rulial multiway graph which represents the behavior of all possible Turing machines with a certain class of rules. This graph…

Discrete Mathematics · Computer Science 2021-01-27 Stephen Wolfram

Kernel methods in machine learning use a kernel function that takes two data points as input and returns their inner product after mapping them to a Hilbert space, implicitly and without actually computing the mapping. For many kernel…

Machine Learning · Computer Science 2024-10-17 Kamaledin Ghiasi-Shirazi , Mohammadreza Qaraei

Learning in Riemannian orbifolds is motivated by existing machine learning algorithms that directly operate on finite combinatorial structures such as point patterns, trees, and graphs. These methods, however, lack statistical…

Machine Learning · Computer Science 2012-04-20 Brijnesh J. Jain , Klaus Obermayer

In this article we extend the theory of the binary codes (the strict code $\mathcal{K}$ and the extended code $\mathcal{K}'$), associated to a projective nodal surface, to a coding theory for normal surfaces, with special consideration of…

Algebraic Geometry · Mathematics 2025-08-25 Fabrizio Catanese

Consider the product of $M$ quadratic random matrices with complex elements and no further symmetry, where all matrix elements of each factor have a Gaussian distribution. This generalises the classical Wishart-Laguerre Gaussian Unitary…

Mathematical Physics · Physics 2013-06-28 Gernot Akemann , Mario Kieburg , Lu Wei

We define higher quantum Airy structures as generalizations of the Kontsevich-Soibelman quantum Airy structures by allowing differential operators of arbitrary order (instead of only quadratic). We construct many classes of examples of…

Mathematical Physics · Physics 2024-04-10 Gaëtan Borot , Vincent Bouchard , Nitin K. Chidambaram , Thomas Creutzig , Dmitry Noshchenko

This paper provides a new and more direct proof of the assertion that a Turing computable function of the natural numbers is primitive recursive if and only if the time complexity of the corresponding Turing machine is bounded by a…

Formal Languages and Automata Theory · Computer Science 2025-10-22 Daniel G. Schwartz

We describe a method to axiomatize computations in deterministic Turing machines. When applied to computations in non-deterministic Turing machines, this method may produce contradictory (and therefore trivial) theories, considering…

Quantum Physics · Physics 2008-07-27 Juan C. Agudelo , Walter Carnielli

We construct a version of kneading theory for families of monotonous functions on the real line. The generality of the setup covers two classical results from Milnor-Thurston's kneading theory: the first one is to dynamically characterise…

Dynamical Systems · Mathematics 2022-11-17 Ermerson Araujo , Alex Zamudio Espinosa

We introduce Thurstonian Boltzmann Machines (TBM), a unified architecture that can naturally incorporate a wide range of data inputs at the same time. Our motivation rests in the Thurstonian view that many discrete data types can be…

Machine Learning · Statistics 2014-08-04 Truyen Tran , Dinh Phung , Svetha Venkatesh

We consider integrals of tau functions of Zakharov-Shabat systems whose higher times are related to the eigenvalues of products of random matrices. Apart of random matrices there is the set of $n$ pairs of given matrices which play the role…

Exactly Solvable and Integrable Systems · Physics 2019-11-07 S. M. Natanzon , A. Yu. Orlov

Probabilistic programs are typically normal-looking programs describing posterior probability distributions. They intrinsically code up randomized algorithms and have long been at the heart of modern machine learning and approximate…

Programming Languages · Computer Science 2023-02-14 Lutz Klinkenberg , Tobias Winkler , Mingshuai Chen , Joost-Pieter Katoen

We apply some of the latest techniques from machine-learning to the arithmetic of hyperelliptic curves. More precisely we show that, with impressive accuracy and confidence (between 99 and 100 percent precision), and in very short time…

Number Theory · Mathematics 2023-07-14 Yang-Hui He , Kyu-Hwan Lee , Thomas Oliver

One way of studying a relational structure is to investigate functions which are related to that structure and which leave certain aspects of the structure invariant. Examples are the automorphism group, the self-embedding monoid, the…

Logic · Mathematics 2011-05-31 Manuel Bodirsky , Michael Pinsker