Concept

Halting problem

Related publications (43)

Near-Optimally Teaching the Crowd to Classify

Andreas Krause, Amin Karbasi, Ilija Bogunovic

How should we present training examples to learners to teach them classification rules? This is a natural problem when training workers for crowdsourcing labeling tasks, and is also moti- vated by challenges in data-driven online educa- tion. We propose a ...

2014

MATHICSE Technical Report : Tensor train approximation of moment equations for the log-normal Darcy problem

Fabio Nobile, Daniel Kressner, Francesca Bonizzoni

We study the Darcy problem with log-normal permeability, modeling the fluid flow in a heterogeneous porous medium. A perturbation approach is adopted, expanding the solution in Taylor series around the nominal value of the permeability. The resulting recur ...

MATHICSE2014

Deciding Conditional Termination

We address the problem of conditional termination, which is that of defining the set of initial configurations from which a given program always terminates. First we define the dual set, of initial configurations from which a non-terminating execution exis ...

Tech Univ Braunschweig2014

Outsourced Pattern Matching

Sebastian Faust

In secure delegatable computation, computationally weak devices (or clients) wish to outsource their computation and data to an untrusted server in the cloud. While most earlier work considers the general question of how to securely outsource any computati ...

2013

Rethinking FPGAs: Elude the Flexibility Excess of LUTs with And-Inverter Cones

Paolo Ienne, David Novo Bruna, Hadi Parandeh Afshar, Hind Benbihi

Look-Up Tables (LUTs) are universally used in FPGAs as the elementary logic blocks. They can implement any logic function and thus covering a circuit is a relatively straightforward problem. Naturally, flexibility comes at a price, and increasing the numbe ...

Acm Order Department, P O Box 64145, Baltimore, Md 21264 Usa2012

24⨯24⨯24

Exercise The architectonic space is an exercise in architecture. It invites students to follow a particular approach to design that, for pedagogical purposes, limits the number of questions considered, in order to privilege a specific dimension of architec ...

UCLouvain.be2012

Multi-Objective Airport Gate Assignment Problem in Planning and Operations

Michel Bierlaire, Prem Kumar

We consider the assignment of gates to arriving and departing flights at a large hub airport. It is considered to be a highly complex problem even in planning stage when all flight arrivals and departures are assumed to be known precisely in advance. There ...

2012

Crowdsourcing As A Solution To Distant Search

Christopher Tucci, Allan Afuah

We argue that under certain circumstances crowdsourcing transforms distant search into local search, improving the efficiency and effectiveness of problem solving. Under such circumstances a firm may choose to crowdsource problem solving rather than solve ...

Academy of Management2012

Querypoint : Moving Backwards on Wrong Values in the Buggy Execution

Claude Petitpierre, Salman Mirghasemi

As developers debug, they often have to seek the origins of wrong values they see in their debugger. This search must be performed backwards in time since the code causing the wrong value is executed before the wrong value appears. Therefore, locating the ...

2011

Debugging by lastChange

Claude Petitpierre, Salman Mirghasemi

Developers often seek the origins of wrong values they see in their debugger. Their search must be backwards in time: the code causing the wrong value executed before the wrong value appeared. Searching with breakpoint- or log- based debuggers demands pers ...

2011

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.