刷新
{{item.name}}会员
1999 Dagstuhl Seminar on Deduction; March 1-5, l999; Wadern, Germany
1999 Dagstuhl 演绎研讨会；
基本信息
- 批准号：9996217
- 负责人：
- 金额：$ 0.95万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1999
- 资助国家：美国
- 起止时间：1999-04-01 至 1999-06-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.95万 - 项目类别：
Standard Grant
Generating Octagonal Invariants using Quantifier Elimination Heuristics
使用量词消除启发法生成八边形不变量
- 批准号：
1248069 - 财政年份：2012
- 资助金额：
$ 0.95万 - 项目类别：
Standard Grant
Math: Algorithms for Parametric (Comprehensive) Groebner Computations
数学：参数（综合）Groebner 计算算法
- 批准号：
1217054 - 财政年份：2012
- 资助金额：
$ 0.95万 - 项目类别：
Standard Grant
TC: Medium: Collaborative Research: Unification Laboratory: Increasing the Power of Cryptographic Protocol Analysis Tools
TC：媒介：协作研究：统一实验室：提高密码协议分析工具的能力
- 批准号：
0905222 - 财政年份：2009
- 资助金额：
$ 0.95万 - 项目类别：
Standard Grant
Analyzing Polynomial Systems using Cayley-Dixon Resultant Matrices based on Support Hull
使用基于支撑船体的 Cayley-Dixon 结果矩阵分析多项式系统
- 批准号：
0729097 - 财政年份：2008
- 资助金额：
$ 0.95万 - 项目类别：
Standard Grant
Collaborative Research: CT-M: Unification Laboratory for Cryptographic Protocol Analysis
合作研究：CT-M：密码协议分析统一实验室
- 批准号：
0831462 - 财政年份：2008
- 资助金额：
$ 0.95万 - 项目类别：
Standard Grant
Collaborative Research: SAIL: An Integration of SAT Solver and Inductive Prover
合作研究：SAIL：SAT 求解器和归纳证明器的集成
- 批准号：
0541315 - 财政年份：2006
- 资助金额：
$ 0.95万 - 项目类别：
Standard Grant
2003 Dagstuhl Seminar on Deduction
2003 Dagstuhl 演绎研讨会
- 批准号：
0314135 - 财政年份：2003
- 资助金额：
$ 0.95万 - 项目类别：
Standard Grant
Polynomial Manipulation using Dixon Resultant Formulation
使用 Dixon 结果公式进行多项式运算
- 批准号：
0203051 - 财政年份：2002
- 资助金额：
$ 0.95万 - 项目类别：
Continuing Grant
ITR: Integrating Induction Schemes into Decision Procedures
ITR：将归纳方案纳入决策程序
- 批准号：
0113611 - 财政年份：2001
- 资助金额：
$ 0.95万 - 项目类别：
Continuing Grant
相似海外基金
Schloss Dagstuhl Support Grant for Junior Researchers
Schloss Dagstuhl 初级研究人员支持补助金
- 批准号：
1257011 - 财政年份：2013
- 资助金额：
$ 0.95万 - 项目类别：
Standard Grant
Peer to Peer MANET Workshop - Dagstuhl, Germany (10-12 April 2005)
点对点 MANET 研讨会 - 德国 Dagstuhl（2005 年 4 月 10-12 日）
- 批准号：
0526997 - 财政年份：2005
- 资助金额：
$ 0.95万 - 项目类别：
Standard Grant
2003 Dagstuhl Seminar on Deduction
2003 Dagstuhl 演绎研讨会
- 批准号：
0314135 - 财政年份：2003
- 资助金额：
$ 0.95万 - 项目类别：
Standard Grant
2001 Dagstuhl Seminar on Deduction to be held March 4-9, 2001 at the Dagstuhl Seminar Center in Wadern, Germany
2001 Dagstuhl 演绎研讨会将于 2001 年 3 月 4 日至 9 日在德国瓦登的 Dagstuhl 研讨会中心举行
- 批准号：
0100448 - 财政年份：2001
- 资助金额：
$ 0.95万 - 项目类别：
Standard Grant
1999 Dagstuhl Seminar on Deduction; March 1-5, l999; Wadern, Germany
1999 Dagstuhl 演绎研讨会；
- 批准号：
9971647 - 财政年份：1999
- 资助金额：
$ 0.95万 - 项目类别：
Standard Grant
U.S. Attendance at the International Dagstuhl Seminar on Self-Stabilization
美国出席达格斯图尔国际自稳定研讨会
- 批准号：
9814315 - 财政年份：1998
- 资助金额：
$ 0.95万 - 项目类别：
Standard Grant
Travel Support for the l997 Dagstuhl Seminar on Deduction, February 24-28, l997, Wadern, Germany
1997 年 Dagstuhl 演绎研讨会旅行支持，1997 年 2 月 24 日至 28 日，德国瓦德恩
- 批准号：
9705408 - 财政年份：1997
- 资助金额：
$ 0.95万 - 项目类别：
Standard Grant
Travel Support for the l995 Dagstuhl Seminar on Deduction, March 20-24, l995, Dagstuhl Seminar Center, Wadern, Germany.
为 1995 年 Dagstuhl 演绎研讨会提供旅行支持，1995 年 3 月 20 日至 24 日，德国瓦德恩 Dagstuhl 研讨会中心。
- 批准号：
9500136 - 财政年份：1995
- 资助金额：
$ 0.95万 - 项目类别：
Standard Grant
Conference: Dagstuhl International Conference on Molecular Bioinformatics in Dagstuhl, Germany, July 10-14, 1995
会议：达格施图尔国际分子生物信息学会议，德国达格施图尔，1995 年 7 月 10-14 日
- 批准号：
9503470 - 财政年份：1995
- 资助金额：
$ 0.95万 - 项目类别：
Standard Grant
Announcing a Dagstuhl Workshop on Fundamentals and Perspectives of Multimedia Systems
宣布举办关于多媒体系统基础知识和前景的 Dagstuhl 研讨会
- 批准号：
9405360 - 财政年份：1994
- 资助金额：
$ 0.95万 - 项目类别：
Standard Grant