SHF:Small:Language Support for Ad Hoc Data Processing

SHF:Small:对即席数据处理的语言支持

基本信息

  • 批准号:
    1016937
  • 负责人:
  • 金额:
    $ 50万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2010
  • 资助国家:
    美国
  • 起止时间:
    2010-08-15 至 2014-07-31
  • 项目状态:
    已结题

项目摘要

In every business, engineering endeavour and scientific discipline, workers are digitizing their knowledge with the hope of using computational methods to categorize, query, filter, search, diagnose, and visualize their data. While this effort is leading to remarkable industrial and scientific advances, it is also generating enormous amounts of ad hoc data (i.e., that data for which standard data processing tools such as query engines, statistical packages, graphing tools, or other software is not readily available). Ad hoc data poses tremendous challenges to its users because it is often highly varied, poorly documented, filled with errors, and continuously evolving --- yet ad hoc data also contains much valuable information. The goal of this research is to develop general-purpose software tools and techniques capable of managing ad hoc data efficiently. This research has the potential for a broad impact on society by dramatically improving the productivity of industrial data analysts, computer systems administrators and academics who must deal with ad hoc data on a day-to-day basis.The central technical challenge of the research involves designing, implementing and evaluating a new domain-specific programming language that facilitates the management of ad hoc data sets. This new programming language will allow data analysts to specify the structure of ad hoc data files, how those files are arranged in a file system and what meta-data is associated with them. Once a specification is complete, it will be possible to use it as documentation for the data set or for generating data-processing tools. The research will also involve developing new methods for enabling users to generate specifications quickly and accurately, without actually having to write down all of the details by hand. Finally, the research will develop new algorithms for implementing the generated data-processing tools efficiently.
在每一个企业、工程和科学领域,工作人员都在数字化他们的知识,希望使用计算方法来分类、查询、过滤、搜索、诊断和可视化他们的数据。虽然这一努力正在导致显着的工业和科学进步,它也产生了大量的特设数据(即,诸如查询引擎、统计包、绘图工具或其他软件的标准数据处理工具不容易获得的数据)。特别数据给它的用户带来了巨大的挑战,因为它经常是高度多样的,缺乏文档记录,充满错误,并不断发展-然而特别数据也包含许多有价值的信息。 本研究的目标是开发通用的软件工具和技术,能够有效地管理ad hoc数据。 这项研究有可能对社会产生广泛的影响,通过显着提高生产力的工业数据分析师,计算机系统管理员和学者谁必须处理ad hoc数据在日常的基础上,该研究的核心技术挑战涉及设计,实施和评估一个新的特定领域的编程语言,促进ad hoc数据集的管理。 这种新的编程语言将允许数据分析师指定特定数据文件的结构,这些文件在文件系统中的排列方式以及与它们相关的元数据。 规格一旦完成,就可以将其用作数据集或生成数据处理工具的文件。 这项研究还将涉及开发新的方法,使用户能够快速准确地生成规格,而不必实际上写下所有的细节。 最后,研究将开发新的算法,有效地实现生成的数据处理工具。

项目成果

期刊论文数量(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 }}

David Walker其他文献

Surgical interventions for the early management of Bell's palsy.
贝尔麻痹早期治疗的手术干预。
  • DOI:
    10.1002/14651858.cd007468.pub2
  • 发表时间:
    2011
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Kerrie McAllister;David Walker;P. Donnan;Iain R. C. Swan
  • 通讯作者:
    Iain R. C. Swan
Superheating Effects on Metal-Silicate Partitioning of Siderophile Elements
过热对亲铁元素金属硅酸盐分配的影响
  • DOI:
    10.1126/science.262.5141.1858
  • 发表时间:
    1993
  • 期刊:
  • 影响因子:
    56.9
  • 作者:
    David Walker;L. Norby;John H. Jones
  • 通讯作者:
    John H. Jones
Thermochemical Mechanism of Optimized Lanthanum Chromite Heaters for High-Pressure and High-Temperature Experiments
高压高温实验用优化铬酸镧加热器的热化学机理
  • DOI:
    10.1021/acsami.2c07639
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Tao Xia;Yifeng Han;Chuanhui Zhu;Zhongxiong Sun;Chongyang Yuan;Qi Cui;Jinguang Cheng;Wei Du;Wenting Li;Kui Xie;Shouhua Feng;Shouhua Feng;David Walker;Man-Rong Li
  • 通讯作者:
    Man-Rong Li
Scholarship and teaching-focused roles: An exploratory study of academics’ experiences and perceptions of support
以学术和教学为中心的角色:对学者的经验和支持看法的探索性研究
Knowledge, policy and power in international development: a practical framework for improving policy
国际发展中的知识、政策和力量:改进政策的实用框架
  • DOI:
  • 发表时间:
    2013
  • 期刊:
  • 影响因子:
    0
  • 作者:
    H. Jones;Nicola Jones;L. Shaxson;David Walker
  • 通讯作者:
    David Walker

David Walker的其他文献

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

{{ truncateString('David Walker', 18)}}的其他基金

A National Electron Diffraction Facility for Nanomaterial Structural Studies
用于纳米材料结构研究的国家电子衍射装置
  • 批准号:
    EP/X014606/1
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Research Grant
NeTS: Medium: Foundations and Applications of Modular Verification of Networks
NeTS:媒介:网络模块化验证的基础和应用
  • 批准号:
    2312539
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
IMR: MT: Tools for Programming Distributed Data-plane Measurements
IMR:MT:分布式数据平面测量编程工具
  • 批准号:
    2223515
  • 财政年份:
    2022
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: FMitF: Track I: Specifying and Verifying Network-wide Properties of Dynamic Data Planes
合作研究:FMitF:第一轨:指定和验证动态数据平面的网络范围属性
  • 批准号:
    2219862
  • 财政年份:
    2022
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Under the skin of polishing - from nano to macro
皮肤下的抛光——从纳米到宏观
  • 批准号:
    EP/V029304/1
  • 财政年份:
    2021
  • 资助金额:
    $ 50万
  • 项目类别:
    Research Grant
NeTS: Medium: Collaborative Research: Network Configuration Synthesis: A Path to Practical Deployment
NeTS:媒介:协作研究:网络配置综合:实际部署之路
  • 批准号:
    1703493
  • 财政年份:
    2017
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
Optimised polishing media - a new approach
优化的抛光介质 - 一种新方法
  • 批准号:
    ST/P003648/1
  • 财政年份:
    2017
  • 资助金额:
    $ 50万
  • 项目类别:
    Research Grant
Novel Mathematical Techniques for Advanced Tool-paths to Transform High-value Optical Fabrication
用于先进刀具路径的新颖数学技术,以改变高价值光学制造
  • 批准号:
    ST/L001950/2
  • 财政年份:
    2016
  • 资助金额:
    $ 50万
  • 项目类别:
    Research Grant
Novel Mathematical Techniques for Advanced Tool-paths to Transform High-value Optical Fabrication
用于先进刀具路径的新颖数学技术,以改变高价值光学制造
  • 批准号:
    ST/L001950/1
  • 财政年份:
    2014
  • 资助金额:
    $ 50万
  • 项目类别:
    Research Grant
TC: Large: Collaborative Research: High-Level Language Support for Trustworthy Networks
TC:大型:协作研究:对可信赖网络的高级语言支持
  • 批准号:
    1111520
  • 财政年份:
    2011
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant

相似国自然基金

昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
    n/a
  • 批准年份:
    2022
  • 资助金额:
    10.0 万元
  • 项目类别:
    省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
  • 批准号:
    32000033
  • 批准年份:
    2020
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 批准年份:
    2019
  • 资助金额:
    58.0 万元
  • 项目类别:
    面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
  • 批准号:
    81900988
  • 批准年份:
    2019
  • 资助金额:
    21.0 万元
  • 项目类别:
    青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
  • 批准号:
    31870821
  • 批准年份:
    2018
  • 资助金额:
    56.0 万元
  • 项目类别:
    面上项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
  • 批准号:
    31802058
  • 批准年份:
    2018
  • 资助金额:
    26.0 万元
  • 项目类别:
    青年科学基金项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
  • 批准号:
    31772128
  • 批准年份:
    2017
  • 资助金额:
    60.0 万元
  • 项目类别:
    面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
  • 批准号:
    81704176
  • 批准年份:
    2017
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
  • 批准号:
    91640114
  • 批准年份:
    2016
  • 资助金额:
    85.0 万元
  • 项目类别:
    重大研究计划

相似海外基金

SHF: Small: A Hybrid Synchronous Language for Verifiable Execution of Cyber-Physical Systems
SHF:Small:一种用于网络物理系统可验证执行的混合同步语言
  • 批准号:
    2348706
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF: SMALL: Language-agnostic Proofs
SHF:SMALL:与语言无关的证明
  • 批准号:
    2317257
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF: Small: Automated Unit Test Generation using Large Language Models
SHF:小型:使用大型语言模型自动生成单元测试
  • 批准号:
    2307742
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF: Small: Practical Dynamic Program Reasoning Across Language Boundaries
SHF:小:跨语言边界的实用动态程序推理
  • 批准号:
    2146233
  • 财政年份:
    2022
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: Feedback-Driven Mutation Testing for Any Language
合作研究:SHF:小型:任何语言的反馈驱动突变测试
  • 批准号:
    2129388
  • 财政年份:
    2021
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: Feedback-Driven Mutation Testing for Any Language
合作研究:SHF:小型:任何语言的反馈驱动突变测试
  • 批准号:
    2129446
  • 财政年份:
    2021
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF: Small: A Mechanism for Extending A Programming Language with Interactive Syntax
SHF:小型:一种用交互式语法扩展编程语言的机制
  • 批准号:
    2007686
  • 财政年份:
    2020
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF: SMALL: Automated Discovery of Cross-Language Program Behavior Inconsistency
SHF:SMALL:跨语言程序行为不一致的自动发现
  • 批准号:
    2006947
  • 财政年份:
    2020
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF: Small: Sparsity-Aware Hardware Accelerators for Natural Language Processing with Transformers
SHF:小型:使用 Transformer 进行自然语言处理的稀疏感知硬件加速器
  • 批准号:
    2007362
  • 财政年份:
    2020
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative research: Language-Integrated Verification for Determininistic Parallelism
SHF:小型:协作研究:确定性并行性的语言集成验证
  • 批准号:
    1911213
  • 财政年份:
    2019
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了