SearcharxivSearch

arXiv subjects

Henning Thielemann

Publications and source records attributed to Henning Thielemann.

7 recordsLinked to original sources

Live music programming in Haskell

We aim for composing algorithmic music in an interactive way with multiple participants. To this end we have developed an interpreter for a sub-language of the non-strict functional programming language Haskell that allows the modification of a program during its execution. Our system can be used both for musical live-coding and for demonstration and education of functional programming.

cs.PL

Live-Musikprogrammierung in Haskell

We aim to compose algorithmic music in an interactive way with multiple participants. To this end we develop an interpreter for a sub-language of the non-strict functional programming language Haskell that allows to modify the program during its execution. Our system can be used both for musical live-coding and for demonstration and education of functional programming.

cs.PL

How to refine polynomial functions

Research on refinable functions in wavelet theory is mostly focused to localized functions. However it is known, that polynomial functions are refinable, too. In our paper we investigate on conversions between refinement masks and polynomials and their uniqueness.

math.FA

Compiling Signal Processing Code embedded in Haskell via LLVM

We discuss a programming language for real-time audio signal processing that is embedded in the functional language Haskell and uses the Low-Level Virtual Machine as back-end. With that framework we can code with the comfort and type safety of Haskell while achieving maximum efficiency of fast inner loops and full vectorisation. This way Haskell becomes a valuable alternative to special purpose signal processing languages.

cs.PL

An algebra for signal processing

Our paper presents an attempt to axiomatise signal processing. Our long-term goal is to formulate signal processing algorithms for an ideal world of exact computation and prove properties about them, then interpret these ideal formulations and apply them without change to real world discrete data. We give models of the axioms that are based on Gaussian functions, that allow for exact computations and automated tests of signal algorithm properties.

math.NA

Sampling-rate-aware noise generation

In this paper we consider the generation of discrete white noise. Despite this seems to be a simple problem, common noise generator implementations do not deliver comparable results at different sampling rates. First we define what we mean with "comparable results". From this we conclude, that the variance of the random variables shall grow proportionally to the sampling rate. Eventually we consider how noise behaves under common signal transformations, such as frequency filters, quantisation and impulse generation and we explore how these signal transformations must be designed in order generate sampling-rate-aware results when applied to white noise.

cs.SD

Untangling Phase and Time in Monophonic Sounds

We are looking for a mathematical model of monophonic sounds with independent time and phase dimensions. With such a model we can resynthesise a sound with arbitrarily modulated frequency and progress of the timbre. We propose such a model and show that it exactly fulfils some natural properties, like a kind of time-invariance, robustness against non-harmonic frequencies, envelope preservation, and inclusion of plain resampling as a special case. The resulting algorithm is efficient and allows to process data in a streaming manner with phase and shape modulation at sample rate, what we demonstrate with an implementation in the functional language Haskell. It allows a wide range of applications, namely pitch shifting and time scaling, creative FM synthesis effects, compression of monophonic sounds, generating loops for sampled sounds, synthesise sounds similar to wavetable synthesis, or making ultrasound audible.

cs.SD