Concept

Extensible Stylesheet Language Transformations

Publications associées (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 ...

2023

Opportunities 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 ...

2015

Language 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 ...

EPFL2015

Query 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 ...

2015

CITYSIM 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 ...

EPFL2011

Dynamics of Urban Centre and Concepts of Symmetry: Centroid and Weighted Mean

Jong-Jin Park

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, Springer2011

On Rigorous Numerical Computation as a Scala Library

Viktor Kuncak, Eva Darulova

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 ...

2010

Query-driven indexing in large-scale distributed systems

Gleb Skobeltsyn

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 ...

EPFL2009

Efficient 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 ...

2007

Efficient 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

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search