CISE Research Infrastructure: Effective Information Access: Computer Science Research Fundamental to Creation of a National Information Infrastructure
CISE Research Infrastructure: Effective Information Access: Computer Science Research Fundamental to Creation of a National Information Infrastructure
批准号:
9503064
负责人:
Deepak Kapur
金额:
$125.0万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1995
资助国家:
美国
项目状态:
已结题
起止时间:
1995-08-01 至 2002-07-31
中文摘要
小行星9503064 该奖项为可视化设施、支持分布式仿真的服务器和高速集群网络提供支持。 此外,新墨西哥州大学将在科学和工程图书馆建立一个国家信息基础设施(NII)实验实验室,作为一个共享的研究试验平台,并促进与圣达菲研究所和国家实验室在生物学方面的分布式模拟和研究合作。 实验室设备将包括图形工作站,通过高性能局域网连接到高端对称多处理系统、SGI Power Onyx和Power Challenge,以及毛伊岛高性能计算中心的IBM SP-2、桑迪亚国家实验室的英特尔Paragon和洛斯阿拉莫斯国家实验室的CM-5的远程高性能设施。 该大学将建立在自适应计算,人机交互,信息分析和模拟的现有优势,专注于自适应多尺度界面;分布式计算,通信和基于网络的应用程序的安全性;数据挖掘和过滤;和改进访问分布式仿真。
英文摘要
9503064 Hollan This award provides support for visualization facilities, servers to support distributed simulation, and a high-speed cluster network. In addition the University of New Mexico will establish a National Information Infrastructure (NII) Experimental Laboratory in the Science and Engineering Library to serve as a shared research testbed, as well as to facilitate efforts in distributed simulation and research collaborations in Biology, with the Santa Fe Institute and the National Laboratories. The Laboratory equipment will include graphics workstations connected via a high-performance local area network to high-end symmetric multiprocessing systems, an SGI Power Onyx and Power Challenge, and to remote high-performance facilities at the Maui High Performance Computing Center's IBM SP-2, the Sandia National Laboratory's Intel Paragon, and the Los Alamos National Laboratory's CM-5. The University will build on its existing strengths in adaptive computation, human computer interaction, information analysis, and simulation to focus on adaptive multiscale interfaces; distributed computation, communication, and security for network-based applications; data mining and filtering; and improved access to distributed simulation.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
AF: Small: Comprehensive Groebner, Parametric GCD Computations and Real Geometric Reasoning
-
批准号:1908804
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2019
-
负责人:Deepak Kapur
-
依托单位:
Generating Octagonal Invariants using Quantifier Elimination Heuristics
-
批准号:1248069
-
项目类别:Standard Grant
-
资助金额:$8.32万
-
财政年份:2012
-
负责人:Deepak Kapur
-
依托单位:
Math: Algorithms for Parametric (Comprehensive) Groebner Computations
-
批准号:1217054
-
项目类别:Standard Grant
-
资助金额:$29.95万
-
财政年份:2012
-
负责人:Deepak Kapur
-
依托单位:
TC: Medium: Collaborative Research: Unification Laboratory: Increasing the Power of Cryptographic Protocol Analysis Tools
-
批准号:0905222
-
项目类别:Standard Grant
-
资助金额:$24.0万
-
财政年份:2009
-
负责人:Deepak Kapur
-
依托单位:
Analyzing Polynomial Systems using Cayley-Dixon Resultant Matrices based on Support Hull
-
批准号:0729097
-
项目类别:Standard Grant
-
资助金额:$21.2万
-
财政年份:2008
-
负责人:Deepak Kapur
-
依托单位:
Collaborative Research: CT-M: Unification Laboratory for Cryptographic Protocol Analysis
-
批准号:0831462
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2008
-
负责人:Deepak Kapur
-
依托单位:
Collaborative Research: SAIL: An Integration of SAT Solver and Inductive Prover
-
批准号:0541315
-
项目类别:Standard Grant
-
资助金额:$14.56万
-
财政年份:2006
-
负责人:Deepak Kapur
-
依托单位:
2003 Dagstuhl Seminar on Deduction
-
批准号:0314135
-
项目类别:Standard Grant
-
资助金额:$1.65万
-
财政年份:2003
-
负责人:Deepak Kapur
-
依托单位:
Polynomial Manipulation using Dixon Resultant Formulation
-
批准号:0203051
-
项目类别:Continuing Grant
-
资助金额:$21.0万
-
财政年份:2002
-
负责人:Deepak Kapur
-
依托单位:
ITR: Integrating Induction Schemes into Decision Procedures
-
批准号:0113611
-
项目类别:Continuing Grant
-
资助金额:$40.15万
-
财政年份:2001
-
负责人:Deepak Kapur
-
依托单位:
Collaborative Research on Semantic Unification and its Applications
-
批准号:0098114
-
项目类别:Standard Grant
-
资助金额:$13.71万
-
财政年份:2001
-
负责人:Deepak Kapur
-
依托单位:
2001 Dagstuhl Seminar on Deduction to be held March 4-9, 2001 at the Dagstuhl Seminar Center in Wadern, Germany
-
批准号:0100448
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2001
-
负责人:Deepak Kapur
-
依托单位:
Investigation of the Dixon Resultants
-
批准号:9996144
-
项目类别:Standard Grant
-
资助金额:$6.72万
-
财政年份:1999
-
负责人:Deepak Kapur
-
依托单位:
1999 Dagstuhl Seminar on Deduction; March 1-5, l999; Wadern, Germany
-
批准号:9971647
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1999
-
负责人:Deepak Kapur
-
依托单位:
1999 Dagstuhl Seminar on Deduction; March 1-5, l999; Wadern, Germany
-
批准号:9996217
-
项目类别:Standard Grant
-
资助金额:$0.95万
-
财政年份:1999
-
负责人:Deepak Kapur
-
依托单位:
Lemma Generation and Failure Heuristics for an Induction Theorem Prover (RRL)
-
批准号:9996150
-
项目类别:Standard Grant
-
资助金额:$22.1万
-
财政年份:1999
-
负责人:Deepak Kapur
-
依托单位:
U.S.-Indo Collaborative Research: Logic Programming AnalysisTransformations and Principles, Award in Indian and U.S. Currencies
-
批准号:9996259
-
项目类别:Standard Grant
-
资助金额:$0.25万
-
财政年份:1999
-
负责人:Deepak Kapur
-
依托单位:
Lemma Generation and Failure Heuristics for an Induction Theorem Prover (RRL)
-
批准号:9712366
-
项目类别:Standard Grant
-
资助金额:$24.01万
-
财政年份:1997
-
负责人:Deepak Kapur
-
依托单位:
Investigation of the Dixon Resultants
-
批准号:9622860
-
项目类别:Standard Grant
-
资助金额:$12.36万
-
财政年份:1996
-
负责人:Deepak Kapur
-
依托单位:
U.S.-Indo Collaborative Research: Logic Programming AnalysisTransformations and Principles, Award in Indian and U.S. Currencies
-
批准号:9416687
-
项目类别:Standard Grant
-
资助金额:$1.95万
-
财政年份:1995
-
负责人:Deepak Kapur
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Research on Quantum Field Theory without a Lagrangian Description
-
批准号:24ZR1403900
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:SATOSHI NAWATA
-
依托单位:
Cell Research
-
批准号:31224802
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:程磊
-
依托单位:
Cell Research
-
批准号:31024804
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:程磊
-
依托单位:
Cell Research (细胞研究)
-
批准号:30824808
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2008
-
负责人:张爱兰
-
依托单位:
Research on the Rapid Growth Mechanism of KDP Crystal
-
批准号:10774081
-
项目类别:面上项目
-
资助金额:45.0万元
-
批准年份:2007
-
负责人:滕冰
-
依托单位: