Catégorie

Logique classique

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

Logique classique

Graph Chatbot

Chattez avec Graph Search

Analyzing glycans cleaved from a biotherapeutic protein using a combination of ion mobility spectrometry and cryogenic ion spectroscopy

Three-Input Gates for Logic Synthesis

Modelling the Intracellular Environment under Uncertainty, from Post-translational Modification to Metabolic Networks

Preserving Self-Duality During Logic Synthesis for Emerging Reconfigurable Nanotechnologies

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

Secondary ice production in NorESM2 climate model: quantifying the impact on Arctic clouds

Automated Analysis of Cerebrospinal Fluid Flow and Motile Cilia Properties in The Central Canal of Zebrafish Embryos

Toward an objective assessment of mobility in clinical and daily activity settings

Formal Verification of Rust with Stainless

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

Analyzing glycans cleaved from a biotherapeutic protein using a combination of ion mobility spectrometry and cryogenic ion spectroscopy

Formal Verification of Rust with Stainless

Preserving Self-Duality During Logic Synthesis for Emerging Reconfigurable Nanotechnologies

Secondary ice production in NorESM2 climate model: quantifying the impact on Arctic clouds

Toward an objective assessment of mobility in clinical and daily activity settings

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

Modelling the Intracellular Environment under Uncertainty, from Post-translational Modification to Metabolic Networks

Automated Analysis of Cerebrospinal Fluid Flow and Motile Cilia Properties in The Central Canal of Zebrafish Embryos

Three-Input Gates for Logic Synthesis