解析的意味論による並行プログラムの検証に関する研究
基于分析语义的并发程序验证研究
基本信息
- 批准号：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、Ryo Harasawa 和 Eiichi Honda 编辑。
- DOI：
- 发表时间：
2008 - 期刊：
- 影响因子：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)
相似国自然基金
离子型稀土渗流-应力-化学耦合作用机理与溶浸开采优化研究
- 批准号：52364012
- 批准年份：2023
- 资助金额：32 万元
- 项目类别：地区科学基金项目
亲环蛋白调控作物与蚜虫互作分子机制的研究
- 批准号：32301770
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
基于金属-多酚网络衍生多相吸波体的界面调控及电磁响应机制研究
- 批准号：52302362
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
LysR转录因子调控内生芽孢杆菌拮抗禾谷镰刀菌定殖小麦分子机制
- 批准号：32372621
- 批准年份：2023
- 资助金额：50 万元
- 项目类别：面上项目
TiC-TiB2颗粒喷射成形原位合成及其对M2高速工具钢共晶碳化物形成与演化的影响
- 批准号：52361020
- 批准年份：2023
- 资助金额：32 万元
- 项目类别：地区科学基金项目
相似海外基金
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