Publications related to Standard library

Quantifying the Unknown: Data-Driven Approaches and Applications in Energy Systems

In light of the challenges posed by climate change and the goals of the Paris Agreement, electricity generation is shifting to a more renewable and decentralized pattern, while the operation of systems like buildings is increasingly electrified. This calls ...

EPFL2024

espm: A Python library for the simulation of STEM-EDXS datasets

Cécile Hébert, Duncan Thomas Lindsay Alexander, Hui Chen, Guillaume Romain Obozinski, Nathanaël Perraudin

We present two open-source Python packages: "electron spectro-microscopy"(espm) and "electron microscopy tables"(emtables). The espm software enables the simulation of scanning transmission electron microscopy energy-dispersive X-ray spectroscopy datacubes ...

ELSEVIER2023

Bayesian reconstruction of memories stored in neural networks from their connectivity

Florent Gérard Krzakala, Lenka Zdeborová

The advent of comprehensive synaptic wiring diagrams of large neural circuits has created the field of connectomics and given rise to a number of open research questions. One such question is whether it is possible to reconstruct the information stored in ...

2023

Tamaas: a library for elastic-plastic contact of periodic rough surfaces

Jean-François Molinari, Guillaume Anciaux, Son-Jonathan Pham-Ba, Lucas Henri Galilée Frérot, Valentine Ginette Madeleine Rey

Tamaas: a library for elastic-plastic contact of periodic rough surfaces", published in the Journal of Open Source Softwares describes the free and open-source library Tamaas. More than five years in the making, Tamaas is a high performance C++/Python libr ...

2020

Ductility reduction factor formulations for seismic design of RC wall and frame structures

Katrin Beyer, Matteo Zerbin

Seismic design of standard structures is typically founded on a force-based design approach. Over the years this approach has proven robust and easily applicable by design engineers and - in combination with capacity design principles - it provides a good ...

2019

Peta-pico-Voltron: An open-source high voltage power supply

Samuel Rosset, Samuel Schlatter

We present the design (hardware + software) of “Peta-pico-Voltron”, a low-current high voltage power supply for electrostatic actuators. Developed primarily for dielectric elastomer actuators, it offers a low-cost solution to generate user controllable vol ...

2018

Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations

Christoph Koch, Amir Shaikhha, Lionel Emile Vincent Parreaux

Staging has proved a successful technique for programmatically removing code abstractions, thereby allowing for faster program execution while retaining a high-level interface for the programmer. Unfortunately, techniques based on staging suffer from a num ...

ACM2017

Squid: Type-Safe, Hygienic, and Reusable Quasiquotes

Christoph Koch, Amir Shaikhha, Lionel Emile Vincent Parreaux

Quasiquotes have been shown to greatly simplify the task of metaprogramming. This is in part because they hide the data structures of the intermediate representation (IR), instead allowing metaprogrammers to use the concrete syntax of the language they man ...

ACM2017

Secure Computing with the MPEG RVC Framework

Marco Mattavelli, Richard Thavot, Junaid Jameel Ahmad

Recently, ISO/IEC standardized a dataflow-programming framework called Reconfigurable Video Coding (RVC) for the specification of video codecs. The RVC framework aims at providing the specification of a system at a high abstraction level so that the functi ...

Elsevier Science Bv2013

Differential Phase-Contrast X-Ray Computed Tomography: From Model Discretization To Image Reconstruction

Michaël Unser, Masih Nilchian

Our contribution in this paper is two fold. First, we propose a novel discretization of the forward model for differential phase-contrast imaging that uses B-spline basis functions. The approach yields a fast and accurate algorithm for implementing the for ...

Ieee2012

Validation of Bitstream Syntax and Synthesis of Parsers in the MPEG Reconfigurable Video Coding Framework

Marco Mattavelli, Christophe Lucarz

Video coding technology has evolved in the past years into a variety of different and complex algorithms. So far the specification of such standard algorithms has been done case by case providing monolithic textual and reference SW specifications, but with ...

IEEE2008

Validation of Bitstream Syntax and Synthesis of Parsers in the MPEG Reconfigurable Video Coding Framework

Marco Mattavelli, Christophe Lucarz

Video coding technology has evolved in the past years into a variety of different and complex algorithms. So far the specification of such standard algorithms has been done case by case providing monolithic textual and reference SW specifications, but with ...

2008

Efficient Distributed Subtyping Tests

Rachid Guerraoui, Patrick Eugster, João Barreto

Subtyping tests are essential in typed publish/subscribe infrastructures, especially when the underlying programming language supports subtype conformance, as in Java or C#. These tests are particularly challenging when the publish/subscribe infrastructure ...

2007