Publications associées à Structure de données persistante

Orchestrating chromosome conformation capture analysis with Bioconductor

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

Opportunities and challenges in design and optimization of protein function

Bruno Emanuel Ferreira De Sousa Correia, Casper Alexander Goverde

The field of protein design has made remarkable progress over the past decade. Historically, the low reliability of purely structure-based design methods limited their application, but recent strategies that combine structure-based and sequence-based calcu ...

Nature Portfolio2024

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

High-frequency response of a hemispherical grounding electrode

Marcos Rubinstein, Antonio Sunjerga, Farhad Rachidi-Haeri

The lightning discharge current is characterized by a high-frequency spectrum extending from DC to about 10 MHz. The calculation of the grounding impedance is one of the most important aspects of designing lightning protection systems. The search for analy ...

Elsevier2024

Structure-function analysis of the cyclic β-1,2-glucan synthase from Agrobacterium tumefaciens

Henning Paul-Julius Stahlberg, Dongchun Ni

The synthesis of complex sugars is a key aspect of microbial biology. Cyclic beta-1,2-glucan (C beta G) is a circular polysaccharide critical for host interactions of many bacteria, including major pathogens of humans (Brucella) and plants (Agrobacterium). ...

Nature Portfolio2024

Transportation-based functional ANOVA and PCA for covariance operators

Victor Panaretos, Yoav Zemel, Valentina Masarotto

We consider the problem of comparing several samples of stochastic processes with respect to their second-order structure, and describing the main modes of variation in this second order structure, if present. These tasks can be seen as an Analysis of Vari ...

Inst Mathematical Statistics-Ims2024

Capturing Types

Martin Odersky, Aleksander Slawomir Boruch-Gruszecki, Ondrej Lhoták

Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables captured by values. We describe CC

Assoc Computing Machinery2023

Self-Supervised Learning for Patient Stratification and Survival Analysis in Computational Pathology: An Application to Colorectal Cancer

Christian Robert Abbet

Over the years, clinical institutes accumulated large amounts of digital slides from resected tissue specimens. These digital images, called whole slide images (WSIs), are high-resolution tissue snapshots that depict the complex interaction of cells at the ...

EPFL2023

Functional data analysis with rough sample paths?

Victor Panaretos, Neda Mohammadi Jouzdani

Functional data are typically modeled as sample paths of smooth stochastic processes in order to mitigate the fact that they are often observed discretely and noisily, occasionally irregularly and sparsely. The smoothness assumption is imposed to allow for ...

TAYLOR & FRANCIS LTD2024

Fast correlation function calculator A high-performance pair-counting toolkit

Cheng Zhao

Context. A novel high-performance exact pair-counting toolkit called fast correlation function calculator (FCFC) is presented.Aims. With the rapid growth of modern cosmological datasets, the evaluation of correlation functions with observational and simula ...

EDP SCIENCES S A2023

The splay-list: a distribution-adaptive concurrent skip-list

Amirkeivan Mohtashami, Dan Alistarh

The design and implementation of efficient concurrent data structures has seen significant attention. However, most of this work has focused on concurrent data structures providing good worst-case guarantees, although, in real workloads, objects are often ...

SPRINGER2023

ACTOR: Action-Guided Kernel Fuzzing

Mathias Josef Payer

Fuzzing reliably and efficiently finds bugs in software, including operating system kernels. In general, higher code coverage leads to the discovery of more bugs. This is why most existing kernel fuzzers adopt strategies to generate a series of inputs that ...

Usenix Assoc2023

Crystalline or amorphous? A critical evaluation of phenomenological phase selection rules

Johann Michler, Caroline Hain, Ashish Sharma

In this work, we reviewed the available phase selection rules comprising atomic size and topological aspects, entropies, enthalpies, melting points, valence and itinerant electron concentrations, as well as electronegativity, and validated them using a car ...

ELSEVIER SCI LTD2023

Validating functional redundancy with mixed generative adversarial networks

Thanh Trung Huynh, Quoc Viet Hung Nguyen, Thành Tâm Nguyên, Trung-Dung Hoang

Data redundancy has been one of the most important problems in data-intensive applications such as data mining and machine learning. Removing data redundancy brings many benefits in efficient data updating, effective data storage, and error-free query proc ...

ELSEVIER2023

Ferroelectric device or structure and a method for producing ferroelectric devices or structures

Tobias Kippenberg, Rui Ning Wang, Zelin Tan

The present invention concerns a method for producing at least one ferroelectric device or structure comprising the steps of providing at least one ferroelectric material or layer, or providing at least one ferroelectric material or layer to be patterned o ...

2023

A Simple, Closed-Form Method for Determining the Superelevation of Tall Reinforced Concrete Buildings

David Michael Volpe Ruggiero, Paola Costanza Miglietta

The vertical shortening of tall buildings is not negligible, and it is important to account for these deformations to minimize differential movement and ensure that the finished building is level. Compensation via superelevation is common in reinforced con ...

Springer2023

MULTI-TASK CURRICULUM LEARNING FOR PARTIALLY LABELED DATA

Jiancheng Yang, Stanislav Lukyanenko

Incomplete labels are common in multi-task learning for biomedical applications due to several practical difficulties, e.g., expensive annotation efforts by experts, limit of data collection, different sources of data. A naive approach to enable joint lear ...

IEEE2023

Computational Conceptual Design – Typological Exploration Of Spatial Truss Systems Through Optimization

Corentin Jean Dominique Fivet, Jonas Warmuth, Pierluigi D'Acunto

Exploring a wide range of relevant design options from the outset is crucial for every sound conceptual design process. Optimization techniques are generally employed to generate well-performing structural design options. However, focusing only on performa ...

2023

Synthesis of Four-Membered BN3 Heterocycles by the Borylation of Triazenes

Rosario Scopelliti, Kay Severin, Abdusalom Suleymanov

Borylated triazenes were synthesized by the dehydrocoupling of triazenes with 9-borabicyclo(3.3.1)nonane, by the condensation of triazenes with BEt3, or by the reaction of sodium triazenides with dialkyl- or diarylboron halides. The structures of the produ ...

2022

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