English
Related papers

Related papers: Simple Local Computation Algorithms for the Genera…

200 papers

Typing of lambda-terms in Elementary and Light Affine Logic (EAL, LAL, resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL (EAL, resp.) proof-nets admits a guaranteed polynomial…

Logic in Computer Science · Computer Science 2007-05-23 Patrick Baillot , Paolo Coppola , Ugo Dal Lago

Cellular automata (CA) can be viewed as maps in the space of probability measures. Such maps are normally infinitely-dimensional, and in order to facilitate investigations of their properties, especially in the context of applications,…

Cellular Automata and Lattice Gases · Physics 2020-02-21 Henryk Fukś , Francis Kwaku Combert

A framework for implementing reservoir computing (RC) and extreme learning machines (ELMs), two types of artificial neural networks, based on 1D elementary Cellular Automata (CA) is presented, in which two separate CA rules explicitly…

Neural and Evolutionary Computing · Computer Science 2017-03-20 Nathan McDonald

We study the problem of sampling an approximately uniformly random satisfying assignment for atomic constraint satisfaction problems i.e. where each constraint is violated by only one assignment to its variables. Let $p$ denote the maximum…

Data Structures and Algorithms · Computer Science 2021-02-17 Vishesh Jain , Huy Tuan Pham , Thuy-Duong Vuong

This work, for the first time, introduces two constant factor approximation algorithms with linear query complexity for non-monotone submodular maximization over a ground set of size $n$ subject to a knapsack constraint, $\mathsf{DLA}$ and…

Data Structures and Algorithms · Computer Science 2023-07-11 Canh V. Pham , Tan D. Tran , Dung T. K. Ha , My T. Thai

In this paper a sampling theory for unitary invariant subspaces associated to locally compact abelian (LCA) groups is deduced. Working in the LCA group context allows to obtain, in a unified way, sampling results valid for a wide range of…

Functional Analysis · Mathematics 2016-05-16 A. G. Garcia , M. A. Hernandez-Medina , G. Perez-Villalon

Under normality and homoscedasticity assumptions, Linear Discriminant Analysis (LDA) is known to be optimal in terms of minimising the Bayes error for binary classification. In the heteroscedastic case, LDA is not guaranteed to minimise…

Machine Learning · Computer Science 2017-03-27 Kojo Sarfo Gyamfi , James Brusey , Andrew Hunt , Elena Gaura

We present a randomized Kaczmarz method for linear discriminant analysis (rkLDA), an iterative randomized approach to binary-class Gaussian model linear discriminant analysis (LDA) for very large data. We harness a least squares formulation…

Computation · Statistics 2025-01-09 Jocelyn T. Chi , Deanna Needell

Latent Dirichlet Allocation (LDA) is a prominent generative probabilistic model used for uncovering abstract topics within document collections. In this paper, we explore the effectiveness of augmenting topic models with Large Language…

Computation and Language · Computer Science 2025-07-14 Mengze Hong , Chen Jason Zhang , Di Jiang

Lorentz-equivariant neural networks are becoming the leading architectures for high-energy physics. Current implementations rely on specialized layers, limiting architectural choices. We introduce Lorentz Local Canonicalization (LLoCa), a…

Linear erasure codes with local repairability are desirable for distributed data storage systems. An [n, k, d] code having all-symbol (r, \delta})-locality, denoted as (r, {\delta})a, is considered optimal if it also meets the minimum…

Information Theory · Computer Science 2013-07-09 Wentu Song , Son Hoang Dau , Chau Yuen , Tiffany Jing Li

The scaling law of Large Language Models (LLMs) reveals a power-law relationship, showing diminishing return on performance as model scale increases. While training LLMs from scratch is resource-intensive, fine-tuning a pre-trained model…

Computation and Language · Computer Science 2025-05-22 Yiyun Zhou , Chang Yao , Jingyuan Chen

The class PLS (Polynomial Local Search) captures the complexity of finding a solution that is locally optimal and has proven to be an important concept in the theory of local search. It has been shown that local search versions of various…

Data Structures and Algorithms · Computer Science 2025-12-16 Yasuaki Kobayashi , Kazuhiro Kurita , Yutaro Yamaguchi

A matrix algorithm runs superfast (aka at sublinear cost) if it involves much fewer flops and memory cells than an input matrix has entries. Big Data are frequently represented by matrices of immense sizes that cannot be handled directly…

Numerical Analysis · Mathematics 2025-11-11 Qi Luan , Victor Y. Pan

Local Completeness Logic (LCL) has been put forward as a program logic for proving both the correctness and incorrectness of program specifications. LCL is an abstract logic, parameterized by an abstract domain that allows combining over-…

Logic in Computer Science · Computer Science 2022-08-26 Marco Milanese , Francesco Ranzato

Lattice gas algorithms (LGA) are a class of algorithms including, in chronological order, binary lattice gas cellular automata (LGCA), integer lattice gas algorithms (ILGA) and lattice Boltzmann method (LBM). They are largely used for…

Quantum Physics · Physics 2025-09-04 Niccolò Fonio , Ljubomir Budinski , Valtteri Lahtinen , Pierre Sagaut

We review an algorithm developed for parameter estimation within the Continuous Data Assimilation (CDA) approach. We present an alternative derivation for the algorithm presented in a paper by Carlson, Hudson, and Larios (CHL, 2021). This…

Numerical Analysis · Mathematics 2024-11-22 Joshua Newey , Jared P Whitehead , Elizabeth Carlson

Constructions of optimal locally repairable codes (LRCs) in the case of $(r+1) \nmid n$ and over small finite fields were stated as open problems for LRCs in [I. Tamo \emph{et al.}, "Optimal locally repairable codes and connections to…

Information Theory · Computer Science 2014-11-21 Toni Ernvall , Thomas Westerbäck , Camilla Hollanti

Assume we are given (finitely many) mutually independent variables and (finitely many) "undesirable" events, each depending on a subset of the variables of at most $k$ elements, called the scope of the event. Assume that the probability of…

Discrete Mathematics · Computer Science 2018-08-08 Lefteris Kirousis , John Livieratos , Kostas I. Psaromiligkos

A code over a finite alphabet is called locally recoverable (LRC code) if every symbol in the encoding is a function of a small number (at most r) other symbols. A family of linear LRC codes that generalize the classic construction of…

Information Theory · Computer Science 2015-05-12 Alexander Barg , Itzhak Tamo , Serge Vladut