A formal method for iterative numerical algorithms using declarative descriptions
A formal method for iterative numerical algorithms using declarative descriptions
使用声明性描述的迭代数值算法的形式方法
批准号：
26540028
负责人：
Shimayoshi Takao
金额：
$2.33万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-04-01 至 2017-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(40)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Takao Shimayoshi, Yuta Yamamoto, Tetsuya Matsuda]
通讯作者：
Tetsuya Matsuda
Influence of Meshing on Simulation of Left Ventricular Wall Motion
网格划分对左心室壁运动模拟的影响
网格划分对左心室壁运动模拟的影响
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Takao Shimayoshi, Ogawa Takafumi, Tetsuya Matsuda]
通讯作者：
Tetsuya Matsuda
A Comparison of Recent Human Ventricular Myocyte Models using Mathematical Decomposition of Dynamics
使用动力学数学分解比较最新的人类心室肌细胞模型
使用动力学数学分解比较最新的人类心室肌细胞模型
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[山本 裕太, 嶋吉 隆夫, 松田 哲也, Takao Shimayoshi]
通讯作者：
Takao Shimayoshi
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
影响因子：
--
作者：
[Takao Shimayoshi, Chae Young Cha, Akira Amano, 姫野友紀子，天野晃，野間昭典, 天野 晃，プンザラン フローレンシオ ラスティ，嶋吉 隆夫，國枝 義敏]
通讯作者：
天野 晃，プンザラン フローレンシオ ラスティ，嶋吉 隆夫，國枝 義敏
共 17 条
海外基金