1. Structures of Formal Proofs

    Fitch is a formal proof system recently gaining momentum in logic education due to its structural similarity to human reasoning. We introduce Fitch via its web-implementation at Then we compare Fitch with more well-...
    Category수학강연회 소속경북대학교 강연자정주희
    Read More
  2. Spectral Analysis for the Anomalous Localized Resonance by Plasmonic Structures

    We present a mathematical justification of cloaking due to anomalous localized resonance (CALR). We consider the dielectric problem with a source term in a structure with a layer of plasmonic material. Using layer potentials and symmetrizati...
    Category수학강연회 소속인하대학교 강연자강현배
    Read More
  3. Space.Time.Noise

    It has been more than thirty years since white noise analysis was launched systematically. It is now a good time to have an overview of the theory and to reflect on its advantages in order to anticipate further developments of this theory. O...
    Category수학강연회 소속Meijo University 강연자Takeyuki Hida
    Read More
  4. Solver friendly finite element methods

    In this talk, numerical methods to solve second-order elliptic partial dierential equations will be presented. First, some of the existing methods, such as the standard Galerkin method, mixed nite element methods etc., will be briey discusse...
    Category수학강연회 소속Oklahoma State Univ. 강연자구자언
    Read More
  5. Sheaf quantization of Hamiltonian isotopies and non-displacability problems

    Sheaf quantization of Hamiltonian isotopies and non-displacability problems
    Category수학강연회 소속Kyoto Univ./서울대학교 강연자Masaki Kashiwara
    Read More
  6. Seoul ICM 2014 유치과정 개요 및 준비전략

    국제수학자대회(ICM, International Congress of Mathematicians)는 1897년 쮜리히에서 처음 개최되었고, 매 4년마다 개최된다. 100여국 4천여 명 정도의 규모로 9일 동안 계속된다. 우리시대 최고의 수학자들이 참여하며, 필즈상(Fields Medal)을 개막식에서 ...
    Category수학강연회 소속포항공과대학교 강연자박형주
    Read More
  7. Seifert fiberings

    There are three Bieberbach theorems on flat Riemannian manifolds; characterization, rigidity and finiteness. These extend to almost flat manifolds. We discuss characterization, rigidity and finiteness of infra-nilmanifolds (almost flat manif...
    Category수학강연회 소속University of Oklahoma 강연자이경배
    Read More
  8. Seeded Ising Model for Human Iris Templates and Secure Distributed Iris Recognition

    Category수학강연회 소속서울대학교 강연자최형인
    Read More
  9. Root multiplicities of hyperbolic Kac-Moody algebras and Fourier coefficients of modular forms

    In this talk, we will consider the hyperbolic Kac-Moody algebra associated to a certain rank 3 Cartan matrix and generalized Kac-Moody algebras that contain the hyperbolic Kac-Moody algebra. The denominator funtions of the generalized Kac-Mo...
    Category수학강연회 소속Univ. of Connecticut 강연자이규환
    Read More
  10. Role of Computational Mathematics and Image Processing in Magnetic Resonance Electrical Impedance Tomography (MREIT)

    Magnetic Resonance Electrical Impedance Tomography (MREIT) is a late medical imaging modality visualizing static conductivity images of electrically conducting subjects. When we inject current into the object, it produces internal distributi...
    Category수학강연회 소속KAIST 강연자이창옥
    Read More
  11. Riemann-Hilbert correspondence for irregular holonomic D-modules

    The original Riemann-Hilbert problem is to construct a liner ordinary differential equation with regular singularities whose solutions have a given monodromy. Nowadays, it is formulated as a categorical equivalence of the category of regular...
    Category수학강연회 소속서울대학교/RIMS 강연자Masaki Kashiwara
    Read More
  12. Restriction theorems for real and complex curves

    We will talk about the Fourier restriction theorems for non-degenerate and degenerate curves in Euclidean space Rd. This problem was first studied by E. M. Stein and C. Fefferman for the circle and sphere, and it still remains an unsolved pr...
    Category수학강연회 소속포항공과대학교 강연자박종국
    Read More
  13. Regularization by noise in nonlinear evolution equations

    There are some phenomena called "regularization by noise" in nonlinear evolution equations. This means that if you add a noise to the system, the system would have a better property than without noise. As one of examples, I will explain this...
    Category특별강연 소속Dep. Math., Kyoto Univ. 강연자Yoshio Tsutsumi
    Read More
  14. Regularity theory for non-autonomous elliptic equations in divergence form

    Category수학강연회 소속서강대학교 강연자옥지훈
    Read More
  15. Regularity of solutions of Hamilton-Jacobi equation on a domain

    Category특별강연 소속ENS-Lyon 강연자Albert Fathi
    Read More
  16. Recommendation system and matrix completion: SVD and its applications (학부생을 위한 강연)

    이 강연에서는 최근 음악, 영화 추천 등 다양한 Recommendation System의 기본 아이디어인 Matrix Completion 문제와, 이를 해결하기 위해 Singular Value Decomposition을 통한 차원 축소 및 내재 공간 학습이 어떤 원리로 이루어 지는지 설명합니다. 그리고 ...
    Category수학강연회 소속서울대 전기공학부 강연자정교민
    Read More
  17. Recent progress on the Brascamp-Lieb inequality and applications

    In his survey paper in the Bulletin of the AMS from 2002, R. J. Gardner discussed the Brunn-Minkowski inequality, stating that it deserves to be better known and painted a beautiful picture of its relationship with other inequalities in anal...
    Category수학강연회 소속Saitama University 강연자Neal Bez
    Read More
  18. Randomness of prime numbers

    Ergodic theory of horocycle flow and nilflow has been proved to be useful for analyzing the randomness of Mobius function, a function which reveals the mystery of prime numbers. In this survey talk, we will introduce Mobius function and seve...
    Category수학강연회 소속서울대학교 강연자임선희
    Read More
  19. Random walks in spaces of negative curvature

    Given a group of isometries of a metric space, one can draw a random sequence of group elements, and look at its action on the space.  What are the asymptotic properties of such a random walk?  The answer depends on the geometry of the space...
    Category수학강연회 소속Yale Univ. 강연자Giulio Tiozzo
    Read More
  20. Random matrices and operator algebras

    Free probability is a young mathematical theory that started in the theory of operator algebras. One of the main features of free probability theory is its connection with random matrices. Indeed, free probability provides operator algebrai...
    Category수학강연회 소속서울대학교 수학교육과 강연자윤상균
    Read More
Board Pagination Prev 1 2 3 4 5 6 7 8 9 10 11 12 13 14 Next
/ 14