English
Related papers

Related papers: Metamathematics of Algorithmic Composition

200 papers

By observing the activities and relationships of musicians and sound designers to the activities of creation, performance, publishing and dissemination with artificial intelligence (AI), from two specialized forums between 2022 and 2024,…

Human-Computer Interaction · Computer Science 2025-11-25 Arnaud Zeller , Emmanuelle Chevry Pebayle

The aim of this paper is to discuss some applications of general topology in computer algorithms including modeling and simulation, and also in computer graphics and image processing. While the progress in these areas heavily depends on…

Numerical Analysis · Mathematics 2012-01-23 Rastislav Telgarsky

With the emergence of quantum computers, a new field of algorithmic music composition has been initiated. The vast majority of previous work focuses on music generation using gate-based quantum computers. An alternative model of computation…

Quantum Physics · Physics 2022-01-27 Ashish Arya , Ludmila Botelho , Fabiola Cañete , Dhruvi Kapadia , Özlem Salehi

In this thesis we study three problems. The first is the superposition of the operators and their proprities, such as boundedness,continuity,regularity and the inequalities of the norms of the composition of functions in some functional…

Functional Analysis · Mathematics 2026-01-14 Mahdi Tahar Brahimi

Rewriting logic is naturally concurrent: several subterms of the state term can be rewritten simultaneously. But state terms are global, which makes compositionality difficult to achieve. Compositionality here means being able to decompose…

Logic in Computer Science · Computer Science 2020-01-31 Óscar Martín , Alberto Verdejo , Narciso Martí-Oliet

In recent years, AI-generated music has made significant progress, with several models performing well in multimodal and complex musical genres and scenes. While objective metrics can be used to evaluate generative music, they often lack…

Sound · Computer Science 2023-08-29 Zeyu Xiong , Weitao Wang , Jing Yu , Yue Lin , Ziyan Wang

The purpose of this project is to outline various philosophies on the metaphysics of mathematics that have been prominent since the time of Cantor, highlighting some biographical aspects that have influenced these ideas as well. The main…

History and Overview · Mathematics 2021-03-22 John Hester

Logicians study and apply a multiplicity of various logical systems. Consequently, there is necessity to build foundations and common grounds for all these systems. This is done in metalogic. Like metamathematics studies formalized…

Logic · Mathematics 2007-05-23 Mark Burgin

This paper summarises the current state-of-the art in the study of compositionality in distributional semantics, and major challenges for this area. We single out generalised quantifiers and intensional semantics as areas on which to focus…

Computation and Language · Computer Science 2012-07-11 Daoud Clarke

Advancements in the digital technologies have enabled researchers to develop a variety of Computational Music applications. Such applications are required to capture, process, and generate data related to music. Therefore, it is important…

Sound · Computer Science 2021-04-27 SeyyedPooya HekmatiAthar , Mohd Anwar

After presenting the general framework of 'mathemusical' dynamics, we focus on one music-theoretical problem concerning a special case of homometry theory applied to music composition, namely Milton Babbitt's hexachordal theorem. We briefly…

Probability · Mathematics 2024-02-02 Moreno Andreatta , Corentin Guichaoua , Nicolas Juillet

A hallmark of human intelligence is the ability to construct self-contained chunks of knowledge and adequately reuse them in novel combinations for solving different yet structurally related problems. Learning such compositional structures…

Machine Learning · Computer Science 2021-03-18 Jorge A. Mendez , Eric Eaton

Current AI-generated music lacks fundamental principles of good compositional techniques. By narrowing down implementation issues both programmatically and musically, we can create a better understanding of what parameters are necessary for…

Sound · Computer Science 2021-11-16 Daniel Szelogowski

Despite the increasing popularity of metaheuristics, many crucially important questions remain unanswered. There are two important issues: theoretical framework and the gap between theory and applications. At the moment, the practice of…

Optimization and Control · Mathematics 2012-11-29 Xin-She Yang

Traditionally, the way one evaluates the performance of an Artificial Intelligence (AI) system is via a comparison to human performance in specific tasks, treating humans as a reference for high-level cognition. However, these comparisons…

Artificial Intelligence · Computer Science 2019-11-25 Camilo M. Signorelli , Xerxes D. Arsiwalla

Composition is something we take for granted in classical algorithms design, and in particular, we take it as a basic axiom that composing ``efficient'' algorithms should result in an ``efficient'' algorithm -- even using this intuition to…

Quantum Physics · Physics 2025-02-14 Stacey Jeffery

We consider ways of conceptualizing, rendering and perceiving quantum music, and quantum art in general. Thereby, we give particular emphasis to its non-classical aspects, such as coherent superposition and entanglement.

Quantum Physics · Physics 2015-08-18 Volkmar Putz , Karl Svozil

Interpretability of machine learning models has gained more and more attention among researchers in the artificial intelligence (AI) and human-computer interaction (HCI) communities. Most existing work focuses on decision making, whereas we…

Human-Computer Interaction · Computer Science 2020-04-16 Haizi Yu , Heinrich Taube , James A. Evans , Lav R. Varshney

Computability theory is traditionally conceived as the theoretical basis of informatics. Nevertheless, numerous proposals transcend computability theory, in particular by emphasizing interaction of modules, or components, parts,…

Software Engineering · Computer Science 2024-08-28 Peter Fettke , Wolfgang Reisig

In this work we present an algorithm for composing monophonic melodies similar in style to those of a given, phrase annotated, sample of melodies. For implementation, a hybrid approach incorporating parametric Markov models of higher order…

Artificial Intelligence · Computer Science 2016-12-30 Rouven Bauer