Zobrazeno 1 - 10
of 10 177
pro vyhledávání: '"A. Klumpp"'
Autor:
Klumpp, Dominik, Ribeiro, Jandson S.
Despite the significant interest in extending the AGM paradigm of belief change beyond finitary logics, the computational aspects of AGM have remained almost untouched. We investigate the computability of AGM contraction on non-finitary logics, and s
Externí odkaz:
http://arxiv.org/abs/2409.09171
The motility of living things and synthetic self-propelled objects is often described using Active Brownian particles. To capture the interaction of these particles with their often complex environment, this model can be augmented with empirical forc
Externí odkaz:
http://arxiv.org/abs/2409.03533
Autor:
Weise, Tobias, Klumpp, Philipp, Demir, Kubilay Can, Pérez-Toro, Paula Andrea, Schuster, Maria, Noeth, Elmar, Heismann, Bjoern, Maier, Andreas, Yang, Seung Hee
This paper introduces a novel combination of two tasks, previously treated separately: acoustic-to-articulatory speech inversion (AAI) and phoneme-to-articulatory (PTA) motion estimation. We refer to this joint task as acoustic phoneme-to-articulator
Externí odkaz:
http://arxiv.org/abs/2407.03132
Autor:
Telezki, Vitali, Klumpp, Stefan
Active particles with a (magnetic) dipole moment are of interest for steering self-propelled motion, but also result in novel collective effects due to their dipole-dipole interaction. Here systems of active dipolar particles are studied with Brownia
Externí odkaz:
http://arxiv.org/abs/2404.17641
Commutativity has proven to be a powerful tool in reasoning about concurrent programs. Recent work has shown that a commutativity-based reduction of a program may admit simpler proofs than the program itself. The framework of lexicographical program
Externí odkaz:
http://arxiv.org/abs/2311.02673
We address the verification problem for concurrent program that dynamically create (fork) new threads or destroy (join) existing threads. We present a reduction to the verification problem for concurrent programs with a fixed number of threads. More
Externí odkaz:
http://arxiv.org/abs/2311.01302
Phenotype switching can be triggered by external stimuli and by intrinsic stochasticity. Here, we focus on the motility-matrix production switch in Bacillus subtilis. We use modeling to describe the SinR-SlrR bistable switch its regulation by SinI, a
Externí odkaz:
http://arxiv.org/abs/2308.12780
Publikováno v:
Communications Physics, Vol 7, Iss 1, Pp 1-7 (2024)
Abstract Active matter systems display collective behaviors that are impossible in thermodynamic equilibrium. One such feature, observed in in dense active matter systems is the appearance of long-range velocity correlations without explicit aligning
Externí odkaz:
https://doaj.org/article/a832df31643f481a8d8857524c4cc271
Autor:
Klumpp, Philipp, Chitkara, Pooja, Sarı, Leda, Serai, Prashant, Wu, Jilong, Veliche, Irina-Elena, Huang, Rongqing, He, Qing
The awareness for biased ASR datasets or models has increased notably in recent years. Even for English, despite a vast amount of available training data, systems perform worse for non-native speakers. In this work, we improve an accent-conversion mo
Externí odkaz:
http://arxiv.org/abs/2303.00802
One of the most remarkable observations in dense active matter systems is the appearance of long-range velocity correlations without any explicit aligning interaction (of e.g.\ Vicsek type). Here we show that this kind of long range velocity correlat
Externí odkaz:
http://arxiv.org/abs/2302.13131