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

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.

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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

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 ...

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 ...

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

Chattez avec Graph Search

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

Automated Formal Verification of Software Network Functions

Orchestrating chromosome conformation capture analysis with Bioconductor

IMPROVED REGULARITY OF SECOND DERIVATIVES FOR SUBHARMONIC FUNCTIONS

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

Non-volatile data storage medium and system

Quantum engineering and detection of advanced radiation beams

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

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

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

Stochastic derivative estimation for max-stable random fields

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

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

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

Sketches, metrics and fast algorithms

Scaling Language Features for Program Verification

In-Memory Hardware and Architectural Extensions for Workloads Acceleration

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

Synthesis of branching morphologies

Software Support for Non-Volatile Memory (NVM) Programming