Publication

Cuba, Best Practices: quel potentiel d'élargissement

Related publications (228)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Interactive Code Generation

Ivan Kuraj

This thesis presents two approaches to code generation (synthesis) along with a discussion of other related and influential works, their ideas and relations to these approaches. The common goal of these approaches is to efficiently and effectively assist d ...

2013

What makes companies pursue an Open Science strategy?

Julio Diego Salvador Raffo, Markus Simeth

Whereas recent scholarly research has provided many insights about universities engaging in commercial activities, there is still little empirical evidence regarding the opposite phenomenon of companies disseminating scientific knowledge. Our paper aims to ...

Elsevier Science Bv2013

Double centralizers of unipotent elements in simple algebraic groups of type G(2), F-4 and E-6

Iulian Ion Simion

Let u be a unipotent element of a simple algebraic group G over a field k of characteristic p. We develop a method for computing the connected component of Z(C-G(u)) in the cases where p is positive and both it and the rank of G are small enough. The metho ...

Academic Press Inc Elsevier Science2013

Transitions from reproductive systems governed by two self-incompatible loci to one in fungi

Séverine Vuilleumier Varisco

Self-incompatibility (SI), a reproductive system broadly present in plants, chordates, fungi, and protists, might be controlled by one or several multiallelic loci. How a transition in the number of SI loci can occur and the consequences of such events for ...

2013

On Repairing Ill-Typed Expressions

Tihomir Gvero, Ivan Kuraj, Ruzica Piskac

When developing code, a programmer typically knows the approximate structure of the desired expression. However, often the first attempt at writing it down results in an ill-typed code fragment. We propose an approach that automatically repairs code expres ...

2013

Fano resonant plasmonic systems: Functioning principles and applications

Olivier Martin, Andrea Lovera, Benjamin Gallinet, Thomas Gerd Siegfried

Using a generalization of Fano formula that includes the intrinsic losses associated with metals, we retrieve the underlying modal structure that produces Fano resonances from the interference between a bright and a dark mode. This knowledge is used to det ...

Amer Inst Physics2012

On Complete Completion using Types and Weights

Viktor Kuncak, Tihomir Gvero, Ivan Kuraj, Ruzica Piskac

Developing modern software applications typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that ...

2012

Guessing the fingerings from musical recordings

Paolo Prandoni, Arnaud Latty, Frederike Dümbgen

Synopsis: This project is about using musical recordings of string instruments to determine on which strings notes have been played. It includes the study of the spectral content of the recordings and the development of a robust classifica ...

2012

On Fast Code Completion using Type Inhabitation

Viktor Kuncak, Tihomir Gvero, Ivan Kuraj, Ruzica Piskac

2012

Implementing a Type Debugger for Scala

Martin Odersky, Hubert Plociniczak

Statically-typed languages offer type systems that are less and less comprehensible for programmers as the language grows in complexity. In this paper, we present a type debugger, a tool that enables analysis of type-related problems as well as exploration ...

2012