Imagen de Portada

Data Models of German Lute Tablature With TScore

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Lepper, Markus, Widemann, Baltasar Trancón
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

An Execution Model for RICE
por: Libby, Steven
Publicado: (2025)

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

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

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

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

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