Publications associées à Cartographie en ligne

SAT-Based Area Recovery in Structural Technology Mapping

This paper proposes a fast SAT-based algorithm for recovering area applicable to an already technology mapped circuit. The algorithm considers a sequence of relatively small overlapping regions, called windows, in a mapped network and tries to improve the ...

ASSOC COMPUTING MACHINERY2018

Training in Mapping Changes on an Archaeological Site

Pierre-Yves Gilliéron, Bertrand Merminod, Jérôme Zufferey

The evolution of technologies makes surveying accessible to a broader community of professionals and students. Therefore, teaching geomatics is a continuous challenge. This article presents an original pedagogical approach based on a teaching unit gatherin ...

2018

A toolkit for multi-scale mapping of the solar energy-generation potential of buildings in urban environments under uncertainty

Marilyne Andersen, Giuseppe Peronato, Parag Rastogi

Many municipalities and public authorities have supported the creation of solar cadastres to map the solar energy-generation potential of existing buildings. Despite advancements in modelling solar potential, most of these tools provide simple evaluations ...

2018

Functional Decomposition Using Majority

Giovanni De Micheli, Mathias Soeken, Zhufei Chu

Typical operators for the decomposition of Boolean functions in state-of-the-art algorithms are AND, exclusive-OR (XOR), and a 2-to-1 multiplexer (MUX). We propose a logic decomposition algorithm that uses the majority-of-three (MAJ) operation. Such decomp ...

ASSOC COMPUTING MACHINERY2018

Functional Decomposition Using Majority

Giovanni De Micheli, Mathias Soeken, Zhufei Chu

IEEE2018

SAT Based Exact Synthesis using DAG Topology Families

Giovanni De Micheli, Mathias Soeken, Winston Jason Haaswijk

SAT based exact synthesis is a powerful technique, with applications in logic optimization, technology mapping, and synthesis for emerging technologies. However, its runtime behavior can be unpredictable and slow. In this paper, we propose to add a new typ ...

IEEE2018

In silico tracing of the fate of single carbon atoms in different physiological states of E. coli

Jasmin Maria Hafner, Noushin Hadadi, Beatriz Lopes Pinto Basto Carreira

Many applications of systems biology such as the simulation of isotope labeling experiments and pathway inference in metabolic engineering rely on atom-level representation of metabolism. Because of its challenging complexity and the difficulty of obtainin ...

2018

Surface-based characteristics of the cerebellar cortex visualized with ultra-high field MRI

Wietske Van der Zwaag, Cristina Granziera, Guillaume Bonnier, Mario Joao Fartaria de Oliveira, Kieran O'Brien, Yohan Boillat

Although having a relatively homogeneous cytoarchitectonic organization, the cerebellar cortex is a heterogeneous region characterized by different amounts of myelin, iron and protein expression profiles. In this study, we used quantitative T1 and T2* mapp ...

2018

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.

Cartographie en ligne

SAT-Based Area Recovery in Structural Technology Mapping

Training in Mapping Changes on an Archaeological Site

A toolkit for multi-scale mapping of the solar energy-generation potential of buildings in urban environments under uncertainty

Functional Decomposition Using Majority

Functional Decomposition Using Majority

SAT Based Exact Synthesis using DAG Topology Families

In silico tracing of the fate of single carbon atoms in different physiological states of E. coli

Surface-based characteristics of the cerebellar cortex visualized with ultra-high field MRI

Ultra Low Power Deep-Learning-powered Autonomous Nano Drones

Perception-aware Receding Horizon Navigation for MAVs

Graph Chatbot

Chattez avec Graph Search

SAT-Based Area Recovery in Structural Technology Mapping

Training in Mapping Changes on an Archaeological Site

Functional Decomposition Using Majority

A toolkit for multi-scale mapping of the solar energy-generation potential of buildings in urban environments under uncertainty

Functional Decomposition Using Majority

SAT Based Exact Synthesis using DAG Topology Families

Surface-based characteristics of the cerebellar cortex visualized with ultra-high field MRI

Ultra Low Power Deep-Learning-powered Autonomous Nano Drones

Perception-aware Receding Horizon Navigation for MAVs

In silico tracing of the fate of single carbon atoms in different physiological states of E. coli