11 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…
Eng Lieh Ouh, Benjamin Kok Siew Gan, Kyong Jin Shim, Swavek Wlodkowski
'Swavek Wlodkowski'] In this study, we assess the efficacy of employing the ChatGPT language model to generate solutions for coding exercises within an undergraduate Java programming course. ChatGPT, a large-scale, deep learning-driven natural language processing model, is capable of producing programming code based on…
Oleg Kiselyov, Tomoaki Kobayashi, Aggelos Biboudis, Nick Palladinos
We present the stream processing library that achieves the highest performance of existing OCaml streaming libraries, attaining the speed and memory efficiency of hand-written state machines. It supports finite and infinite streams with the familiar declarative interface, of any combination of map, filter, take(while)…
Will Crichton, Shriram Krishnamurthi
Passive documents and active programs now widely comingle. Document languages include Turing-complete programming elements, and programming languages include sophisticated document notations. However, there are no formal foundations that model these languages. This matters because the interaction between document and…
Osamu Take, Taketo Akama
Generative Refinement Authors: ['Osamu Take' 'Taketo Akama'] Recent MIDI-to-audio synthesis methods have employed deep neural networks to successfully generate high-quality and expressive instrumental tracks. However, these methods require MIDI annotations for supervised training, limiting the diversity of the output…
Scott Kovach, Fredrik Kjølstad
We introduce a formal operational semantics that describes the fused execution of variable contraction problems, which compute indexed arithmetic over a semiring and generalize sparse and dense tensor algebra, relational algebra, and graph algorithms. We prove that the model is correct with respect to a functional…
Michel Adam, Patrice Frison, Moncef Daoud, Sabine Letellier Zarshenas
The use of applications on computers, smartphones, and tablets has been considerably simplified thanks to interactive and dynamic graphical interfaces coupled with the mouse and touch screens. It is no longer necessary to be a computer specialist to use them. Paradoxically, the development of computer programs…
Daniel Melcer, Nathan Fulton, Sanjay Krishna Gouda, Haifeng Qian
Efficient Left and Right Quotienting of Context-Sensitive Grammars Authors: ['Daniel Melcer' 'Nathan Fulton' 'Sanjay Krishna Gouda' 'Haifeng Qian'] Large Language Models are powerful tools for program synthesis and advanced auto-completion, but come with no guarantee that their output code is syntactically correct.…
Iosif Iulian Petrila
The augmented version of C programming language is presented. The language was completed with a series of low-level and highlevel facilities to enlarge the language usage spectrum to various computing systems, operations, users. The ambiguities and inconsistencies have been resolved by managing problematic and…
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 | |…