Collaborative Research: CI-SUSTAIN: StarExec: Cross-Community Infrastructure for Logic Solving

协作研究:CI-SUSTAIN:StarExec:用于逻辑解决的跨社区基础设施

基本信息

  • 批准号:
    1730419
  • 负责人:
  • 金额:
    $ 44.69万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2017
  • 资助国家:
    美国
  • 起止时间:
    2017-09-01 至 2021-08-31
  • 项目状态:
    已结题

项目摘要

StarExec is a web-accessed compute service that was developed (under a prior NSF grant) as a community resource/infrastructure to support researchers in the field of automatic theorem proving and other research areas that depend on logic-solving methods. Research groups in these areas cannot support their own infrastructure due to the high cost of the hardware and the high degree of specialized expertise needed to run and optimize large-scale solver executions. StarExec users can upload solvers and benchmarks to the system, configure and execute jobs to run selected solvers on selected benchmarks, and collaborate by sharing data and artifacts. The infrastructure was first developed to facilitate solver competitions and now supports a large number of users in many areas of research where logic solvers are used. This new grant sustains and expands StarExec by providing additional hardware (computing clusters) and human resources at the University of Iowa to meet the growing demand for this infrastructure, as the use of logic solvers expands to new research areas and larger-scale problems. Part of the long-term, sustainability strategy is to create multiple instances of the StarExec software, starting with the University of Miami, which will serve as a demonstration and model for future expansion.
StarExec是一个Web访问的计算服务,是作为社区资源/基础设施开发的(在先前的NSF资助下),以支持自动定理证明领域和其他依赖逻辑求解方法的研究领域的研究人员。 这些领域的研究小组无法支持自己的基础设施,因为硬件成本高,运行和优化大规模求解器执行需要高度的专业知识。StarExec用户可以将求解器和基准测试上传到系统,配置和执行作业以在选定的基准测试上运行选定的求解器,并通过共享数据和工件进行协作。 该基础设施最初是为了促进求解器竞赛而开发的,现在支持许多使用逻辑求解器的研究领域的大量用户。这一新的赠款通过在爱荷华州大学提供额外的硬件(计算集群)和人力资源来维持和扩展StarExec,以满足对这一基础设施不断增长的需求,因为逻辑求解器的使用扩展到新的研究领域和更大规模的问题。 长期可持续发展战略的一部分是创建StarExec软件的多个实例,从迈阿密大学开始,这将成为未来扩展的示范和模型。

项目成果

期刊论文数量(6)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
The CADE-27 Automated theorem proving System Competition – CASC-27
CADE-27 自动定理证明系统竞赛 — CASC-27
  • DOI:
    10.3233/aic-190627
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0.8
  • 作者:
    Sutcliffe, Geoff
  • 通讯作者:
    Sutcliffe, Geoff
The 10th IJCAR automated theorem proving system competition – CASC-J10
第十届IJCAR自动化定理证明系统大赛—CASC-J10
  • DOI:
    10.3233/aic-201566
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0.8
  • 作者:
    Sutcliffe, Geoff
  • 通讯作者:
    Sutcliffe, Geoff
System Description : JGXYZ An ATP System for Gap and Glut Logics
系统描述:JGXYZ 用于缺口和过剩逻辑的 ATP 系统
  • DOI:
    10.1007/978-3-030-29436-6_31
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Sutcliffe, G.;Pelletier, F.J.
  • 通讯作者:
    Pelletier, F.J.
{{ 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 }}

Geoffrey Sutcliffe其他文献

Geoffrey Sutcliffe的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Geoffrey Sutcliffe', 18)}}的其他基金

CI-EN: SystemOnTPTP - Online Services for Automated Theorem Proving in Classical Logic
CI-EN:SystemOnTPTP - 经典逻辑自动定理证明在线服务
  • 批准号:
    1405674
  • 财政年份:
    2014
  • 资助金额:
    $ 44.69万
  • 项目类别:
    Standard Grant
Collaborative Research: CI-ADDO-NEW: StarExec: Cross-Community Infrastructure for Logic Solving
协作研究:CI-ADDO-NEW:StarExec:用于逻辑解决的跨社区基础设施
  • 批准号:
    1058925
  • 财政年份:
    2011
  • 资助金额:
    $ 44.69万
  • 项目类别:
    Standard Grant
Collaborative Research: CI-ADDO-NEW: *-EXEC: A Cross-Community Solver Execution Service
协作研究:CI-ADDO-NEW:*-EXEC:跨社区求解器执行服务
  • 批准号:
    0957438
  • 财政年份:
    2010
  • 资助金额:
    $ 44.69万
  • 项目类别:
    Standard Grant
Computer Science and Mathematics for Scientists
科学家的计算机科学和数学
  • 批准号:
    0630894
  • 财政年份:
    2007
  • 资助金额:
    $ 44.69万
  • 项目类别:
    Standard Grant

相似国自然基金

醒脑静多靶点调控PI3K/Akt通路抑制CI/RI氧化应激—基于网络药理学及体内、外实验研究
  • 批准号:
    2025JJ90117
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
ci-Eln促进亲本基因Eln介导的缺氧肺动脉平滑肌细胞增殖的机制研究
  • 批准号:
  • 批准年份:
    2021
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
森林垂直分层LAI和CI时空变异特征、LiDAR遥感反演与验证研究
  • 批准号:
  • 批准年份:
    2021
  • 资助金额:
    59 万元
  • 项目类别:
    面上项目
CI 994对SLC25A46相关线粒体病的治疗及机制研究
  • 批准号:
    82001449
  • 批准年份:
    2020
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目
近邻星系中[CI]线作为新分子气体质量探针的观测研究
  • 批准号:
    12003070
  • 批准年份:
    2020
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目
α2肾上腺素受体活化促ESCRT-III膜聚集在肾CI/RI致肺程序性坏死中的机制研究
  • 批准号:
    81801900
  • 批准年份:
    2018
  • 资助金额:
    21.0 万元
  • 项目类别:
    青年科学基金项目
内共生菌引起棉叶螨的细胞质不亲和(CI)的分子机理研究
  • 批准号:
    31860508
  • 批准年份:
    2018
  • 资助金额:
    39.0 万元
  • 项目类别:
    地区科学基金项目
HDACi-CI994对猪体细胞核移植胚胎表观遗传重编程的作用机制研究
  • 批准号:
    31702198
  • 批准年份:
    2017
  • 资助金额:
    28.0 万元
  • 项目类别:
    青年科学基金项目
发育中PRC1调控Hh信号通路Ci/Gli转录的分子机制及功能研究
  • 批准号:
    31630047
  • 批准年份:
    2016
  • 资助金额:
    276.0 万元
  • 项目类别:
    重点项目
Hh信号通路中Ci SUMO化修饰的作用机制及功能研究
  • 批准号:
    31371492
  • 批准年份:
    2013
  • 资助金额:
    85.0 万元
  • 项目类别:
    面上项目

相似海外基金

Collaborative Research: GEO OSE Track 2: Developing CI-enabled collaborative workflows to integrate data for the SZ4D (Subduction Zones in Four Dimensions) community
协作研究:GEO OSE 轨道 2:开发支持 CI 的协作工作流程以集成 SZ4D(四维俯冲带)社区的数据
  • 批准号:
    2324714
  • 财政年份:
    2024
  • 资助金额:
    $ 44.69万
  • 项目类别:
    Standard Grant
Collaborative Research: Maritime to Inland Transitions Towards ENvironments for Convection Initiation (MITTEN CI)
合作研究:海洋到内陆向对流引发环境的转变(MITTEN CI)
  • 批准号:
    2349935
  • 财政年份:
    2024
  • 资助金额:
    $ 44.69万
  • 项目类别:
    Continuing Grant
Collaborative Research: Maritime to Inland Transitions Towards ENvironments for Convection Initiation (MITTEN CI)
合作研究:海洋到内陆向对流引发环境的转变(MITTEN CI)
  • 批准号:
    2349934
  • 财政年份:
    2024
  • 资助金额:
    $ 44.69万
  • 项目类别:
    Continuing Grant
Collaborative Research: Frameworks: MobilityNet: A Trustworthy CI Emulation Tool for Cross-Domain Mobility Data Generation and Sharing towards Multidisciplinary Innovations
协作研究:框架:MobilityNet:用于跨域移动数据生成和共享以实现多学科创新的值得信赖的 CI 仿真工具
  • 批准号:
    2411152
  • 财政年份:
    2024
  • 资助金额:
    $ 44.69万
  • 项目类别:
    Standard Grant
Collaborative Research: Maritime to Inland Transitions Towards ENvironments for Convection Initiation (MITTEN CI)
合作研究:海洋到内陆向对流引发环境的转变(MITTEN CI)
  • 批准号:
    2349936
  • 财政年份:
    2024
  • 资助金额:
    $ 44.69万
  • 项目类别:
    Continuing Grant
Collaborative Research: Frameworks: MobilityNet: A Trustworthy CI Emulation Tool for Cross-Domain Mobility Data Generation and Sharing towards Multidisciplinary Innovations
协作研究:框架:MobilityNet:用于跨域移动数据生成和共享以实现多学科创新的值得信赖的 CI 仿真工具
  • 批准号:
    2411153
  • 财政年份:
    2024
  • 资助金额:
    $ 44.69万
  • 项目类别:
    Standard Grant
Collaborative Research: GEO OSE Track 2: Developing CI-enabled collaborative workflows to integrate data for the SZ4D (Subduction Zones in Four Dimensions) community
协作研究:GEO OSE 轨道 2:开发支持 CI 的协作工作流程以集成 SZ4D(四维俯冲带)社区的数据
  • 批准号:
    2324709
  • 财政年份:
    2024
  • 资助金额:
    $ 44.69万
  • 项目类别:
    Standard Grant
Collaborative Research: GEO OSE Track 2: Developing CI-enabled collaborative workflows to integrate data for the SZ4D (Subduction Zones in Four Dimensions) community
协作研究:GEO OSE 轨道 2:开发支持 CI 的协作工作流程以集成 SZ4D(四维俯冲带)社区的数据
  • 批准号:
    2324713
  • 财政年份:
    2024
  • 资助金额:
    $ 44.69万
  • 项目类别:
    Standard Grant
Collaborative Research: Maritime to Inland Transitions Towards ENvironments for Convection Initiation (MITTEN CI)
合作研究:海洋到内陆向对流引发环境的转变(MITTEN CI)
  • 批准号:
    2349937
  • 财政年份:
    2024
  • 资助金额:
    $ 44.69万
  • 项目类别:
    Continuing Grant
Collaborative Research: Frameworks: MobilityNet: A Trustworthy CI Emulation Tool for Cross-Domain Mobility Data Generation and Sharing towards Multidisciplinary Innovations
协作研究:框架:MobilityNet:用于跨域移动数据生成和共享以实现多学科创新的值得信赖的 CI 仿真工具
  • 批准号:
    2411151
  • 财政年份:
    2024
  • 资助金额:
    $ 44.69万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了