刷新
{{item.name}}会员
Optimization of polynomial constraint solving based on fusion of approximation and algebraix methods
基于近似与代数方法融合的多项式约束求解优化
基本信息
- 批准号：23300005
- 负责人：
- 金额：$ 12.9万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (B)
- 财政年份：2011
- 资助国家：日本
- 起止时间：2011-04-01 至 2015-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers
单值自下而上树传感器的确定性和包含
- DOI：
- 发表时间：2013
- 期刊：
- 影响因子：0
- 作者：Kenji Hashimoto;Ryuta Sawada;Yasunori Ishihara;Hiroyuki Seki;Toru Fujiwara
- 通讯作者：Toru Fujiwara
SMT for Polynomial Constraints on Real Numbers
实数多项式约束的 SMT
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：To Van Khanh;Mizuhito Ogawa
- 通讯作者：Mizuhito Ogawa
Confluence of Non-Left-Linear TRSs via Relative Termination (査読付)
通过相对终止实现非线性 TRS 的汇合（同行评审）
- DOI：
- 发表时间：2012
- 期刊：
- 影响因子：0
- 作者：Dominik Klein;Nao Hirokawa
- 通讯作者：Nao Hirokawa
{{
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 }}
MIZUHITO Ogawa其他文献
MIZUHITO Ogawa的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
非形式的仕様記述の効率的形式化に関する研究
非正式规范描述的高效形式化研究
- 批准号：
17700066 - 财政年份：2005
- 资助金额：
$ 12.9万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
要求仕様記述からのデータ駆動型実時間実行システムの直接生成手法の研究
从需求规格描述直接生成数据驱动实时执行系统的方法研究
- 批准号：
13878052 - 财政年份：2001
- 资助金额：
$ 12.9万 - 项目类别：
Grant-in-Aid for Exploratory Research
リアクティブシステムの仕様記述、検証、および実装に関する研究
反应式系统规范描述、验证与实现研究
- 批准号：
12780206 - 财政年份：2000
- 资助金额：
$ 12.9万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
セキュリティプロトコルの形式的仕様記述と検証方法に関する研究
安全协议形式化规范描述及验证方法研究
- 批准号：
99J03351 - 财政年份：1999
- 资助金额：
$ 12.9万 - 项目类别：
Grant-in-Aid for JSPS Fellows
分散システムのための代数仕様記述と検証に関する研究
分布式系统代数规约描述与验证研究
- 批准号：
11780207 - 财政年份：1999
- 资助金额：
$ 12.9万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
図的仕様記述からのデータ駆動型メディアプロセッサ用プログラムの自動生成手法
根据图形规范描述自动生成数据驱动媒体处理器程序的方法
- 批准号：
10780209 - 财政年份：1998
- 资助金额：
$ 12.9万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
並列システムの仕様記述、デザインのためのGPAMソフトウェア・ツール
用于并行系统规范和设计的 GPAM 软件工具
- 批准号：
09780270 - 财政年份：1997
- 资助金额：
$ 12.9万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
仕様記述言語LOTOSで記述された分散システムの動作の可視化
用规范语言 LOTOS 编写的分布式系统行为的可视化
- 批准号：
08780266 - 财政年份：1996
- 资助金额：
$ 12.9万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
マイクロプロセッサの形式的仕様記述・検証に関する研究
微处理器形式化规范描述与验证研究
- 批准号：
06780256 - 财政年份：1994
- 资助金额：
$ 12.9万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
ペトリネット型実行制御部をもつ代数的仕様記述の検証と分散実行系
用Petri网型执行控制器和分布式执行系统验证代数规范描述
- 批准号：
06680320 - 财政年份：1994
- 资助金额：
$ 12.9万 - 项目类别：
Grant-in-Aid for General Scientific Research (C)