MABUCHI Hiroshi 馬淵浩司

… Alternative Names

馬淵浩司マブチヒロシ

Less

Researcher Number	20281545
Other IDs
Affiliation (Current)	2025: 岩手県立大学, ソフトウェア情報学部, 教授
Affiliation (based on the past Project Information) *help	2010: 公立大学法人岩手県立大学, ソフトウェア情報学部, 准教授 2009 – 2010: 岩手県立大学, ソフトウェア情報学部, 准教授 2008: 公立大学法人岩手県立大学, ソフトウェア情報学部, 准教授 2007 – 2008: 岩手県立大学, 情報ソフトウェア学部, 准教授 2005 – 2006: 岩手県立大学, 情報ソフトウェア学部, 助教授
Review Section/Research Field	Except Principal Investigator Computer system/Network / Media informatics/Database
Keywords	Except Principal Investigator 特徴抽出 / 移動通信 / 行動理解 / 位置管理 / モバイルネットワーク技術 / 適応 / 例に導かれた探索 / 一般論理構造 / 論理等価式 / 質問応答問題 … More / 意味保存スコーレム化 / スコーレム化 / 等価変換 / 正当性 / 開世界問題 / プログラム生成 / 求解問題 / セマンテックWeb Less

Autonomous User-adaptive Mobility Pattern Modeling for Efficient Communication in Post 4-G Mobile Network
- Principal Investigator
  
  CHAKRAKORTY Goutam
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Computer system/Network
- Research Institution
  Iwate Prefectural University
Research on Basic Technique for Construction of Adaptive Semantic Web
- Principal Investigator
  
  AKAMA Kiyoshi
- Project Period (FY)
  2005 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Media informatics/Database
- Research Institution
  Hokkaido University

All 2010 2009 2008 2007 2006 2005

All Journal Article Presentation

[Journal Article] Creation of ET Rules from Logical Formulas representing Equivalent Relations2009
- Author(s)
  Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
- Journal Title
  
  International Journal of Innovative Computing, Information and Control (IJICIC) vol.5, no.2
  
  Pages: 263-277
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] Generating Functionality-based Rules for Program Construction2009
- Author(s)
  Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
- Journal Title
  
  International Journal of Innovative Computing, Information and Control (IJICIC) vol.5, no.9(掲載決定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] An Efficient Location Management Based on Delay Information for Mobile Communication2008
- Author(s)
  Daisuke Senzaki, Goutam Chakraborty, M. Matsuhara and H. Mabuchi
- Journal Title
  
  Journal of Information Processing Society of Japan
  
  Volume: Vol.49, No.1 Pages: 322-334
- NAID
  110006595154
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500071
[Journal Article] Algorithmic Debugging of Equivalent Transformation Programs Based on Differences in Certainty of Rules2008
- Author(s)
  Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi
- Journal Title
  
  Proceedings of the 9th International Conference on Intelligent Technologies (InTech'08)
  
  Pages: 103-112
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] Generating Speq Rules based on Automatic Proof of Logical Equivalence2008
- Author(s)
  Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
- Journal Title
  
  International Journal of Computer Science (IJCS) vol.3, no.3
  
  Pages: 190-198
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain2005
- Author(s)
  Hiroshi Mabuchi
- Journal Title
  
  Proc.of the 2005 International Conference on Artificial Intelligence (ICAI'05) Vol.II
  
  Pages: 627-633
- Data Source
  KAKENHI-PROJECT-17300027
[Presentation] An Efficient Method to Set RBF Network Paramters Based on SOM Training2010
- Author(s)
  Kazuhiko Yamashita, Groutam Chakraborty, Hiroshi Mabuchi, Masafumi Matsuhara
- Organizer
  Proceedings of the IEEE international Conference on Computer and Information Technology
- Place of Presentation
  イギリス
- Data Source
  KAKENHI-PROJECT-20500071
[Presentation] How best to restore operations of a Damaged ANN?2010
- Author(s)
  Goutam Chakraborty, Hideyuki Kurokawa, Basabi Chakraborty, Masafumi Matsuhara, Hiroshi Mabuchi, Yasuo Terayama
- Organizer
  Proceedings of the IEEE World Congress on Computational Intelligence
- Place of Presentation
  スペイン
- Data Source
  KAKENHI-PROJECT-20500071
[Presentation] How best to restore operations of a Damaged ANN?2010
- Author(s)
  Goutam Chakraborty, H.Kurokawa, B.Chakraborty, M.Matsuhara, H.Mabuchi, Y.Terayama
- Organizer
  IEEE World Congress on Computational Intelligence
- Place of Presentation
  Spain
- Data Source
  KAKENHI-PROJECT-20500071
[Presentation] An Efficient Method to Set RBF Network Paramters Based on SOM Training2010
- Author(s)
  Kazuhiko Yamashita, Goutam Chakraborty, Hiroshi Mabuchi, Masafumi Matsuhara
- Organizer
  IEEE international Conference on Computer and Information Technology
- Place of Presentation
  England
- Data Source
  KAKENHI-PROJECT-20500071
[Presentation] Creation of ET Rules via Logical Equivalence2009
- Author(s)
  Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
- Organizer
  Proceeding of the Second International Conference on Innovative Computing, Information and Control (ICICIC2007), ICICIC-2007-2149, JAPAN ISBN : 0-7695-2882-1
- Place of Presentation
  Kumamoto
- Data Source
  KAKENHI-PROJECT-17300027
[Presentation] Construction of Equivalent Transformation Rules from Logical Equivalence2007
- Author(s)
  Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
- Organizer
  Proceedings of the Eighth International Conference on Intelligent Technologi es (InTech'07)
- Place of Presentation
  Sydney, Australia
- Data Source
  KAKENHI-PROJECT-17300027
[Presentation] Construction of Equivalent Transformation Relations of Definite Clauses from Logical Equivalence2006
- Author(s)
  Katsunori Miura, Kiyoshi Akama, Yoshinori Shigeta, and Hiroshi Mabuchi
- Organizer
  Proceedings of the 7th international conference on intelligent technologies (InTech'06)
- Place of Presentation
  Taipei Taiwan
- Data Source
  KAKENHI-PROJECT-17300027

1. AKAMA Kiyoshi (50126265)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
2. CHAKRAKORTY Goutam (50250840)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
3. MATUHARA Masafumi (70363728)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
4. CHAKRABORTY Bababi (90305293)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. CHAKRABORTY Basabi

# of Collaborated Projects: 0 results

# of Collaborated Products: 5 results

MABUCHI Hiroshi 馬淵 浩司

馬淵 浩司 マブチ ヒロシ

Research Projects

Research Products

Co-Researchers

Autonomous User-adaptive Mobility Pattern Modeling for Efficient Communication in Post 4-G Mobile Network

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Basic Technique for Construction of Adaptive Semantic Web

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Creation of ET Rules from Logical Formulas representing Equivalent Relations2009

Author(s)

Journal Title

Data Source

[Journal Article] Generating Functionality-based Rules for Program Construction2009

Author(s)

Journal Title

Data Source

[Journal Article] An Efficient Location Management Based on Delay Information for Mobile Communication2008

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Algorithmic Debugging of Equivalent Transformation Programs Based on Differences in Certainty of Rules2008

Author(s)

Journal Title

Data Source

[Journal Article] Generating Speq Rules based on Automatic Proof of Logical Equivalence2008

Author(s)

Journal Title

Data Source

[Journal Article] Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain2005

Author(s)

Journal Title

Data Source

[Presentation] An Efficient Method to Set RBF Network Paramters Based on SOM Training2010

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] How best to restore operations of a Damaged ANN?2010

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] How best to restore operations of a Damaged ANN?2010

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] An Efficient Method to Set RBF Network Paramters Based on SOM Training2010

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] Creation of ET Rules via Logical Equivalence2009

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] Construction of Equivalent Transformation Rules from Logical Equivalence2007

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] Construction of Equivalent Transformation Relations of Definite Clauses from Logical Equivalence2006

Author(s)

Organizer

Place of Presentation

Data Source

MABUCHI Hiroshi 馬淵浩司

馬淵浩司マブチヒロシ