|Colloquium, 日本新潟大學 劉雪峰教授|
Thursday, September 20, 16:10—17:00 數學系3174
Title:Approach to the Solution Existence Proof for Navier-Stokes Equation by Using Verified Computing
Abstract: As one of the Millennium Prize Problems, the problem of existence and smoothness of the Navier-Stokes equation problem draws the attention of mathematician from the world. To solve the this problem, a breakthrough with new mathematical theory and new technique is expected. On one hand, the computer-assisted proof utilizing verified computing, which aims to give rigorous estimation for all error appearing in numerical computations, provides a new approach to the solution existence proof to Navier-Stokes equation. In this talk, I will explain the basic idea of verified computing and show the latest progress in this field, which includes my recent research on rigorous eigenvalue bounds for differential operators using finite element methods.
|Colloquium, 中央大學機械工程系 周鼎贏教授|
Friday, September 21, 15:10—16:00 數學系3174
Title: Cerebroporomechanics in Hydrocephalus with Aquaporin-4 Effect
Abstract: For many common neurological disorders, cerebral oedema plays an important role associated with morbidity and death. The typical options of current treatments regimes mainly involve hyperosmolar agents and surgical decompression; these therapies have been utilised for 80 years. Modulating brain water transport via AQP4, which ultimately reduces cerebral oedema, was proposed by Manley et al. in 2000 and was published with experimental results (via a mouse model) in Nature Medicine. Since AQP4 on glial cells is highly related with the glymphatic system due to the end-feet regulating water via AQP4 channels, the water mobility in the glymphatic system/ PVS/ ISF compartment and AQP4-deficient expression in the glymphatic system/PVS/ISF compartment are manipulated as well in order to confirm this alleviated cerebral oedema hypothesis.
|Applied Mathematics Seminar, 日本新潟大學 劉雪峰教授|
Friday, September 21, 16:10—17:00 數學系3174
Title: Guaranteed Eigenvalue Estimation for Differential Operators
|Colloquium, 中研院統計科學研究所 程毅豪研究員|
Thursday, September 27, 16:10—17:00 數學系3174
Title: Assessing Wage Dynamics and Stagnation Using Quantile Dynamics