Wednesday, November 30, 2022

2022-12-02 / 11:00 ~ 12:00

by 이창옥()

Metal artifact reduction has become a challenging issue for practical X-ray CT applications since metal artifacts severely cause contrast degradation and the misinterpretation of information about the property and structure of a scanned object. In this talk, we propose a methodology to reduce metal artifacts by extending the method proposed by Jeon and Lee (2018) to a three-dimensional industrial cone beam CT system. We develop a registration technique managing the three dimensional data in order to find accurate segmentation regions needed for the proposed algorithm. Through various simulations and experiments, we verify that the proposed algorithm reduces metal artifacts successfully.

2022-12-06 / 13:00 ~ 14:00

학과 세미나/콜로퀴엄 - 박사논문심사:

by ()

2022-12-02 / 11:00 ~ 12:00

IBS-KAIST 세미나 - 수리생물학:

by ()

The ability to reliably engineer the mammalian cell will impact a variety of applications in a disruptive way, including cell fate control and reprogramming, targeted drug delivery, and regenerative medicine. However, our current ability to engineer mammalian genetic circuits that behave as predicted remains limited. These circuits depend on the intra and extra cellular environment in ways that are difficult to anticipate, and this fact often hampers genetic circuit performance. This lack of robustness to poorly known and often variable cellular environment is the subject of this talk. Specifically, I will describe control engineering approaches that make the performance of genetic devices robust to context. I will show a feedforward controller that makes gene expression robust to variability in cellular resources and, more generally, to changes in intra-cellular context linked to differences in cell type. I will then show a feedback controller that uses bacterial two component signaling systems to create a quasi-integral controller that makes the input/output response of a genetic device robust to a variety of perturbations that affect gene expression. These solutions support rational and modular design of sophisticated genetic circuits and can serve for engineering biological circuits that are more robust and predictable across changing contexts.

2022-11-30 / 16:00 ~ 17:00

IBS-KAIST 세미나 - 수리생물학:

by ()

TBA

2022-12-02 / 16:00 ~ 17:00

학과 세미나/콜로퀴엄 - PDE 세미나:

by ()

In a region closer to the boundary compared to Prandtl layer, an inviscid disturbance can be manifested by the interaction with viscous mode via the no-slip boundary condition due to resonance. In some unstable range of parameters, this leads to instability in the transition regime from laminar flow to turbulence. This instability phenomenon was observed by physicists long time ago, such as Heisenberg, Tollmien and C.C. Lin, etc. And it was justified rigorously in mathematics by Grenier-Guo-Nguyen using the incompressible Navier-Stokes equation. In this talk, we will present some results on this phenomenon in some other physical situations in which the governing system is either MHD or compressible Navier-Stokes equation. The talk is based on some recent joint work with Chengjie Liu and Zhu Zhang.

2022-12-06 / 16:30 ~ 17:30

IBS-KAIST 세미나 - 이산수학: Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes

by Giannos Stamoulis(LIRMM, Université de Montpellier)

The disjoint paths logic, FOL+DP, is an extension of First Order Logic (FOL) with the extra atomic predicate $\mathsf{dp}_k(x_1,y_1,\ldots,x_k,y_k),$ expressing the existence of internally vertex-disjoint paths between $x_i$ and $y_i,$ for $i\in \{1,\ldots, k\}$. This logic can express a wide variety of problems that escape the expressibility potential of FOL. We prove that for every minor-closed graph class, model-checking for FOL+DP can be done in quadratic time. We also introduce an extension of FOL+DP, namely the scattered disjoint paths logic, FOL+SDP, where we further consider the atomic predicate $\mathsf{s-sdp}_k(x_1,y_1,\ldots,x_k,y_k),$ demanding that the disjoint paths are within distance bigger than some fixed value $s$. Using the same technique we prove that model-checking for FOL+SDP can be done in quadratic time on classes of graphs with bounded Euler genus. Joint work with Petr A. Golovach and Dimitrios M. Thilikos.

2022-12-01 / 11:50 ~ 12:30

대학원생 세미나 - 대학원생 세미나: Linear algebraic groups and related structures

by 김영종(KAIST)

In this talk, I will give a brief introduction of what a linear algebraic group is and how it is structured. Then I will talk about the Galois descent related to linear algebraic groups. At last, I will explain what a torsor is and how it is related to other algebraic structures.

Events for the 취소된 행사 포함