Formalization on Modern Coding Theory

现代编码理论的形式化

基本信息

  • 批准号：
    25289118
  • 负责人：
    Hagiwara Manabu
  • 金额：
    $ 10.9万
  • 依托单位：
    Chiba University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 财政年份：
    2013
  • 资助国家：
    日本
  • 起止时间：
    2013-04-01 至 2016-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
可変長情報源符号化定理の形式化の改良
改进的变长源编码定理的形式化
  • DOI：
  • 发表时间：
    2014
  • 期刊：
  • 影响因子：
    0
  • 作者：
    萩原学;小尾良介
  • 通讯作者：
    小尾良介
infotheoライブラリ
信息理论图书馆
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
順序のある代数系上の挿入削除誤り訂正符号
有序代数系统上的插入/删除纠错码
  • DOI：
  • 发表时间：
    2015
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Editor: H. Naito;（分担執筆）K. Okamotoほか;萩原学
  • 通讯作者：
    萩原学
Spatially-Coupled MacKay-Neal Codes with No Bit Nodes of Degree Two Achieve the Capacity of BEC
无二阶比特节点的空间耦合 MacKay-Neal 码实现了 BEC 的容量
  • DOI：
  • 发表时间：
    2014
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Takuya Okazaki;Kenta Kasai
  • 通讯作者：
    Kenta Kasai
Coq/SSReflectによる二元消失通信路の通信路容量の形式化
使用 Coq/SSReflect 对双擦除通道的通道容量进行形式化
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Hagiwara Manabu其他文献

Synthesis of Ca-Co hydroxides and their use in facile fabrication of textured CayCoO2 thermoelectric ceramics
Ca-Co氢氧化物的合成及其在织构化CayCoO2热电陶瓷的简易制造中的应用
  • DOI：
    10.1016/j.ceramint.2018.11.020
  • 发表时间：
    2019
  • 期刊：
    Ceramics International
  • 影响因子：
    5.2
  • 作者：
    Shimonishi Rina;Hagiwara Manabu;Fujihara Shinobu
  • 通讯作者：
    Fujihara Shinobu
Equivalence of Quantum Single Insertion and Single Deletion Error-Correctabilities, and Construction of Codes and Decoders
量子单插入和单删除纠错性的等价性以及编码器和解码器的构造
A number theoretic formula and asymptotic optimality of cardinalities of BAD correcting codes
BAD纠错码基数的数论公式及渐近最优性
  • DOI：
    10.1016/j.disc.2020.111852
  • 发表时间：
    2020
  • 期刊：
    Discrete Mathematics
  • 影响因子：
    0.8
  • 作者：
    Mori Takehiko;Hagiwara Manabu
  • 通讯作者：
    Hagiwara Manabu
光音響効果を用いた気相水分解反応の内部量子効率測定
利用光声效应测量气相水分解反应的内量子效率
  • DOI：
  • 发表时间：
    2022
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Sakamawari Kosuke;Hagiwara Manabu;Fujihara Shinobu;藤田壮陽，村上直也
  • 通讯作者：
    藤田壮陽，村上直也
The first quantum error-correcting code for single deletion errors
第一个针对单个删除错误的量子纠错码
  • DOI：
    10.1587/comex.2019xbl0154
  • 发表时间：
    2020
  • 期刊：
    IEICE Communications Express
  • 影响因子：
    0.3
  • 作者：
    Nakayama Ayumu;Hagiwara Manabu
  • 通讯作者：
    Hagiwara Manabu

Hagiwara Manabu的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Hagiwara Manabu', 18)}}的其他基金

Study on Insertion/Deletion by Mathematical Method of Root Systems
根系插入/删除的数学方法研究
  • 批准号：
    18H01435
  • 财政年份：
    2018
  • 资助金额：
    $ 10.9万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
Creation of dielectric materials for high-temperature capacitor applications using relaxor phases of A-site complex perovskites
使用 A 位复合钙钛矿的弛豫相创建用于高温电容器应用的介电材料
  • 批准号：
    16K18241
  • 财政年份：
    2016
  • 资助金额：
    $ 10.9万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
Automated Generation of No Logical Gap Readable Proof for Information Theory
自动生成信息论的无逻辑间隙可读证明
  • 批准号：
    16K12391
  • 财政年份：
    2016
  • 资助金额：
    $ 10.9万
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research

相似海外基金

量子情報理論による相転移点近傍の複雑性解析と量子コンピュータへの応用
使用量子信息理论进行相变点附近的复杂性分析及其在量子计算机中的应用
  • 批准号：
    24K06909
  • 财政年份：
    2024
  • 资助金额：
    $ 10.9万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
計算論および統計学にもとづく文字列の複雑度・類似度の定義とその情報理論的解析
基于计算理论和统计学的字符串复杂性和相似性的定义及其信息论分析
  • 批准号：
    24K14830
  • 财政年份：
    2024
  • 资助金额：
    $ 10.9万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Career: Reputation with Limited Information, Theory and Applications
职业：信息、理论和应用有限的声誉
  • 批准号：
    2337566
  • 财政年份：
    2024
  • 资助金额：
    $ 10.9万
  • 项目类别：
    Continuing Grant
Travel: NSF Student Travel Grant for the 2024 IEEE International Symposium on Information Theory (ISIT 2024)
旅行：2024 年 IEEE 国际信息论研讨会 (ISIT 2024) 的 NSF 学生旅行补助金
  • 批准号：
    2406983
  • 财政年份：
    2024
  • 资助金额：
    $ 10.9万
  • 项目类别：
    Standard Grant
Conference: Beyond IID in Information Theory 12
会议：信息论中的超越独立同分布 12
  • 批准号：
    2409823
  • 财政年份：
    2024
  • 资助金额：
    $ 10.9万
  • 项目类别：
    Standard Grant
Operator algebras and index theory in quantum walks and quantum information theory
量子行走和量子信息论中的算子代数和索引论
  • 批准号：
    24K06756
  • 财政年份：
    2024
  • 资助金额：
    $ 10.9万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
集団運動の多様性と複雑性の起源：内部状態をもつ自己駆動粒子の情報理論による展開
集体运动多样性和复杂性的起源：具有内态的自驱动粒子信息论的发展
  • 批准号：
    24KJ0900
  • 财政年份：
    2024
  • 资助金额：
    $ 10.9万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
Information Theory for Distributed AI (INFORMED-AI)
分布式人工智能信息论（INFORMED-AI）
  • 批准号：
    EP/Y028732/1
  • 财政年份：
    2024
  • 资助金额：
    $ 10.9万
  • 项目类别：
    Research Grant
量子論及び量子情報理論における普遍則
量子理论和量子信息论中的普遍规则
  • 批准号：
    24K06873
  • 财政年份：
    2024
  • 资助金额：
    $ 10.9万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Free Information Theory Techniques in von Neumann Algebras
冯诺依曼代数中的自由信息理论技术
  • 批准号：
    2348633
  • 财政年份：
    2024
  • 资助金额：
    $ 10.9万
  • 项目类别：
    Standard Grant
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了