Concept
Bibliothèque standard du C++
Publications associées (33)
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 ...
2023HP - A code for the calculation of Hubbard parameters using density-functional perturbation theory
Nicola Marzari, Iurii Timrov, Matteo Cococcioni
We introduce HP, an implementation of density-functional perturbation theory, designed to compute Hubbard parameters (on-site U and inter-site V ) in the framework of DFT+U and DFT+U+V. The code does not require the use of computationally expensive superce ...
ELSEVIER2022Memoryless Worker-Task Assignment with Polylogarithmic Switching Cost
We study the basic problem of assigning memoryless workers to tasks with dynamically changing demands. Given a set of w workers and a multiset T ⊆ [t] of |T| = w tasks, a memoryless worker-task assignment function is any function ϕ that assigns the workers ...
Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik2022Continuous-Domain Formulation of Inverse Problems for Composite Sparse-Plus-Smooth Signals
Michaël Unser, Shayan Aziznejad, Thomas Jean Debarre
We present a novel framework for the reconstruction of 1D composite signals assumed to be a mixture of two additive components, one sparse and the other smooth, given a finite number of linear measurements. We formulate the reconstruction problem as a cont ...
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2021HALucinator: Firmware Re-hosting Through Abstraction Layer Emulation
Given the increasing ubiquity of online embedded devices, analyzing their firmware is important to security, privacy, and safety. The tight coupling between hardware and firmware and the diversity found in embedded systems makes it hard to perform dynamic ...
USENIX ASSOC2020Sparse Recovery of Strong Reflectors With an Application to Non-Destructive Evaluation
Jean-Philippe Thiran, Martin Vetterli, Dimitris Perdios, Eric Bezzam, Adrien Georges Jean Besson, Hanjie Pan
In this paper we show that it is sufficient to recover the locations of K strong reflectors within an insonified medium from three receive elements and 2K+1 samples per element. The proposed approach leverages advances in sampling signals with a finite rat ...
IEEE2018Sparse Recovery of Strong Reflectors With an Application to Non-Destructive Evaluation
Jean-Philippe Thiran, Martin Vetterli, Dimitris Perdios, Eric Bezzam, Adrien Besson, Hanjie Pan
In this paper we show that it is sufficient to recover the locations of K strong reflectors within an insonified medium from three receive elements and 2K+1 samples per element. The proposed approach leverages advances in sampling signals with a finite rat ...
IEEE2018Dynamic Facility Location via Exponential Clocks
Ola Nils Anders Svensson, Ashkan Norouzi Fard, Hyung Chan An
The dynamic facility location problem is a generalization of the classic facility location problem proposed by Eisenstat, Mathieu, and Schabanel to model the dynamics of evolving social/infrastructure networks. The generalization lies in that the distance ...
Association for Computing Machinery2017Auto-Collections for Scala
Dmytro Petrashko, Allan Vincent Roger Renucci
Modern programming languages such as Scala, Java and C# make extensive use of collections. A collection implementation represents a fixed choice in the dimensions of operation time and space utilization. Using the collection in a manner not consistent with ...
2016Improving the Interoperation between Generics Translations
Martin Odersky, Nicolas Alexander Stucki, Vlad Ureche, Romain Michel Beguet, Milos Stojanovic
Generics on the Java platform are compiled using the erasure transformation, which only supports by-reference values. This causes slowdowns when generics operate on primitive types, such as integers, as they have to be transformed into reference-based obje ...
ACM2015