Workshop on Recursion Theoretic Aspects of Computer Science At Purdue University During May of 1981
Workshop on Recursion Theoretic Aspects of Computer Science At Purdue University During May of 1981
批准号:
8007360
负责人:
Carl Smith
金额:
$0.94万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1980
资助国家:
美国
项目状态:
已结题
起止时间:
1980-08-01 至 1981-11-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SBIR Phase II: Eddy Current Condition Monitoring of Metallic Flaws Under Surface Coatings Using Giant Magnetoresistance (GMR) Sensors
-
批准号:0216200
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2002
-
负责人:Carl Smith
-
依托单位:
SBIR Phase I: Eddy Current Condition Monitoring of Metallic Flaws Under Surface Coatings Using Giant Magnetoresistance (GMR) Sensors
-
批准号:0060447
-
项目类别:Standard Grant
-
资助金额:$9.97万
-
财政年份:2001
-
负责人:Carl Smith
-
依托单位:
Discovery Science 2001
-
批准号:0117493
-
项目类别:Standard Grant
-
资助金额:$1.7万
-
财政年份:2001
-
负责人:Carl Smith
-
依托单位:
The Capabilities and Limitations of Atomated Discovery
-
批准号:9732692
-
项目类别:Standard Grant
-
资助金额:$19.3万
-
财政年份:1998
-
负责人:Carl Smith
-
依托单位:
Cooperative USA-Latvia Research
-
批准号:9421640
-
项目类别:Standard Grant
-
资助金额:$1.8万
-
财政年份:1995
-
负责人:Carl Smith
-
依托单位:
Learning, Complexity, & Testing
-
批准号:9301339
-
项目类别:Continuing Grant
-
资助金额:$22.63万
-
财政年份:1994
-
负责人:Carl Smith
-
依托单位:
Cooperative US-Latvia Research in Inductive Inference
-
批准号:9119540
-
项目类别:Standard Grant
-
资助金额:$3.8万
-
财政年份:1992
-
负责人:Carl Smith
-
依托单位:
Features of Machine Learning and Other Topics in Foundations of Computing
-
批准号:9020079
-
项目类别:Continuing Grant
-
资助金额:$18.79万
-
财政年份:1991
-
负责人:Carl Smith
-
依托单位:
Capitol Area Theory Seminar: University of Maryland, College Park, Fall 1991 - Spring 1994
-
批准号:9112976
-
项目类别:Standard Grant
-
资助金额:$0.6万
-
财政年份:1991
-
负责人:Carl Smith
-
依托单位:
Inductive Inference and other topics in the Foundations of Computing (Computer and Information Science)
-
批准号:8701104
-
项目类别:Continuing Grant
-
资助金额:$9.97万
-
财政年份:1987
-
负责人:Carl Smith
-
依托单位:
A Special Year for Logic and Related Aspects of Computer Science at the University of Maryland - College Park, 1984 - 1985
-
批准号:8413498
-
项目类别:Standard Grant
-
资助金额:$1.07万
-
财政年份:1984
-
负责人:Carl Smith
-
依托单位:
Automatic Program Synthesis and Structures Common to Programs and Data (Computer Research)
-
批准号:8301536
-
项目类别:Standard Grant
-
资助金额:$7.15万
-
财政年份:1983
-
负责人:Carl Smith
-
依托单位:
Inductive Inference and Program/Data Structures
-
批准号:7903912
-
项目类别:Standard Grant
-
资助金额:$3.43万
-
财政年份:1979
-
负责人:Carl Smith
-
依托单位:
海外基金