English
Related papers

Related papers: 5' -> 3' Watson-Crick Automata accepting Necklaces

200 papers

We localize the policy routing mechanism in alignment-trained language models. An intermediate-layer attention gate reads detected content and triggers deeper amplifier heads that boost the signal toward refusal. In smaller models the gate…

Computation and Language · Computer Science 2026-05-04 Gregory N. Frank

Recent advances in machine learning have become increasingly popular in the applications of phase transitions and critical phenomena. By machine learning approaches, we try to identify the physical characteristics in the two-dimensional…

Disordered Systems and Neural Networks · Physics 2021-01-25 Shu Cheng , Fei He , Huai Zhang , Ka-Di Zhu , Yaolin Shi

We investigate the accepting state complexity of deterministic finite automata for regular languages obtained by applying one of the following operations to languages accepted by permutation automata: union, quotient, complement,…

Formal Languages and Automata Theory · Computer Science 2022-09-01 Christian Rauch , Markus Holzer

Weakly recognizing morphisms from free semigroups onto finite semigroups are a classical way for defining the class of omega-regular languages, i.e., a set of infinite words is weakly recognizable by such a morphism if and only if it is…

Formal Languages and Automata Theory · Computer Science 2016-04-28 Lukas Fleischer , Manfred Kufleitner

Recurrent Neural Cascades (RNC) are the class of recurrent neural networks with no cyclic dependencies among recurrent neurons. Their subclass RNC+ with positive recurrent weights has been shown to be closely connected to the star-free…

Machine Learning · Computer Science 2024-09-10 Nadezda Alexandrovna Knorozova , Alessandro Ronca

In graph theory, the objective of the k-centre problem is to find a set of $k$ vertices for which the largest distance of any vertex to its closest vertex in the $k$-set is minimised. In this paper, we introduce the $k$-centre problem for…

Data Structures and Algorithms · Computer Science 2020-05-21 Duncan Adamson , Argyrios Deligkas , Vladimir V. Gusev , Igor Potapov

We present Backpacks: a new neural architecture that marries strong modeling performance with an interface for interpretability and control. Backpacks learn multiple non-contextual sense vectors for each word in a vocabulary, and represent…

Computation and Language · Computer Science 2023-05-29 John Hewitt , John Thickstun , Christopher D. Manning , Percy Liang

We look at nondeterministic finite automata augmented with multiple reversal-bounded counters where, during an accepting computation, the behavior of the counters is specified by some fixed pattern. These patterns can serve as a useful…

Formal Languages and Automata Theory · Computer Science 2022-12-08 Oscar H. Ibarra , Ian McQuillan

This paper describes the architecture and performance of ORACLE, an approach for detecting a unique radio from a large pool of bit-similar devices (same hardware, protocol, physical address, MAC ID) using only IQ samples at the physical…

Signal Processing · Electrical Eng. & Systems 2018-12-05 Kunal Sankhe , Mauro Belgiovine , Fan Zhou , Shamnaz Riyaz , Stratis Ioannidis , Kaushik Chowdhury

It is well known that for a regular tree language it is decidable whether or not it can be recognized by a deterministic top-down tree automaton (DTA). However, the computational complexity of this problem has not been studied. We show that…

Formal Languages and Automata Theory · Computer Science 2021-07-08 Peter Leupold , Sebastian Maneth

Cross-technology communication(CTC) enables seamless interactions between diverse wireless technologies. Most existing work is based on reversing the transmission path to identify the appropriate payload to generate the waveform that the…

Networking and Internet Architecture · Computer Science 2024-03-18 Haoyu Wang , Jiazhao Wang , Demin Gao , Wenchao Jiang

The problem DFA-Intersection-Nonemptiness asks if a given number of deterministic automata accept a common word. In general, this problem is PSPACE-complete. Here, we investigate this problem for the subclasses of commutative automata and…

Formal Languages and Automata Theory · Computer Science 2021-08-12 Henning Fernau , Stefan Hoffmann , Michael Wehar

We introduce homing vector automata, which are finite automata augmented by a vector that is multiplied at each step by a matrix determined by the current transition, and have to return the vector to its original setting in order to accept…

Formal Languages and Automata Theory · Computer Science 2017-08-01 Özlem Salehi , A. C. Cem Say , Flavio D'Alessandro

Environmental signals sensed by nervous systems are often represented in spike trains carried from sensory neurons to higher neural functions where decisions and functional actions occur. Information about the environmental stimulus is…

Biological Physics · Physics 2007-05-23 Henry D. I. Abarbanel , Evren C. Tumer

The notion of Wheeler languages is rooted in the Burrows-Wheeler transform (BWT), one of the most central concepts in data compression and indexing. The BWT has been generalized to finite automata, the so-called Wheeler automata, by Gagie…

Formal Languages and Automata Theory · Computer Science 2025-04-29 Ruben Becker , Giuseppa Castiglione , Giovanna D'Agostino , Alberto Policriti , Nicola Prezza , Antonio Restivo , Brian Riccardi

Convolutional neural networks (CNNs) have been successfully used in a range of tasks. However, CNNs are often viewed as "black-box" and lack of interpretability. One main reason is due to the filter-class entanglement -- an intricate…

Computer Vision and Pattern Recognition · Computer Science 2021-07-02 Haoyu Liang , Zhihao Ouyang , Yuyuan Zeng , Hang Su , Zihao He , Shu-Tao Xia , Jun Zhu , Bo Zhang

We introduce languages of higher-dimensional automata (HDAs) and develop some of their properties. To this end, we define a new category of precubical sets, uniquely naturally isomorphic to the standard one, and introduce a notion of event…

Formal Languages and Automata Theory · Computer Science 2021-09-06 Uli Fahrenberg , Christian Johansen , Georg Struth , Krzysztof Ziemiański

Knotted molecules occur naturally and are designed by scientists to gain special biological and material properties. Understanding and utilizing knotting require efficient methods to recognize and generate knotted structures, which are…

Computational Physics · Physics 2025-01-23 Zhiyu Zhang , Yongjian Zhu , Liang Dai

Neural machine translation is a recently proposed approach to machine translation. Unlike the traditional statistical machine translation, the neural machine translation aims at building a single neural network that can be jointly tuned to…

Computation and Language · Computer Science 2016-05-23 Dzmitry Bahdanau , Kyunghyun Cho , Yoshua Bengio

We propose to compose dynamic tree structures that place the objects in an image into a visual context, helping visual reasoning tasks such as scene graph generation and visual Q&A. Our visual context tree model, dubbed VCTree, has two key…

Computer Vision and Pattern Recognition · Computer Science 2018-12-06 Kaihua Tang , Hanwang Zhang , Baoyuan Wu , Wenhan Luo , Wei Liu
‹ Prev 1 8 9 10 Next ›