[Mathematical Information Platform]Year Started : 2020

Affiliation and job title should automatically appear from the information that a researcher registered with researchmap.
Data may be outdated or undocumented.
When there is not a connection via the internet, data are not displayed.

Tetsuya Kobayashi

Decoding of Information in Multi-Sourced Chemical Mixtures and its Applications

Research Director
Outline

We will develop mathematical techniques for deciphering information conveyed by mixtures of complex chemical compounds from multiple sources. We aim to alleviate and solve combinatorial problems originating from mixing of chemicals by using physico-chemical constraints in chemical sensing. We also construct an integrative mathematical theory of chemical reaction dynamics with algebraic structures to comprehend the funcitons and constraints at the molecular, reaction, and dynamical levels. These techniques will be applied to designing multi-array chemical sensors and analyzing immunological, olfactory, and intracellular systems.

Kohei Suenaga

Formal Analysis and Design of AI-intensive Cyber-Physical

Research Director
Kohei Suenaga
 
Collaborators
Masako Kishida
Outline

Ensuring the safety and reliability of AI-intensive cyber-physical systems (AI-CPS) is a crucial issue that needs to be addressed. To this end, we study a mathematically-solid formal design method for AI-CPS. We also conduct case studies on various realistic models to demonstrate the effectiveness of our approach. In collaborating with the French research team, we will complement each other’s strengths and conduct research in a leveraged way.

Yoshie Sugiyama

Fusion of Mathematical Analysis and AI Technology using the wall micromotion based from medical images of 4D-CTA / 4D-MRA -Mathematical data science integrated simulation for preemptive medicine-

Research Director
Yoshie Sugiyama
 
Collaborators
Takuya Maekawa
Outline

Cerebral aneurysm is a high-risk disease with a case fatality rate of over 50% due to rupture. In recent years, a minimally invasive observation method has been established by “CT tomography / magnetic resonance imaging” instead of “direct viewing” in highly invasive craniotomy.
In this research, we will develop a technology to estimate the “wall properties of cerebral aneurysm” by making full use of fusion of mathematical analysis and AI technology based on medical images from 4D-CTA / 4D-MRA.
Furthermore, we will demonstrate its effectiveness through a number of cases, and attempt to automate the protcol for implementation, within society.

Hirofumi Notsu

Performance improvement of physical reservoir computing based on the theory of dynamical systems

Research Director
Collaborators
Hayato Chiba
Kohei Nakajima
Outline

Physical reservoir computing (PRC) is a recently introduced information processing framework that employs a physical nonlinear dynamical system as a computational resource. PRC has advantages such as a low computational cost and a fast optimization. In this research, to figure out the potential information processing capability of a PRC, a mathematical theory for a PRC based on the theory of dynamical systems together with its mathematical model and numerical analysis for reducing the computation cost will be developed, and a real implementation of such a PRC will be studied. In the end, a theory for the design of high performance reservoirs will be established and contributed to the next generation of information processing technology.

Kenji Fukumizu

Innovation of Deep Structured Models with Representation of Mathematical Intelligence

Research Director
Collaborators
Taiji Suzuki
Tatsuya Harada
Outline

To realize technological leap in the computational principles of artificial intelligence using mathematical intelligence representations, we will study the following three topics. (a) We will study mathematical intelligence representations using algebraic structures and differential equations to establish new design methods for deep structured models. (b) We will study functional representations and regularization to elucidate the significance of deep and redundant models, and study efficient optimization methodology. (c) We will study practical intelligent systems by investigating images, video, audio, and their integration with natural language, aiming at connecting developed models and methods with social issues.

Quick Access

Program

  • CREST
  • PRESTO
  • ACT-I
  • ERATO
  • ACT-X
  • ACCEL
  • ALCA
  • RISTEX
  • manual
  • AIP Network Lab
  • JST ProjectDB
  • Global Activities
  • Diversity
  • SDGs
  • OSpolicy
  • Yuugu
  • Questions