5월 NIMS Colloquium

- 이미징 기반의 뇌기능 융합 연구 -

• 연사: 김성기 단장 (IBS 뇌과학이미징연구단)
• 일시: 2017년 5월 25일(목) 16시
• 장소: 국가수리과학연구소 대형강연장(2F)

• Abstract: Understanding brain structure and function is one of science's last and most daunting challenges, requiring the integration of experimental approaches from a diversity of disciplines. To examine brain function and structure at a various dimension, we use fMRI for whole brain mapping to electrophysiology for single-cell studies.  In my talk, I will overview activities of the IBS Center for Neuroscience Imaging Research, and describe the necessity of better computation models for handling big imaging data and obtaining hidden information from noisy data.  

4월 NIMS Colloquium

- 외계 지적생명체 탐색 : 과학적 접근 -

▣ 연사: 이명현 (과학저술가)

▣ 일시: 2017년 4월 27일(목) 16시

▣ 장소: 국가수리과학연구소 대형강연장(2F)

▣ 초록: 1960년을 즈음해서 과학자들은 외계지적생명체를 찾기 위한 다양한 방법론을 모색하기 시작했다. 지난 50~60년 동안 그 당시 과학자들이 세운 비전과 패러다임에 따라서 과학적인 외계지적생명체 탐색 작업이 진행되었다. 이번 강연에서는 그런 과학자들의 노력과 결과에 대해서 이야기한다. 과학적 외계지적생명체 탐색 작업의 현재와 미래의 전망에 대해 현재 진행 중이거나, 추진 중인 프로젝트를 중심으로 이야기하고자 한다.

3월 NIMS Colloquium

- 위기의 시대, 지식인으로서 '나'의 자세는? -

• 연사: 이석봉 대표 (대덕넷)
• 일시: 2017년 3월 23일(목) 16시
• 장소: 국가수리과학연구소 대형강연장(2F)

2월 NIMS Colloquium

- 기초연구의 당위성과 투자전략 -

• 연사: 노도영 교수 (GIST)
• 일시: 2017년 2월 23일(목) 16시
• 장소: 국가수리과학연구소 대형강연장(2F)

1월 NIMS Colloquium

- 수학 공부는 종이책과 연필로 하는 것이 최선일까요? -

• 연사: 김서준 부대표 (노리, KnowRe)
• 일시: 2017년 1월 18일(수) 16시
• 장소: 국가수리과학연구소 대형강연장(2F)

NIMS 콜로퀴움

ON DATA-DEPENDENCE OF STABILITY DOMAINS, EXPONENTIAL STABILITY AND STABILITY RADII FOR IMPLICIT DYNAMIC EQUATIONS

• 연사: Nguyen Huu Du (Vietnam Institute for Advanced Study in Mathematics)
• 일시: 2016년 6월 16일(목) 16시 30분
• 장소: 국가수리과학연구소 연구교류센터(CAMP) 대형세미나실
  
• This talk deals with some questions concerning the convergence of the solutions to a dynamic equation on time scale. It is also concerned with the stability domains, the spectrum of matrix pairs, the exponential stability and its robustness measure for linear implicit dynamic equations of arbitrary index.

NIMS 콜로퀴움

Simplicial Harmonic Classes

• 연사: 국웅 교수(서울대학교)
• 일시: 2016년 5월 12일(목) 16시 30분
• 장소: 국가수리과학연구소 연구교류센터(CAMP) 대형세미나실
  
• Harmonic classes for a simplicial complex are the kernel of its combinatorial Laplacians. They contain more information than homology classes for various data analytic purposes.
  In this talk, we will discuss harmonic classes as a new method for analyzing simplicial complexes associated with a given data set. As an application, we will present an intriguing connection between harmonic classes and effective conductance for a network.

NIMS Special Colloquium

인공지능 알파고와 구글의 다음 한 수

NIMS 콜로퀴움

Navigating the Flow: The homing of sea turtles

• 연사: Thomas Hillen (University of Alberta, Canada)
• 일시: 2016년 4월 28일(목) 16시 30분
• 장소: 국가수리과학연구소 연구교류센터(CAMP) 대형세미나실
  
• The green sea turtle Chelonia midas travels for thousands of miles from the coast of Brazil to a small island in the Atlantic Ocean, Ascension Island. There the turtles lay their eggs into the warm sand on the beach. It is a classic scientific challenge to understand the navigational skills of the turtles and several orienteering mechanisms are discussed, such as geomagnetic information, chemotaxis, atlantic flow patterns etc.
  In this talk I will present a mathematical model for the homing of sea turtles and
  discuss how it can be used to identify the navigational mechanisms of sea turtles.
  (joint work with K.J. Painter).

NIMS 콜로퀴움

What Sparsity and $ℓ_1$ Optimization Can Do For You

• 연사: Stanley Osher (UCLA)
• 일시: 2016년 4월 8일(금) 16시
• 장소: 국가수리과학연구소 연구교류센터(CAMP) 대형세미나실
  
• Sparsity and compressive sensing have had a tremendous impact in science, technology, medicine, imaging, machine learning and now, in solving multiscale problems in applied partial differential equations, developing sparse bases for Elliptic eigenspaces and connections with viscosity solutions to Hamilton-Jacobi equations. $ℓ_1$ and related optimization solvers are a key tool in this area. The special nature of this functional allows for very fast solvers: $ℓ_1$ actually forgives and forgets errors in Bregman iterative methods.
  I will describe simple, fast algorithms and new applications ranging from image processing, machine learning to sparse dynamics for PDE.