刷新
{{item.name}}会员
A discrete execution model of dense-timed programs
密集时间程序的离散执行模型
基本信息
- 批准号：17K19969
- 负责人：
- 金额：$ 3.99万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Challenging Research (Exploratory)
- 财政年份：2017
- 资助国家：日本
- 起止时间：2017-06-30 至 2020-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（8）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
サンプリング時間実行におけるUppaalを用いたYampaプログラムの振舞い検証
在采样时间执行期间使用 Uppaal 验证 Yampa 程序行为
- DOI：
- 发表时间：2020
- 期刊：
- 影响因子：0
- 作者：Y. Ono;K. Esaki;Y. Takahashi;M. Nakabayashi;M. Ichinose;K. J. Lee;中根里空,結縁祥治
- 通讯作者：中根里空,結縁祥治
Session-ocaml: A Session-Based Library with Polarities and Lenses
Session-ocaml：具有极性和透镜的基于会话的库
- DOI：10.1007/978-3-319-59746-1_6
- 发表时间：2017
- 期刊：
- 影响因子：0
- 作者：Imai Keigo;Yoshida Nobuko;Yuen Shoji
- 通讯作者：Yuen Shoji
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ 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 }}
YUEN SHOJI其他文献
YUEN SHOJI的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('YUEN SHOJI', 18)}}的其他基金
A reversible debugging model for real-time concurrent programs
一种实时并发程序的可逆调试模型
- 批准号：
17H01722 - 财政年份：2017
- 资助金额：
$ 3.99万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
相似海外基金
連続時間ゲームにおける戦略の制限
连续时间博弈中策略的局限性
- 批准号：
24K04797 - 财政年份：2024
- 资助金额：
$ 3.99万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
連続時間量子フィードバック制御によるロバストな量子誤り訂正の開発
使用连续时间量子反馈控制开发鲁棒量子纠错
- 批准号：
23K26126 - 财政年份：2024
- 资助金额：
$ 3.99万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
SERVICES TO EXTEND METHODS FOR RISK PREDICTION WITH A CONTINUOUS TIME MODEL FOR SURVIVAL UNDER COMPETING RISKS
通过连续时间模型扩展风险预测方法的服务，以实现竞争风险下的生存
- 批准号：
10974264 - 财政年份：2023
- 资助金额：
$ 3.99万 - 项目类别：
連続時間量子ウォークによる量子探索アルゴリズムに関する研究
使用连续时间量子行走的量子搜索算法研究
- 批准号：
23K13017 - 财政年份：2023
- 资助金额：
$ 3.99万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
CAREER: New Frontiers in Continuous-time Open Quantum Systems
职业：连续时间开放量子系统的新领域
- 批准号：
2238766 - 财政年份：2023
- 资助金额：
$ 3.99万 - 项目类别：
Continuing Grant
MACON-QC: Many-Body Phases In Continuous-Time Quantum Computation
MACON-QC：连续时间量子计算中的多体相
- 批准号：
EP/Y004590/1 - 财政年份：2023
- 资助金额：
$ 3.99万 - 项目类别：
Research Grant
Development of Robust Quantum Error Correction by Continuous-Time Quantum Feedback Control
通过连续时间量子反馈控制开发鲁棒量子纠错
- 批准号：
23H01432 - 财政年份：2023
- 资助金额：
$ 3.99万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
CAREER: Transforming Distribution System Situational Awareness via Continuous-Time Adaptive Data Fusion
职业：通过连续时间自适应数据融合改变配电系统态势感知
- 批准号：
2348289 - 财政年份：2023
- 资助金额：
$ 3.99万 - 项目类别：
Continuing Grant
連続時間確率最適制御における下方リスク最小化問題の数値解析
连续时间随机最优控制中下行风险最小化问题的数值分析
- 批准号：
23K16843 - 财政年份：2023
- 资助金额：
$ 3.99万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Data-driven iterative learning control for continuous-time systems
连续时间系统的数据驱动迭代学习控制
- 批准号：
2891700 - 财政年份：2023
- 资助金额：
$ 3.99万 - 项目类别：
Studentship