|
|
|
Information of talks and speakers |
|
2010/06/04
9:30am-10:10am |
|
Speaker:
Graeme Wake Affiliation:
Massey University Title: Industrial Mathematics: On the crest of a wave |
|
2010/06/04
10:20am-11:00am |
|
Speaker:
Donghyun You Affiliation:
Department
of Mechanical Engineering, Carnegie Mellon University & Computational Science
and Engineering (WCU), Yonsei
University Title: Uncertainty Quantification in Large-Eddy Simulation of Turbulent Flows Abstract: |
|
2010/06/04
11:10am-11:30am |
|
Speaker: Myungjoo Kang Affiliation: Department of
Mathematical Sciences, Seoul National University Title: Image processing on some industrial
problems We
apply the image processing techniques to the real world problems. We will
show how it works or does not work through some examples. |
|
2010/06/04
11:30am-11:50am |
|
Speaker:
Yong-Jung Kim Affiliation:. Department
of Mathematical Sciences KAIST Title: Homing Guidance Loop Design and its
Analysis Abstract: In this talk the speaker will
introduce a problem related to the development of homing Guidance missile
system. This talk is problem introducing one. |
|
2010/06/04
2:00pm-2:40pm |
|
Speaker:
Bruce van Brunt Affiliation: Massey
University Title: The Pantograph Equation Abstract |
|
2010/06/04
3:00pm-3:20pm |
|
Speaker:
Dong-Uk Hwang Affiliation:. National Institute of Mathematical
Sciences Title: Graph
& Brain Abstract: Recently cutting-edge technology
elucidate the way to visualize physical structure of living human
brains. From the macroscopic scale, brain mainly consists of
complicately folded tissue, called cortex, and neuronal fiber bundle
connecting from one small area to other area of cortex, or from cortex
to other neuronal strucure like thalamus, midbrain, etc. Neuronal connections
have been believed one of fundamental keys to understand the function
and the ability of human brain. Now many neuroscientists expect that the
connection structure of brain will reveal the unknown mechanism of brain. To
do that, graph theoretical analysis or network based analysis is mandatory.
This talk will present how graph theory is contributed to reveal mystery of
human brain. |
|
2010/06/04
3:20pm-3:40pm |
|
Speaker:
Chang-Ock Lee Affiliation:. Department
of Mathematical Sciences KAIST Title: Least Squares Algorithms for Box-Constrained Image Deblurring Abstract: Image deblurring problems are often solved by finding minimizer
of a suitable objective function. However, in practice, there are constraints
in the minimization process. In this talk, we consider an image deblurring
model and discuss several optimization methods for the box-constrained
minimization problems. Furthermore, we compare the complexity of them. Among
them, a new gradient based approach, ISTA, is noteworthy. However, gradient
based algorithms are known to converge quite slowly. Hence we present a
twostep algorithm, FISTA, which preserves the computational simplicity of
ISTA but global convergence rate is significantly better. |
|
2010/06/04 4:30pm-5:10pm |
|
Speaker:
Mark McGuinness Affiliation:
Victoria University of Wellington Title: Cooking Crispy Cereals and Modelling Submarine Batteries Abstract: Two
interesting problems and some of their outcomes, from the Mathematics in
Industry Study Groups held in Australia and New Zealand each year. Moisture
diffusion into whole-grain cereals, and diffusive processes in lead-acid
batteries, provide a loose mathematical link between two very different
problems. |
|
2010/06/05 9:30am-10:10am |
|
Speaker:
Mark McGuinness Affiliation:
Victoria University of Wellington Title: Exploding Rock Authors: Mark J. McGuinness, A.C.
Fowler, B. Scheu & W.T. Lee Abstract:
The
mathematical model presented here is motivated by recent experimental work, in
which a vertical column of rock charged with high-pressure gas is
suddenly depressurised, so that it explodes, in a sequence of horizontal
fractures that forms from the top down. The resulting blocks are lifted off
and ejected by the escaping gas. This experiment provides a framework for
understanding the way in which catastrophic explosion can occur, and is
motivated by the corresponding phenomenon of magmatic explosion during
Vulcanian eruptions. I will summarise a theoretical model built to describe these
results, and show that it is capable of describing both the primary sequence
of fracturing, and the secondary intra-block fracturing. |
|
2010/06/05 10:30am-10:50am |
|
Speaker:
Jung-Il Choi Affiliation: Department of Mechanical and Aerospace Engineering, North Carolina State
University &
Department of Computational Science and
Engineering, Yonsei University Title: An Immersed Boundary Method for
General Flow Applications Abstract: The development of an
immersed-boundary method for complex flows is outlined in this talk. Immersed
objects are defined as clouds of points or sets of triangle elements in CAD
format (StereoLithography file) and are rendered as level sets in a
computational domain. A cell-classification procedure based on a signed
distance to the nearest surface is used to separate the computational domain
into cells outside the immersed object (field cells), cells outside
but adjacent to the immersed object (band cells), and cells within the
immersed object (interior cells). Interpolation methods based on
laminar / turbulent boundary layer theory are used to prescribe the flow
properties within the band
cells. The method utilizes a decomposition
of the velocity field near embedded surfaces into normal and tangential
components, with the latter handled using power-law interpolations to mimic
the energizing effects of turbulent boundary layers. Applications such as
human induced contaminant transport, and shock / boundary layer interaction
flow control will be presented. |
|
2010/06/05 10:50am-11:10am |
|
Speaker:
Graeme Wake Affiliation:
Massey University Title: Fetal growth: How big should your baby be? Abstract: In
this talk a case study in mammalian fetal growth
will be formulated and developed so as to provide underpinning decision
support. The regular nutritional intake of an expectant mother clearly
affects the weight development of the fetus. Assuming the growth of the fetus
follows a deterministic growth law, like a logistic equation, albeit
dependent on the nutritional intake, the ``best'' solution is usually
determined by the birth–weight being pre-assigned, for example, as a
percentage of the mother's average weight. This problem then can be specified
as a control problem for the nutritional intake function. In this research proposal, this
problem is formulated, first by fitting parameters to experimental data for
animals (like sheep) or humans. Then by using the nutritional intake as a
control, which appears in a highly nonlinear fashion, we can obtain a coupled
equation for the food intake with the fetal rate equation. This gives a two
(or more)-dimensional dynamical system which is a two-point boundary value
problem. We give simple examples to illustrate this work which is in
progress. This
work is part of a larger program in association with National Research Centre
for Growth and Development in New Zealand, which is aiming to determine
optimal energy intake for human mothers which will enhance the quality of
post-natal life. The nutritional intake of the mother in turn affects the
genetic expression (phenotype) of the fetus and this in turn affects it after
birth. |
|
2010/06/05 11:40am-12:00am |
|
Speakers:
G. Wake, M Mcguinness, B. van Brunt and J. Donaldson Title: Activity review of 8 years in KAIST Abstract:
Go-Round-Table |
