刷新
Detection of Unexpected by Runtime Goal Model Tracking
通过运行时目标模型跟踪检测意外情况
基本信息
- 批准号：15K12012
- 负责人：
- 金额：$ 2.08万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Challenging Exploratory Research
- 财政年份：2015
- 资助国家：日本
- 起止时间：2015-04-01 至 2017-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
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 }}
Ishikawa Fuyuki其他文献
Is Space-Efficient Polymorphic Gradual Typing Possible?
节省空间的多态渐进类型可能吗？
- DOI：
- 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Stankaitis Paulius;Iliasov Alexei;Kobayashi Tsutomu;Ait-Ameur Yamine;Ishikawa Fuyuki;Romanovsky Alexander;Shota Ozaki - 通讯作者：
Shota Ozaki
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement
在事件 B 中嵌入近似：使用证明和细化的安全混合系统设计
- DOI：
- 发表时间：
2020 - 期刊：
- 影响因子：0
- 作者：
Dupont Guillaume;Ait-Ameur Yamine;Singh Neeraj K.;Ishikawa Fuyuki;Kobayashi Tsutomu;Pantel Marc - 通讯作者：
Pantel Marc
Deadline-Constrained Cost Optimization Approaches for Workflow Scheduling in Clouds
云中工作流调度的期限约束成本优化方法
- DOI：
10.1109/tpds.2017.2735400 - 发表时间：
2017-12 - 期刊：
- 影响因子：5.3
- 作者：
Wu Quanwang;Zhu Qingsheng;Xia Yunni;Ishikawa Fuyuki;Wen Junhao;Wu QW - 通讯作者：
Wu QW
ゲノム不安定性を解析するためのツールとしてのscRepli-seq
scRepli-seq 作为分析基因组不稳定性的工具
- DOI：
- 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
Luqman-Fatah Ahmad;Watanabe Yuzo;Uno Kazuko;Ishikawa Fuyuki;Moran John V.;Miyoshi Tomoichiro;竹林慎一郎 - 通讯作者：
竹林慎一郎
The interferon stimulated gene-encoded protein HELZ2 inhibits human LINE-1 retrotransposition and LINE-1 RNA-mediated type I interferon induction
干扰素刺激的基因编码蛋白 HELZ2 抑制人 LINE-1 逆转录转座和 LINE-1 RNA 介导的 I 型干扰素诱导
- DOI：
10.1101/2022.03.26.485892 - 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
Luqman-Fatah Ahmad;Watanabe Yuzo;Ishikawa Fuyuki;Moran John V.;Miyoshi Tomoichiro - 通讯作者：
Miyoshi Tomoichiro
Ishikawa Fuyuki的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Ishikawa Fuyuki', 18)}}的其他基金
Continuous and Flexible Sophistication and Evolution of Assured Multi-Level System Models
有保证的多级系统模型的持续灵活的复杂性和演化
- 批准号：
17H01727 - 财政年份：2017
- 资助金额：
$ 2.08万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Transactions of telomere components
端粒成分的交易
- 批准号：
15H02383 - 财政年份：2015
- 资助金额：
$ 2.08万 - 项目类别：
Grant-in-Aid for Scientific Research (A)
Identification of low-dose stress-responsive pathways
低剂量应激反应途径的鉴定
- 批准号：
15K14449 - 财政年份：2015
- 资助金额：
$ 2.08万 - 项目类别：
Grant-in-Aid for Challenging Exploratory Research
Research on Complexity Distribution and Consistency Assurance in Stepwise Refinement
逐步求精中的复杂度分布与一致性保证研究
- 批准号：
26700005 - 财政年份：2014
- 资助金额：
$ 2.08万 - 项目类别：
Grant-in-Aid for Young Scientists (A)
相似海外基金
不確かさを考慮したテキストの潜在的な非線形構造の定量化
考虑不确定性量化文本的潜在非线性结构
- 批准号：
24KJ0666 - 财政年份：2024
- 资助金额：
$ 2.08万 - 项目类别：
Grant-in-Aid for JSPS Fellows
適応放射線治療における線量合算の定量評価と不確かさ低減のための統合的アプローチ
适应性放射治疗中剂量总和的定量评估和不确定性降低的综合方法
- 批准号：
24K10878 - 财政年份：2024
- 资助金额：
$ 2.08万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
災害時交通網の動学的設計にむけた不確かさ回避行動の評価手法の構築
灾害期间交通网络动态设计的不确定性规避行为评估方法的构建
- 批准号：
23K26221 - 财政年份：2024
- 资助金额：
$ 2.08万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
液体・気体分野の技術を組み合わせた新たな液化ガス流量計測システムの開発
结合液体和气体领域技术开发新型液化气流量测量系统
- 批准号：
23K13345 - 财政年份：2023
- 资助金额：
$ 2.08万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
粒子線治療室内の二次中性子線量の不確かさ評価方法の開発
粒子束治疗室二次中子剂量不确定度评定方法的建立
- 批准号：
23K14880 - 财政年份：2023
- 资助金额：
$ 2.08万 - 项目类别：
Grant-in-Aid for Early-Career Scientists