Tootfinder

Redefining Functionality and Construction-Defining Capacity: Functions as Principles of Syntactic and Semantic Generation
Yumiko Nishiyama
https://arxiv.org/abs/2506.04278

Redefining Functionality and Construction-Defining Capacity: Functions as Principles of Syntactic and Semantic Generation
This study redefines the notion of functionality-traditionally understood as a property of mappings or structure preservation-from a more fundamental and generative perspective. Introducing the concept of a Construction-Defining function (CDF), we formalize functionality as a dual capacity to generate both syntactic terms and semantic interpretations. We provide an explicit axiomatization of CDF based on syntactic generativity and semantic compositionality, and further construct categorical mod…

Just your daily reminder that I stand firmly against #MarxismLeninism, and all the Tankies desperately trying to make authoritarianism cool again!
#Anarchism #Syndicalism

Norge trenger verken autoritære ledere eller formelle stater, for ekte frihet og folkestyre vokser fram når arbeiderklassen og lokale fellesskap tar styringen selv gjennom direkte handling og desentralisert selvstyre.
Jeg nekter å la noen herske over meg eller ta beslutninger på mine vegne, fordi makten tilhŸrer arbeiderne og fellesskapet gjennom selvorganisering og solidaritet.
FŸlg @…

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
Cynthia Kop (Radboud Universiteit Nijmegen), Helida Salles Santos (Universidade Federal do Rio Grande)
https://arxiv.org/abs/2506.05219

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
This volume contains the post-proceedings of the 19th LSFA, which was held in Goiânia, the capital of Goiás state in Brazil, from September 18 to September 20, 2024. Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning. The aim of this series is bringing together theoreticians and practitioners t…

A New $q$-Heisenberg Algebra
Julio Cesar Jaramillo Quiceno
https://arxiv.org/abs/2506.04248 https://arxiv.org/pdf/2506.04248

A New $q$-Heisenberg Algebra
This work introduces a novel $q$-$\hbar$ deformation of the Heisenberg algebra, designed to unify and extend several existing $q$-deformed formulations. Starting from the canonical Heisenberg algebra defined by the commutation relation $[\hat{x}, \hat{p}] = i\hbar$ on a Hilbert space \cite{Zettili2009}, we survey a variety of $q$-deformed structures previously proposed by Wess \cite{Wess2000}, Schmüdgen \cite{Schmudgen1999}, Wess--Schwenk \cite{Wess-Schwenk1992}, Gaddis \cite{Jasson-Gaddis2016…

Optimization of the multiple sampling and signal extraction in non-destructive exposures
B. Kubik, R. Barbier, A. Castera, E. Chabanat, S. Ferriol, G. Smadja
https://arxiv.org/abs/2506.04904

Optimization of the multiple sampling and signal extraction in non-destructive exposures
We derive the full covariance matrix formulae are derived for proper treatment of correlations in signal fitting procedures, extending the results from previous publications. The straight line fits performed with these matrices demonstrate that a significantly higher signal to noise is obtained when the fluence exceeds 1 e/sec/pix in particular in long (several hundreds of seconds) spectroscopic exposures. The improvement arising from the covariance matrix is particularly strong for the initial…

This https://arxiv.org/abs/2305.14653 has been replaced.
initial toot: https://mastoxiv.page/@arX…

Conceptualizing educational opportunity hoarding: the emergence of hoarding without hoarders
Social scientists increasingly use the concept of opportunity hoarding to explain the formation of Black-White educational inequalities. However, this concept is often loosely defined, leading to varied interpretations of the inequality-producing mechanisms it captures. To bring clarity to this valuable sociological concept, this theoretical paper, informed by the concept's original definition and existing empirical research, proposes a more precise definition of opportunity hoarding and formal…

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains
Moon Kim, Avinash Malik, Partha Roop
https://arxiv.org/abs/2506.00251

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains
Hybrid systems are mostly modelled, simulated, and verified in the time domain by computer scientists. Engineers, however, use both frequency and time domain modelling due to their distinct advantages. For example, frequency domain modelling is better suited for control systems, using features such as spectra of the signal. Considering this, we introduce, for the first time, a formal model called frequency automata for hybrid systems modelling and simulation, which are represented in combined t…

This https://arxiv.org/abs/2504.03517 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

A framework for computing upper bounds in passive learning settings
The task of inferring logical formulas from examples has garnered significant attention as a means to assist engineers in creating formal specifications used in the design, synthesis, and verification of computing systems. Among various approaches, enumeration algorithms have emerged as some of the most effective techniques for this task. These algorithms employ advanced strategies to systematically enumerate candidate formulas while minimizing redundancies by avoiding the generation of syntact…

This https://arxiv.org/abs/2504.03517 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

A framework for computing upper bounds in passive learning settings
The task of inferring logical formulas from examples has garnered significant attention as a means to assist engineers in creating formal specifications used in the design, synthesis, and verification of computing systems. Among various approaches, enumeration algorithms have emerged as some of the most effective techniques for this task. These algorithms employ advanced strategies to systematically enumerate candidate formulas while minimizing redundancies by avoiding the generation of syntact…