Friday, May 27, 2022

<< >>  
2022. 4
Sun Mon Tue Wed Thu Fri Sat
1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
2022. 5
Sun Mon Tue Wed Thu Fri Sat
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31
2022. 6
Sun Mon Tue Wed Thu Fri Sat
1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30
2022-05-30 / 16:30 ~ 17:30
IBS-KAIST 세미나 - 이산수학: Learning Symmetric Rules with SATNet 인쇄
by 양홍석(KAIST)
SATNet is a differentiable constraint solver with a custom backpropagation algorithm, which can be used as a layer in a deep-learning system. It is a promising proposal for bridging deep learning and logical reasoning. In fact, SATNet has been successfully applied to learn, among others, the rules of a complex logical puzzle, such as Sudoku, just from input and output pairs where inputs are given as images. In this paper, we show how to improve the learning of SATNet by exploiting symmetries in the target rules of a given but unknown logical puzzle or more generally a logical formula. We present SymSATNet, a variant of SATNet that translates the given symmetries of the target rules to a condition on the parameters of SATNet and requires that the parameters should have a particular parametric form that guarantees the condition. The requirement dramatically reduces the number of parameters to learn for the rules with enough symmetries, and makes the parameter learning of SymSATNet much easier than that of SATNet. We also describe a technique for automatically discovering symmetries of the target rules from examples. Our experiments with Sudoku and Rubik’s cube show the substantial improvement of SymSATNet over the baseline SATNet. This is joint work with Sangho Lim and Eungyeol Oh.
2022-05-27 / 15:30 ~ 16:30
학과 세미나/콜로퀴엄 - 확률론: 인쇄
by 진우영()
The law of iterated logarithm (LIL) is a crowning achievement in classical probability theory that gives the sharp upper bound for the magnitude of fluctuations of a random walk. If each step has mean zero and variance one, then the upper bound (in certain sense) is given by \sqrt{2n\log\log n}, hence the name “iterated logarithm.” Despite being considered the “third fundamental limit theorem in probability” by some probabilists after the law of large numbers and the central limit theorem, its proof is not so accessible to non-experts. For instance, most textbooks either only consider special cases or use sophisticated machineries in their proofs. The purpose of this talk is to provide a relatively simple and elementary proof of the so-called Hartman—Wintner LIL. The idea is to generalize a proof of the central limit theorem (CLT), which will be also presented, to obtain a result on the rate of convergence in the CLT. First principles in probability (e.g. the second Borel—Cantelli lemma) are the only technical prerequisites.
2022-06-02 / 16:00 ~ 17:30
학과 세미나/콜로퀴엄 - 박사논문심사: 다수의 플레이어들의 최적 포트폴리오 선택과 목표기반 자산 관리를 이용한 동적 포트폴리오 할당 인쇄
by 박정인(KAIST)
심사위원장 : 최건호, 심사위원 : 곽도영(명예교수), 김동석(경영공학부), 권순식, 김완수
2022-06-02 / 15:00 ~ 16:30
학과 세미나/콜로퀴엄 - 박사논문심사: 미분 방정식 모델과 가우시안 확률과정을 이용한 헬스케어 시계열 데이터 분석에 대한 두 가지 연구 인쇄
by 홍재형(KAIST)
심사위원장 : 전현호, 심사위원 : 김용정, 박철우, 정연승, 이주호(김재철AI대학원)
2022-06-03 / 17:00 ~ 18:00
IBS-KAIST 세미나 - IBS-KAIST 세미나: 인쇄
by 박영민(부산광역시교육청)
이 ‘영어 논문 쓰기’ 워크숍은 현재의 영어 수준이나 과거의 영어 학습 경험과 상관 없이 누구나 영어 논문 쓰기를 시작할 수 있는 방법에 관한 것입니다. 우선 영어에 대한 막연한 두려움, 과거 경험으로 인한 자신감 부족, 게다가 ‘쓰기’라는 쉽지 않은 인지 활동, 심지어 논문이라는 큰 벽, 혹은 섣부른 자신감 등 ‘영어 논문 쓰기’를 방해하는 요인을 생각해 봅니다. 이런 요인을 자세하게 들여다보면 각각의 걸림돌을 넘어갈 방법도 명쾌하게 발견할 수 있습니다. 이 세미나에서 다룰 구체적 내용은 다음과 같습니다. - 한국인들이 ‘영어’와 ‘영어 쓰기’를 어렵게 느끼는 원인 이해하고 극복하기 - ‘읽기’와 ‘쓰기’의 서로 다른 두 가지 인지활동의 관련성 이해하고 적용하기 - 논문에 적합한 단어, 시제, 구두점 선택하고 사용하기 - 영문초록, 제목, 소제목 스타일 이해하고 작성하기 - 영어논문 쓰기를 돕는 디지털 도구 선택하고 활용하기 이 워크숍에서 안내될 몇 가지 방법은 영어 논문 쓰기가 더 이상 두려운 것이 아닌 연구자로서의 목표를 이루는 디딤돌이 되도록 할 것입니다.
2022-06-03 / 16:00 ~ 17:00
IBS-KAIST 세미나 - IBS-KAIST 세미나: 인쇄
by 원병묵(성균관대학교)
논문은 저자와 독자 사이의 학문적 소통을 위한 논리적인 글이다. 이번 강연을 통해 논문을 작성하기 위한 기본 원리를 배울 수 있다. 특히, 연구가 거의 마무리되는 시점에 (After completing your research), 연구 결과를 그림과 표로 잘 정리한 다음에 (Based on well-organized figures and tables), 본격적으로 논문 작성을 시작하는 (Compose your manuscript from a title to a conclusion) ‘ABC 논문 작성법’을 소개한다. 논문 작성의 준비 과정으로 (A와 B의 과정), 연구 노트 작성 방법, 저널 클럽 운영 방법, 한 페이지 활용 방법을 설명한다. 논문 작성 준비가 완료되면, 제목부터 결론까지 순서대 로 논문 원고를 작성할 수 있다 (C의 과정). 이렇게 하면, 단기간에 집중하여 효율적으 로 논문을 작성할 수 있다. *참고: 원병묵 교수의 과학 논문 쓰는 법
2022-05-31 / 16:00 ~ 17:15
SAARC 세미나 - SAARC 세미나: 인쇄
by 김영헌(브리티시컬럼비아 대학)

2022-05-27 / 10:00 ~ 11:00
SAARC 세미나 - SAARC 세미나: OptiDICE for Offline Reinforcement Learning 인쇄
by 김기응(한국과학기술원 AI대학원)
Offline reinforcement learning (RL) refers to the problem setting where the agent aims to optimize the policy solely from the pre-collected data without further environment interactions. In offline RL, the distributional shift becomes the primary source of difficulty, which arises from the deviation of the target policy being optimized from the behavior policy used for data collection. This typically causes overestimation of action values, which poses severe problems for model-free algorithms that use bootstrapping. To mitigate the problem, prior offline RL algorithms often used sophisticated techniques that encourage underestimation of action values, which introduces an additional set of hyperparameters that need to be tuned properly. In this talk, I present OptiDICE, an offline RL algorithm that prevents overestimation in a more principled way. OptiDICE directly estimates the stationary distribution corrections of the optimal policy and does not rely on policy-gradients, unlike previous offline RL algorithms. Using an extensive set of benchmark datasets for offline RL, OptiDICE is shown to perform competitively with the state-of-the-art methods. This is a joint work with Jongmin Lee (UC Berkeley), Wonseok Jeon (Qualcomm), Byung-Jun Lee (Korea U.), and Joelle Pineau (MILA)
2022-06-02 / 12:00 ~ 12:50
대학원생 세미나 - 대학원생 세미나: Transport properties of Gibbs and Gaussian measures under the flow of Hamiltonian PDEs 인쇄
by 성기훈(KAIST)
Transport properties of Gibbs and Gaussian measures under different transformations have been studied in probability theory. In this talk, I will discuss the invariance and quasi-invariance of Gaussian type measures on functions/distributions under the flow of Hamiltonian PDEs.
2022-06-02 / 16:15 ~ 17:15
학과 세미나/콜로퀴엄 - 콜로퀴엄: 인쇄
by ()
One of the important work in graph theory is the graph minor theory developed by Robertson and Seymour in 1980-2010. This provides a complete description of the class of graphs that do not contain a fixed graph H as a minor. Later on, several generalizations of H-minor free graphs, which are sparse, have been defined and studied. Also, similar topics on dense graph classes have been deeply studied. In this talk, I will survey topics in graph minor theory, and discuss related topics in structural graph theory.
2022-06-01 / 17:00 ~ 18:00
IBS-KAIST 세미나 - 수리생물학: 인쇄
by ()
Quantitative characterization of biomolecular networks is important for the analysis and design of network functionality. Reliable models of such networks need to account for intrinsic and extrinsic noise present in the cellular environment. Stochastic kinetic models provide a principled framework for developing quantitatively predictive tools in this scenario. Calibration of such models requires an experimental setup capable of monitoring a large number of individual cells over time, automatic extraction of fluorescence levels for each cell and a scalable inference approach. In the first part of the talk we will cover our microfluidic setup and a deep-learning based approach to cell segmentation and data extraction. The second part will introduce moment-based variational inference as a scalable framework for approximate inference of kinetic models based on single cell data.
Events for the 취소된 행사 포함 모두인쇄
export to Google calendar  .ics download