Concept

Dependent type

Related publications (317)

Wedge Dyakonov Waves and Dyakonov Plasmons in Topological Insulator Bi2Se3 Probed by Electron Beams

Bi2Se3 has recently attracted a lot of attention because it has been reported to be a platform for the realization of three-dimensional topological insulators. Due to this exotic characteristic, it supports excitations of a two-dimensional electron gas at ...

Amer Chemical Soc2016

Fluid Driven Fractures – Modeling and realities

Brice Tanguy Alphonse Lecampion

In this talk, we will first review the physics and mechanics of fluid driven fractures with the aim of engineering hydraulic stimulation in practice. In particular, based on theoretical modeling and comparisons with experiments, we will clarify a number of ...

2016

Function Passing: A Model for Typed, Distributed Functional Programming

Philipp Haller, Jocelyn Boullier

The most successful systems for “big data” processing have all adopted functional APIs. We present a new programming model we call function passing designed to provide a more principled substrate on which to build data-centric distributed systems. A key id ...

Assoc Computing Machinery2016

Named Entity Resources - Overview and Outlook

Maud Ehrmann

Recognition of real-world entities is crucial for most NLP applications. Since its introduction some twenty years ago, named entity processing has undergone a significant evolution with, among others, the definition of new tasks (e.g. entity linking) and t ...

European Language Resources Association (ELRA)2016

Decrypting Local Type Inference

Hubert Plociniczak

Statically typed languages verify programs at compile-time. As a result many programming mistakes are detected at an early stage of development. A programmer does not have to specify types for every single term manually, however. Many programming languages ...

EPFL2016

Introduction of a dynamic interpretation of building LCA results: the case of the smart living (lab) building in Fribourg, Switzerland

Marilyne Andersen, Thomas Bernard Paul Jusselme, Endrit Hoxha

Although a building lifetime is not predictable, it is an essential data in the yearly impact calculation. Yet, in the assessment of the environmental impacts of building the lifetime is considered as a fixed value. The purpose of this study is to introduc ...

2016

Reinforcement learning: the effect of environment

Michael Herzog, He Xu

Reinforcement learning is a type of supervised learning, where reward is sparse and delayed. For example in chess, a series of moves is made until a sparse reward (win, loss) is issued, which makes it impossible to evaluate the value of a single move. Stil ...

2016

An advanced methodology for the mix design optimization of hot mix asphalt

André-Gilles Dumont, Sara Bressi, Manfred Partl

The bitumen quantity to add to asphalt mixtures depends on the surfaces of aggregates and filler to be coated. The formulas currently available in the literature have limitations such as considering all the fillers with the same specific surface or the agg ...

Elsevier Sci Ltd2016

Contextualized ranking of entity types based on knowledge graphs

Karl Aberer, Philippe Cudré-Mauroux, Michele Catasta, Roman Prokofyev

A large fraction of online queries targets entities. For this reason, Search Engine Result Pages (SERPs) increasingly contain information about the searched entities such as pictures, short summaries, related entities, and factual information. A key facet ...

Elsevier Science Bv2016

A review of dynamic recrystallization phenomena in metallic materials

Roland Logé, Ke Huang

The dynamic recrystallization (DRX) phenomena occurring in different thermo-mechanical processing (TMP) conditions for various metallic materials are reviewed. Several types of DRX are described: discontinuous dynamic recrystallization (DDRX), continuous d ...

Elsevier Sci Ltd2016

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.