Concept

If and only if

Publications associées (13)

Latency Interfaces for Systems Code

This thesis demonstrates that it is feasible for systems code to expose a latency interface that describes its latency and related side effects for all inputs, just like the code's semantic interface describes its functionality and related side effects.Sem ...

EPFL2023

Restructuring of Arithmetic Circuits with Biconditional Binary Decision Diagrams

Giovanni De Micheli, Andreas Peter Burg, Alexios Konstantinos Balatsoukas Stimming, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù

Biconditional Binary Decision Diagrams (BBDDs) are a novel class of canonical binary decision diagrams where the branching condition, and its associated logic expansion is biconditional on two variables. In this demonstration we use an effici ...

2014

Majority Logic Representation and Satisfiability

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù

Majority logic is a powerful generalization of common AND/OR logic. Original two-level and multi-level logic networks can use majority operators as primitive connective, in place of AND/ORs. In such a way, Boolean functions have novel means for compact rep ...

2014

Modeling an America's Cup Regatta as a Sequential Stochastic Game

Jean-Benoît Rossel

The main objective of this thesis is to model a regatta in the America’s Cup, and more precisely the first leg of the race, where the two competing sailboats have to move upwind. During the race, each crew attempts to be the first to reach the end of this ...

EPFL2013

The CONNECT project: Combining macro- and micro-structure

Tim Bjørn Dyrby

In recent years, diffusion MRI has become an extremely important tool for studying the morphology of living brain tissue, as it provides unique insights into both its macrostructure and microstructure. Recent applications of diffusion MRI aimed to characte ...

2013

The CONNECT project: combining macro- and micro-structure

Elsevier2013

Translating English Discourse Connectives into Arabic: a Corpus-based Analysis and an Evaluation Metric

Andrei Popescu-Belis

Discourse connectives can often signal multiple discourse relations, depending on their context. The automatic identification of the Arabic translations of seven English discourse connectives shows how these connectives are differently translated depending ...

2012

Catchment travel time distributions and water flow in soils

Andrea Rinaldo, Enrico Bertuzzo, Ludovico Nicotina, Gianluca Botter

Many details about the flow of water in soils in a hillslope are unknowable given current technologies. One way of learning about the bulk effects of water velocity distributions on hillslopes is through the use of tracers. However, this paper will demonst ...

2011

Assessing directed information as a method for inferring functional connectivity in neural ensembles

Michael Christoph Gastpar

Neurons in the brain form complicated networks through synaptic connections. Traditionally, functional connectivity between neurons has been analyzed using simple metrics such as correlation, which do not provide direction of influence. Recently, an inform ...

IEEE2011

On the scaling of polar codes: II. The behavior of un-polarized channels

Rüdiger Urbanke, Seyed Hamed Hassani

We provide upper and lower bounds on the escape rate of the Bhattacharyya process corresponding to polar codes where transmission takes place over the the binary erasure channel. More precisely, we bound the exponent of the number of sub-channels whose Bha ...

IEEE2010

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