7 papers · ranked by Valyu relevance
Attila Egri-Nagy
Programming languages tend to evolve over time to use more and more concepts from theoretical computer science. Still, there is a gap between programming and pure mathematics. Not all theoretical results have realized their promising applications. The algebraic decomposition of finite state automata (Krohn-Rhodes…
Christopher J. Tralie, Ben Cantil
Musaicing Authors: ['Christopher J. Tralie' 'Ben Cantil'] We present "The Concatenator," a real time system for audio-guided concatenative synthesis. Similarly to Driedger et al.'s "musaicing" (or "audio mosaicing") technique, we concatenate a set number of windows within a corpus of audio to re-create the harmonic and…
Pavel Kodytek, Alexandra Bodzas, Jan Zidek, Govind Vashishtha
Continual technological advances associated with the recent automation revolution have tremendously increased the impact of computer technology in the industry. Software development and testing are time-consuming processes, and the current market faces a lack of specialized experts. Introducing automation to this field…
Authors not listed
RNA molecules fold into complex three-dimensional structures that determine their function. A wide range of mathematical frameworks, such as chord diagrams, fatgraphs, and context-free grammars, have been used to represent these structures; however, these models have largely been developed from mathematical motivations…
Ali Arya
| 3 | Table of Content | | --- | --- | | Preface 8 | | | Notes 10 | | | 10 | Code Examples | | Signage and Numbering 11 | | | 12 | Chapter 1: Introduction | | 12 | 1.1. At the Restaurant | | 15 | 1.2. Algorithms | | 1.3. Programs 17 | | | 1.4. Programming and Algorithmic Thinking 21 | | | 25 | 1.5. Modularization | |…
Maíra R Rodrigues, Wagner CS Magalhães, Moara Machado, Eduardo Tarazona-Santos
'Eduardo Tarazona-Santos'] Background In bioinformatics, it is important to build extensible and low-maintenance systems that are able to deal with the new tools and data formats that are constantly being developed. The traditional and simplest implementation of pipelines involves hardcoding the execution steps into…
Mikaël Mayer, Viktor Kunčak, Ravi Chugh
We present an evaluation update (or simply, update) algorithm for a full-featured functional programming language, which synthesizes program changes based on output changes. Intuitively, the update algorithm retraces the steps of the original evaluation, rewriting the program as needed to reconcile differences between…