Publication

Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems

Graph Chatbot

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.

Connectez-vous pour utiliser Chat avec Graph Search

A dependence of the cost of fast controls for the heat equation on the support of initial datum

Hoài-Minh Nguyên

The controllability cost for the heat equation as the control time

T

goes to 0 is well-known of the order

e^{C/T}

for some positive constant

C

, depending on the controlled domain and for all initial datum. In this paper, we prove that the constant $C ...

2021

Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems

Graph Chatbot

Chattez avec Graph Search

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

A Gapless Post-quantum Hash Proof System in the Hamming Metric

Wide-scale identification of novel/eliminated genes responsible for evolutionary transformations

Public-Key Encryption with Quantum Keys

Gradient flow dynamics of shallow ReLU networks for square loss and orthogonal inputs

Toward Mobile Distributed Ledgers

BLOOM: Bimodal Lattice One-out-of-Many Proofs and Applications

A dependence of the cost of fast controls for the heat equation on the support of initial datum

Computation of Al-Salam Carlitz and Askey-Wilson moments using Motzkin paths

Proof Of Concept Of A Graphene-Based Resonant Accelerometer

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

A Gapless Post-quantum Hash Proof System in the Hamming Metric

Public-Key Encryption with Quantum Keys

Gradient flow dynamics of shallow ReLU networks for square loss and orthogonal inputs

Toward Mobile Distributed Ledgers

Wide-scale identification of novel/eliminated genes responsible for evolutionary transformations

BLOOM: Bimodal Lattice One-out-of-Many Proofs and Applications

Computation of Al-Salam Carlitz and Askey-Wilson moments using Motzkin paths

A dependence of the cost of fast controls for the heat equation on the support of initial datum

Proof Of Concept Of A Graphene-Based Resonant Accelerometer