Algebraic theory of languages and automata

Results 51 to 60 of about 1,221 (189)

Right-Linear Lattices:An Algebraic Theory of ω-Regular Languages, with Fixed Points [PDF]

Alternating parity automata (APAs) provide a robust formalism for modelling infinite behaviours and play a central role in formal verification. Despite their widespread use, the algebraic theory underlying APAs has remained largely unexplored.
Das, Anupam; id_orcid, De, Abhishek
core +1 more source

Advanced control of non‐isothermal axial dispersion tubular reactors with recycle‐induced state delay

The Canadian Journal of Chemical Engineering, Volume 104, Issue 6, Page 3018-3037, June 2026.
Abstract We develop a delay‐aware estimation and control framework for a non‐isothermal axial dispersion tubular reactor modelled as a coupled parabolic‐hyperbolic PDE system with recycle‐induced state delay. The infinite‐dimensional dynamics are preserved without spatial discretization by representing the delay as a transport PDE and adopting a late ...
Behrad Moadeli, Stevan Dubljevic
wiley +1 more source

RAAS: Runtime Adaptive Approximation System

Concurrency and Computation: Practice and Experience, Volume 38, Issue 12, June 2026.
ABSTRACT Software‐level approximation techniques, such as loop perforation and functional replacement, can improve energy and performance in error‐tolerant applications, but typically require extensive programmer intervention even when compiler support is available.
Lucas Reis, Sandro Rigo, Lucas Wanner
wiley +1 more source

Process Algebras

, 2011
Process Algebras are mathematically rigorous languages with well defined semantics that permit describing and verifying properties of concurrent communicating systems.
De Nicola, Rocco, De Nicola, R
core +1 more source

Methods to estimate marine functional connectivity: A primer

Ecological Applications, Volume 36, Issue 4, June 2026.
Abstract Organism movement is a key process in the transfer of individuals, genes, functional traits, matter, and energy among habitat patches, at sea and across the land–sea interface. The resulting fluxes, collectively termed marine functional connectivity (MFC), underpin planetary health and an array of ecosystem services.
Anna M. Sturrock +31 more
wiley +1 more source

An Empirical Investigation of Adaptive Cognitive Guidance Strategy Optimization Driven by Hierarchical Chain‐of‐Thought Reasoning in Large Language Models

Engineering Reports, Volume 8, Issue 6, June 2026.
This study proposes an adaptive cognitive counseling strategy based on hierarchical thinking chain. This strategy constructs a three‐layer reasoning framework consisting of strategy layer, tactics layer, and detail layer, and decomposes complex problems into operational cognitive units.
Jiaxin Sun
wiley +1 more source

Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words

, 2021
Büchi, Elgot and Trakhtenbrot provided a seminal connection between monadic second-order logic and finite automata for both finite and infinite words. This BET- Theorem has been extended by Lautemann, Schwentick and Thérien to context-free languages by
Dziadek, Sven
core

Lifespan Trajectories of Asymmetry in White Matter Tracts

Human Brain Mapping, Volume 47, Issue 8, June 1, 2026.
(A) Large‐scale lifespan modeling of white matter asymmetry. Diffusion MRI data from 35,000+ individuals (0‐100 years) across 50 cohorts were used to generate normative lifespan trajectories of white matter asymmetry. Thirty bilateral tracts were segmented, and microstructural (FA, MD, AD, RD) and macrostructural (volume, length) features were ...
Sam Bogdanov +72 more
wiley +1 more source

Bridges between algebraic automata theory and complexity theory

, 2008
The algebraic theory of finite automata has been one of the most successful tools to study and classify regular languages. These very same tools can in fact be used to understand more powerful models of computation and we discuss here the impact that ...
Pascal Tesson, Denis Thérien
core

Mathematical Modeling in Action: Design Principles for Mathematical Modeling Days

Proceedings in Applied Mathematics and Mechanics, Volume 26, Issue 2, June 2026.
ABSTRACT Mathematical modeling is fundamental for numerous scientific and technical disciplines. CAMMP has taken on the challenge of providing high school students, university students, and teachers with authentic insights into modern, computer‐aided modeling practices.
Stephanie Hofmann +9 more
wiley +1 more source

mathematics
computer science