The Probabilistic Analysis of Combinatorial Problems and Algorithms
The Probabilistic Analysis of Combinatorial Problems and Algorithms
批准号:
8002442
负责人:
Vladimir Lifschitz
金额:
$1.81万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1980
资助国家:
美国
项目状态:
已结题
起止时间:
1980-07-01 至 1982-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
RI: Small: Mathematical Analysis of an Answer Set Programming Language
-
批准号:1422455
-
项目类别:Standard Grant
-
资助金额:$40.4万
-
财政年份:2014
-
负责人:Vladimir Lifschitz
-
依托单位:
RI: Nonpropositional Nonmonotonic Languages for Knowledge Representation
-
批准号:0712113
-
项目类别:Continuing Grant
-
资助金额:$38.91万
-
财政年份:2007
-
负责人:Vladimir Lifschitz
-
依托单位:
General Purpose Database of Knowledge about Actions
-
批准号:0412907
-
项目类别:Continuing Grant
-
资助金额:$37.5万
-
财政年份:2004
-
负责人:Vladimir Lifschitz
-
依托单位:
US-Turkey Cooperative Research: Realistic Applications of Action Languages for Workflow Management
-
批准号:0004433
-
项目类别:Standard Grant
-
资助金额:$3.09万
-
财政年份:2001
-
负责人:Vladimir Lifschitz
-
依托单位:
Formalization and Automation of Reasoning about Actions
-
批准号:9732744
-
项目类别:Continuing Grant
-
资助金额:$36.9万
-
财政年份:1998
-
负责人:Vladimir Lifschitz
-
依托单位:
High-Level Languages for Describing Action and Change
-
批准号:9306751
-
项目类别:Continuing Grant
-
资助金额:$39.89万
-
财政年份:1993
-
负责人:Vladimir Lifschitz
-
依托单位:
Representing Properties of Actions in Extensions of Logic Programming
-
批准号:9101078
-
项目类别:Continuing Grant
-
资助金额:$14.2万
-
财政年份:1991
-
负责人:Vladimir Lifschitz
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
-
批准号:--
-
项目类别:合作创新研究团队
-
资助金额:--
-
批准年份:2024
-
负责人:姚韬
-
依托单位:
Intelligent Patent Analysis for Optimized Technology Stack Selection:Blockchain BusinessRegistry Case Demonstration
-
批准号:--
-
项目类别:外国学者研究基金项目
-
资助金额:--
-
批准年份:2024
-
负责人:USHARANI HAREESH GOVINDARA JAN
-
依托单位:
基于Meta-analysis的新疆棉花灌水增产模型研究
-
批准号:41601604
-
项目类别:青年科学基金项目
-
资助金额:22.0万元
-
批准年份:2016
-
负责人:赵爱琴
-
依托单位:
大规模微阵列数据组的meta-analysis方法研究
-
批准号:31100958
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2011
-
负责人:赵洪雅
-
依托单位:
用“后合成核磁共振分析”(retrobiosynthetic NMR analysis)技术阐明青蒿素生物合成途径
-
批准号:30470153
-
项目类别:面上项目
-
资助金额:22.0万元
-
批准年份:2004
-
负责人:刘本叶
-
依托单位: