Zobrazeno 1 - 10
of 158 016
pro vyhledávání: '"Schröder, A"'
While behavioural equivalences among systems of the same type, such as Park/Milner bisimilarity of labelled transition systems, are an established notion, a systematic treatment of relationships between systems of different type is currently missing.
Externí odkaz:
http://arxiv.org/abs/2410.14460
Generic notions of bisimulation for various types of systems (nondeterministic, probabilistic, weighted etc.) rely on identity-preserving (normal) lax extensions of the functor encapsulating the system type, in the paradigm of universal coalgebra. It
Externí odkaz:
http://arxiv.org/abs/2410.14440
This work presents a novel lattice-based methodology for incorporating multidimensional constraints into continuous decision variables within a genetic algorithm (GA) framework. The proposed approach consolidates established transcription techniques
Externí odkaz:
http://arxiv.org/abs/2410.12188
Selecting cost-effective optimal sensor configurations for subsequent inference of parameters in black-box stochastic systems faces significant computational barriers. We propose a novel and robust approach, modelling the joint distribution over inpu
Externí odkaz:
http://arxiv.org/abs/2410.12036
Autor:
Schweisthal, Jonas, Frauen, Dennis, Schröder, Maresa, Hess, Konstantin, Kilbertus, Niki, Feuerriegel, Stefan
Reliable estimation of treatment effects from observational data is important in many disciplines such as medicine. However, estimation is challenging when unconfoundedness as a standard assumption in the causal inference literature is violated. In t
Externí odkaz:
http://arxiv.org/abs/2410.08976
Sparse autoencoders (SAEs) are a recent technique for decomposing neural network activations into human-interpretable features. However, in order for SAEs to identify all features represented in frontier models, it will be necessary to scale them up
Externí odkaz:
http://arxiv.org/abs/2410.08201
A key challenge in interpretability is to decompose model activations into meaningful features. Sparse autoencoders (SAEs) have emerged as a promising tool for this task. However, a central problem in evaluating the quality of SAEs is the absence of
Externí odkaz:
http://arxiv.org/abs/2410.07456
The rapid proliferation of AI-manipulated or generated audio deepfakes poses serious challenges to media integrity and election security. Current AI-driven detection solutions lack explainability and underperform in real-world settings. In this paper
Externí odkaz:
http://arxiv.org/abs/2410.07436
Autor:
Schroeder, Hope, Quéré, Marianne Aubin Le, Randazzo, Casey, Mimno, David, Schoenebeck, Sarita
Qualitative researchers use tools to collect, sort, and analyze their data. Should qualitative researchers use large language models (LLMs) as part of their practice? LLMs could augment qualitative research, but it is unclear if their use is appropri
Externí odkaz:
http://arxiv.org/abs/2410.07362
Autor:
Schröder, Jesper
This work is concerned with the minimum energy estimator for a nonlinear hyperbolic partial differential equation. The Mortensen observer - originally introduced for the energy-optimal reconstruction of the state of nonlinear finite-dimensional syste
Externí odkaz:
http://arxiv.org/abs/2410.07010