解析的意味論による並行プログラムの検証に関する研究

基于分析语义的并发程序验证研究

基本信息

  • 批准号:
    01750315
  • 负责人:
  • 金额:
    $ 0.51万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
  • 财政年份:
    1989
  • 资助国家:
    日本
  • 起止时间:
    1989 至 无数据
  • 项目状态:
    已结题

项目摘要

项目成果

期刊论文数量(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 }}

水谷 哲也其他文献

I nfectious disease assessment in wild gorillas in African rainforest( Gabon): case of adenovirus
非洲雨林(加蓬)野生大猩猩的传染病评估:腺病毒病例
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Chimene Nze Nkogue;藤田 志歩;堀江 真行;Michiko Ogino;Yuki Kobayashi;Keijiro Mizukami;正谷 達謄;小澤 真;Alfred Ngomanda;Juichi Yamagiwa;大和 修;水谷 哲也;小原 恭子
  • 通讯作者:
    小原 恭子
G 15P[14]遺伝子型A群ロタウイルス(RVA)による搾乳牛の下痢症
G 15P [14] A 基因型轮状病毒 (RVA) 引起的奶牛腹泻
  • DOI:
  • 发表时间:
    2014
  • 期刊:
  • 影响因子:
    0
  • 作者:
    増田恒幸;山里比呂志;水谷 哲也;長井 誠;片山 和彦
  • 通讯作者:
    片山 和彦
「ウイルスの変異」(p101-107)「ウイルスの不活化」(p107-108)「ウイルスの濃縮と精製」(p108-111)「ウイルスワクチン」(p111-117)「ウイルス剤と化学療法」(p117-120)動物微生物学、明石博臣、木内明男、原澤亮、本多英一編集
“病毒突变”(第 101-107 页)“病毒灭活”(第 107-108 页)“病毒浓缩和纯化”(第 108-111 页)“病毒疫苗”(第 111-117 页)“病毒制剂和化疗”(第 117-120 页)动物微生物学,由 Hiroomi Akashi、Akio Kiuchi、R​​yo Harasawa 和 Eiichi Honda 编辑。
  • DOI:
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    水谷 哲也;ら;水谷 哲也;前田 健
  • 通讯作者:
    前田 健
新興ウイルス感染症の網羅的検出方法の確立と応用(ワークショップ)
新发病毒感染综合检测方法的建立及应用(研讨会)
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    水谷 哲也;ら
  • 通讯作者:
SASR-CoVやWest Nile virusなど新興・再興感染症の新規同定方法と実験動物の活用(シンポジウム)
新出现和重新出现的传染病(例如 SASR-CoV 和西尼罗河病毒)的实验动物识别方法和使用(研讨会)
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    水谷 哲也;ら
  • 通讯作者:

水谷 哲也的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('水谷 哲也', 18)}}的其他基金

猫伝染性腹膜炎の発生を予防するための安心安全な治療法の確立
建立安全可靠的治疗方法,预防猫传染性腹膜炎的发生
  • 批准号:
    23K23783
  • 财政年份:
    2024
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Hippo経路による絨毛細胞の分化プロセス制御機構の解明とその応用
Hippo途径控制滋养层细胞分化过程的机制阐明及其应用
  • 批准号:
    23K08803
  • 财政年份:
    2023
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
猫伝染性腹膜炎の発生を予防するための安心安全な治療法の確立
建立安全可靠的治疗方法,预防猫传染性腹膜炎的发生
  • 批准号:
    22H02518
  • 财政年份:
    2022
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
卵胞の成熟と絨毛細胞分化を制御する新たな共通因子Hippo経路の分子機構の解明
阐明控制卵泡成熟和滋养细胞分化的新共同因子Hippo通路的分子机制
  • 批准号:
    19K09777
  • 财政年份:
    2019
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
新規ホルモン誘導性転写因子GIOTとその関連因子GIPの性腺における役割
新型激素诱导转录因子GIOT及其相关因子GIP在性腺中的作用
  • 批准号:
    14770583
  • 财政年份:
    2002
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
新しいゴナドトロピン誘導性転写因子GIOTの生殖内分泌における役割
新型促性腺激素诱导转录因子GIOT在生殖内分泌中的作用
  • 批准号:
    99J02761
  • 财政年份:
    1999
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
神経細胞においてボルナ病ウイルスにより発現制御される細胞分化関連遺伝子群の検索
寻找神经细胞中博尔纳病病毒调控表达的细胞分化相关基因
  • 批准号:
    10760165
  • 财政年份:
    1998
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
C型肝炎ウイルスにより発現制御される細胞分化関連遺伝子群の探索
寻找表达受丙型肝炎病毒调控的细胞分化相关基因
  • 批准号:
    09770211
  • 财政年份:
    1997
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)

相似国自然基金

时空分辨核酸生物传感在亚细胞水平光电双模态精准测量
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
水凝胶改性陶瓷人工关节牢固结合界面的构筑与减磨润滑机理研究
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
锆酸铅基反铁电体畴动力学及其调控机理研究
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
USP7维持FADS2蛋白质稳态调控线粒体重编程驱动三阴性乳腺癌的转移
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
载铁生物炭对土壤镉污染的吸附固定及微生物协同作用机制研究
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
SREBP转录因子BbSre1负调控球孢白僵菌抗真菌物质产生的机制研究
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
面向截肢患者运动感知重建的肌电假肢手关节运动反馈时变编码研究
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
载鸢尾素层层自组装二氧化钛纳米管材料促进糖尿病骨缺损修复及机制研
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
多源数据融合的内外激励耦合下电驱动系统非平稳非高斯服役载荷谱高保
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
面向水质应急快检的碳点/微流控限域增强发光传感研究
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目

相似海外基金

An implantable biosensor microsystem for real-time measurement of circulating biomarkers
用于实时测量循环生物标志物的植入式生物传感器微系统
  • 批准号:
    2901954
  • 财政年份:
    2028
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Studentship
Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions
利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案
  • 批准号:
    2896097
  • 财政年份:
    2027
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Studentship
A Robot that Swims Through Granular Materials
可以在颗粒材料中游动的机器人
  • 批准号:
    2780268
  • 财政年份:
    2027
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Studentship
Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.
严重空间天气事件对核电和保障监督的恢复力的可能性和影响。
  • 批准号:
    2908918
  • 财政年份:
    2027
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Studentship
Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface
质子、α 和 γ 辐照辅助应力腐蚀开裂:了解燃料-不锈钢界面
  • 批准号:
    2908693
  • 财政年份:
    2027
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Studentship
Field Assisted Sintering of Nuclear Fuel Simulants
核燃料模拟物的现场辅助烧结
  • 批准号:
    2908917
  • 财政年份:
    2027
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Studentship
Assessment of new fatigue capable titanium alloys for aerospace applications
评估用于航空航天应用的新型抗疲劳钛合金
  • 批准号:
    2879438
  • 财政年份:
    2027
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Studentship
Developing a 3D printed skin model using a Dextran - Collagen hydrogel to analyse the cellular and epigenetic effects of interleukin-17 inhibitors in
使用右旋糖酐-胶原蛋白水凝胶开发 3D 打印皮肤模型,以分析白细胞介素 17 抑制剂的细胞和表观遗传效应
  • 批准号:
    2890513
  • 财政年份:
    2027
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Studentship
CDT year 1 so TBC in Oct 2024
CDT 第 1 年,预计 2024 年 10 月
  • 批准号:
    2879865
  • 财政年份:
    2027
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Studentship
Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
  • 批准号:
    2876993
  • 财政年份:
    2027
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Studentship
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了