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
云中工作流调度的期限约束成本优化方法
ゲノム不安定性を解析するためのツールとしての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)
粒子線治療室内の二次中性子線量の不確かさ評価方法の開発
粒子束治疗室二次中子剂量不确定度评定方法的建立
  • 批准号:
    23K14880
  • 财政年份:
    2023
  • 资助金额:
    $ 2.08万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
不確かさをもつ非線形ネットワークのマルチスケール解析:遺伝子ネットワークへの応用
不确定性非线性网络的多尺度分析:在基因网络中的应用
  • 批准号:
    22KJ1269
  • 财政年份:
    2023
  • 资助金额:
    $ 2.08万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
不確かさを考慮するハードウェア指向ベイズ深層学習技術の開拓
开发面向硬件、考虑不确定性的贝叶斯深度学习技术
  • 批准号:
    22KJ0553
  • 财政年份:
    2023
  • 资助金额:
    $ 2.08万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
合理的なリスク評価のための不確かさを考慮した炉心損傷判定基準の最適評価法の確立
考虑不确定性的核心损伤准则最优评估方法的建立,以进行合理的风险评估
  • 批准号:
    23K13685
  • 财政年份:
    2023
  • 资助金额:
    $ 2.08万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
不確かさ不耐性特性が放射線リスク認知とリスク受容に及ぼす影響に関する実証研究
不确定性不容忍特征对辐射风险感知和风险接受影响的实证研究
  • 批准号:
    22K21149
  • 财政年份:
    2022
  • 资助金额:
    $ 2.08万
  • 项目类别:
    Grant-in-Aid for Research Activity Start-up
分類の不確かさに基づく未知物体ありシーングラフ生成による頑健なシーン認識
基于分类不确定性,使用未知对象的场景图生成进行鲁棒场景识别
  • 批准号:
    22K17920
  • 财政年份:
    2022
  • 资助金额:
    $ 2.08万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
法線ベクトル追跡型ナノスケール形状測定の不確かさ
法向矢量跟踪纳米级形状测量的不确定性
  • 批准号:
    21K14057
  • 财政年份:
    2021
  • 资助金额:
    $ 2.08万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了