This paper presents a survey of digital musical score databases, focusing on symbolic representation of the music content (as opposed to audio representation) in the context of Music Information Retrieval (MIR). We first provide a primer on Western classical music notation for unacquainted readers. Then, the core of our study categorizes and discus...
This thesis explores the transformative potential of the co-authorship dynamic between game developers and players in The Squared Circle, an abstract video game designed to facilitate personality development. Drawing inspiration from existentialist philosophy, psychotherapy, and game design, the study examines the intricate interplay between gamepl...
In this thesis, we introduce three original data structures, the Convex Polyhedron Decision Diagram (CPDD), the Decomposed Convex Polyhedron (DCP), and the Internally Decomposed Convex Polyhedron (IDCP), suited for representing symbolically convex polyhedra in high-dimensional spaces. For each of them, we develop an extensive set of algorithms for ...
Program families can produce a (potentially huge) number of related programs from a common code base. Many such programs are safety critical. However, most verification techniques are designed to work on the level of single programs, and thus are too costly to apply to the entire program family. In this paper, we propose an efficient game semantics...
Published in Review of Philosophy and Psychology
Deduction is decisive but nonetheless mysterious, as I argue in the introduction. I identify the mystery of deduction as surprise-effect and demonstration-difficulty. The first section delves into how the mystery of deduction is connected with the representation of information and lays the groundwork for our further discussions of various kinds of ...
Published in The European Physical Journal Special Topics
The coupling complexity index is an information measure introduced within the framework of ordinal symbolic dynamics. This index is used to characterize the complexity of the relationship between dynamical system components. In this work, we clarify the meaning of the coupling complexity by discussing in detail some cases leading to extreme values,...
Published in The European Physical Journal Special Topics
Transcripts map the ordinal pattern representation of e.g. one time series onto another (coupled) one by carrying out permutations. Their representation in terms of permutation matrices motivates the use of elements of linear algebra to derive properties that are of interest for the characterization of coupled dynamical systems. In this contributio...
Published in BMC Genomics
BackgroundNeglected tropical diseases, especially those caused by helminths, constitute some of the most common infections of the world's poorest people. Development of techniques for automated, high-throughput drug screening against these diseases, especially in whole-organism settings, constitutes one of the great challenges of modern drug discov...
Similarity search in time series data mining is a problem that has attracted increasing attention recently. The high dimensionality and large volume of time series databases make sequential scanning inefficient to tackle this problem. There are many representation techniques that aim at reducing the dimensionality of these time series so that the s...
Published in Mathematical Models and Computer Simulations
Rosenbrock methods are known to be good in numerical modeling of stiff problems. In this work, a new symbolic algorithm is proposed for automating the derivation of order conditions for two-stage Rosenbrock schemes with complex coefficients. Software implementation of the proposed algorithm is discussed in detail.
