Results 91 to 100 of about 45,230 (224)

Constructing Deterministic Parity Automata from Positive and Negative Examples [PDF]

TheoretiCS
We present a polynomial time algorithm that constructs a deterministic parity automaton (DPA) from a given set of positive and negative ultimately periodic example words. We show that this algorithm is complete for the class of $\omega$-regular languages,
León Bohn, Christof Löding
doaj   +1 more source

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

All about unambiguous polynomial closure [PDF]

TheoretiCS
We study a standard operator on classes of languages: unambiguous polynomial closure. We prove that for every class C of regular languages satisfying mild properties, the membership problem for its unambiguous polynomial closure UPol(C) reduces to the ...
Thomas Place, Marc Zeitoun
doaj   +1 more source

SKOOTS: Skeleton‐Oriented Object Segmentation for Mitochondria in High‐Resolution Cochlear EM Datasets

Advanced Science, EarlyView.
Skeleton‐oriented object segmentation (SKOOTS) introduces a new strategy for 3D mitochondrial instance segmentation by predicting explicit skeletons rather than relying on boundary cues. This approach enables robust analysis of densely packed organelles in large FIB‐SEM datasets.
Christopher J. Buswinka, Richard T. Osgood, Hidetomi Nitta, Artur A. Indzhykulian   +3 more
wiley   +1 more source

Simulations for Event-Clock Automata [PDF]

Logical Methods in Computer Science
Event-clock automata (ECA) are a well-known semantic subclass of timed automata (TA) which enjoy admirable theoretical properties, e.g., determinizability, and are practically useful to capture timed specifications.
S Akshay, Paul Gastin, R Govind, B Srivathsan   +3 more
doaj   +1 more source

Generalized Results on Monoids as Memory

, 2017
We show that some results from the theory of group automata and monoid automata still hold for more general classes of monoids and models. Extending previous work for finite automata over commutative groups, we demonstrate a context-free language that ...
D'Alessandro, Flavio, Salehi, Özlem, Say, A. C. Cem   +2 more
core   +1 more source

Automatically Defining Protein Words for Diverse Functional Predictions Based on Attention Analysis of a Protein Language Model

Advanced Science, EarlyView.
Understanding protein sequence–function relationships remains challenging due to poorly defined motifs and limited residue‐level annotations. An annotation‐agnostic framework is introduced that segments protein sequences into “protein words” using attention patterns from protein language models.
Hedi Chen, Jingrui Zhong, Xiaochun Zhang, Jingke Chen, Lin Guo, Xiaoliang Xiong, Xiaonan Zhang, Xiangyu Liu, Bailong Xiao, Boxue Tian   +9 more
wiley   +1 more source

Safety and Liveness of Quantitative Properties and Automata [PDF]

Logical Methods in Computer Science
Safety and liveness stand as fundamental concepts in formal languages, playing a key role in verification. The safety-liveness classification of boolean properties characterizes whether a given property can be falsified by observing a finite prefix of an
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç   +3 more
doaj   +1 more source

Multimodal Wearable Biosensing Meets Multidomain AI: A Pathway to Decentralized Healthcare

Advanced Science, EarlyView.
Multimodal biosensing meets multidomain AI. Wearable biosensors capture complementary biochemical and physiological signals, while cross‐device, population‐aware learning aligns noisy, heterogeneous streams. This Review distills key sensing modalities, fusion and calibration strategies, and privacy‐preserving deployment pathways that transform ...
Chenshu Liu, Haolin Fan, Minwoo Kim, Tong Zhou, Pinyi Yang, Lingdi Zhao, Yiran Wang, Ziyuan Che, Chia‐Wei Liu, Bingbing Li, Yangzhi Zhu   +10 more
wiley   +1 more source

Stable Diffusion Models Reveal a Persisting Human–AI Gap in Visual Creativity

Advanced Science, EarlyView.
This study examines visual creativity in humans and generative AI using the TCIA framework. Human artists outperform AI overall, yet structured human guidance substantially improves AI outputs and evaluations. Findings reveal that alignment with human creativity depends critically on contextual framing, highlighting both the promise and current ...
Silvia Rondini, Claudia Alvarez‐Martin, Paula Angermair‐Barkai, Olivier Penacchio, Marc Paz, Matthew Pelowski, Dan Dediu, Antoni Rodriguez‐Fornells, Xim Cerda‐Company   +8 more
wiley   +1 more source