Supporting Manufacturing by Category Theory and Mathematical Logic: Transfer of Software Science to Systems Engineering
Supporting Manufacturing by Category Theory and Mathematical Logic: Transfer of Software Science to Systems Engineering
用范畴理论和数理逻辑支持制造：软件科学向系统工程的转移
批准号：
15KT0012
负责人：
Hasuo Ichiro
金额：
$11.56万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-07-10 至 2020-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(114)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Waterloo 大学(カナダ)
滑铁卢大学（加拿大）
滑铁卢大学（加拿大）
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
DOI：
10.1109/tcad.2018.2858463
发表时间：
2018
期刊：
Proc. EMSOFT 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
影响因子：
--
作者：
[Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini, Ichiro Hasuo]
通讯作者：
Ichiro Hasuo
Moore-Machine Filtering for Timed and Untimed Pattern Matching
用于定时和不定时模式匹配的摩尔机器过滤
用于定时和不定时模式匹配的摩尔机器过滤
DOI：
10.1109/tcad.2018.2857358
发表时间：
2018
期刊：
Proc. EMSOFT 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
影响因子：
--
作者：
[Masaki Waga, Ichiro Hasuo]
通讯作者：
Ichiro Hasuo
研究代表者個人ウェブページ
研究代表个人网页
研究代表个人网页
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
自動照明装置，及びプログラム
自动照明设备及方案
自动照明设备及方案
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[]
通讯作者：
共 66 条
Taming New Computing Paradigms: Diverse Techniques in Semantics United, Enhanced and Applied
-
批准号：24680001
-
项目类别：Grant-in-Aid for Young Scientists (A)
-
资助金额：$12.31万
-
财政年份：2012
-
负责人：Hasuo Ichiro
-
依托单位：
海外基金