Category

High-level programming languages

Related publications (1,000)

Mitigating Object Dependencies: Improving Point Cloud Self-Supervised Learning through Object Exchange

Sabine Süsstrunk, Mathieu Salzmann, Tong Zhang, Yi Wu

In the realm of point cloud scene understanding, particularly in indoor scenes, objects are arranged following human habits, resulting in objects of certain semantics being closely positioned and displaying notable inter-object correlations. This can creat ...
2024

Hierarchical Protofilament Intertwining Rules the Formation of Mixed-Curvature Amyloid Polymorphs

Giovanni Dietler, Henning Paul-Julius Stahlberg, Meltem Tatli, Francesco Simone Ruggeri, Jiangtao Zhou, Salvatore Assenza, Raffaele Mezzenga

Amyloid polymorphism is a hallmark of almost all amyloid species, yet the mechanisms underlying the formation of amyloid polymorphs and their complex architectures remain elusive. Commonly, two main mesoscopic topologies are found in amyloid polymorphs cha ...
Wiley2024

Ripple Voltage and Loss Reduction of Single-Phase ISOP SST by Eliminating the Second Harmonic Current in LLC Converters

Drazen Dujic, Andrea Cervone, Tianyu Wei

In two-stage solid-state transformers with input-series output-parallel structure, the LLC converter operating at a fixed switching frequency is a common choice for the isolated DC/DC conversion stage because it can provide a high efficiency and a fixed vo ...
2024

Temporal aspects of feature integration in vision

Lukas Vogelsang

To fully comprehend visual perception, we need to necessarily understand its temporal dimension. Our visual environment is highly dynamic, requiring the processing and integration of temporal signals in order to make sense of it. Many processes, such as th ...
EPFL2024

TIC-TAC: A Framework for Improved Covariance Estimation in Deep Heteroscedastic Regression

Mathieu Salzmann, Alexandre Massoud Alahi, Megh Hiren Shukla

Deep heteroscedastic regression involves jointly optimizing the mean and covariance of the predicted distribution using the negative log-likelihood. However, recent works show that this may result in sub-optimal convergence due to the challenges associated ...
2024

Efficient Continual Finite-Sum Minimization

Volkan Cevher, Efstratios Panteleimon Skoulakis, Leello Tadesse Dadi

Given a sequence of functions f1,,fnf_1,\ldots,f_n with fi:DRf_i:\mathcal{D}\mapsto \mathbb{R}, finite-sum minimization seeks a point xD{x}^\star \in \mathcal{D} minimizing j=1nfj(x)/n\sum_{j=1}^nf_j(x)/n. In this work, we propose a key twist into the finite-sum minimizat ...
2024

Succinct ordering and aggregation constraints in algebraic array theories

Viktor Kuncak, Rodrigo Raya

We discuss two extensions to a recently introduced theory of arrays, which are based on considerations coming from the model theory of power structures. First, we discuss how the ordering relation on the index set can be expressed succinctly by referring t ...
Elsevier Science Inc2024

Land Cover Mapping From Multiple Complementary Experts Under Heavy Class Imbalance

Devis Tuia, Valérie Zermatten, Javiera Francisca Castillo Navarro, Xiaolong Lu

Deep learning has emerged as a promising avenue for automatic mapping, demonstrating high efficacy in land cover categorization through various semantic segmentation models. Nonetheless, the practical deployment of these models encounters important challen ...
Ieee-Inst Electrical Electronics Engineers Inc2024

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

Type-Preserving Compilation of Class-Based Languages

Guillaume André Fradji Martres

The Dependent Object Type (DOT) calculus was designed to put Scala on a sound basis, but while DOT relies on structural subtyping, Scala is a fundamentally class-based language. This impedance mismatch means that a proof of DOT soundness by itself is ...
EPFL2023

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.