A formal method for iterative numerical algorithms using declarative descriptions

使用声明性描述的迭代数值算法的形式方法

基本信息

项目摘要

项目成果

期刊论文数量（40）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
A Computational Model of Myocardial Microcirculation including Interstitial Flow
包括间质流的心肌微循环计算模型
  • DOI：
  • 发表时间：
    2017
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Takao Shimayoshi;Yuta Yamamoto;Tetsuya Matsuda
  • 通讯作者：
    Tetsuya Matsuda
Influence of Meshing on Simulation of Left Ventricular Wall Motion
网格划分对左心室壁运动模拟的影响
  • DOI：
  • 发表时间：
    2015
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Takao Shimayoshi;Ogawa Takafumi;Tetsuya Matsuda
  • 通讯作者：
    Tetsuya Matsuda
A Comparison of Recent Human Ventricular Myocyte Models using Mathematical Decomposition of Dynamics
使用动力学数学分解比较最新的人类心室肌细胞模型
  • DOI：
  • 发表时间：
    2016
  • 期刊：
  • 影响因子：
    0
  • 作者：
    山本 裕太;嶋吉 隆夫;松田 哲也;Takao Shimayoshi
  • 通讯作者：
    Takao Shimayoshi
Application of the Kalman Filter for Faster Strong Coupling of Cardiovascular Simulations
  • DOI：
    10.1109/jbhi.2015.2436212
  • 发表时间：
    2016-07
  • 期刊：
    IEEE Journal of Biomedical and Health Informatics
  • 影响因子：
    7.7
  • 作者：
    Yukiko Hasegawa;T. Shimayoshi;A. Amano;T. Matsuda
  • 通讯作者：
    Yukiko Hasegawa;T. Shimayoshi;A. Amano;T. Matsuda
Simulation System for Multiscale Biological Function Models that Require Complex Calculation Scheme
需要复杂计算方案的多尺度生物功能模型仿真系统
  • DOI：
    10.11239/jsmbe.53.115
  • 发表时间：
    2015
  • 期刊：
    Transactions of Japanese Society for Medical and Biological Engineering
  • 影响因子：
    0
  • 作者：
    Takao Shimayoshi;Chae Young Cha;Akira Amano;姫野友紀子，天野晃，野間昭典;天野 晃，プンザラン フローレンシオ ラスティ，嶋吉 隆夫，國枝 義敏
  • 通讯作者：
    天野 晃，プンザラン フローレンシオ ラスティ，嶋吉 隆夫，國枝 義敏
{{ 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 }}

Shimayoshi Takao其他文献

Evaluation of Cardiac Oxygen Consumption under Hypoxia with Tissue Model Integrating Microcirculation Model and Cell Model
微循环模型与细胞模型相结合的组织模型评价缺氧下心脏耗氧量
  • DOI：
  • 发表时间：
    2009
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Amano Akira;Kubota Yuuta;Shimayoshi Takao;Matsuda Tetsuya
  • 通讯作者：
    Matsuda Tetsuya
An approach to protein-protein docking
蛋白质-蛋白质对接的方法
  • DOI：
  • 发表时间：
    2009
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Amano Akira;Kubota Yuuta;Shimayoshi Takao;Matsuda Tetsuya;K.Sumikoshi
  • 通讯作者：
    K.Sumikoshi

Shimayoshi Takao的其他文献

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

相似海外基金

疑似多倍長演算による現代アーキテクチャに適した高速な数値計算アルゴリズムの創生
使用伪多精度运算创建适合现代架构的高速数值计算算法
  • 批准号：
    22KJ2741
  • 财政年份：
    2023
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
Merton問題に対する数値計算アルゴリズムの構築およびその収束に関する研究
默顿问题数值计算算法的构建及其收敛性研究
  • 批准号：
    21K03355
  • 财政年份：
    2021
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
数値計算の符号問題の解決に向けた基本アルゴリズムの開発と物理学の諸問題への適用
开发解决数值计算中符号问题的基本算法以及在物理中各种问题的应用
  • 批准号：
    20H01900
  • 财政年份：
    2020
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
超大規模行列関数を計算可能にする数値計算アルゴリズムの開発
开发可计算极大矩阵函数的数值计算算法
  • 批准号：
    18J22501
  • 财政年份：
    2018
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
レベル依存型のブロック構造を持つマルコフ連鎖の数値計算法
具有级依赖块结构的马尔可夫链数值计算方法
  • 批准号：
    18K04622
  • 财政年份：
    2018
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
離散可積分系の行列式解の漸近解析とその数値計算アルゴリズムへの応用
离散可积系统行列式解的渐近分析及其在数值计算算法中的应用
  • 批准号：
    15J00029
  • 财政年份：
    2015
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
擬似乱数と数値計算に関連する諸問題
与伪随机数和数值计算相关的问题
  • 批准号：
    12J07985
  • 财政年份：
    2012
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
減算のない非自励離散可積分系が創出する新たな箱玉系と数値計算アルゴリズムの研究
无减法非自激离散可积系统新型箱球系统及数值计算算法研究
  • 批准号：
    11J04105
  • 财政年份：
    2011
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
離散最適化技法による行列束のロバスト数値計算とシステム解析への応用
使用离散优化技术对矩阵束进行鲁棒数值计算并应用于系统分析
  • 批准号：
    17760065
  • 财政年份：
    2005
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
回転球面上渦運動の新しい高速・高精度数値計算法の開発とその数理解析
旋转球面上涡运动高速高精度数值计算新方法的研制及其数学分析
  • 批准号：
    17684002
  • 财政年份：
    2005
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Grant-in-Aid for Young Scientists (A)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了