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

Xavier Fernandez-Real Girona, Riccardo Tione

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, Syed Mohammad Aunn Raza, Hamish Mcniece Hill Nicholson, Periklis Chrysogelos

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, Chan Cao, Lucien Fabrice Krapp

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