Refinement and Extension of Higher-Order Model Checking
高阶模型检查的细化和扩展
基本信息
- 批准号:15H05706
- 负责人:
- 金额:$ 124.13万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (S)
- 财政年份:2015
- 资助国家:日本
- 起止时间:2015-05-29 至 2020-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Streett Automata Model Checking of Higher-Order Recursion Schemes
高阶递归方案的 Streett 自动机模型检查
- DOI:10.4230/lipics.fscd.2017.32
- 发表时间:2017
- 期刊:
- 影响因子:0
- 作者:Ryota Suzuki;Koichi Fujima;Naoki Kobayashi and Takeshi Tsukada
- 通讯作者:Naoki Kobayashi and Takeshi Tsukada
Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation
通过动态资源创建验证高阶并发程序
- DOI:10.1007/978-3-319-47958-3_18
- 发表时间:2016
- 期刊:
- 影响因子:0
- 作者:Kazuhide Yasukata;Takeshi Tsukada and Naoki Kobayashi
- 通讯作者:Takeshi Tsukada and Naoki Kobayashi
DAWGs for Parameterized Matching: Online Construction and Related Indexing Structures
用于参数化匹配的 DAWG:在线构建和相关索引结构
- DOI:
- 发表时间:2020
- 期刊:
- 影响因子:0
- 作者:Katsuhito Nakashima;Diptarama Hendrian;Yuto Nakashima;Ryo Yoshinaka;Shunsuke Inenaga;Hideo Bannai;Ayumi Shinohara;Masayuki Takeda
- 通讯作者:Masayuki Takeda
Compact bit encoding schemes for simply-typed lambda-terms
简单类型 lambda 项的紧凑位编码方案
- DOI:10.1145/2951913.2951918
- 发表时间:2016
- 期刊:
- 影响因子:0
- 作者:Takeda Kotaro;Kobayashi Naoki;Yaguchi Kazuya;Shinohara Ayumi
- 通讯作者:Shinohara Ayumi
10 Years of the Higher-Order Model Checking Project
高阶模型检验项目十年
- DOI:
- 发表时间:2019
- 期刊:
- 影响因子:0
- 作者:Kawaguchi Yuri;Kano Fumihiro;Tomonaga Masaki;Takeshi Todo;Naoki Kobayashi
- 通讯作者:Naoki Kobayashi
{{
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 }}
Kobayashi Naoki其他文献
Pathophysiological analyses of leptomeningeal heterotopia using gyrencephalic mammals
使用环脑哺乳动物对软脑膜异位进行病理生理学分析
- DOI:
10.1093/hmg/ddy014 - 发表时间:
2018 - 期刊:
- 影响因子:3.5
- 作者:
Matsumoto Naoyuki;Kobayashi Naoki;Uda Natsu;Hirota Miwako;Kawasaki Hiroshi - 通讯作者:
Kawasaki Hiroshi
Involvement of the Multidrug and Toxic Compound Extrusion Transporter in Testosterone Release from Cultured Pig Leydig Cells
多药和有毒化合物挤出转运蛋白参与培养猪睾丸间质细胞释放睾酮
- DOI:
10.1159/000460822 - 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
Goda Mitsuhiro;Oda Kana;Oda Atsuko;Kobayashi Naoki;Otsuka Masato - 通讯作者:
Otsuka Masato
ヒト視床下部神経幹細胞のin vitro分化創出
人下丘脑神经干细胞的体外分化
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
Sasako Takayoshi;Umehara Toshihiro;Soeda Kotaro;Kaneko Kazuma;Suzuki Miho;Kobayashi Naoki;Okazaki Yukiko;Tamura-Nakano Miwa;Chiba Tomoki;Accili Domenico;Kahn C. Ronald;Noda Tetsuo;Asahara Hiroshi;Yamauchi Toshimasa;Kadowaki Takashi;Ueki Kohjiro;三輪田勤 - 通讯作者:
三輪田勤
WiFi APを用いたセンサ測位に向けたWiFi AP動作チャネル推定手法,
使用WiFi AP进行传感器定位的WiFi AP操作信道估计方法,
- DOI:
- 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
Suwa Takashi;Tsukada Takeshi;Kobayashi Naoki;Igarashi Atsushi;石田繁巳,泉幸作,國廣陽介,田頭茂明,福田晃 - 通讯作者:
石田繁巳,泉幸作,國廣陽介,田頭茂明,福田晃
The role of endoribonulease Regnase-1 in inflammation and immune responses/Regnase-1, a key endoribonuclease responsible for the inflammatory and immune responses
核糖核酸内切酶 Regnase-1 在炎症和免疫反应中的作用/Regnase-1,一种负责炎症和免疫反应的关键核糖核酸内切酶
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
Okuyama Yuya;Tsukada Takeshi;Kobayashi Naoki;田中 宏樹 - 通讯作者:
田中 宏樹
Kobayashi Naoki的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Kobayashi Naoki', 18)}}的其他基金
Study on the molecular mechanisms of emergence of novel mycotoxin-producing fungi due to external stress factor
外部胁迫因素导致新型产霉菌毒素真菌产生的分子机制研究
- 批准号:
19K05870 - 财政年份:2019
- 资助金额:
$ 124.13万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Activin B signaling controls energy homeostasis
激活素 B 信号传导控制能量稳态
- 批准号:
18K15075 - 财政年份:2018
- 资助金额:
$ 124.13万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
Connection between the Cultural Spheres of Ritsu and Zen in Narrative and Folk Literature
叙事与民间文学中律禅文化领域的联系
- 批准号:
15K02219 - 财政年份:2015
- 资助金额:
$ 124.13万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Establishment of a rapid method for measuring sphingosine-1-phosphate transporter activity
1-磷酸鞘氨醇转运蛋白活性快速测定方法的建立
- 批准号:
25870695 - 财政年份:2013
- 资助金额:
$ 124.13万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
Higher-Order Model Checking and its Applications
高阶模型检验及其应用
- 批准号:
23220001 - 财政年份:2011
- 资助金额:
$ 124.13万 - 项目类别:
Grant-in-Aid for Scientific Research (S)
相似海外基金
依存篩型と述語制約によるプログラム検証の深化
使用依赖筛类型和谓词约束深化程序验证
- 批准号:
23K24826 - 财政年份:2024
- 资助金额:
$ 124.13万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
π計算を介したプログラム検証・解析
通过π计算进行程序验证和分析
- 批准号:
24K20731 - 财政年份:2024
- 资助金额:
$ 124.13万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
Search for the Dimuon decay of the Standard Model Higgs Boson using ATLAS
使用 ATLAS 搜索标准模型希格斯玻色子的 Dimuon 衰变
- 批准号:
2907975 - 财政年份:2024
- 资助金额:
$ 124.13万 - 项目类别:
Studentship
並行・並列プログラミングのためのスケーラブルな自動プログラム検証技術
用于并发/并行编程的可扩展自动程序验证技术
- 批准号:
24H00699 - 财政年份:2024
- 资助金额:
$ 124.13万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
論理制約付き項書換えに関する余帰納法に基づくプログラム検証法の開発
基于逻辑约束术语重写的共归纳法程序验证方法的开发
- 批准号:
24K02900 - 财政年份:2024
- 资助金额:
$ 124.13万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Search for Q-balls and Nuclearites emitting thermal shock waves in IceCube
在 IceCube 中寻找发射热冲击波的 Q 球和核子
- 批准号:
24K17062 - 财政年份:2024
- 资助金额:
$ 124.13万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
Search for damage-associated molecular patterns (DAMPs) derived from cochlear hair cells and its clinical application
耳蜗毛细胞损伤相关分子模式(DAMPs)的探索及其临床应用
- 批准号:
23K08924 - 财政年份:2023
- 资助金额:
$ 124.13万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
WoU-MMA: Targeted Search for Binary Mergers with Multiple Harmonics in Gravitational Wave Data
WoU-MMA:引力波数据中多重谐波二元合并的定向搜索
- 批准号:
2309360 - 财政年份:2023
- 资助金额:
$ 124.13万 - 项目类别:
Continuing Grant
A Search For Failed Supernovae and Other Observational Constraints on the Supernova Mechanism
寻找失败的超新星和超新星机制的其他观测限制
- 批准号:
2307385 - 财政年份:2023
- 资助金额:
$ 124.13万 - 项目类别:
Standard Grant
Search for therapeutic target molecules based on temporal hierarchical analysis of Oral squamous cell carcinoma and functional RNA molecules
基于口腔鳞状细胞癌和功能RNA分子的时间层次分析寻找治疗靶分子
- 批准号:
23K16142 - 财政年份:2023
- 资助金额:
$ 124.13万 - 项目类别:
Grant-in-Aid for Early-Career Scientists














{{item.name}}会员




