Zobrazeno 1 - 10
of 717
pro vyhledávání: '"NOLL, THOMAS"'
Autor:
Noll, Thomas
Die Untersuchungen dieses Beitrages gehen von dem Gedanken aus, daß sich bestimmte Eigenschaften musikalischen Erlebens erst erklären lassen, wenn man grundlegende Eigenschaften von Geistestätigkeit theoretisch erschlossen hat. Entsprechend skizzi
Externí odkaz:
https://slub.qucosa.de/id/qucosa%3A87190
https://slub.qucosa.de/api/qucosa%3A87190/attachment/ATT-0/
https://slub.qucosa.de/api/qucosa%3A87190/attachment/ATT-0/
Adenosine-3′, 5′-cyclic monophosphate (cAMP) produced by adenylate cyclases (ADCYs) is an established key regulator of cell homoeostasis. However, its role in cell cycle control is still controversially discussed. This study focussed on the impac
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A89667
https://tud.qucosa.de/api/qucosa%3A89667/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A89667/attachment/ATT-0/
Autor:
Graben, Peter beim, Noll, Thomas
We adopt some basic ideas on quantum-theoretical modeling of tonal attraction and develop them further in an alternative direction. Fitting Gaussian Mixture Models (GMM) to the Krumhansl-Kessler (KK) probe tone profiles for static attraction opens th
Externí odkaz:
http://arxiv.org/abs/2404.05745
In this paper, we develop a novel verification technique to reason about programs featuring concurrency, pointers and randomization. While the integration of concurrency and pointers is well studied, little is known about the combination of all three
Externí odkaz:
http://arxiv.org/abs/2207.02822
Autor:
Batz, Kevin, Fesefeldt, Ira, Jansen, Marvin, Katoen, Joost-Pieter, Keßler, Florian, Matheja, Christoph, Noll, Thomas
Quantitative separation logic (QSL) is an extension of separation logic (SL) for the verification of probabilistic pointer programs. In QSL, formulae evaluate to real numbers instead of truth values, e.g., the probability of memory-safe termination i
Externí odkaz:
http://arxiv.org/abs/2201.11464
Autor:
Brix, Christopher, Noll, Thomas
Neural networks are commonly used in safety-critical real-world applications. Unfortunately, the predicted output is often highly sensitive to small, and possibly imperceptible, changes to the input data. Proving that either no such adversarial examp
Externí odkaz:
http://arxiv.org/abs/2006.09040
Autor:
Batz, Kevin, Kaminski, Benjamin Lucien, Katoen, Joost-Pieter, Matheja, Christoph, Noll, Thomas
Publikováno v:
Proc. ACM Program. Lang. 3, POPL, Article 34 (January 2019)
We present quantitative separation logic ($\mathsf{QSL}$). In contrast to classical separation logic, $\mathsf{QSL}$ employs quantities which evaluate to real numbers instead of predicates which evaluate to Boolean values. The connectives of classica
Externí odkaz:
http://arxiv.org/abs/1802.10467
Autor:
Clampitt, David, Noll, Thomas
One of the most significant attitudinal shifts in the history of music occurred in the Renaissance, when an emerging triadic consciousness moved musicians towards a new scalar formation that placed major thirds on a par with perfect fifths. In this p
Externí odkaz:
http://arxiv.org/abs/1707.02370