刷新
{{item.name}}会员
Joint Industry/University Cooperative Project to Build "A Rewrite Rule Laboratory" (Computer Research)
产学合作项目共建“重写规则实验室”（计算机研究）
基本信息
- 批准号：8211621
- 负责人：
- 金额：$ 8.03万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1982
- 资助国家：美国
- 起止时间：1982-06-01 至 1984-12-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 }}
Deepak Kapur其他文献
REDUCING STEREOTYPE THREAT EFFECTS Creating a Critical Mass Eliminates the Effects of Stereotype Threat on Women ’ s Mathematical Performance Declaration of Competing
减少刻板印象威胁影响 创造临界质量消除刻板印象威胁对女性数学成绩的影响 竞赛宣言
- DOI：
- 发表时间：
2016 - 期刊：
- 影响因子：0
- 作者：
Nidhi Singhal;Deepak Kapur - 通讯作者：
Deepak Kapur
Theoretical Aspects of Computing – ICTAC 2017
计算的理论方面 – ICTAC 2017
- DOI：
- 发表时间：
2017 - 期刊：
- 影响因子：0
- 作者：
D. Hung;Deepak Kapur - 通讯作者：
Deepak Kapur
2. ROLE OF USER FEES IN ETHIOPIA: A CASE STUD Y OF JIMMA UNIVERSIT Y SPECIALIZED HOSPIT AL, SOUTH WEST ETHIO PIA
2. 使用费在埃塞俄比亚的作用：埃塞俄比亚西南季玛大学专科医院案例研究
- DOI：
- 发表时间：
2011 - 期刊：
- 影响因子：0
- 作者：
In Gulf Countries;Imran Hameed;N. Qazi;D. Nair;K. Tushune;T. Varghese;Qaiser Rafique Yasser;Saundarya Rajesh;Deepak Kapur;Abebaw Kassie Gualu;K. Priya;K. Chandrasekar;M. D. Prasad;B. Shekhar - 通讯作者：
B. Shekhar
Dependency Pairs for Equational Rewriting
方程重写的依赖对
- DOI：
10.1007/3-540-45127-7_9 - 发表时间：
2001 - 期刊：
- 影响因子：0
- 作者：
J. Giesl;Deepak Kapur - 通讯作者：
Deepak Kapur
New uses of linear arithmetic in automated theorem proving by induction
- DOI：
10.1007/bf00244459 - 发表时间：
1996-03-01 - 期刊：
- 影响因子：0.800
- 作者：
Deepak Kapur;M. Subramaniam - 通讯作者：
M. Subramaniam
Deepak Kapur的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Deepak Kapur', 18)}}的其他基金
AF: Small: Comprehensive Groebner, Parametric GCD Computations and Real Geometric Reasoning
AF：小：综合 Groebner、参数 GCD 计算和真实几何推理
- 批准号：
1908804 - 财政年份：2019
- 资助金额：
$ 8.03万 - 项目类别：
Standard Grant
Generating Octagonal Invariants using Quantifier Elimination Heuristics
使用量词消除启发法生成八边形不变量
- 批准号：
1248069 - 财政年份：2012
- 资助金额：
$ 8.03万 - 项目类别：
Standard Grant
Math: Algorithms for Parametric (Comprehensive) Groebner Computations
数学：参数（综合）Groebner 计算算法
- 批准号：
1217054 - 财政年份：2012
- 资助金额：
$ 8.03万 - 项目类别：
Standard Grant
TC: Medium: Collaborative Research: Unification Laboratory: Increasing the Power of Cryptographic Protocol Analysis Tools
TC：媒介：协作研究：统一实验室：提高密码协议分析工具的能力
- 批准号：
0905222 - 财政年份：2009
- 资助金额：
$ 8.03万 - 项目类别：
Standard Grant
Analyzing Polynomial Systems using Cayley-Dixon Resultant Matrices based on Support Hull
使用基于支撑船体的 Cayley-Dixon 结果矩阵分析多项式系统
- 批准号：
0729097 - 财政年份：2008
- 资助金额：
$ 8.03万 - 项目类别：
Standard Grant
Collaborative Research: CT-M: Unification Laboratory for Cryptographic Protocol Analysis
合作研究：CT-M：密码协议分析统一实验室
- 批准号：
0831462 - 财政年份：2008
- 资助金额：
$ 8.03万 - 项目类别：
Standard Grant
Collaborative Research: SAIL: An Integration of SAT Solver and Inductive Prover
合作研究：SAIL：SAT 求解器和归纳证明器的集成
- 批准号：
0541315 - 财政年份：2006
- 资助金额：
$ 8.03万 - 项目类别：
Standard Grant
2003 Dagstuhl Seminar on Deduction
2003 Dagstuhl 演绎研讨会
- 批准号：
0314135 - 财政年份：2003
- 资助金额：
$ 8.03万 - 项目类别：
Standard Grant
Polynomial Manipulation using Dixon Resultant Formulation
使用 Dixon 结果公式进行多项式运算
- 批准号：
0203051 - 财政年份：2002
- 资助金额：
$ 8.03万 - 项目类别：
Continuing Grant
ITR: Integrating Induction Schemes into Decision Procedures
ITR：将归纳方案纳入决策程序
- 批准号：
0113611 - 财政年份：2001
- 资助金额：
$ 8.03万 - 项目类别：
Continuing Grant
相似国自然基金
影响外商直接投资在我国产生行业内（intra-industry）溢出效应的行业要素
- 批准号：70473045
- 批准年份：2004
- 资助金额：14.0 万元
- 项目类别：面上项目
相似海外基金
Analysing Earnings from Creative Education and Creative Work: Decomposing University, Industry and Social Inequalities.
分析创意教育和创意工作的收入：分解大学、工业和社会不平等。
- 批准号：
ES/Z502455/1 - 财政年份：2024
- 资助金额：
$ 8.03万 - 项目类别：
Fellowship
University of Lincoln and Lincolnshire Chamber of Commerce & Industry KTP 2023 - 2024 R1
林肯大学和林肯郡商会
- 批准号：
10072170 - 财政年份：2023
- 资助金额：
$ 8.03万 - 项目类别：
Knowledge Transfer Partnership
PARTIAL SUPPORT FOR THE CORE ACTIVITIES OF THE GOVERNMENT-UNIVERSITY-INDUSTRY RESEARCH ROUNDTABLE (GUIRR)
部分支持政府-大学-产业研究圆桌会议（GUIRR）的核心活动
- 批准号：
10505888 - 财政年份：2021
- 资助金额：
$ 8.03万 - 项目类别：
PARTIAL SUPPORT FOR THE CORE ACTIVITIES OF THE GOVERNMENT-UNIVERSITY-INDUSTRY RESEARCH ROUNDTABLE (GUIRR)
部分支持政府-大学-产业研究圆桌会议（GUIRR）的核心活动
- 批准号：
10704986 - 财政年份：2021
- 资助金额：
$ 8.03万 - 项目类别：
PARTIAL SUPPORT FOR THE CORE ACTIVITIES OF THE GOVERNMENT-UNIVERSITY-INDUSTRY RESEARCH ROUNDTABLE (GUIRR)
部分支持政府-大学-产业研究圆桌会议（GUIRR）的核心活动
- 批准号：
10710299 - 财政年份：2021
- 资助金额：
$ 8.03万 - 项目类别：
Partial Support for the Core Activities of the Government-University-Industry Research Roundtable (GUIRR)
部分支持政府-大学-工业研究圆桌会议（GUIRR）的核心活动
- 批准号：
10934026 - 财政年份：2021
- 资助金额：
$ 8.03万 - 项目类别：
PARTIAL SUPPORT FOR THE CORE ACTIVITIES OF THE GOVERNMENT-UNIVERSITY-INDUSTRY RESEARCH ROUNDTABLE (GUIRR)
部分支持政府-大学-产业研究圆桌会议（GUIRR）的核心活动
- 批准号：
10941716 - 财政年份：2021
- 资助金额：
$ 8.03万 - 项目类别：
PARTIAL SUPPORT FOR THE CORE ACTIVITIES OF THE GOVERNMENT-UNIVERSITY-INDUSTRY RESEARCH ROUNDTABLE (GUIRR)
部分支持政府-大学-产业研究圆桌会议（GUIRR）的核心活动
- 批准号：
10954117 - 财政年份：2021
- 资助金额：
$ 8.03万 - 项目类别：
Qualitative study on university-industry collaboration for multiple goals
多目标产学合作的定性研究
- 批准号：
21K13377 - 财政年份：2021
- 资助金额：
$ 8.03万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
PARTIAL SUPPORT FOR THE CORE ACTIVITIES OF THE GOVERNMENT-UNIVERSITY-INDUSTRY RESEARCH ROUNDTABLE (GUIRR)
部分支持政府-大学-产业研究圆桌会议（GUIRR）的核心活动
- 批准号：
10719187 - 财政年份：2021
- 资助金额：
$ 8.03万 - 项目类别：