|2021||Feb Mar Apr May Jun Jul Aug|
|2020||Jan May Jun Jul Aug Sep Oct Nov Dec|
|2019||Jan Feb Mar Apr May Jun Jul Aug Oct Nov|
|2018||Jan Feb Mar Apr May Jun Jul Aug Oct Nov Dec|
|2017||Jan Feb Mar Apr May Jun Jul Aug Oct Nov Dec|
Event(s) on May 2021
- Wednesday, 12th May, 2021
Title: Detection Theory and Industrial Applications Speaker: Prof Jean-Michel Morel, Université Paris-Saclay Time/Place: 16:00 - 17:00
Zoom, (Meeting ID: 917 0834 7149)
Abstract: “Detection” is the most frequent request made by researchers, industrials, police, press, defense agencies, for exploiting images, images series, video, among other data. “Detection” means that an automatic decision must be made. A wrong decision may entail costs and false alerts if it is falsely positive, and worse costs, accidents and disasters if it is falsely negative. Therefore, “detection” requests a general mathematical theory to control the “number of false alarms” and give tight detection thresholds. This theory exists, it uses simple (but sometimes subtle) probability arguments, mixed with a fine control of image and video features. In this talk, I will describe the theory. I will illustrate it with a reinterpretation of classic examples, like roulette and birthdays in a class, then pass to a quick survey of real applications: detection of alignments, histogram modes, anomalies, image forgeries, clouds in satellite images, etc. Joint work with Rafael Grompone von Gioi.
- Thursday, 27th May, 2021
Title: Model Checking for Parametric Ordinary Differential Equations Systems Speaker: Mr LIU Ran, Department of Mathematics, Hong Kong Baptist University, Hong Kong Time/Place: 09:00 - 11:00
Zoom, Meeting ID: 952 7080 4228 Password: 654327
Abstract: Ordinary differential equations have been used to model dynamical systems in a broad range. In this thesis, we investigate the model checking problem for parametric ordinary differential equations systems. We first propose a test for checking the whole system in both cases of random and fixed designs. Then we consider how to check each component function and give two tests. We also study the high-dimensional case with divergent equations and parameters, providing both local and global smoothing tests. The asymptotic properties of these tests and the corresponding estimation methods are presented. To examine performances of these tests, we conduct several numerical simulations and applications.