Concept

Proof calculus

Publications associées (32)

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

On the Power and Limitations of Branch and Cut

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

Analysis and Remediation of Handwriting difficulties

Automated phenotyping of Caenorhabditis elegans embryos with a high-throughput-screening microfluidic platform

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

Proof Of Concept Of A Graphene-Based Resonant Accelerometer

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

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

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

Analysis and Remediation of Handwriting difficulties

Automated phenotyping of Caenorhabditis elegans embryos with a high-throughput-screening microfluidic platform

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

On the Power and Limitations of Branch and Cut

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

Nanoscale Pattern Extraction from Relative Positions of Sparse 3D Localizations