Publications associées à Method and system for the creation of an h-spline based data structure, data storage, and data representation

A method and system for optimizing design, implantation, and stimulation protocols of electrodes stimulating the nervous system

A method for optimizing at least one of a geometry, an implantation procedure, and/or stimulation protocol of one or more electrodes for an electrical stimulation of a target structure in a nervous system of a living being by a computer device, the method ...

2024

Automated Formal Verification of Software Network Functions

Solal Vincenzo Pirelli

Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...

EPFL2024

Orchestrating chromosome conformation capture analysis with Bioconductor

Cyril Matthey-Doret

Genome-wide chromatin conformation capture assays provide formidable insights into the spatial organization of genomes. However, due to the complexity of the data structure, their integration in multi-omics workflows remains challenging. We present data st ...

Nature Research2024

IMPROVED REGULARITY OF SECOND DERIVATIVES FOR SUBHARMONIC FUNCTIONS

Riccardo Tione, Xavier Fernandez-Real Girona

In this note, we prove that if a subharmonic function Delta u >= 0 has pure second derivatives partial derivative(ii)u that are signed measures, then their negative part (partial derivative(ii)u)- belongs to L-1 (in particular, it is not singular). We then ...

Amer Mathematical Soc2023

Dimensionality reduction of time-series data, and systems and devices that use the resultant embeddings

Mackenzie Mathis, Steffen Schneider

Methods, systems, and apparatus, including computer programs encoded on a computer storage medium, for dimensionality reduction of time-series using contrastive learning. A method can include receiving multidimensional input time series data that includes ...

2023

Non-volatile data storage medium and system

Martin Vetterli, Yves Bellouard, Ruben Ricca

A data storage medium (2) comprising a stacked plurality of layers (9), each layer composed of a layer material selected from a group comprising at least two different dielectric materials, adjacent layers being formed of different materials, and at least ...

2023

Quantum engineering and detection of advanced radiation beams

Veronica Leccese

Controlling and shaping radiation beams is fundamental for a better understanding of radiation-matter interaction and advancing experimental techniques for material characterization at high spatial resolution. In particular, the current trend in the miniat ...

EPFL2023

Extension, validation, and optimization of Serpent/DYN3D/ATHLET code system for SFR applications

Vincenzo Anthony Di Nora

The sequence of codes Serpent/DYN3D has been developed by the Helmholtz-Zentrum Dresden-Rossendorf and successfully applied to core static and transient analyses of sodium-cooled fast reactors (SFRs). The successful application of the sequence to SFRs was ...

EPFL2023

HetCache: Synergising NVMe Storage and GPU acceleration for Memory-Efficient Analytics

Anastasia Ailamaki, Periklis Chrysogelos, Syed Mohammad Aunn Raza, Hamish Mcniece Hill Nicholson

Accessing input data is a critical operation in data analytics: i) slow data access significantly degrades performance, and ii) storing everything in the fastest medium, i.e., memory, incurs high operational and hardware costs. Further, while GPUs offer in ...

2023

Systems and methods for digital information decoding and data storage in hybrid macromolecules

Aleksandra Radenovic, Matteo Dal Peraro, Lucien Fabrice Krapp, Chan Cao

Systems and methods for data storage and readout using hybrid nucleic acid- polymeric molecules are herein disclosed. A molecular data storage medium is presented comprising a header and a footer, each comprising or consisting of at least one unit of a fir ...

2022

Stochastic derivative estimation for max-stable random fields

Erwan Fabrice Koch

We consider expected performances based on max-stable random fields and we are interested in their derivatives with respect to the spatial dependence parameters of those fields. Max-stable fields, such as the Brown-Resnick and Smith fields, are very popula ...

ELSEVIER2022

Learning of Continuous and Piecewise-Linear Functions With Hessian Total-Variation Regularization

Michaël Unser, Joaquim Gonçalves Garcia Barreto Campos, Shayan Aziznejad

We develop a novel 2D functional learning framework that employs a sparsity-promoting regularization based on second-order derivatives. Motivated by the nature of the regularizer, we restrict the search space to the span of piecewise-linear box splines shi ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

Electrical control of glass-like dynamics in vanadium dioxide for data storage and processing

Andras Kis, Andreas Schueler, Anna Krammer, Elison de Nazareth Matioli, Reza Soleiman Zadeh Ardebili, Mohammad Samizadeh Nikooytabalvandani, Philip Johannes Walter Moll, Guilherme Migliato Marega

Metal–oxide–semiconductor junctions are the building blocks of modern electronics and can provide a variety of functionalities, from memory to computing. The technology, however, faces constraints in terms of further miniaturization and compatibility with ...

2022

Continuous Simulation Data Stream: A dynamical timescale-dependent output scheme for simulations

Matthieu Schaller, Loïc Hausammann

Exa-scale simulations are on the horizon but almost no new design for the output has been proposed in recent years. In simulations using individual time steps, the traditional snapshots are over resolving particles/cells with large time steps and are under ...

ELSEVIER2022

Sketches, metrics and fast algorithms

Navid Nouri

As it has become easier and cheaper to collect big datasets in the last few decades, designing efficient and low-cost algorithms for these datasets has attracted unprecedented attention. However, in most applications, even storing datasets as acquired has ...

EPFL2022

Scaling Language Features for Program Verification

Georg Stefan Schmid

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

EPFL2022

In-Memory Hardware and Architectural Extensions for Workloads Acceleration

William Andrew Simon

Utilization of edge devices has exploded in the last decade, with such use cases as wearable devices, autonomous driving, and smart homes. As their ubiquity grows, so do expectations of their capabilities. Simultaneously, their formfactor and use cases lim ...

EPFL2022

Polarity Of Almost All Points For Systems Of Nonlinear Stochastic Heat Equations In The Critical Dimension

Robert Dalang

We study vector-valued solutions u(t, x) is an element of R-d to systems of nonlinear stochastic heat equations with multiplicative noise, ...

INST MATHEMATICAL STATISTICS-IMS2021

Synthesis of branching morphologies

Henry Markram, Lida Kanari

Methods, systems, and apparatus, including computer programs encoded on a computer storage medium for generating model neurons. In one aspect, a method includes receiving a plurality of descriptions of branches of dendrites of one or more neurons and gener ...

2021

Software Support for Non-Volatile Memory (NVM) Programming

David Teksen Aksun

Non-Volatile Memory (NVM) is an emerging type of memory device that provides fast, byte-addressable, and high-capacity durable storage. NVM sits on the memory bus and allows durable data structures designs similar to the in-memory equivalent ones. Expensiv ...

EPFL2021