English
Related papers

Related papers: The Wake Up and Report Problem is Time-Equivalent …

200 papers

The linearly inseparable XOR problem and the related problem of representing binary logical gates is revisited from the point of view of temporal encoding and its solvability by spiking neural networks with minimal configurations of leaky…

Neural and Evolutionary Computing · Computer Science 2024-08-13 Bernhard A. Moser , Michael Lunglmayr

In this paper we study energy-efficient time synchronization schemes with focus on asymmetric wireless sensor networks, where a head node, which is connected to both wired & wireless networks, is equipped with a powerful processor and…

Networking and Internet Architecture · Computer Science 2015-08-13 Kyeong Soo Kim , Sanghyuk Lee , Eng Gee Lim

We introduce two generalizations of synchronizability to automata with transitions weighted in an arbitrary semiring K=(K,+,*,0,1). (or equivalently, to finite sets of matrices in K^nxn.) Let us call a matrix A location-synchronizing if…

Formal Languages and Automata Theory · Computer Science 2014-05-23 Szabolcs Iván

The study of network synchronization has attracted increasing attention recently. In this paper, we strictly define a class of networks, namely effective networks, which are synchronizable and orientable networks. We can prove that all the…

Statistical Mechanics · Physics 2010-05-04 Tao Zhou , Ming Zhao , Changsong Zhou

Given a program and a time deadline, does the program finish before the deadline when executed on a given platform? With the requirement to produce a test case when such a violation can occur, we refer to this problem as the worst-case…

Programming Languages · Computer Science 2015-06-22 Daniel Bundala , Sanjit A. Seshia

We introduce the notion of adaptive synchronisation for pushdown automata, in which there is an external observer who has no knowledge about the current state of the pushdown automaton, but can observe the contents of the stack. The…

Formal Languages and Automata Theory · Computer Science 2021-02-16 A. R. Balasubramanian , K. S. Thejaswini

In this paper, we present a 4-state solution to the Firing Squad Synchronization Problem (FSSP) based on hybrid rule 60/102 Cellular Automata(CA). This solution solves the problem on the line of length 2^n with two generals. Previous work…

Cellular Automata and Lattice Gases · Physics 2012-12-14 Li Ning , Liang Shi-li , Cui Shuang , Xu Mei-ling , Zhang Ling

We investigate the constrained synchronization problem for weakly acyclic, or partially ordered, input automata. We show that, for input automata of this type, the problem is always in NP. Furthermore, we give a full classification of the…

Formal Languages and Automata Theory · Computer Science 2021-08-17 Stefan Hoffmann

In large-scale excitatory neuronal networks, rapid synchronization manifests as {multiple firing events (MFEs)}, mathematically characterized by a finite-time blow-up of the neuronal firing rate in the mean-field Fokker-Planck equation.…

Numerical Analysis · Mathematics 2026-03-23 Xu'an Dou , Louis Tao , Zhe Xue , Zhennan Zhou

In this paper, we come back on the notion of local simulation allowing to transform a cellular automaton into a closely related one with different local encoding of information. This notion is used to explore solutions of the Firing Squad…

Cellular Automata and Lattice Gases · Physics 2020-05-19 Tien Thao Nguyen , Luidnel Maignan

We introduce logical synchrony, a framework that allows distributed computing to be coordinated as tightly as in synchronous systems without the distribution of a global clock or any reference to universal time. We develop a model of events…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-07-08 Sanjay Lall , Calin Cascaval , Martin Izzard , Tammo Spalink

Data are often sampled irregularly in time. Dealing with this using Recurrent Neural Networks (RNNs) traditionally involved ignoring the fact, feeding the time differences as additional inputs, or resampling the data. All these methods have…

Machine Learning · Computer Science 2024-07-03 Mantas Lukoševičius , Arnas Uselis

We consider single-hop radio networks with multiple channels as a model of wireless networks. There are $n$ stations connected to $b$ radio channels that do not provide collision detection. A station uses all the channels concurrently and…

Data Structures and Algorithms · Computer Science 2018-12-31 Bogdan S. Chlebus , Gianluca De Marco , Dariusz R. Kowalski

We consider a finite collection of reinforced stochastic processes with a general network-based interaction among them. We provide sufficient and necessary conditions in order to have some form of almost sure asymptotic synchronization,…

Probability · Mathematics 2025-06-11 Giacomo Aletti , Irene Crimaldi , Andrea Ghiglietti

In this paper we address distributed learning problems over peer-to-peer networks. In particular, we focus on the challenges of quantized communications, asynchrony, and stochastic gradients that arise in this set-up. We first discuss how…

Optimization and Control · Mathematics 2025-09-04 Nicola Bastianello , Apostolos I. Rikos , Karl H. Johansson

A renewal system divides the slotted timeline into back to back time periods called renewal frames. At the beginning of each frame, it chooses a policy from a set of options for that frame. The policy determines the duration of the frame,…

Optimization and Control · Mathematics 2021-02-02 Xiaohan Wei

We consider the makespan minimization coupled-tasks problem in presence of compatibility constraints with a specified topology. In particular, we focus on stretched coupled-tasks, i.e. coupled-tasks having the same sub-tasks execution time…

Computational Complexity · Computer Science 2017-06-08 Benoit Darties , Rodolphe Giroudeau , Jean-Claude König , Gilles Simonin

Recurrently coupled networks of inhibitory neurons robustly generate oscillations in the gamma band. Nonetheless, the corresponding Wilson-Cowan type firing rate equation for such an inhibitory population does not generate such oscillations…

Neurons and Cognition · Quantitative Biology 2018-01-08 Federico Devalle , Alex Roxin , Ernest Montbrió

Clock synchronization is ubiquitous in wireless systems for communication, sensing and control. In this paper we design a scalable system in which an indefinite number of passively receiving wireless units can synchronize to a single master…

Networking and Internet Architecture · Computer Science 2017-10-04 Dave Zachariah , Satyam Dwivedi , Peter Händel , Petre Stoica

In this paper we propose Time Synchronized One-Time-Password scheme to provide secure wake up authentication. The main constraint of wireless sensor networks is their limited power resource that prevents us from using radio transmission…

Networking and Internet Architecture · Computer Science 2013-02-08 Anastasios Kavoukis , Salem Aljareh