Thursday, May 26, 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-05-26 / 16:00 ~ 17:30
학과 세미나/콜로퀴엄 - 박사논문심사: 깁스 그리고 가우시안 측도들의 해밀토니안 편미분 방정식들의 흐름에 따른 운송 성질들 인쇄
by 성기훈(KAIST)
심사위원장 : 권순식, 심사위원 : 배명진, 남경식, Yoshio Tsutsumi(Kyoto University), Mamoru Okamoto(Osaka University)
2022-05-31 / 16:00 ~ 17:15
SAARC 세미나 - SAARC 세미나: 인쇄
by 김영헌(브리티시컬럼비아 대학)

2022-05-26 / 14:30 ~ 15:45
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-05-26 / 12:00 ~ 12:25
대학원생 세미나 - 대학원생 세미나: Spectrum of sparse random graphs and related problems 인쇄
by 이재훈(KAIST)
Around early 2010, there was a huge success in understanding the spectrum of large random matrices, in other words, large random graphs. It was only for large but dense random graphs at first. However, as random matrix theory has been developed, there is some progress in sparse cases. In this short talk, I will review a series of results for spectral statistics of sparse random graphs and explain their implications.
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-05-26 / 12:25 ~ 12:50
대학원생 세미나 - 대학원생 세미나: Deriving Stationary distributions from an underlying graph structure 인쇄
by 홍혁표(KAIST)
Randomness of biochemical reactions is inherent in various biological systems, from DNA to organs and the human body. These stochastic dynamics are frequently modeled using a continuous-time Markov chain (CTMC). Its long-term behavior is described by a stationary distribution, corresponding to its deterministic counterpart called a steady state. Stationary distribution can be derived analytically only in limited systems such as linear or finite-state systems. In this talk, I will introduce a recent result by Anderson, Craciun, and Kurtz deriving stationary distribution from the underlying graph structure of a reaction network and how we can extend it. For those who are first told the word 'Mathematical Biology,' I will briefly introduce mathematical biology before going into the detailed topic.
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-05-26 / 16:15 ~ 17:15
학과 세미나/콜로퀴엄 - 콜로퀴엄: 인쇄
by ()
Inside living cells, chemical reactions form a large web of networks and they are responsible for physiological functions. Understanding the behavior of complex reaction networks is a challenging and interesting task. In this talk, I would like to illustrate how the methods of algebraic topology can shed light on the properties of chemical reaction systems. In particular, we discuss the following two problems: (1) response of reaction systems to external perturbations and (2) simplification of complex reaction networks without altering the behavior of the system.
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