Results 31 to 40 of about 550 (233)

Morphic characterizations of languages in Chomsky hierarchy with insertion and locality [PDF]

, 2011
This paper concerns new characterizations of regular, context-free, and recursively enumerable languages, using insertion systems with lower complexity. This is achieved by using both strictly locally testable languages and morphisms.
Fujioka, Kaoru, Kaoru Fujioka
core   +1 more source

DRIVE‐SAFE: Data‐Driven Robustness and Informed Validation for Evolving Specifications via Formal Evaluation

Advanced Robotics Research, EarlyView.
DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano, Jianyu An, Dinesh Manocha, Huan Xu   +3 more
wiley   +1 more source

Systematic Exploration of 3D Concrete Printing Parameters for Conformal Printing on Sloped Surfaces

Advanced Robotics Research, EarlyView.
A conformal slicing algorithm is developed for robotic 3D concrete printing (3DCP) on sloped surfaces as a first step toward printing slab‐on‐grade foundations on uneven terrain. Systematic experiments quantify the effects of nozzle speed, extrusion rate, and toolpath direction on filament dimension and stability.
Paniz Farrokhsiar, Benay Gursoy, Jose Pinto Duarte   +2 more
wiley   +1 more source

On simple generators of recursively enumerable languages

Journal of Computer and System Sciences, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Solid Harmonic Wavelet Bispectrum for Image Analysis

Advanced Science, EarlyView.
The Solid Harmonic Wavelet Bispectrum (SHWB), a rotation‐ and translation‐invariant descriptor that captures higher‐order (phase) correlations in signals, is introduced. Combining wavelet scattering, bispectral analysis, and group theory, SHWB achieves interpretable, data‐efficient representations and demonstrates competitive performance across texture,
Alex Brown, Mathilda Avirett‐Mackenzie, Carolin Villforth, Georgios Exarchakis   +3 more
wiley   +1 more source

Adult Sex Ratio as a Demographic Feedback Linking Mating Systems, Parental Care, and Evolution

Advanced Science, EarlyView.
Breeding systems are some of the most diverse social behavior, and our team is investigation the evolutionary causes of this diversity. This review summarises our research carried out at the University of Bath. We argue that demographic components of wild populations, especially the adult sex ratio, plays a key role driving breeding system variation ...
Tamás Székely, Oscar G. Miranda
wiley   +1 more source

Characterizing language identification by standardizing operations [PDF]

, 1994
Notions from formal language learning theory are characterized in terms of standardizing operations on classes of recursively enumerable languages. Algorithmic identification in the limit of grammars from text presentation of recursively enumerable ...
Sanjay Jain, Jain, Sanjay, Jain, S., Sharma, Arun, Sharma, A., Arun Sharma   +5 more
core   +1 more source

Causal‐Guided Ultra‐Long‐Term Time Series Forecasting Via Anticipated Covariates

Advanced Science, EarlyView.
Often treated as unknown, information from the future remains underutilized.We demonstrate that in a coupled dynamical system, providing the future state of the effect enables accurate forecasting of the cause for a long timesteps. A time series forecasting paradigm that introduces anticipated covariates to represent such known future states is ...
Jintong Zhao, Yufei Liu, Ruixi Huang, Zhongxue Gan, Siyang Leng   +4 more
wiley   +1 more source

Harnessing Machine Learning to Understand and Design Disordered Solids

Advanced Intelligent Discovery, EarlyView.
This review maps the dynamic evolution of machine learning in disordered solids, from structural representations to generative modeling. It explores how deep learning and model explainability transform property prediction into profound physical insight.
Muchen Wang, Yue Fan
wiley   +1 more source

Developing a critical caste analysis within information science and technology: A research review: An Annual Review of Information Science and Technology (ARIST) paper

Journal of the Association for Information Science and Technology, EarlyView.
Abstract Caste—an ascriptive social hierarchy in South Asia and its diaspora—is a globalized phenomenon. Recent caste‐based discrimination, particularly in technology companies and anti‐caste efforts to address it, has compelled academia, policy, and the technology industry to better understand contemporary mechanics of caste.
Nayana Kirasur, Britt Paris
wiley   +1 more source