Cover Image

Data Models of German Lute Tablature With TScore

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lepper, Markus, Widemann, Baltasar Trancón
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Critical Semantic Properties of Music Notation Datasets
by: Lepper, Markus, et al.
Published: (2024)

ALEA IACTA EST: A Declarative Domain-Specific Language for Manually Performable Random Experiments
by: Widemann, Baltasar Trancón y, et al.
Published: (2025)

A Theory of Conversion Relations for Prefixed Units of Measure
by: Widemann, Baltasar Trancón y, et al.
Published: (2022)

Härpfer's Extended Indispensability Algorithm in Z
by: Lepper, Markus, et al.
Published: (2025)

Fretting-Transformer: Encoder-Decoder Model for MIDI to Tablature Transcription
by: Hamberger, Anna, et al.
Published: (2025)

MIDI-to-Tab: Guitar Tablature Inference via Masked Language Modeling
by: Edwards, Drew, et al.
Published: (2024)

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
by: Böck, Markus, et al.
Published: (2025)

An Executable Specification of Oncology Dose-Escalation Protocols with Prolog
by: Norris, David C., et al.
Published: (2024)

SUQL: Conversational Search over Structured and Unstructured Data with Large Language Models
by: Liu, Shicheng, et al.
Published: (2023)

Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
by: Grannan, Zachary, et al.
Published: (2025)

Describe Data to get Science-Data-Ready Tooling: Awkward as a Target for Kaitai Struct YAML
by: Goyal, Manasvi, et al.
Published: (2024)

Beyond Cons: Purely Relational Data Structures
by: Sanna, Rafaello, et al.
Published: (2025)

A Data-driven Analysis of Code Optimizations
by: Hakimi, Yacine, et al.
Published: (2025)

Data-Driven Invariant Learning for Probabilistic Programs
by: Bao, Jialu, et al.
Published: (2021)

Quantifying the Importance of Data Alignment in Downstream Model Performance
by: Chawla, Krrish, et al.
Published: (2025)

Abstract Interpretation-Based Data Leakage Static Analysis
by: Drobnjaković, Filip, et al.
Published: (2022)

Decoupling Data Layouts from Bounding Volume Hierarchies
by: Gyurgyik, Christophe, et al.
Published: (2025)

A Teacher's Notebook: German.
Published: (1973)

Data Transfer Optimizations for Host-CPU and Accelerators in AXI4MLIR
by: Haris, Jude, et al.
Published: (2024)

Understanding Haskell-style Overloading via Open Data and Open Functions
by: Marmaduke, Andrew, et al.
Published: (2025)

Automated Profile-Guided Replacement of Data Structures to Reduce Memory Allocation
by: Makor, Lukas, et al.
Published: (2025)

Backwards Data-Flow Analysis using Prophecy Variables in the BuildIt System
by: Brahmakshatriya, Ajay, et al.
Published: (2026)

A Type System for Data Privacy Compliance in Active Object Languages
by: Baramashetru, Chinmayi Prabhu, et al.
Published: (2025)

CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis
by: Tunç, Hünkar Can, et al.
Published: (2024)

Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
by: Liesnikov, Bohdan, et al.
Published: (2025)

Querying Graph-Relational Data
by: Sullivan, Michael J., et al.
Published: (2025)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
by: Böhler, Timon, et al.
Published: (2026)

Implementing CPSLint: A Data Validation and Sanitisation Tool for Industrial Cyber-Physical Systems
by: Odyurt, Uraz, et al.
Published: (2026)

Full Version: (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms
by: Rasch, Ari
Published: (2024)

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
by: Xu, Yichen, et al.
Published: (2025)

Verification under TSO with an infinite Data Domain
by: Abdulla, Parosh Aziz, et al.
Published: (2024)

Validating Traces of Distributed Programs Against TLA+ Specifications
by: Cirstea, Horatiu, et al.
Published: (2024)

The Long Way to Deforestation (Technical Report): A Type Inference and Elaboration Technique for Removing Intermediate Data Structures
by: Chen, Yijia, et al.
Published: (2024)

Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
by: Lin, Honglin, et al.
Published: (2025)

An Execution Model for RICE
by: Libby, Steven
Published: (2025)

Rel: A Programming Language for Relational Data
by: Aref, Molham, et al.
Published: (2025)

Spatial Data Science Languages: commonalities and needs
by: Pebesma, Edzer, et al.
Published: (2025)

TQL: Towards Type-Driven Data Discovery
by: Kang, Andrew, et al.
Published: (2025)

LLM4Decompile: Decompiling Binary Code with Large Language Models
by: Tan, Hanzhuo, et al.
Published: (2024)

Characterizing Implementability of Global Protocols with Infinite States and Data
by: Li, Elaine, et al.
Published: (2024)