Publications related to Type inference

Implementation of a binaural localization algorithm in hearing aids: Specifications and achievable solutions

Hervé Lissek, Patrick Marmaroli, Gilles André Courtois

This article introduces the constraints and issues related to the implementation of a binaural localization algorithm on a pair of hearing aids. The algorithm should improve the rendering of the spatial information available in the audio signals, which are ...

2014

Measurement of the Branching Fraction B(Lambda(+)(c) -> pK(-)pi(+))

Olivier Schneider, Yiming Li, Chao Wang, Tagir Aushev, Jun Yong Kim, Ji Hyun Kim, Donghyun Kim, Dipanwita Dutta, Xiao Wang, Jing Li

We present the first model-independent measurement of the absolute branching fraction of the Lambda(+)(c) -> pK(-)pi(+)decay using a data sample of 978 fb(-1) collected with the Belle detector at the KEKB asymmetric-energy e(+)e(-) collider. The number of ...

Amer Physical Soc2014

ScalaDyno: Making Name Resolution and Type Checking Fault-tolerant

Martin Odersky, Vlad Ureche, Cédric Bastin

The ScalaDyno compiler plugin allows fast prototyping with the Scala programming language, in a way that combines the benefits of both statically and dynamically typed languages. Static name resolution and type checking prevent partially-correct code from ...

ACM2014

Study of cell differentiation by phylogenetic analysis using histone modification data

Bernard Moret, Philipp Bucher, Yu Lin, Nishanth Ulhas Nair, Paulina Grnarova, Jelena Antic, Ana Manasovska

Background: In cell differentiation, a cell of a less specialized type becomes one of a more specialized type, even though all cells have the same genome. Transcription factors and epigenetic marks like histone modifications can play a significant role in ...

BioMed Central2014

Méthode de libération d'une pièce micromécanique et pièce micromécanique comprenant des attaches sacrificielles

Simon Nessim Henein, François Barrot, Johannes Richard Cornelis Geerit Kruis, Rémy Fournier

A method for fabricating a micromechanical part from a substrate in which the part is fabricated by providing a plurality of fasteners between the part and the substrate, the fasteners being sacrificial, characterized in that the fasteners include at least ...

Organisation Mondiale de la Propriété Intellectuelle2013

Indirect, Non-adaptive Control of a Class of Nonlinear Uncertain Systems with Applications to Motion Control of Swimming Robots

Auke Ijspeert, Yannick Morel

Motion control of bio-inspired mobile robotic platforms can prove a challenging problem. In particular, models for the considered type of systems may prove nonlinear, uncertain, and fairly complicated. To address these issues, use of an output predictor-ba ...

Amer Soc Mechanical Engineers2013

Complete Completion using Types and Weights

Viktor Kuncak, Tihomir Gvero, Ivan Kuraj, Ruzica Piskac

Developing modern software 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 synthesizes ...

ACM2013

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

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.

Type inference

Implementation of a binaural localization algorithm in hearing aids: Specifications and achievable solutions

Measurement of the Branching Fraction B(Lambda(+)(c) -> pK(-)pi(+))

Release and environmental impact of silver nanoparticles and conventional organic biocides from coated wooden facades

ScalaDyno: Making Name Resolution and Type Checking Fault-tolerant

Study of cell differentiation by phylogenetic analysis using histone modification data

Méthode de libération d'une pièce micromécanique et pièce micromécanique comprenant des attaches sacrificielles

Indirect, Non-adaptive Control of a Class of Nonlinear Uncertain Systems with Applications to Motion Control of Swimming Robots

Interactive Code Generation

Complete Completion using Types and Weights

On Repairing Ill-Typed Expressions

Graph Chatbot

Chat with Graph Search

Interactive Code Generation

Indirect, Non-adaptive Control of a Class of Nonlinear Uncertain Systems with Applications to Motion Control of Swimming Robots

Méthode de libération d'une pièce micromécanique et pièce micromécanique comprenant des attaches sacrificielles

Release and environmental impact of silver nanoparticles and conventional organic biocides from coated wooden facades

On Repairing Ill-Typed Expressions

Study of cell differentiation by phylogenetic analysis using histone modification data

Implementation of a binaural localization algorithm in hearing aids: Specifications and achievable solutions

Measurement of the Branching Fraction B(Lambda(+)(c) -> pK(-)pi(+))

ScalaDyno: Making Name Resolution and Type Checking Fault-tolerant

Complete Completion using Types and Weights