I-Corps: An Interactive Query Interface

I-Corps:交互式查询界面

基本信息

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

项目摘要

The broader impact/commercial potential of this I-Corps project will be to enable companies and end-users to more easily extract relevant information from data sources. This system can be beneficial for a wide range of companies including e-commerce, business intelligence, and database and could systems. It is envisioned that this technology will be used in two ways: First, companies can use the system internally to enable easier and faster data access for their employees, thereby reducing dependence on database administrators and cutting costs. Second, companies could use the system externally to provide a better search interface to their customers. In addition, this technology can potentially also be useful to academic researchers, particularly within social and natural sciences, by allowing them to easily extract relevant data.This I-Corps project provides an interface for extracting data from databases by writing English sentences. Although relational databases are the most common choice for the storage of information, retrieving a relevant subset of the data from them requires expertise in a formal query language. This technology allows end-users to query information stored in a relational database without having to learn a formal query language. The technology is based on a research which combines advanced natural language processing techniques with automated program synthesis and repair. A key advantage of this approach is that it is database-agnostic and does not require end-users to know the database schema.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
该I-Corps项目的更广泛的影响/商业潜力将是使公司和最终用户更容易从数据源中提取相关信息。该系统对包括电子商务,商业智能以及数据库和CANS系统在内的众多公司可能是有益的。可以预见,该技术将以两种方式使用:首先,公司可以在内部使用该系统来为员工提供更轻松,更快的数据访问,从而减少对数据库管理员的依赖和削减成本。其次,公司可以在外部使用该系统为客户提供更好的搜索界面。此外,通过允许它们轻松提取相关数据,该技术也可能对学术研究人员,尤其是在社会和自然科学中有用。这项I-Corps项目提供了一个界面,提供了通过编写英语句子来从数据库中提取数据的界面。尽管关系数据库是信息存储的最常见选择,但是从中检索数据的相关子集需要正式查询语言的专业知识。该技术使最终用户可以查询存储在关系数据库中的信息,而不必学习正式的查询语言。该技术基于一项研究,该研究将先进的自然语言处理技术与自动化程序合成和维修相结合。这种方法的一个关键优点是它是数据库 - 不可思议的,并且不需要最终用户知道数据库架构。该奖项反映了NSF的法定任务,并被认为是值得通过基金会的知识分子和更广泛影响的评估审查标准来通过评估来获得支持的。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ 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 }}

Isil Dillig其他文献

Metric Program Synthesis
度量程序综合
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    John Feser;Isil Dillig;Armando Solar-Lezama
  • 通讯作者:
    Armando Solar-Lezama

Isil Dillig的其他文献

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

{{ truncateString('Isil Dillig', 18)}}的其他基金

FMitF: Track I: Program Synthesis for Robot Learning from Demonstrations
FMITF:轨道 I:机器人从演示中学习的程序综合
  • 批准号:
    2319471
  • 财政年份:
    2023
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Core: Medium: Program Synthesis for Schema Changes
协作研究:SHF:核心:媒介:模式更改的程序综合
  • 批准号:
    2210831
  • 财政年份:
    2022
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Expeditions: Collaborative Research: Understanding the World Through Code
探险:合作研究:通过代码了解世界
  • 批准号:
    1918889
  • 财政年份:
    2020
  • 资助金额:
    $ 5万
  • 项目类别:
    Continuing Grant
SHF: Medium: Collaborative Research: Bridging Automated Formal Reasoning and Continuous Optimization for Provably Safe Deep Learning
SHF:中:协作研究:连接自动形式推理和持续优化以实现可证明安全的深度学习
  • 批准号:
    1901376
  • 财政年份:
    2019
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
SaTC: CORE: Medium: Collaborative: Effective Formal Reasoning for Mobile Malware
SaTC:核心:媒介:协作:移动恶意软件的有效形式推理
  • 批准号:
    1908304
  • 财政年份:
    2019
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
SHF: Small: Scalable Program Synthesis using Counterexample-Guided Abstraction Refinement
SHF:小型:使用反例引导的抽象细化的可扩展程序综合
  • 批准号:
    1811865
  • 财政年份:
    2018
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
SHF: Medium: Collaborative Research: Computer-Aided Programming for Data Science
SHF:媒介:协作研究:数据科学计算机辅助编程
  • 批准号:
    1762299
  • 财政年份:
    2018
  • 资助金额:
    $ 5万
  • 项目类别:
    Continuing Grant
SHF:Small:Analysis, Repair, and Synthesis for k-Safety
SHF:Small:k-安全的分析、修复和合成
  • 批准号:
    1712067
  • 财政年份:
    2017
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
CAREER: UNITY: Bridging the Gap Between Program Analyzers and Deductive Verifiers via Abductive Reasoning
职业:UNITY:通过归纳推理弥合程序分析器和演绎验证器之间的差距
  • 批准号:
    1453386
  • 财政年份:
    2015
  • 资助金额:
    $ 5万
  • 项目类别:
    Continuing Grant

相似国自然基金

基于协同增强子的遗传变异交互作用在胃癌发生中的关联及机制研究
  • 批准号:
    82304224
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
时空交互与社会化交互协同驱动的弱势道路使用者轨迹预测方法研究
  • 批准号:
    52302501
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
新型金属有机框架多孔碳膜用于植物-微生物挥发性交互因子的富集研究
  • 批准号:
    22374023
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
人机交互学习下的策略行为与多属性共识决策模型及应用研究
  • 批准号:
    72371042
  • 批准年份:
    2023
  • 资助金额:
    39 万元
  • 项目类别:
    面上项目
脊髓背角GABA与Glycine能神经元交互抑制回路的组成及其在神经病理性疼痛状态下的可塑性变化
  • 批准号:
    82371226
  • 批准年份:
    2023
  • 资助金额:
    49 万元
  • 项目类别:
    面上项目

相似海外基金

A scalable cloud-based framework for multi-modal mapping across single neuron omics, morphology and electrophysiology
一个可扩展的基于云的框架,用于跨单个神经元组学、形态学和电生理学的多模式映射
  • 批准号:
    10725550
  • 财政年份:
    2023
  • 资助金额:
    $ 5万
  • 项目类别:
NP-MRD: Natural Products Magnetic Resonance Database
NP-MRD:天然产物磁共振数据库
  • 批准号:
    10434817
  • 财政年份:
    2020
  • 资助金额:
    $ 5万
  • 项目类别:
NP-MRD: Natural Products Magnetic Resonance Database
NP-MRD:天然产物磁共振数据库
  • 批准号:
    10200680
  • 财政年份:
    2020
  • 资助金额:
    $ 5万
  • 项目类别:
NP-MRD: Natural Products Magnetic Resonance Database
NP-MRD:天然产物磁共振数据库
  • 批准号:
    9905213
  • 财政年份:
    2020
  • 资助金额:
    $ 5万
  • 项目类别:
NP-MRD: Natural Products Magnetic Resonance Database
NP-MRD:天然产物磁共振数据库
  • 批准号:
    10655369
  • 财政年份:
    2020
  • 资助金额:
    $ 5万
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了