刷新
{{item.name}}会员
並列充足可能性判定器の実用的基盤の実現
并行可满足性确定器的实用基础的实现
基本信息
- 批准号：23K11214
- 负责人：
- 金额：$ 3万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2023
- 资助国家：日本
- 起止时间：2023-04-01 至 2026-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 }}
鍋島 英知其他文献
擬似的に形成した静的トポロジを用いた情報指向型自動車アドホックネットワークの提案
使用以伪方式创建的静态拓扑的面向信息的汽车自组织网络的提案
- DOI：
- 发表时间：
2017 - 期刊：
- 影响因子：0
- 作者：
福田 晴喜;鍋島 英知;伊藤友輔，古閑宏幸，飯田勝吉;伊藤伸介;佐藤和也，篠原涼希，峪口雄太，屋代智之，重野寛 - 通讯作者：
佐藤和也，篠原涼希，峪口雄太，屋代智之，重野寛
Tenderにおける資源「実メモリ」の機能拡張の実現
Tender中资源“真实内存”功能扩展的实现
- DOI：
- 发表时间：
2020 - 期刊：
- 影响因子：0
- 作者：
宋 剛秀;番原 睦則;田村 直之;鍋島 英知;楠 恒輝,山内 利宏,谷口 秀夫 - 通讯作者：
楠 恒輝,山内 利宏,谷口 秀夫
CDCLソルバーのための軽量動的簡単化手法
CDCL求解器的轻量级动态简化方法
- DOI：
- 发表时间：
2015 - 期刊：
- 影响因子：0
- 作者：
田村 直之;井上 克巳;鍋島 英知;番原 睦則;宋 剛秀;三神 直彬，鍋島 英知;杉本 拓也，鍋島 英知 - 通讯作者：
杉本 拓也，鍋島 英知
鍋島 英知的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('鍋島 英知', 18)}}的其他基金
SATアプローチに基づく高速プランニングシステムの構築
基于SAT方法的快速规划系统构建
- 批准号：
14780269 - 财政年份：2002
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
アクション言語を用いた状態変化の表現と推論に関する研究
用动作语言表达和推理状态变化的研究
- 批准号：
98J05330 - 财政年份：1998
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for JSPS Fellows
相似海外基金
記憶固定化における大脳皮質領域間の並列処理機構の解明
阐明记忆巩固中大脑皮层区域之间的并行处理机制
- 批准号：
23K24199 - 财政年份：2024
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Travel: NSF Student Travel Grant for 2023 International Conference on Parallel Processing (ICPP)
旅行：2023 年国际并行处理会议 (ICPP) 的 NSF 学生旅行补助金
- 批准号：
2329410 - 财政年份：2023
- 资助金额：
$ 3万 - 项目类别：
Standard Grant
Low-Power AI Using Light Wave Diffraction -Massively Parallel Processing of Multi-Class Classification with Preserved Location Information of Objects-
使用光波衍射的低功耗人工智能 - 保留物体位置信息的多类分类的大规模并行处理 -
- 批准号：
23K11258 - 财政年份：2023
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
精度保証のある高精度数値計算のための並列処理による高速化
通过并行处理在保证精度的情况下加速高精度数值计算
- 批准号：
22K11978 - 财政年份：2022
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Elucidation of parallel processing mechanisms among cortical regions in memory consolidation
阐明记忆巩固中皮质区域之间的并行处理机制
- 批准号：
22H02938 - 财政年份：2022
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Parallel processing strategy in mid-tier visual areas in primates
灵长类动物中层视觉区域的并行处理策略
- 批准号：
21H02596 - 财政年份：2021
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
分散型知覚情報並列処理のための睡眠覚醒モデルの提案と遠隔操作移動ロボットへの応用
分布式并行处理感知信息的睡眠-觉醒模型的提出及其在远程控制移动机器人中的应用
- 批准号：
21K12071 - 财政年份：2021
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Searching for new physics in top-quark events with the ATLAS experiment at the LHC and parallel processing in the ATLAS trigger.
通过大型强子对撞机上的 ATLAS 实验和 ATLAS 触发器中的并行处理来寻找顶夸克事件中的新物理现象。
- 批准号：
2604949 - 财政年份：2021
- 资助金额：
$ 3万 - 项目类别：
Studentship
Integration and parallel processing of light information from pineal and eyes
松果体和眼睛光信息的集成和并行处理
- 批准号：
20K15844 - 财政年份：2020
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for Early-Career Scientists