Publications related to Free-software license

Quantitative convergence rates for scaling limit of SPDEs with transport noise

We consider on the torus the scaling limit of stochastic 2D (inviscid) fluid dynamics equations with transport noise to deterministic viscous equations. Quantitative estimates on the convergence rates are provided by combining analytic and probabilistic ar ...

Academic Press Inc Elsevier Science2024

Object-oriented modelling of advanced computer cooling solutions

David Atienza Alonso, Federico Terraneo

Modern computing systems are so energy- intensive to make efficient cooling vital for their operation. This is giving rise to a variety of innovative cooling solutions based on a mix of traditional and new techniques. The design and engineering of these so ...

Elsevier2023

A virtual microstructure generator for 3D stone masonry walls

Katrin Beyer, Mahmoud S. M. Shaqfa

Detailed micromodel simulations of stone masonry walls require as input a 3D mesh that represents a realistic arrangement of stones in the masonry wall. In this paper, we constructed the first 3D masonry microstructures to derive 2D and 3D finite or discre ...

ELSEVIER2022

Current-Based Data-Retention-Time Characterization of Gain-Cell Embedded DRAMs Across the Design and Variations Space

Andreas Peter Burg, Adam Shmuel Teman, Robert Giterman, Andrea Bonetti

The rise of data-intensive applications has resulted in an increasing demand for high-density and low-power on-chip embedded memories. Gain-cell embedded DRAM (GC-eDRAM) is a logic-compatible alternative to conventional static random access memory (SRAM) w ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2020

Teaching Practical DSP with Off-the-Shelf Hardware and Free Software

Paolo Prandoni, Eric Bezzam, Adrien Guillaume Olivier Hoffet

In this paper we describe our approach to teaching applied digital signal processing (DSP) using freely-available software and inexpensive off-the-shelf hardware components. The pedagogical framework is built around simple real-time audio processing algori ...

IEEE2019

Data-Retention-Time Characterization of Gain-Cell eDRAMs across the Design and Variations Space

Andreas Peter Burg, Andrea Bonetti

The rise of data-intensive applications has increased the demand for high-density and low-power embedded memories. Among them, the gain-cell embedded DRAM (GC-eDRAM) is a suitable alternative to the static random access memory (SRAM) due to its high memory ...

IEEE2019

NeuroMorph: A Software Toolset for 3D Analysis of Neurite Morphology and Connectivity

Graham Knott, Jérôme Blanc, Anne Alison Jorstad

The geometries of axons, dendrites and their synaptic connections provide important information about their functional properties. These can be collected directly from measurements made on serial electron microscopy images. However, manual and automated se ...

2018

Trustworthy Biometric Verification under Spoofing Attacks : Application to the Face Mode

Ivana Chingovska

The need for automation of the identity recognition process for a vast number of applications resulted in great advancement of biometric systems in the recent years. Yet, many studies indicate that these systems suffer from vulnerabilities to spoofing (pre ...

EPFL2016

High performance computation of landscape genomic models integrating local indices of spatial association

Stéphane Joost, Sylvie Stucki, Pierre Taberlet

Motivation: The increasing availability of high-throughput datasets requires powerful methods to support the detection of signatures of selection in landscape genomics. Results: We present an integrated approach to study signatures of local adaptation, pro ...

2014

Assessing the essentiality of the decaprenyl-phospho-D-arabinofuranose pathway in Mycobacterium tuberculosis using conditional mutants

Stewart Cole, John McKinney, Claudia Sala, Neeraj Dhar, Ruben Hartkoorn, Gaëlle Séraphine Kolly

In Mycobacterium tuberculosis the decaprenyl-phospho-d-arabinofuranose (DPA) pathway is a validated target for the drugs ethambutol and benzothiazinones. To identify other potential drug targets in the pathway, we generated conditional knock-down mutants o ...

Wiley-Blackwell2014

Tokamak coordinate conventions: COCOS

Olivier Sauter

Dealing with electromagnetic fields, in particular current and related magnetic fields, yields "natural" physical vector relations in 3-D. However, when it comes to choosing local coordinate systems, the "usual" right-handed systems are not necessarily the ...

Elsevier Science Bv2013

JULIDE: a software tool for 3D reconstruction and statistical analysis of autoradiographic mouse brain sections

Jean-Philippe Thiran, Pierre Magistretti, Delphine Ribes Lemay, Rémi Charrier

In this article we introduce JULIDE, a software toolkit developed to perform the 3D reconstruction, intensity normalization, volume standardization by 3D image registration and voxel-wise statistical analysis of autoradiographs of mouse brain sections. Thi ...

Public Library of Science2011

Fluid-Structure Interaction Problems in Hemodynamics : Parallel Solvers, Preconditioners, and Applications

Paolo Crosetto

In this work we aim at the description, study and numerical investigation of the fluid-structure interaction (FSI) problem applied to hemodynamics. The FSI model considered consists of the Navier-Stokes equations on moving domains modeling blood as a visco ...

EPFL2011

Permissiveness in Transactional Memories

Rachid Guerraoui, Vasu Singh

We introduce the notion of permissiveness in transactional memories (TM). Intuitively, a TM is permissive if it never aborts a transaction when it need not. More specifically, a TM is permissive with respect to a safety property

p

if the TM accepts every ...

2008

Permissiveness in Transactional Memories

Rachid Guerraoui, Vasu Singh

We introduce the notion of permissiveness in transactional memories (TM). Intuitively, a TM is permissive if it never aborts a transaction when it need not. More specifically, a TM is permissive with respect to a safety property p if the TM accepts every h ...

2008

Toward Quantifying System Manageability

George Candea

Manageability directly influences a system's reliability, availability, security, and safety, thus being a key ingredient of system dependability. Alas, we do not have today a good way to measure manageability or reason quantitatively about it, and this is ...

2008

Practical Design and Implementation of a CAVE Environment

Daniel Thalmann, Frédéric Vexo, Sylvain Cardin, Achille Peternier

CAVE systems are nowadays one of the best Virtual Reality (VR) immersive devices available for rendering virtual environments. Unfortunately, such kind of hardware is extremely expensive, complex and cum-bersome, thus limited in its spread. Several cheaper ...

2007

A hybrid genetic algorithm for constrained hardware- software partitioning

Pierre-André Mudry, Guillaume Zufferey

In this article, we propose a novel partitioning method for hardware-software codesign based on a genetic algorithm that has been enhanced for this specific task. Given a high- level program and an area constraint, our software considers different granular ...

2006

An all-in-one solution to geometric and photometric calibration

Pascal Fua, Vincent Lepetit, Julien Pilet, Pascal Lagger, Andreas Geiger

We propose a fully automated approach to calibrating multiple cameras whose fields of view may not all overlap. Our technique only requires waving an arbitrary textured planar pattern in front of the cameras, which is the only manual intervention that is r ...

2006

SwisTrack: A Tracking Tool for Multi-Unit Robotic and Biological Systems

Alcherio Martinoli, Nicolaus Correll, Jean-Louis Deneubourg

Tracking of miniature robotic platforms involves major challenges in image recognition and data association. We present our 3-year effort into developing the platform-independent, easy-to-use, and robust tracking software SwisTrack, which is tailored to re ...

2006