Publication

Truly abstract interfaces for algebraic data types: the extractor typing problem

Publications associées (27)

Objective Morphological Classification of Neocortical Pyramidal Cells

Kathryn Hess Bellwald, Henry Markram, Rodrigo de Campos Perin, Srikanth Ramaswamy, Julie Meystre, Yun Wang, Ying Shi, Marwan Muhammad Ahmed Abdellah, Lida Kanari

A consensus on the number of morphologically different types of pyramidal cells (PCs) in the neocortex has not yet been reached, despite over a century of anatomical studies, due to the lack of agreement on the subjective classifications of neuron types, w ...

Oxford University Press (OUP)2019

Gaia Data Release 2 Variable stars in the colour-absolute magnitude diagram

Stephan Morgenthaler, Mikaël Martino, Jean-Marie Petit, Shuangqing Liao

Context. The ESA Gaia mission provides a unique time-domain survey for more than 1.6 billion sources with G less than or similar to 21 mag. ...

EDP SCIENCES S A2019

Network utility maximization for delay-sensitive applications in unknown communication settings

Stefano D'Aronco

In the last decades the Internet traffic has greatly evolved. The advent of new Internet services and applications has, in fact, led to a significant growth of the amount of data transmitted, as well as to a transformation of the data type. As a matter of ...

EPFL2018

Low-rank tensor methods for large Markov chains and forward feature selection methods

Francisco Santos Paredes Quartin de Macedo

In the first part of this thesis, we present and compare several approaches for the determination of the steady-state of large-scale Markov chains with an underlying low-rank tensor structure. Such structure is, in our context of interest, associated with ...

EPFL2018

On subadditivity of Kodaira dimension in positive characteristic over a general type base

Zsolt Patakfalvi

We show that for a surjective, separable morphism f of smooth projective varieties over a field of positive characteristic such that f(*) OX congruent to O-Y subadditivity of Kodaira dimension holds, provided the base is of general type and the Hasse-Witt ...

2018

New Algorithmic Paradigms for Discrete Problems using Dynamical Systems and Polynomials

Damian Mateusz Straszak

Optimization is a fundamental tool in modern science. Numerous important tasks in biology, economy, physics and computer science can be cast as optimization problems. Consider the example of machine learning: recent advances have shown that even the most s ...

EPFL2018

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Viktor Kuncak, Mikaël Mayer, Jad Hamza

Synthesis from examples enables non-expert users to generate programs by specifying examples of their behavior. A domain-specific form of such synthesis has been recently deployed in a widely used spreadsheet software product. In this paper we contribute t ...

2017