刷新
{{item.name}}会员
U.S.-Indo Collaborative Research: Logic Programming AnalysisTransformations and Principles, Award in Indian and U.S. Currencies
美印合作研究：逻辑编程分析转换和原理，印度和美国货币奖
基本信息
- 批准号：9996259
- 负责人：
- 金额：$ 0.25万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1999
- 资助国家：美国
- 起止时间：1999-01-15 至 2000-09-30
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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
- 资助金额：
$ 0.25万 - 项目类别：
Standard Grant
Generating Octagonal Invariants using Quantifier Elimination Heuristics
使用量词消除启发法生成八边形不变量
- 批准号：
1248069 - 财政年份：2012
- 资助金额：
$ 0.25万 - 项目类别：
Standard Grant
Math: Algorithms for Parametric (Comprehensive) Groebner Computations
数学：参数（综合）Groebner 计算算法
- 批准号：
1217054 - 财政年份：2012
- 资助金额：
$ 0.25万 - 项目类别：
Standard Grant
TC: Medium: Collaborative Research: Unification Laboratory: Increasing the Power of Cryptographic Protocol Analysis Tools
TC：媒介：协作研究：统一实验室：提高密码协议分析工具的能力
- 批准号：
0905222 - 财政年份：2009
- 资助金额：
$ 0.25万 - 项目类别：
Standard Grant
Analyzing Polynomial Systems using Cayley-Dixon Resultant Matrices based on Support Hull
使用基于支撑船体的 Cayley-Dixon 结果矩阵分析多项式系统
- 批准号：
0729097 - 财政年份：2008
- 资助金额：
$ 0.25万 - 项目类别：
Standard Grant
Collaborative Research: CT-M: Unification Laboratory for Cryptographic Protocol Analysis
合作研究：CT-M：密码协议分析统一实验室
- 批准号：
0831462 - 财政年份：2008
- 资助金额：
$ 0.25万 - 项目类别：
Standard Grant
Collaborative Research: SAIL: An Integration of SAT Solver and Inductive Prover
合作研究：SAIL：SAT 求解器和归纳证明器的集成
- 批准号：
0541315 - 财政年份：2006
- 资助金额：
$ 0.25万 - 项目类别：
Standard Grant
2003 Dagstuhl Seminar on Deduction
2003 Dagstuhl 演绎研讨会
- 批准号：
0314135 - 财政年份：2003
- 资助金额：
$ 0.25万 - 项目类别：
Standard Grant
Polynomial Manipulation using Dixon Resultant Formulation
使用 Dixon 结果公式进行多项式运算
- 批准号：
0203051 - 财政年份：2002
- 资助金额：
$ 0.25万 - 项目类别：
Continuing Grant
ITR: Integrating Induction Schemes into Decision Procedures
ITR：将归纳方案纳入决策程序
- 批准号：
0113611 - 财政年份：2001
- 资助金额：
$ 0.25万 - 项目类别：
Continuing Grant
相似海外基金
Mineral Processing Reagents, Iron Oxide-Titania Separation Indo-U.S. Collaborative Project
选矿试剂，氧化铁-二氧化钛分离 印度-美国
- 批准号：
9419512 - 财政年份：1996
- 资助金额：
$ 0.25万 - 项目类别：
Standard Grant
U.S.-Indo Collaborative Research: Logic Programming AnalysisTransformations and Principles, Award in Indian and U.S. Currencies
美印合作研究：逻辑编程分析转换和原理，印度和美国货币奖
- 批准号：
9416687 - 财政年份：1995
- 资助金额：
$ 0.25万 - 项目类别：
Standard Grant
Entrainment in Froth Flotation of Fine Coal, Indo-U.S. Collaborative Research
粉煤泡沫浮选中的夹带，印度-美国
- 批准号：
9415418 - 财政年份：1995
- 资助金额：
$ 0.25万 - 项目类别：
Continuing Grant
Pulsar Research at the Giant Metre-Wave Radio Telescope, Pune, India, Indo-U.S. Collaborative Research
巨型米波射电望远镜的脉冲星研究，印度浦那，印度-美国
- 批准号：
9321974 - 财政年份：1994
- 资助金额：
$ 0.25万 - 项目类别：
Standard Grant
Optimum Industrial Complexing, Fertilizer-Cement Plants, Indo-U.S. Collaborative Project, Award in Indian Currency
最佳工业联合、化肥水泥厂、印度-美国
- 批准号：
9419692 - 财政年份：1994
- 资助金额：
$ 0.25万 - 项目类别：
Continuing Grant
Optimum Industrial Complexing, Fertilizer-Cement Plants, Indo-U.S. Collaborative Project, Award in U.S. and Indian Currencies
最佳工业联合、化肥水泥厂、印度-美国
- 批准号：
9408275 - 财政年份：1994
- 资助金额：
$ 0.25万 - 项目类别：
Continuing Grant
Atmospheric Turbulence and Diffusion in the Tropics, Indo- U.S. Collaborative Research, Award in U.S. and Indian Currencies
热带地区的大气湍流和扩散，印美合作研究，美国和印度货币奖
- 批准号：
9313256 - 财政年份：1994
- 资助金额：
$ 0.25万 - 项目类别：
Continuing Grant
Knowledge-based Clustering, Indo-U.S. Collaborative Research. Award In U.S. and Indian Currencies
基于知识的聚类，印度-美国
- 批准号：
9321584 - 财政年份：1994
- 资助金额：
$ 0.25万 - 项目类别：
Standard Grant
Novel Oxide Materials, Indo-U.S. Collaborative Research, Award in Indian Currency
新型氧化物材料，印度-美国
- 批准号：
9304570 - 财政年份：1993
- 资助金额：
$ 0.25万 - 项目类别：
Continuing Grant
INDO/US Collaborative Research on Novel Oxide Materials, Award in Indian and U.S. Currency
印度/美国新型氧化物材料合作研究，荣获印度和美国货币奖
- 批准号：
9204467 - 财政年份：1992
- 资助金额：
$ 0.25万 - 项目类别：
Continuing Grant