Publications associées à Structure de données persistante

Method and system for the creation of an h-spline based data structure, data storage, and data representation

Michaël Unser, Zsuzsanna Püspöki, Daniel Andreas Schmitter

A method for generating a data structure to digitally represent a geometrical object based on H-splines, the method being performed on a computer device having a data processor and memory, the method including the steps of creating a first data structure a ...

2019

Verifying Software Network Functions with No Verification Expertise

George Candea, Solal Vincenzo Pirelli, Rishabh Ramesh Iyer, Luis David Figueiredo Mascarenhas Moreira Pedrosa, Matteo Rizzo

We present the design and implementation of Vigor, a software stack and toolchain for building and running software network middleboxes that are guaranteed to be correct, while preserving competitive performance and developer productivity. Developers write ...

ACM2019

Towards the use of UHPFRC in railway bridges: the rehabilitation of Buna Bridge

Eugen Brühwiler, Dragan Damjanovic

In the last decade, Ultra High Performance Fibre Reinforced cement-based Composites (UHPFRC) have been increasingly implemented for rehabilitation and strengthening purposes, rendering outstanding results. The ease of application, along with their superior ...

CRC PRESS-TAYLOR & FRANCIS GROUP2019

Fine-Grain Checkpointing with In-Cache-Line Logging

James Richard Larus, David Teksen Aksun, Nachshon Cohen

Non-Volatile Memory offers the possibility of implementing high-performance, durable data structures. However, achieving performance comparable to well-designed data structures in non-persistent (transient) memory is difficult, primarily because of the cos ...

ACM2019

Mitsuba 2: A Retargetable Forward and Inverse Renderer

Wenzel Alban Jakob, Tizian Lucien Zeltner, Delio Aleardo Vicini, Merlin Eléazar Nimier-David

Modern rendering systems are confronted with a dauntingly large and growing set of requirements: in their pursuit of realism, physically based techniques must increasingly account for intricate properties of light, such as its spectral composition or polar ...

ASSOC COMPUTING MACHINERY2019

MATHICSE Technical Report : Efficient state/Parameter estimation in nonlinear unsteady PDEs by reduced basis ensemble Kalman filter

Alfio Quarteroni, Andrea Manzoni, Stefano Pagani

The ensemble Kalman filter is a computationally efficient technique to solve state and/or parameter estimation problems in the framework of statistical inversion when relying on a Bayesian paradigm. Unfortunately its cost may become moderately large for sy ...

MATHICSE2019

Recovering covariance from functional fragments

Victor Panaretos, Marie-Hélène Descary

We consider nonparametric estimation of a covariance function on the unit square, given a sample of discretely observed fragments of functional data. When each sample path is observed only on a subinterval of length , one has no statistical information on ...

2019

A Bayesian approach to NMR crystal structure determination

David Lyndon Emsley, Michele Ceriotti, Albert Hofstetter, Edgar Albert Engel, Federico Maria Paruzzo, Andrea Anelli

Nuclear Magnetic Resonance (NMR) spectroscopy is particularly well suited to determine the structure of molecules and materials in powdered form. Structure determination usually proceeds by finding the best match between experimentally observed NMR chemica ...

2019

A Unified View on Nanoscale Packing, Connectivity, and Conductivity of CNT Networks

Claudio Grimaldi

The design of functional structures from primary building blocks requires a thorough understanding of how size, shape, and particle-particle interactions steer the assembly process. Specifically, for electrically conductive networks build from carbon nanot ...

WILEY-V C H VERLAG GMBH2019

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Structure de données persistante

Method and system for the creation of an h-spline based data structure, data storage, and data representation

Verifying Software Network Functions with No Verification Expertise

Towards the use of UHPFRC in railway bridges: the rehabilitation of Buna Bridge

Fine-Grain Checkpointing with In-Cache-Line Logging

Mitsuba 2: A Retargetable Forward and Inverse Renderer

Rational design of ionic compounds for electrocatalytic reduction of carbon dioxide

MATHICSE Technical Report : Efficient state/Parameter estimation in nonlinear unsteady PDEs by reduced basis ensemble Kalman filter

Recovering covariance from functional fragments

A Bayesian approach to NMR crystal structure determination

A Unified View on Nanoscale Packing, Connectivity, and Conductivity of CNT Networks

Graph Chatbot

Chattez avec Graph Search

Mitsuba 2: A Retargetable Forward and Inverse Renderer

Verifying Software Network Functions with No Verification Expertise

Method and system for the creation of an h-spline based data structure, data storage, and data representation

Rational design of ionic compounds for electrocatalytic reduction of carbon dioxide

MATHICSE Technical Report : Efficient state/Parameter estimation in nonlinear unsteady PDEs by reduced basis ensemble Kalman filter

Fine-Grain Checkpointing with In-Cache-Line Logging

Towards the use of UHPFRC in railway bridges: the rehabilitation of Buna Bridge

Recovering covariance from functional fragments

A Bayesian approach to NMR crystal structure determination

A Unified View on Nanoscale Packing, Connectivity, and Conductivity of CNT Networks