Publications associées à Théorèmes d'incomplétude de Gödel

Complex Representation Learning with Graph Convolutional Networks for Knowledge Graph Alignment

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

The task of discovering equivalent entities in knowledge graphs (KGs), so-called KG entity alignment, has drawn much attention to overcome the incompleteness problem of KGs. The majority of existing techniques learns the pointwise representations of entiti ...

London2023

Extractable Witness Encryption for the Homogeneous Linear Equations Problem

Serge Vaudenay, Bénédikt Minh Dang Tran

Witness encryption is a cryptographic primitive which encrypts a message under an instance of an NP language and decrypts the ciphertext using a witness associated with that instance. In the current state of the art, most of the witness encryption construc ...

Springer2023

An Equivalence Between Data Poisoning and Byzantine Gradient Attacks

Rachid Guerraoui, Sadegh Farhadkhani, Oscar Jean Olivier Villemaud, Le Nguyen Hoang

To study the resilience of distributed learning, the “Byzantine" literature considers a strong threat model where workers can report arbitrary gradients to the parameter server. Whereas this model helped obtain several fundamental results, it has sometimes ...

PMLR2022

On Polynomial Algorithms for Normalizing Formulas

Viktor Kuncak, Simon Guilloud, Mario Bucev

We propose a new approach for normalization and simplification of logical formulas. Our approach is based on algorithms for lattice-like structures. Specifically, we present two efficient algorithms for computing a normal form and deciding the word problem ...

2022

Data-Driven Convergence Prediction of Astrobots Swarms

Denis Gillet, Jean-Paul Richard Kneib, Matin Macktoobian, Francesco Basciani

Astrobots are robotic artifacts whose swarms are used in astrophysical studies to generate the map of the observable universe. These swarms have to be coordinated with respect to various desired observations. Such coordination\footnote{\z{A coordination sa ...

2021

Towards the K(2)-local homotopy groups of Z

Philip Egger

Previously (Adv. Math. 360 (2020) art. id. 106895), we introduced a class (Z) over tilde of 2-local finite spectra and showed that all spectra Z is an element of (Z) over tilde admit a v(2)-self-map of periodicity 1. The aim here is to compute the K(2)-loc ...

GEOMETRY & TOPOLOGY PUBLICATIONS2020

Direct FEM-Domain Decomposition Using Convex-to-Concave Spherical Ports for Space Applications

Juan Ramon Mosig, Javier Rubio

This letter proposes the application of a hybrid numerical technique to two cases of interest in the space business: the reallocation of radiators and scatters on satellite platforms; and the analysis of antennas for mobile communications. It is based on t ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2020

Provable Robustness of ReLU networks via Maximization of Linear Regions

Maksym Andriushchenko, Francesco Croce

It has been shown that neural network classifiers are not robust. This raises concerns about their usage in safety-critical systems. We propose in this paper a regularization scheme for ReLU networks which provably improves the robustness of the classifier ...

2019

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.

Théorèmes d'incomplétude de Gödel

Complex Representation Learning with Graph Convolutional Networks for Knowledge Graph Alignment

Extractable Witness Encryption for the Homogeneous Linear Equations Problem

An Equivalence Between Data Poisoning and Byzantine Gradient Attacks

On Polynomial Algorithms for Normalizing Formulas

Data-Driven Convergence Prediction of Astrobots Swarms

Towards the K(2)-local homotopy groups of Z

Direct FEM-Domain Decomposition Using Convex-to-Concave Spherical Ports for Space Applications

Real-Time State Estimation and Voltage Stability Assessment of Power Grids: From Theoretical Foundations to Practical Applications

Sign-Changing Solutions for a Class of Zero Mass Nonlocal Schrodinger Equations

Provable Robustness of ReLU networks via Maximization of Linear Regions

Graph Chatbot

Chattez avec Graph Search

Extractable Witness Encryption for the Homogeneous Linear Equations Problem

Sign-Changing Solutions for a Class of Zero Mass Nonlocal Schrodinger Equations

Towards the K(2)-local homotopy groups of Z

An Equivalence Between Data Poisoning and Byzantine Gradient Attacks

On Polynomial Algorithms for Normalizing Formulas

Data-Driven Convergence Prediction of Astrobots Swarms

Real-Time State Estimation and Voltage Stability Assessment of Power Grids: From Theoretical Foundations to Practical Applications

Complex Representation Learning with Graph Convolutional Networks for Knowledge Graph Alignment

Direct FEM-Domain Decomposition Using Convex-to-Concave Spherical Ports for Space Applications

Provable Robustness of ReLU networks via Maximization of Linear Regions