1. 일시: 2024년 2월 14일(수), 13:30 - 15:30
2. 장소: 판교 테크노밸리 산업수학혁신센터 세미나실
   • 경기 성남시 수정구 대왕판교로 815, 기업지원허브 231호 국가수리과학연구소
   • 무료주차는 2시간 지원됩니다.
3. 발표자: 이효섭 부대표(㈜인코어드테크놀로지스)
4. 주요내용: 재생에너지 입찰과 발전량 예측

전세계적으로 재생에너지의 확산이 에너지 시장의 변화를 가속화시키고 있습니다. 이 발표는 전력시장의 변화에 따른 재생에너지 입찰 개념을 소개하며, 발전량 예측과 입찰 최적화라는 핵심 기술에 주목합니다. 복잡한 기상 조건과 시장 수요의 불확실성을 고려하여 재생에너지 발전량을 예측하고, 입찰가를 결정하기 위한 최적화 전략을 상세히 설명합니다. 이 과정에서 활용되는 다양한 수학적 모델과 알고리즘을 소개하며, 대량의 데이터와 어떻게 통합되어 전체 시스템의 효율적인 운영을 지원하는지를 설명합니다.

*현장 강연으로만 진행됩니다.

1. 일시:❍ 2024.2.1.(목), 14:00~16:00

2. 장소: 판교 테크노밸리 산업수학혁신센터 세미나실

   • 경기 성남시 수정구 대왕판교로 815, 기업지원허브 231호 국가수리과학연구소
   • 무료주차는 2시간 지원됩니다.

3. 발표자: 김경훈 대표(코어닷투데이)

4. 주요내용: Next Normal - Humans and AI Collaborate: Toron AI and AI Perfumer

최근 인공지능(AI) 기술의 발전은 기존에 상상조차 하지 못했던 창의적이고 혁신적인 가능성을 제시하고 있습니다. 특히 생성형 AI는 텍스트, 이미지, 시계열 등 다양한 데이터 분야에서 인간과 유사한 창조력을 발휘하며 놀라운 성과를 이루고 있습니다. 이러한 맥락에서, 본 강연은 두 개의 발전된 AI 시스템, 토론 AI 김컴재와 AI 조향사 센트리아를 중심으로, 생성형 AI의 현재 상황과 미래에 대해 논의하며, 다음의 두 가지 사항을 고려합니다. 첫째, 토론 AI 김컴재와 AI 조향사 센트리아의 대화와 토론을 통해 생성형 AI가 우리 사회와 산업에 미치는 영향과 가능성을 탐색합니다. 이를 통해 생성형 AI의 기술적 진보와 그로 인해 생겨난 새로운 기회를 이해합니다. 둘째, 생성형 AI의 윤리적, 사회적 측면에 대해 조명합니다. 무엇보다 생성형 AI의 발전이 미치는 영향과 이에 대한 사회적 대응은 무엇보다 중요한 논의 주제입니다. 이를 통해 생성형 AI의 위험과 제약사항, 그리고 이를 극복하기 위한 방안을 탐색합니다. 본 강연은 생성형 AI의 미래를 선도할 기술적 혁신과 사회적 대응 방안을 고민해 보고, 유익한 통찰과 함께 뜻깊은 논의의 기회를 제공합니다.

*유튜브 스트리밍 예정입니다.

1. 일시: 2024년 1월 26일(금), 10:00 - 12:00

2. 장소: 판교 테크노밸리 산업수학혁신센터 세미나실

   • 경기 성남시 수정구 대왕판교로 815, 기업지원허브 231호 국가수리과학연구소
   • 무료주차는 2시간 지원됩니다.

3. 발표자: 서상현 박사(㈜엘지경영개발원)

4. 주요내용: Instruction Tuning and Retrieval-Augmented Generation for Large Language Models

In this seminar, I will present research trends on Large Language Models(LLMs), g on instruction tuning and Retrieval-Augmented Generation (RAG). Recently, LLMs have been proposed by pretraining Transformer models over large-scale corpora and have shown strong capabilities in solving various natural language processing (NLP) tasks. instruction tuning is a crucial technique to enhance the capabilities and controllability of LLMs. Instruction tuning bridges the gap between the next-word prediction objective of LLMs and the users’ objective of having LLMs adhere to human instructions. One the other hand, LLMs demonstrate significant capabilities but face challenges such as hallucination, outdated knowledge, and nontransparent, untraceable reasoning processes. RAG has emerged as a promising solution by incorporating knowledge from external databases. This presentation will help you understand the core technologies and applications of the latest LLMs.

*유튜브 스트리밍 예정입니다.

1. 일시: 2024년 1월 23일(화), 14:00 - 16:00

2. 장소: 판교 테크노밸리 산업수학혁신센터 세미나실

   • 경기 성남시 수정구 대왕판교로 815, 기업지원허브 231호 국가수리과학연구소
   • 무료주차는 2시간 지원됩니다.

3. 발표자: 김대열 교수(경남대학교)

4. 주요내용: Innovative Non-Contact Vital Sign Monitoring through rPPG: Principles, Developments, and Future Applications

rPPG(remote Photoplethysmography) 는 비접촉식 활력징후 모니터링 방법으로 COVID-19 대유행 이후 점점 더 많은 관심을 받고 있습니다. rPPG 는 복잡한 수학적 알고리즘으로 혈류와 관련된 피부색의 변화를 해석하는 방법입니다. 이 기술을 활용하여 카메라를 사용하여 심박수, 호흡수 및 산소 포화도를 획득할 수 있습니다. 본 강연에서는 rPPG의 배경과 기본적인 원리, 그리고 최신동향 마지막으로 현재의 한계와 문제점을 공유하고 rPPG의 미래 발전 방향을 소개합니다.

• rPPG 배경과 기본 원리 : 피부의 멜라닌과 혈액 내의 헤모글로빈의 광학적 특성에 따른 rPPG의 타당성에 대한 소개를 진행합니다.

• rPPG 최신 동향 : 차분 영상 기법부터 Transformer 기법을 이용한 방법까지 소개하며, 현재 모바일에서 알고리즘 적용을 위한 노력을 소개합니다.

• rPPG 문제점 공유 : 다양한 Open Dataset 갖는 문제, 그리고 수 많은 논문들의 재현성 이슈를 다룹니다.

• rPPG 미래 발전 방향 : rPPG를 이용하여 조기 검출 할 수 있는 가능성을 갖는 질병들과 활력 징후들을 소개합니다.

*유튜브 스트리밍 예정입니다.

1. 일시: 2024년 1월 17일(수), 14:00 - 16:00

2. 장소: 판교 테크노밸리 산업수학혁신센터 세미나실

   • 경기 성남시 수정구 대왕판교로 815, 기업지원허브 231호 국가수리과학연구소
   • 무료주차는 2시간 지원됩니다.

3. 발표자: 이승규 교수(고려대학교)

4. 주요내용: Gradient flows and its numerical method

In this talk, I will present several mathematical modeling instances employing gradient flows and associated numerical schemes for its fundamental equations. A gradient flow is a curve that follows the steepest descent direction of a function within a metric space. It has been a valuable tool in the analysis of ODEs and PDEs. Recently, gradient flows under various distances have also been emerged for potential use in machine learning or generative modelling. Given that the solution of gradient flows can be expressed as the minimization of an energy functional that is lower semi-continuous and bounded below, the development of a numerical method ensuring energy dissapation or energy non-increasing, commonly referred to as an unconditionally (energy) gradient stable scheme, becomes a critical consideration. For a practical demenstration of the numerical method, the Allen-Cahn and Cahn-Hilliard equations will be employed as examples.

*유튜브 스트리밍 예정입니다.

1. 일시: 2023년 12월 14일(목), 14:00-16:00

2. 장소: 판교 테크노밸리 산업수학혁신센터 세미나실

   • 경기 성남시 수정구 대왕판교로 815, 기업지원허브 231호 국가수리과학연구소
   • 무료주차는 2시간 지원됩니다.

3. 발표자: 현윤석(인하대학교)

4. 주요내용: Siamese Networks in Computer Vision

   In the realm of computer vision, the Siamese network has emerged as a powerful paradigm, revolutionizing image processing and analysis. The primary objective of a Siamese network is to learn a similarity metric between pairs of input samples. The Siamese architecture, characterized by its unique structure of shared weights between twin networks, has proven to be highly effective in tasks such as image similarity, object tracking, depth estimation, and facial recognition. Recently, in the context of self-supervised learning in computer vision, Siamese networks are often employed to train models without relying on traditional labeled datasets. Instead, they exploit the inherent structure or relationships within the data to learn meaningful representations. This seminar delves into the intricacies of Siamese networks and explores their application in various computer vision tasks, including recent works on self-supervised representation learning and other interesting topics.

*유튜브 스트리밍 예정입니다.

1. 일시: 2023년 12월 7일(목), 11:00-13:00

2. 장소: 판교 테크노밸리 산업수학혁신센터 세미나실

   • 경기 성남시 수정구 대왕판교로 815, 기업지원허브 231호 국가수리과학연구소
   • 무료주차는 2시간 지원됩니다.

3. 발표자: 김자광 박사(PIMS, UBC)

4. 주요내용: Understanding adversarial robustness via optimal transport perspective: theory and numeric

In this talk, I will present the recent progress of understanding adversarial multiclass classification problems, motivated by the empirical observation of the sensitivity of neural networks by small adversarial attacks. Based on 'distributional robust optimization' framework, we obtain reformulations of adversarial training problem: 'generalized barycenter problem' and a family of multimarginal optimal transport problems. These new theoretical results reveal a rich geometric structure of adversarial training problems in multiclass classification and extend recent results restricted to the binary classification setting. From this optimal transport perspective understanding, we prove the existence of robust classifiers by using the duality of the reformulations. Furthermore, based on these optimal transport reformulations, we provide two efficient approximate methods which provide a lower bound of the optimal adversarial risk. The basic idea is the truncation of effective interactions between classes: with small adversarial budget, high-order interactions(high-order barycenters) disappear, which helps consider only lower order tensor computations.

*유튜브 스트리밍 예정입니다.

1. 일시: 2023년 11월 20일(월), 14:00-16:00

2. 장소: 판교 테크노밸리 산업수학혁신센터 세미나실

   • 경기 성남시 수정구 대왕판교로 815, 기업지원허브 231호 국가수리과학연구소
   • 무료주차는 2시간 지원됩니다.

3. 발표자: 정희원 박사(DESILO)

4. 주요내용: Understanding ZKP Trends on Blockchain

   블록체인은 중앙 서버 없이 안전한 운영을 가능하게 하는 시스템으로, 모든 거래를 공개하고 모든 노드가 각각 검증합니다. 그러나 이러한 설계 사상으로 인해 본질적으로 거래의 프라이버시와 확장성 측면에서 일부 한계를 가지고 있습니다. 최근에는 이러한 문제를 극복하기 위해 영지식 증명 (Zero-Knowledge Proofs) 및 계산 검증 (Verifiable Computation) 암호학 기법을 활용하는 연구가 활발히 진행되고 있으며, 이에 따라 암호학 분야에서도 많은 연구 결과가 발표되고 있습니다. 본 강연에서는 영지식 증명 및 계산 검증 기법을 활용한 블록체인 연구 트렌드에 대해 다룹니다. 이 트렌드는 크게 시기에 따라 세 가지 주제로 나눌 수 있으며, 각 주제에 따라 블록체인이 직면한 문제와 해결책을 간략히 설명하고 해당 분야의 최신 연구 결과를 소개합니다.

5. Confidential Transaction: 블록체인 거래의 완벽한 공개성은 사용자의 프라이버시 (잔고, 거래내역 등) 가 노출될 위험성이 있습니다. 이 문제를 해결하기 위해 영지식 증명을 활용하여 거래 내용을 숨기면서도 거래의 유효성을 검증할 수 있는 연구가 진행되었습니다.

6. Rollup (Layer 2): 블록체인은 빠른 거래 처리를 위해 확장성 문제에 직면합니다. 이를 극복하기 위해 계산 검증 기법을 사용하여 일부 거래 처리를 오프 체인으로 옮기는 연구가 진행되고 있고, 이를 통해 블록체인 네트워크의 성능을 향상시킬 수 있습니다.

7. Succinct Blockchain: 블록체인은 시간이 지남에 따라 저장해야 하는 공간이 늘어나게 됩니다. 이를 극복하기 위해 계산 검증 기법을 사용하여 노드의 저장 공간을 줄이는 연구가 진행되고 있고, 이를 통해 체인 사이즈를 줄일 수 있습니다.

*신청 페이지에서 유튜브 스트리밍 예정입니다.

1. 일시: 2023년 11월 16일(목), 14:00-16:00

2. 장소: 판교 테크노밸리 산업수학혁신센터 세미나실

3. 경기 성남시 수정구 대왕판교로 815, 기업지원허브 231호 국가수리과학연구소 [무료주차는 2시간 지원됩니다.]

4. 발표자: 현동훈 교수 (서울대학교)

5. 주요내용: 3D AI Vision and Mathematics

   본 강연에서는 AI가 시각데이터를 처리하는 과정에 쓰이는 다양한 테크닉과 그 배경의 수학 이론에 대하여 설명을 하겠습니다. 로봇이나 자율 주행 등에서 AI가 현실 세계와 상호작용을 하기 위해서는 시각 데이터를 수집하고 이를 3D로 정확하게 스케일까지 이해하는 것이 필요한데, 이러한 3D 비젼의 기본적인 수학 이론, 특히 사영기하학 (projective geometry)을 이용한 이론 체계 및 계산 방법에 대하여 설명하고, 왜곡 교정 및 영상 분석 등 우리 생활에 두루 쓰이는 기본적인 응용에 대하여 소개하기로 합니다. 좀 더 고도의 대수기하학은 3D 영상 재구성의 이론과 실제 계산의 양 영역에서 중요한 역할을 하는데, 특히 epipolar 기하학 및 Nister의 5점 알고리즘에 대하여 설명하겠습니다. 최근에는 딥러닝의 3D 영상 재구성의 여러 요소에 쓰이기 시작하였고, 생성형 AI를 통한 3D 영상도 크게 주목 받고 있습니다. 이 중, 로봇의 움직임 등 수많은 응용의 기초가 되는 점구름 짜깁기(point cloud registration)에 대하여 설명하고, 최근 크게 주목을 받고 있는 생성형 3D 비젼 AI인 Neural Radiance Field 기법에 대하여 소개하겠습니다.

*현장 강의로만 진행됩니다.

1. 일시: 2023년 11월 9일(목), 14:00-16:00

2. 장소: 판교 테크노밸리 산업수학혁신센터 세미나실

3. 경기 성남시 수정구 대왕판교로 815, 기업지원허브 231호 국가수리과학연구소 [무료주차는 2시간 지원됩니다.]

4. 발표자: 김남국 교수 (서울아산병원)

5. 주요내용: Generative AI and its application in medical imaging

   대규모언어모델(Large-scale Language Model; LLM)을 통한 생성인공지능분야의 혁신이 학계, 언론, 대중의 관심을 끌고 있습니다. OpenAI가 일반인공지능(Artificial General Intelligence;AGI)를 내놓고, 이를 촉매로 많은 경쟁조직들이 그동안 연구해 놓았던 것을 경쟁적으로 공개하고 있습니다. 이는 2017년에 Google 연구진에 의해서 제안된 소위 트랜스포머1라는 기술에 기반하고 있습니다. 최근 chatGPT와 GPT4가 일반에게 충격을 주고 있지만, GPT 뿐 아니라 다양한 GPT, BERT, Chinchilla, Gopher, Bloom, MT-NLG, PaLM, LaMDA 모델 등이 공개되고 테스트할 수 있습니다. 소설을 쓰고, 데이터 처리, 시각화를 위한 컴퓨터 프로그램을 작성하고, 외국어를 번역하고, 미래를 추측할 수 있는 이러한 일반화된 대규모언어모델의 능력은 인류에게 처음으로 일반인공지능에 접근하고 있다는 생각을 들게 했습니다.2 특히, 대규모언어모델이 인간이 작성한 문장을 고도의 추상적 레벨에서 해석하고, 이를 잠재공간에 mapping 할수 있다는 뜻이 되기 때문에, 이에 따라서 다양한 의료응용이 가능할 것으로 사료됩니다. 대규모언어모델은 의료 진단, 치료 및 임상/의학연구의 효율성을 개선하여 의료 및 의료 산업을 혁신할 수 있는 잠재력을 가지고 있습니다.3-8 하지만, 대규모언어모델은 언어로만 만들어서 환각이 강화되거나, 현실과 관계를 맺지 않아서 사실에 대한 개념이 없다는 점, 의학이 발전하기 때문에, 이를 맞추어 연속학습(continual learning)기반의 fine-tuning이 필요 등 다양한 한계도 가지고 있습니다. 최근에 이런 문제를 해결하기 위해서 시각이나 비디오를 같이 학습하는 대규모멀티모달모델(Large-scale Multimodal Model; LMM)이 나오고 있고, 괄목할만한 성장을 하고 있습니다. 반대로, 대규모언어모델을 이용한 프로그램은 전문가 수준은 아직 아니지만, 프로그램에 익숙하지 않은 임상 의사나 초급 개발자들에게는 협력 개발자나 좋은 tutor가 될수 있는 수준이라고 생각합니다. 이를 잘 활용하면, 기존처럼 도메인지식을 가장 잘 알고 있는 의사가 의료인공지능 연구 및 개발에 소외되고 단순 레이블러나, 평가자만 되는 상황에서 벋어나서, 의료인공지능 연구 개발의 주체가 될수 있을것으로 사료됩니다. 또한, 실제 임상 진료에서 LMM 등이 활발하게 적용될것이라 생각되고 사례를 살펴보겠습니다.

*유튜브 스트리밍 예정입니다.