Concept

Proof calculus

Related publications (91)

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.

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

Chat with 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

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

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

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

Nanoscale Pattern Extraction from Relative Positions of Sparse 3D Localizations

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

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

A proof of a sumset conjecture of Erdős

The Scaling Limit Of Critical Ising Interfaces Is Cle3