Concept

Inférence de types

Publications associées (264)

A Monometallic Iron(I) Organoferrate

Tetra-n-butylammonium (TBA) (eta(6)-biphenyl)diphenyfferrate was formed unexpectedly in the reaction of (TBA)(2)[Fe4S4Cl4] with an excess of phenyllithium. This complex belongs to a novel type of organoferrate. ...

American Chemical Society2017

Energy efficiency as an example of cross-discipline collaboration in chemical engineering

François Maréchal

This paper summarizes the round-table discussion that was held during the European Congress of Chemical Engineering (ECCE) in Nice, France, in October 2015 on this topic. The panellists come from different fields of chemical engineering and have thus broug ...

2017

Development of an integrated model for the design of fish-passes for small and medium head differences

Problematic: Which type of fish passes (FPs) are appropriate for small hydropower plants (HPPS) in Greece, based on their local characteristics (and thus, using the experience of the German experience)? Elaborate a decision making tool. Investigate dimensi ...

2017

deepschema.org: An Ontology for Typing Entities in the Web of Data

Karl Aberer, Michele Catasta, Panagiotis Smeros, Amit Gupta

Discovering the appropriate type of an entity in the Web of Data is still considered an open challenge, given the complexity of the many tasks it entails. Among them, the most notable is the definition of a generic and cross-domain ontology. While the onto ...

2017

Two approaches to portable macros

Eugene Burmako, Fengyun Liu

For any programming language that supports macros and has multiple implementations (each with different AST definitions), there is a common problem: how to make macros that operate on ASTs portable among different compiler implementations? Implementing por ...

2017

Morphological Diversity Strongly Constrains Synaptic Connectivity and Plasticity

Henry Markram, Eilif Benjamin Muller, Srikanth Ramaswamy, Michael Reimann, Anna-Lena Horlemann

Synaptic connectivity between neurons is naturally constrained by the anatomical overlap of neuronal arbors, the space on the axon available for synapses, and by physiological mechanisms that form synapses at a subset of potential synapse locations. What i ...

Oxford University Press (OUP)2017

Electrovariable gold nanoparticle films at liquid–liquid interfaces: from redox electrocatalysis to Marangoni-shutters

Hubert Girault, Pekka Eero Peljo, Evgeny Smirnov, Grégoire Clément Gschwend

Control over the physical properties of nanoparticle assemblies at a liquid–liquid interface is a key technological advancement to realize the dream of smart electrovariable nanosystems. Electrified interfaces, such as the interface between two immiscible ...

Royal Society of Chemistry2017

Python module for finite rate of innovation (FRI) sampling

Hanjie Pan

Level: BS/MS semester project Description: Sampling signals with finite rate of innovation plays a key in the sucess of continuous domain sparse reconstructions [1], including the direction of arrival estimation (DOA) with a microphone array [2], ...

2017

Verification by Reduction to Functional Programs

Régis William Blanc

In this thesis, we explore techniques for the development and verification of programs in a high-level, expressive, and safe programming language. Our programs can express problems over unbounded domains and over recursive and mutable data structures. We p ...

EPFL2017

Just-in-time Analytics Over Heterogeneous Data and Hardware

Manolis Karpathiotakis

Industry and academia are continuously becoming more data-driven and data-intensive, relying on the analysis of a wide variety of datasets to gain insights. At the same time, data variety increases continuously across multiple axes. First, data comes in mu ...

EPFL2017

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