课题基金 / 基金详情

MRI: Acquisition of Big-Data Private-Cloud Research Cyberinfrastructure (BDPC)

MRI: Acquisition of Big-Data Private-Cloud Research Cyberinfrastructure (BDPC)
MRI:收购大数据私有云研究网络基础设施 (BDPC)
批准号:
1338099
负责人:
Moshe Vardi
金额:
$40.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2013
资助国家:
美国
项目状态:
已结题
起止时间:
2013-10-01 至 2016-09-30

项目摘要

项目成果

Moshe Vardi的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Proposal #: 13-38099PI(s): Vardi, Moshe; Allen, Genevera; Bradshaw, Stephen; Karaki, Lydia; Veeraraghavan, AshokInstitution: Rice UniversityTitle: MRI/Acq.: Big-Data Private Cloud Research Cyberinfrastructure (BDPC) Project Proposed:This project, acquiring a novel cyber-infrastructure instrument for big data cloud computing designed as a loosely coupled computations system with large memory requirements, enables a significant range of application domains as well as research into infrastructures for cloud computing. The domain sciences addressed range from development of big-data enabling software technologies spanning fundamental computer science work, to the analysis of electronic medical records, twitter streams, and hurricane evacuation strategies. Additional benefits are expected in understanding disease and therapeutic treatments, and in the development and application of mathematical models in the areas of machine learning, optimization, compressed sensing, image processing, and statistical analysis and data mining. The instrument will also help bridge the gap between numerical models and observations in astrophysics.Broader Impacts: The broader impacts on society, and especially in education and training (including for members of underrepresented groups) are all compelling. The instrument will directly impact the educational experience for all students taking classes in computing and computational problem solving. The targeted research communities are diverse and broad, including the underrepresented groups, with strong empirical and experimental components. The proposed instrument is highly suitable for training and education.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Conference: CISE: CCF: SHF: Support for the 2022 Federated Logic Conference
  • 批准号:
    2223546
  • 项目类别:
    Standard Grant
  • 资助金额:
    $5.0万
  • 财政年份:
    2022
  • 负责人:
    Moshe Vardi
  • 依托单位:
CCRI: Medium: Collaborative Research: Open-Source, State-of-the-Art Symbolic Model-Checking Framework
  • 批准号:
    2016656
  • 项目类别:
    Standard Grant
  • 资助金额:
    $25.66万
  • 财政年份:
    2020
  • 负责人:
    Moshe Vardi
  • 依托单位:
Student Support for the 2018 Federated Logic Conference
  • 批准号:
    1824944
  • 项目类别:
    Standard Grant
  • 资助金额:
    $3.5万
  • 财政年份:
    2018
  • 负责人:
    Moshe Vardi
  • 依托单位:
SHF: Medium: Collaborative Research: Formal Analysis and Synthesis of Multiagent Systems with Incentives
  • 批准号:
    1704883
  • 项目类别:
    Standard Grant
  • 资助金额:
    $80.0万
  • 财政年份:
    2017
  • 负责人:
    Moshe Vardi
  • 依托单位:
海外基金