Concept

Proof calculus

Publications associées (91)

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

Proof calculus

Graph Chatbot

Chattez avec Graph Search

A comment on performance guarantees of a greedy algorithm for minimizing a supermodular set function on comatroid

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

Entering the plasma agriculture field: An attempt to standardize protocols for plasma treatment of seeds

All-polymeric transient neural probe for prolonged in-vivo electrophysiological recordings

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

Proof Of Concept Of A Graphene-Based Resonant Accelerometer

Nanoscale Pattern Extraction from Relative Positions of Sparse 3D Localizations

Dual-Band Circularly Polarized Transmitarray Antenna for Satellite Communications at (20 to 30) GHz

A proof of a sumset conjecture of Erdős

The Scaling Limit Of Critical Ising Interfaces Is Cle3

Entering the plasma agriculture field: An attempt to standardize protocols for plasma treatment of seeds

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

Nanoscale Pattern Extraction from Relative Positions of Sparse 3D Localizations

A proof of a sumset conjecture of Erdős

Dual-Band Circularly Polarized Transmitarray Antenna for Satellite Communications at (20 to 30) GHz

The Scaling Limit Of Critical Ising Interfaces Is Cle3

A comment on performance guarantees of a greedy algorithm for minimizing a supermodular set function on comatroid

All-polymeric transient neural probe for prolonged in-vivo electrophysiological recordings