Concept
XSLT
Related publications (19)
ms3: A parser for MuseScore files, serving as data factory for annotated music corpora
Martin Alois Rohrmeier, Johannes Hentschel
The Python library ms3 makes scores (symbolic representations of music) operational for computational approaches by representing their contents as sets of tabular files. Music scores represent relations between sounding events by graphical means. The Free ...
2023Opportunities for energy efficient computing: a study of inexact general purpose processors for high-performance and big-data applications
Christian Enz, Jérémy Lucien Maurice Schlachter
In this paper, we demonstrate that disproportionate gains are possible through a simple devise for injecting inexactness or approximation into the hardware architecture of a computing system with a general purpose template including a complete memory hiera ...
2015Language Support for Distributed Functional Programming
Software development has taken a fundamental turn. Software today has gone from simple, closed programs running on a single machine, to massively open programs, patching together user experiences byway of responses received via hundreds of network requests ...
EPFL2015Query Optimization in Oracle 12c Database In-Memory
Ramachandra Satyanarayana Valluri
Traditional on disk row major tables have been the dominant storage mechanism in relational databases for decades. Over the last decade, however, with explosive growth in data volume and demand for faster analytics, has come the recognition that a differen ...
2015CITYSIM simulation: the case study of Alt-Wiedikon, a neighbourhood of Zürich City
Jérôme Henri Kämpf, Darren Robinson, Maria Papadopoulou, Diane Perez, Urs Wilke
As research in building energy demand simulation is reaching maturity, there is now a growing interest in the evaluation of the energy need of larger and/or pre-existing urban areas [1, 2, 3], to evaluate the energy performance associated with alternative ...
EPFL2011Dynamics of Urban Centre and Concepts of Symmetry: Centroid and Weighted Mean
The city is a kind of complex system being capable of auto-organization of its programs and adapts a principle of economy in its form generating process. A new concept of dynamic centre in urban system, called "the programmatic moving centre", can be used ...
Birkhäuser-Verlag, Springer2011On Rigorous Numerical Computation as a Scala Library
Modern programming languages have adopted the floating point type as a way to describe computations with real numbers. Thanks to the hardware support, such computations are efficient on modern architectures. However, rigorous reasoning about the resulting ...
2010Query-driven indexing in large-scale distributed systems
Efficient and effective search in large-scale data repositories requires complex indexing solutions deployed on a large number of servers. Web search engines such as Google and Yahoo! already rely upon complex systems to be able to return relevant query re ...
EPFL2009Efficient static analysis of XML paths and types
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically type-check XPath queries. To this end, we prove the decidability of a logic with converse for finite ordered trees whose time comple ...
2007Efficient Semi-structured Queries in Scala using XQuery Shipping
This project proposes a new approach to interact with database systems through programming languages. A formal query language can be integrated within modern programming languages and the semi-structured queries can be evaluated using automatic transformat ...
2006