Concept

Type récursif

Publications associées (98)

Accelerators for Data Processing

The explosive growth in digital data and its growing role in real-time analytics motivate the design of high-performance database management systems (DBMSs). Meanwhile, slowdown in supply voltage scaling has stymied improvements in core performance and ush ...

EPFL2015

On Counter-Example Complete Verification for Higher-Order Functions

Viktor Kuncak, Etienne Kneuss, Nicolas Charles Yves Voirol

We present a verification procedure for pure higher-order functional Scala programs with parametric types. We show that our procedure is sound for proofs, as well as sound and complete for counter-examples. The procedure reduces the analysis of higher-orde ...

2015

Synergy of hyperspectral and microwave remote sensing data to derive bio- and geo-physical parameters for land applications

Jelena Stamenkovic

Retrieval of bio/geophysical variables from remote sensing imagery is an important research field. Due to the development and availability of different EO satellites, especially the ones with hyperspectral sensors, the combined use of radar and optical ima ...

EPFL2015

From Data Quality to Big Data Quality

Gianluigi Viscusi

This article investigates the evolution of data quality issues from traditional structured data managed in relational databases to Big Data. In particular, the paper examines the nature of the relationship between Data Quality and several research coordina ...

2015

Introducing a preliminary Consists Selection in the Locomotive Assignment Problem

Michel Bierlaire, Francesco Piu, Prem Kumar

The Locomotive Assignment Problem (LAP) is a class of planning and scheduling problems solved by assigning a fleet of locomotives to a network of trains. In the planning versions of the LAP, the type of consist (a group of linked locomotives) assigned to e ...

Elsevier2015

Multimedia Analysis and Access of Ancient Maya Epigraphy

Daniel Gatica-Perez, Jean-Marc Odobez, Gülcan Can, Rui Hu

This article presents an integrated framework for multimedia access and analysis of ancient Maya epigraphic resources, which is developed as an interdisciplinary effort involving epigraphers (someone who deciphers ancient inscriptions) and computer scienti ...

IEEE2015

Developing Verified Software Using Leon

Viktor Kuncak

We present Leon, a system for developing functional Scala programs annotated with contracts. Contracts in Leon can themselves refer to recursively defined functions. Leon aims to find counterexamples when functions do not meet the specifications, and proof ...

Springer-Verlag Berlin2015

Privacy in the Genomic Era

Jean-Pierre Hubaux, Jacques Fellay, Erman Ayday

Genome sequencing technology has advanced at a rapid pace and it is now possible to generate highlydetailed genotypes inexpensively. The collection and analysis of such data has the potential to support various applications, including personalized medical ...

Assoc Computing Machinery2015

Capturing response behavior heterogeneity in the quantification of semi-open questions: a mixed discrete-continuous approach

Michel Bierlaire, Aurélie Glerum

This paper presents a method to account for response behavior heterogeneity in the quantification of adjectives reported in semi-open questions. Semi-open questions are useful to capture psychological constructs such as perceptions. However, due to the qua ...

2014

Symbolic Resource Bound Inference

Viktor Kuncak, Ravichandhran Kandhadai Madhavan

We present an approach for inferring symbolic resource bounds for purely functional programs consisting of recursive functions, algebraic data types and nonlinear arithmetic operations. In our approach, the developer specifies the desired shape of the boun ...

2014

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