刷新
{{item.name}}会员
時相的・関係的仕様からの高レベルプログラム合成
根据时间和关系规范进行高级程序综合
基本信息
- 批准号：23K20380
- 负责人：
- 金额：$ 2万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (B)
- 财政年份：2024
- 资助国家：日本
- 起止时间：2024-02-28 至 2025-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 }}
海野 広志其他文献
Flavor Tagging
风味标签
- DOI：
- 发表时间：
2016 - 期刊：
- 影响因子：0
- 作者：
松本 雄磨;小林 直樹;海野 広志;Y. Ohki;Chihiro Sasakawa;Masakazu Kurata - 通讯作者：
Masakazu Kurata
タスク並列言語Tascellにおけるノード間通信のMPIによる実装
任务并行语言Tascell中节点间通信的MPI实现
- DOI：
- 发表时间：
2015 - 期刊：
- 影响因子：0
- 作者：
山森 章弘;小林隆志;後藤浩之;村岡 大輔，八杉 昌宏，平石 拓，馬谷 誠二;Hiroshi Unno;寄高 啓司，松井 健，八杉 昌宏，平石 拓，馬谷 誠二;後藤浩之，稲谷昌之，羽田浩二，池田貴昭，高屋俊康，木村紗也佳，秋山良平，澤田純男，満永仁志，飯山かほり，盛川仁;Hiroshi Unno;後藤浩之，田中伸明，澤田純男，稲谷栄巳;Sho Torii;奥野 伸吾，平石 拓，中島 浩，八杉 昌宏，瀬々 潤;後藤浩之，羽田浩二，澤田純男，吉田望，大内徹;新垣芳一，澤田純男，後藤浩之;諏訪 将大，八杉 昌宏，平石 拓，馬谷 誠二;Hiroshi Unno;後藤浩之，羽田浩二，澤田純男，吉田望，大内徹;平石 拓，奥野 伸吾，八杉 昌宏;海野 広志;後藤浩之，田中伸明，澤田純男，稲谷栄巳;村岡 大輔，八杉 昌宏，平石 拓 - 通讯作者：
村岡 大輔，八杉 昌宏，平石 拓
Belief Propagation for Predicate Satisfiability Checking（ポスター発表）
用于谓词可满足性检查的置信传播（海报展示）
- DOI：
- 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
柳 日向;海野 広志 - 通讯作者：
海野 広志
海野 広志的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('海野 広志', 18)}}的其他基金
Synthesis of High-Level Programs from Temporal and Relational Specifications
从时间和关系规范综合高级程序
- 批准号：
20H04162 - 财政年份：2020
- 资助金额：
$ 2万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
相似国自然基金
时空分辨核酸生物传感在亚细胞水平光电双模态精准测量
- 批准号：
- 批准年份：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
- 资助金额：
$ 2万 - 项目类别：
Studentship
Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions
利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案
- 批准号：
2896097 - 财政年份：2027
- 资助金额：
$ 2万 - 项目类别：
Studentship
A Robot that Swims Through Granular Materials
可以在颗粒材料中游动的机器人
- 批准号：
2780268 - 财政年份：2027
- 资助金额：
$ 2万 - 项目类别：
Studentship
Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.
严重空间天气事件对核电和保障监督的恢复力的可能性和影响。
- 批准号：
2908918 - 财政年份：2027
- 资助金额：
$ 2万 - 项目类别：
Studentship
Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface
质子、α 和 γ 辐照辅助应力腐蚀开裂：了解燃料-不锈钢界面
- 批准号：
2908693 - 财政年份：2027
- 资助金额：
$ 2万 - 项目类别：
Studentship
Field Assisted Sintering of Nuclear Fuel Simulants
核燃料模拟物的现场辅助烧结
- 批准号：
2908917 - 财政年份：2027
- 资助金额：
$ 2万 - 项目类别：
Studentship
Assessment of new fatigue capable titanium alloys for aerospace applications
评估用于航空航天应用的新型抗疲劳钛合金
- 批准号：
2879438 - 财政年份：2027
- 资助金额：
$ 2万 - 项目类别：
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
- 资助金额：
$ 2万 - 项目类别：
Studentship
CDT year 1 so TBC in Oct 2024
CDT 第 1 年，预计 2024 年 10 月
- 批准号：
2879865 - 财政年份：2027
- 资助金额：
$ 2万 - 项目类别：
Studentship
Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
- 批准号：
2876993 - 财政年份：2027
- 资助金额：
$ 2万 - 项目类别：
Studentship