Publications associées à Type algébrique de données

Holger Frauenrath, Emmanuel Croisier, Liangfei Tian

Structural biomaterials with their often extraordinary properties and versatile functions are typically constructed from very limited sets of building blocks and types of supramolecular interactions. In this review we discuss how, inspired by nature's desi ...

Swiss Chemical Soc2013

Synthesis Modulo Recursive Functions

Viktor Kuncak, Etienne Kneuss, Ivan Kuraj, Philippe Paul Henri Suter

We describe techniques for synthesis and verification of recursive functional programs over unbounded domains. Our techniques build on top of an algorithm for satisfiability modulo recursive functions, a framework for deductive synthesis, and complete synt ...

2013

On Integrating Deductive Synthesis and Verification Systems

Viktor Kuncak, Etienne Kneuss, Ivan Kuraj, Philippe Paul Henri Suter

2013

Meet the Walkers: Accelerating Index Traversals for In-Memory Databases

Babak Falsafi, Boris Robert Grot, Yusuf Onur Koçberber, Javier Picorel Obando, Kevin Lim

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

2013

Clustering on Multi-Layer Graphs via Subspace Analysis on Grassmann Manifolds

Pascal Frossard, Pierre Vandergheynst, Xiaowen Dong

Relationships between entities in datasets are often of multiple types, which can naturally be modeled by a multi-layer graph; a common vertex set represents the entities and the edges on different layers capture different types of relationships between th ...

2013

Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization

Martin Odersky, Philipp Haller, Eugene Burmako

As more applications migrate to the cloud, and as “big data” edges into even more production environments, the performance and simplicity of exchanging data between compute nodes/devices is increasing in importance. An issue central to distributed programm ...

2013

Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization

Martin Odersky, Philipp Haller, Eugene Burmako

As more applications migrate to the cloud, and as "big data" edges into even more production environments, the performance and simplicity of exchanging data between compute nodes/devices is increasing in importance. An issue central to distributed programm ...

Assoc Computing Machinery2013

Generic path for droplet relaxation in microfluidic channels

François Gallaire, Pierre-Thomas Paul Brun, Mathias Nagel

In two-phase microfluidics, droplets often undergo deformations that drive them away from their circular equilibrium shape. Herein we concentrate on the relaxation of symmetrical deformations to a circle driven by surface tension effects, which are predomi ...

American Physical Society2013

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.

Type algébrique de données

Materials Taking a Lesson from Nature

Synthesis Modulo Recursive Functions

On Integrating Deductive Synthesis and Verification Systems

Meet the Walkers: Accelerating Index Traversals for In-Memory Databases

Updating and curating metabolic pathways of TB

Clustering on Multi-Layer Graphs via Subspace Analysis on Grassmann Manifolds

Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization

Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization

Generic path for droplet relaxation in microfluidic channels

Incremental Query Evaluation in a Ring of Databases

Graph Chatbot

Chattez avec Graph Search

Materials Taking a Lesson from Nature

Meet the Walkers: Accelerating Index Traversals for In-Memory Databases

Synthesis Modulo Recursive Functions

Updating and curating metabolic pathways of TB

On Integrating Deductive Synthesis and Verification Systems

Clustering on Multi-Layer Graphs via Subspace Analysis on Grassmann Manifolds

Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization

Incremental Query Evaluation in a Ring of Databases

Generic path for droplet relaxation in microfluidic channels

Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization