1월 NIMS Colloquium

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

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

Korea PDE School #7

□ 일시: 2017.01.16. ~ 2017.01.20.

□ 장소: NIMS, Daejeon, Korea 

□ 주제: Mathematical theory in Biology and Harmonic analysis

□ 세부 일정 등 관련 링크 : http://amath.kaist.ac.kr/pdeschool2017/

NIMS 초청강연 (NASA Mars Missions)

□연사: Paul Yun 교수 (El Camino College, NASA/JPL Solar System Ambassador)

□일시: 2017년 1월 2일(월) 14시 / 장소 : 국가수리과학연구소 대형강연장 (문의042-717-5761)

□제목: NASA Mars Missions (NASA의 화성 탐사 임무)

□초록: NASA는 지난 1964년부터 화성으로 비행선과 궤도선, 착륙선, 로버 등을 보냈으며 2020년대에는 시료 귀환임무를, 2030년대에는 유인탐사 임무를 준비하고 있습니다. 이 강의에서는 화성탐사의 문화적, 역사적 배경과 과거, 현재, 미래의 화성 탐사에 대해 소개하고 최근 발표된 큐리오시티의 탐사 결과를 알려드리겠습니다. 또한 NASA의 화성 탐사 임무가 과학과 기술, 교육, 그리고 경제에 미치는 영향에 대해 말씀드리겠습니다. 아울러, NASA의 유인탐사 계획이 지금까지 얼마나 준비되었는지, 화성탐사가 미래 후손들에게 어떤 의미를 주는지 이야기 해보고 싶습니다.

Since 1964, NASA has sent flybys, orbiters, landers, and rovers to Mars, and is ready for a sample return mission in 2020’s and human exploration in 2030’s. In my talk, we will look into the cultural and historical background of Mars exploration, and overview past, present, and future NASA missions while updating Curiosity’s findings as of May 2015. We will examine NASA Mars missions’ impact on science, and technology, STEM education, and economy. Furthermore, we will go over NASA’s readiness for human exploration and the significance of Mars missions to our future generations.

ICIM 목요미팅 - 스타트업 연구교류 세미나 초청강연

산업수학혁신센터(ICIM)에서는 스타트업과의 교류를 통하여 산업수학이 해결 가능한 문제를 발굴하고 성공사례를 공유하기 위하여 판교 산업수학혁신센터에 전문가를 초청하여 세미나를 개최합니다. 여러분들의 많은 참여 바랍니다.

제  목 : 재난형 가축전염병 방역을 위한 지역 권역화에 필요한 클러스터링 기법 연구

발표자 : 서종현 (EZFARM, 책임연구원)

일  시 :  2016년 12월 8일 (목), 15:00 ~ 17:30 

장  소 : 판교 산업수학혁신센터 (스타트업캠퍼스 2동 4층)

초  록 : 구제역이나 조류독감 등의 가축 질병 확산의 주요 원인은 축산차량 및 인력의 이동이다. 발생지역을 중심으로 제한하는 과정에서 이동제한이 전국적으로 장기화될 경우 발생할 수 있는 피해를 최소화하고 추가 확산을 방지할 수 있는 권역화된 방역체계를 개발할 필요성이 제기되었다. 본 연구의 목적은 일정기간 동안 축적된 축산 정보를 수학적으로 분석하여 가축전염병의 방역체계를 효과적으로 관리하는 권역화 체계를 개발하는데 있다. 축산시설의 용적량, 축산차량 이동정보 등과 같은 권역화에 필요한 자료를 수집하고 세부 항목별로 정리하여 데이터베이스를 구축한다. 데이터베이스화된 자료를 변환하고 권역화 알고리즘의 구성요소에 대한 특성을 파악하여 가장 이상적인 수학적 원리를 통해 거대 복잡계 네트워크 구조를 설계한다. 그리고 데이터 분석기법을 적용하여 핵심시설을 중심으로 클러스터 구조가 생성하는지에 대한 여부를 판별한다. 그리고 게임이론과 휴리스틱 방법론에 기반한 권역화 알고리즘을 개발하고 이를 통해 축산시설 및 농장의 자립 가능성 등을 계산하여 확률기반의 최적화된 클러스터를 형성하여 권역화 체계를 구성한다.

NIMS 콜로키움(국종성 교수(포항공과대학교))

□연사: 국종성 교수 (포항공과대학교)

□일시: 2016년 10월 28일(금) 11시 

□장소: CAMP 대형강연장 

□제목: 기후변화연구의 수학적 접근 

□초록: 기후과학 연구의 최종적인 목표는 우리가 살고 있는 기후시스템의 과정들을 이해하고, 이를 통해 미래 (몇 일 후부터 몇 백년 후) 기후시스템의 변화를 예측하는 것이다. 기후과학의 접근법은 크게 3가지로 나눌 수 있다. 첫째, 과거/현재/미래의 광범위한 관측 및 시뮬레이션 자료의 빅데이터 분석을 통해 의미 있는 시그널을 찾아내고, 그 시그널을 역학적으로 해석한다. 방대한 자료의 처리와 분석에서 다양한 수학적 통계 기법들이 활용되고 있다. 둘째, 기후시스템을 지배하는 거대한 편미분 방정식을 개발하고, 이를 수치적으로 풀어 가상의 지구를 재현하고 예측한다. 모형의 거대한 편미분 방정식을 수치적으로 연산하고, 물리모수화 방안을 세울 때 다양한 수학적 접근들이 활용되고 있다. 셋째, 거대한 편미분 방정식 중 핵심 프로세스만을 선별하고 간단화하며, 이론적인 모형을 세워 실제 현상에 적용한다. 간단화된 이론모형의 해를 구하여, 이 해의 성질과 관측 정보와 비교 분석함으로써 기후현상을 근본적으로 이해할 수 있다. 이 콜로키움에서는, 세 가지 방법에 대한 수학적 개념이 사용된 과거 연구 사례를 구체적으로 제시할 예정이며, 앞으로 기후학과 수학과의 융합연구에 대한 방향이 제시될 예정이다.

NIMS 집중강연

연사 : James A. Rossmanith (Iowa State University)
일시 : 2016년 7월 19일~20일 오후 4시~6시
장소 : 국가수리과학연구소 CAMP 대형세미나실
Title : Lectures on Numerical Methods for Hyperbolic Conservation Laws

Abstract:
 Hyperbolic conservation laws arise as model equations in a variety of different applications. The key defining characteristic of hyperbolic conservation laws are the finite propagation of information. Some examples of applications include traffic flow, porous media flow, tsunami modeling, compressible gas dynamics, plasma physics, and general relativity. In these four lectures I will introduce the idea of hyperbolic conservation laws, explain the paradigm of finite volume methods (FVM), explain the discontinuous Galerkin finite element method (DG-FEM), and discuss issues related to non-oscillatory and positivity-preserving limiters. At the end I will describe some recent and ongoing work on the Lax-Wendroff DG-FEM and its associated limiters.

 Lecture 1: Hyperbolic conservation laws, finite volume methods, and the Godunov scheme
 Lecture 2: Approximate Riemann solvers and relaxation schemes
 Lecture 3: Discontinuous Galerkin finite element methods (DG-FEM) and limiters
 Lecture 4: Lax-Wendroff DG-FEM and a new positivity limiter

ICIM 목요미팅 - 스타트업 연구교류 세미나 초청강연

산업수학혁신센터(ICIM)에서는 스타트업과의 교류를 통하여 산업수학이 해결 가능한 문제를 발굴하고 성공사례를 공유하기 위하여 판교 산업수학혁신센터에 전문가를 초청하여 세미나를 개최합니다.

일   시 :  2016년 7월 15일 (금), 14:00
장   소 : 판교 산업수학혁신센터
발표자 : 박중석 교수 (North Carolina A&T State University, Department of Mathematics)

뇌과학분야의 수학적인 접근으로 다음의 내용으로 연구교류 세미나를 진행합니다.

제  목 : “Interaction of Multiple Respiratory Rhythm Generation Mechanisms”
초  록 : Neurons in the pre-Botzinger complex (pBC) within the mammalian brainstem produce the inspiratory phase of the respiratory rhythm.
Experimental results have suggested that multiple bursting mechanisms based on a calcium-activated nonspecific cationic (CAN) current,
a persistent sodium (NaP) current, and Ca dynamics may be incorporated within the pBC. Previous modeling works have studied only subsets
of these mechanisms. In this study, we consider a single-compartment model of a pBC inspiratory neuron, which encompasses all these features.

We discuss the mathematical analysis of the interaction of these bursting mechanisms, which requires treatment of a system incorporating three slow variables.

  ICIM 목요미팅 - 스타트업 연구교류 세미나 초청강연

▨ 장  소 : 판교 스타트업캠퍼스 1동 2층 다목적홀

▨ 일  시 : 2016년 7월 13일 (수), 15:30-18:00

▨ 강연자 : 조혜연 (프로바둑기사 9단, (주) 더바둑 대표이사)

▨ 제  목 : 인공지능과 바둑기사의 대결

▨ 내  용 : 

     - 구글 딥마인드 다음행마

     - 인공지능과 바둑기사의 제2의 대결 예고         

                조혜연 9단 vs. Zen(일본개발)

※ 주최측의 사정으로 인하여 이번 ICIM 목요미팅은 7/13(수)에 진행됨을 알려드립니다.

※ 강연 세부 일정 :

15:30-16:00 : 강연자 및 강연 참석자들의 네트워킹 (간단한 다과가 준비되어 있습니다. 많은 참여 부탁드립니다.)

16:00-18:00 : 강연 및 질의 응답 (강연진행 속도에 따라서 강연 종료시간이 변경될 수 있습니다.)

등록:http://onoffmix.com/event/71954

텐서들의 기하학과 수학 계산 소프트웨어 여름학교

□ 일시: 2016.07.11 ~ 2016.07.14
 
□ 장소: CAMP, NIMS

NIMS 집중강연

연구교류센터에서는 아래와 같이 Numerical Algebraic Geometry 에 관한 집중강연을 개최합니다.

*******************************************
강연자 : Jose Israel Rodriguez (U. Chicago)

제목 및 일정

Title : Introducing Numerical Algebraic Geometry

7월 4일(월)  16 : 30 ~ 17 : 30
-  Lecture I. Numerical irreducible decomposition with regeneration
7월 5일(화)  10 : 00 ~ 11 : 00
- Lecture II. Algebraic degrees in statistics: ML degree and GMM degree
7월 5일(화)  14 : 00 ~ 15 : 00
- Lecture III. The Segre trace test in applications

내용
Numerical algebraic geometry is a new field in applied algebraic geometry and math. Many models of the real world can be described by solutions to systems of polynomial equations. These solution sets are called varieties in algebraic geometry terminology, and we want to study using numerical computations performed on a machine. These talks focus on the theory of numerical algebraic and applications to algebraic statistics. In particular, the technique of regeneration will be presented and the maximum likelihood degree/generalized method of moments degree will be introduced. The last talk will feature applications of the Segre trace test.

장소 : CAMP 중형세미나실
(문의 : 우영호 youngw@nims.re.kr)