Results 91 to 100 of about 4,664,026 (360)

Regular Languages Definable by Lindström Quantifiers [PDF]

BRICS Report Series, 2003
In our main result, we establish a formal connection between Lindström quantifiers with respect to regular languages and the double semidirect product of finite monoids with a distinguished set of generators. We use this correspondence to characterize the expressive power of Lindström quantifiers associated with a class of regular languages.
Esik, Z., Larsen, Kim Guldstrand
openaire   +5 more sources

Pathogenic Neurofibromatosis type 1 gene variants in tumors of non‐NF1 patients and role of R1276

FEBS Open Bio, EarlyView.
Somatic variants of the neurofibromatosis type 1 (NF1) gene occur across neoplasms without clinical manifestation of the disease NF1. We identified emerging somatic pathogenic NF1 variants and hotspots, for example, at the arginine finger 1276. Those missense variants provide fundamental information about neurofibromin's role in cancer.
Mareike Selig, Swanhild Lohse, Sara Elahi, Nils Hartmann, Stefanie Deckert, Shutian Si, Alexander Desuki, Anja Harder   +7 more
wiley   +1 more source

Deciding the Borel complexity of regular tree languages

, 2014
We show that it is decidable whether a given a regular tree language belongs to the class ${\bf \Delta^0_2}$ of the Borel hierarchy, or equivalently whether the Wadge degree of a regular tree language is countable.Comment: 15 pages, 2 ...
A. Blumensath, D. Niwiński, D.A. Martin, F. Murlak, F. Murlak, J. Duparc, J. Duparc, M. Bojańczyk, M. Bojańczyk   +8 more
core   +1 more source

Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages

Foundations of Software Technology and Theoretical Computer Science, 2013
A separator for two languages is a third language containing the first one and disjoint from the second one. We investigate the following decision problem: given two regular input languages, decide whether there exists a locally testable (resp. a locally
Thomas Place, L. V. Rooijen, M. Zeitoun
semanticscholar   +1 more source

Enzymatic degradation of biopolymers in amorphous and molten states: mechanisms and applications

FEBS Open Bio, EarlyView.
This review explains how polymer morphology and thermal state shape enzymatic degradation pathways, comparing amorphous and molten biopolymer structures. By integrating structure–reactivity principles with insights from thermodynamics and enzyme engineering, it highlights mechanisms that enable efficient polymer breakdown.
Anđela Pustak, Aleksandra Maršavelski
wiley   +1 more source

Polarization‐resolved femtosecond Vis/IR spectroscopy tailored for resolving weak signals in biological samples using minimal sample volume

FEBS Open Bio, EarlyView.
Unique biological samples, such as site‐specific mutant proteins, are available only in limited quantities. Here, we present a polarization‐resolved transient infrared spectroscopy setup with referencing to improve signal‐to‐noise tailored towards tracing small signals. We provide an overview of characterizing the excitation conditions for polarization‐
Clark Zahn, Karsten Heyne
wiley   +1 more source

On Concatenations of Regular Circular Word Languages

Mathematics
In this paper, one-wheel and two-wheel concatenations of circular words and their languages are investigated. One-wheel concatenation is an operation that is commutative but not associative, while two-wheel concatenation is associative but not ...
Bilal Abdallah, Benedek Nagy
doaj   +1 more source

Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions

, 2013
The aim of this paper is to design the polynomial construction of a finite recognizer for hairpin completions of regular languages. This is achieved by considering completions as new expression operators and by applying derivation techniques to the ...
F. Manea, F. Manea, J.-M. Champarnaud, J.M. Sempere, L. Kari, P. Caron, P. Caron, S. Kleene, S. Lombardy, V. Antimirov, V. Diekert   +10 more
core   +2 more sources

Nuclear pore links Fob1‐dependent rDNA damage relocation to lifespan control

FEBS Open Bio, EarlyView.
Damaged rDNA accumulates at a specific perinuclear interface that couples nucleolar escape with nuclear envelope association. Nuclear pores at this site help inhibit Fob1‐induced rDNA instability. This spatial organization of damage handling supports a functional link between nuclear architecture, rDNA stability, and replicative lifespan in yeast.
Yamato Okada, Mina Iwaki, Kyosuke Hagiri, Rei Izumi, Masahiko Harata, Chihiro Horigome   +5 more
wiley   +1 more source

On the Hierarchy of Block Deterministic Languages

, 2015
A regular language is $k$-lookahead deterministic (resp. $k$-block deterministic) if it is specified by a $k$-lookahead deterministic (resp. $k$-block deterministic) regular expression.
A Brüggemann-Klein, D Giammarresi, EF Moore, JE Hopcroft, MO Rabin, P Caron, P Caron, S Kleene, VM Glushkov, YS Han   +9 more
core   +2 more sources