Reason

Related publications (204)

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.

STEP-NC compliant process planning of additive manufacturing: remanufacturing

Ian Anthony Stroud, Jumyung Um

Additive manufacturing is becoming one of the key methods for reproducing repair sections in remanufacturing processes. The major advantage of using additive processes is to minimize production time and waste. However, the surface quality and shape accurac ...

Springer London Ltd2017

Sparsity-Based Data Reconstruction Models for Biomedical Imaging

Emrah Bostan

We propose new regularization models to solve inverse problems encountered in biomedical imaging applications. In formulating mathematical schemes, we base our approach on the sparse signal processing principles that have emerged as a central paradigm in t ...

EPFL2016

Requirements for building an ontology for autonomous robots

Kamilo Andres Melo Becerra, Howard Li

Purpose - IEEE Ontologies for Robotics and Automation Working Group were divided into subgroups that were in charge of studying industrial robotics, service robotics and autonomous robotics. This paper aims to present the work in-progress developed by the ...

Emerald Group Publishing Ltd2016

Query Rewriting in RDF Stream Processing

Jean Paul Calbimonte Perez

Querying and reasoning over RDF streams are two increasingly relevant areas in the broader scope of processing structured data on the Web. While RDF Stream Processing (RSP) has focused so far on extending SPARQL for continuous query and event processing, s ...

Springer2016

Learning Search Strategies from Human Demonstrations

Guillaume Pierre Luc De Chambrier

Decision making and planning with partial state information is a problem faced by all forms of intelligent entities. The formulation of a problem under partial state information leads to an exorbitant set of choices with associated probabilistic outcomes m ...

EPFL2016

Principled Parallel Mean-Field Inference for Discrete Random Fields

Pascal Fua, François Fleuret, Pierre Bruno Baqué, Timur Bagautdinov

Mean-field variational inference is one of the most popular approaches to inference in discrete random fields. Standard mean-field optimization is based on coordinate descent and in many situations can be impractical. Thus, in practice, various parallel te ...

2016

Microstructure informed tractography: pitfalls and open challenges

Jean-Philippe Thiran, Alessandro Daducci, Maxime Descoteaux

One of the major limitations of diffusion MRI tractography is that the fiber tracts recovered by existing algorithms are not truly quantitative. Local techniques for estimating more quantitative features of the tissue microstructure exist, but their combin ...

Frontiers Research Foundation2016

On the Hölder regularity for the fractional Schrödinger equation and its improvement for radial data

Marius Christopher Lemm

We consider the linear, time-independent fractional Schrödinger equation. We are interested in the local Hölder exponents of distributional solutions ψ, assuming local L p integrability of the functions V and f. By standard arguments, we obtain the formula ...

2016

Effect of particle collisions in dense suspension flows

Matthieu Wyart

We study nonlocal effects associated with particle collisions in dense suspension flows, in the context of the Affine Solvent Model, known to capture various aspects of the jamming transition. We show that an individual collision changes significantly the ...

Amer Physical Soc2016

Induction for SMT Solvers

Viktor Kuncak, Andrew Joseph Reynolds

Satisfiability modulo theory solvers are increasingly being used to solve quantified formulas over structures such as integers and term algebras. Quantifier instantiation combined with ground decision procedure alone is insufficient to prove many formulas ...

Springer-Verlag Berlin2015