English
Related papers

Related papers: Notes on Coalgebras in Stylometry

200 papers

We provide a generic algorithm for constructing formulae that distinguish behaviourally inequivalent states in systems of various transition types such as nondeterministic, probabilistic or weighted; genericity over the transition type is…

Logic in Computer Science · Computer Science 2021-09-29 Thorsten Wißmann , Stefan Milius , Lutz Schröder

The theoretical code-switching (CS) literature provides numerous pointwise investigations that aim to explain patterns in CS, i.e. why bilinguals switch language in certain positions in a sentence more often than in others. A resulting…

Computation and Language · Computer Science 2025-07-29 Igor Sterner , Simone Teufel

Many recursive functions can be defined elegantly as the unique homomorphisms, between two algebras, two coalgebras, or one each, that are induced by some universal property of a distinguished structure. Besides the well-known applications…

Logic in Computer Science · Computer Science 2015-06-25 Baltasar Trancón y Widemann , Michael Hauhs

We revisit the behavioral approach to systems theory and make explicit the abstract pattern that governs it. Our end goal is to use that pattern to understand interaction-related phenomena that emerge when systems interact. Rather than…

Systems and Control · Electrical Eng. & Systems 2019-11-26 Elie M. Adam , Munther A. Dahleh

Recent works have shown that defining a behavioural equivalence that matches the observational properties of a quantum-capable, concurrent, non-deterministic system is a surprisingly difficult task. We explore coalgebras over distributions…

Logic in Computer Science · Computer Science 2025-09-26 Lorenzo Ceragioli , Elena Di Lavore , Giuseppe Lomurno , Gabriele Tedeschi

From behavioral sciences to biology to quantum mechanics, one encounters situations where (i) a system outputs several random variables in response to several inputs, (ii) for each of these responses only some of the inputs may "directly"…

Probability · Mathematics 2015-09-01 E. N. Dzhafarov , J. V. Kujala

The syntactic structure of a sentence can be represented as a graph, where vertices are words and edges indicate syntactic dependencies between them. In this setting, the distance between two linked words is defined as the difference…

Computation and Language · Computer Science 2025-08-12 Sonia Petrini , Ramon Ferrer-i-Cancho

The paper introduces a novel behavioural translation style space (BTSS) that describes possible behavioural translation patterns. The suggested BTSS is organized as a hierarchical structure that entails various embedded processing layers.…

Computation and Language · Computer Science 2025-10-10 Michael Carl , Takanori Mizowaki , Aishvarya Ray , Masaru Yamada , Devi Sri Bandaru , Xinyue Ren

Several complex systems are characterized by presenting intricate characteristics taking place at several scales of time and space. These multiscale characterizations are used in various applications, including better understanding…

Computation and Language · Computer Science 2023-05-12 Bárbara C. e Souza , Filipi N. Silva , Henrique F. de Arruda , Giovana D. da Silva , Luciano da F. Costa , Diego R. Amancio

This note clarifies the concept of syntax and semantics and their relationships. Today, a lot of confusion arises from the fact that the word "semantics" is used in different meanings. We discuss a general approach at defining semantics…

Software Engineering · Computer Science 2014-09-25 Bernhard Rumpe

Determining semantic textual similarity is a core research subject in natural language processing. Since vector-based models for sentence representation often use shallow information, capturing accurate semantics is difficult. By contrast,…

Computation and Language · Computer Science 2017-07-28 Hitomi Yanaka , Koji Mineshima , Pascual Martinez-Gomez , Daisuke Bekki

The search for linguistic patterns, stylometry and forensic linguistics have in the theory of complex networks, their structures and associated mathematical tools, allies with which to model and analyze texts. In this paper we present a new…

Combinatorics · Mathematics 2022-09-14 Angeles Criado-Alonso , David Aleja , Miguel Romance , Regino Criado

To ensure readability, text is often written and presented with due formatting. These text formatting devices help the writer to effectively convey the narrative. At the same time, these help the readers pick up the structure of the…

Computation and Language · Computer Science 2018-11-15 Mrinmaya Sachan , Kumar Avinava Dubey , Eduard H. Hovy , Tom M. Mitchell , Dan Roth , Eric P. Xing

While NLP models often seek to capture cognitive states via language, the validity of predicted states is determined by comparing them to annotations created without access the cognitive states of the authors. In behavioral sciences,…

Computation and Language · Computer Science 2025-02-20 Vasudha Varadarajan , Syeda Mahwish , Xiaoran Liu , Julia Buffolino , Christian C. Luhmann , Ryan L. Boyd , H. Andrew Schwartz

Automata learning is a popular technique for inferring minimal automata through membership and equivalence queries. In this paper, we generalise learning to the theory of coalgebras. The approach relies on the use of logical formulas as…

Logic in Computer Science · Computer Science 2019-08-09 Simone Barlocco , Clemens Kupke , Jurriaan Rot

The usual way to interpret language models (LMs) is to test their performance on different benchmarks and subsequently infer their internal processes. In this paper, we present an alternative approach, concentrating on the quality of LM…

Computation and Language · Computer Science 2024-06-11 Lucas Weber , Jaap Jumelet , Elia Bruni , Dieuwke Hupkes

We survey some results that provide different versions of classical results through different summability methods. Specifically, in order to adapt such classical results, we analyze which properties should satisfy the summability methods.…

Inspired by Labov's seminal work on stylistic variation as a function of social stratification, we develop and compare neural models that predict a person's presumed socio-economic status, obtained through distant supervision,from their…

Computation and Language · Computer Science 2019-07-18 Angelo Basile , Albert Gatt , Malvina Nissim

Analyzing how human beings resolve syntactic ambiguity has long been an issue of interest in the field of linguistics. It is, at the same time, one of the most challenging issues for spoken language understanding (SLU) systems as well. As…

Computation and Language · Computer Science 2020-05-22 Won Ik Cho , Jeonghwa Cho , Woo Hyun Kang , Nam Soo Kim

Most previous studies integrate cognitive language processing signals (e.g., eye-tracking or EEG data) into neural models of natural language processing (NLP) just by directly concatenating word embeddings with cognitive features, ignoring…

Computation and Language · Computer Science 2023-11-15 Yuqi Ren , Deyi Xiong