Algorithmic and Foundational Aspects of Rewriting

重写的算法和基础方面

基本信息

  • 批准号:
    0306475
  • 负责人:
  • 金额:
    --
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2003
  • 资助国家:
    美国
  • 起止时间:
    2003-07-15 至 2010-06-30
  • 项目状态:
    已结题

项目摘要

This research is on efficient algorithms for: (i) normalization, i.e., simplification of expressions, using rules (called a rewrite system), and (ii) fundamental properties of rewrite systems. Algorithms that use analysis for normalization with static rules are being developed. Incremental algorithms for normalization with dynamic rules are also being investigated. Extensions of efficient tabling algorithms are being studied. Practical performance of algorithms is being evaluated in the Laboratory for Rapid Rewriting test bed developed at University of Houston. Efficient algorithms and lower bounds are being studied for several fundamental properties, including uniqueness of normal forms, confluence, and the word problem, for decidable subclasses. Tight relationships among these problems are being studied using the concept of resource-bounded reductions. Normalization is a fundamental operation found in virtually all symbolic computation and computer algebra systems. Applications include functional and equational logic programming, data type specification, formal verification, automated deduction, code generation, and type inferencing. This research is expected to yield: (i) enhanced efficiency and power of symbolic computing and computer algebra systems, (ii) better understanding of inherent complexities of the involved operations, and (iii) new results, techniques and insights into fundamental properties of rewrite systems. Broader impacts include: training of undergraduate and graduate students including underrepresented minorities, new course materials based on this research, and dissemination of software developed for extensions and use.
本研究是关于有效的算法:(i)归一化,即,简化表达式,使用规则(称为重写系统),以及(ii)重写系统的基本属性。 正在开发使用静态规则进行规范化的分析算法。还在研究使用动态规则进行规范化的增量算法。有效的制表算法的扩展正在研究中。算法的实际性能正在休斯顿大学开发的快速重写实验室测试平台中进行评估。有效的算法和下界正在研究的几个基本属性,包括唯一性的范式,汇合,和字的问题,可判定的子类。这些问题之间的紧密关系正在研究使用的概念,资源有限的减少。规范化是几乎所有符号计算和计算机代数系统中的基本操作。应用程序包括函数和等式逻辑编程,数据类型规范,形式验证,自动演绎,代码生成和类型推理。这项研究预计将产生:(i)提高效率和符号计算和计算机代数系统的权力,(ii)更好地理解所涉及的操作的固有复杂性,和(iii)新的结果,技术和重写系统的基本属性的见解。更广泛的影响包括:培训本科生和研究生,包括代表性不足的少数民族,根据这项研究编写新教材,并传播为推广和使用而开发的软件。

项目成果

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

Rakesh Verma其他文献

An Indian experiment with nutritional modulation in acute myocardial infarction.
印度一项急性心肌梗塞营养调节实验。
  • DOI:
  • 发表时间:
    1992
  • 期刊:
  • 影响因子:
    2.8
  • 作者:
    Ram B. Singh;S. Rastogi;Rakesh Verma;Laxmi Bolaki;Reema Singh
  • 通讯作者:
    Reema Singh
Neuroadaptation in neurodegenerative diseases: compensatory mechanisms and therapeutic approaches
神经退行性疾病中的神经适应:代偿机制与治疗方法
  • DOI:
    10.1016/j.pnpbp.2025.111375
  • 发表时间:
    2025-06-20
  • 期刊:
  • 影响因子:
    3.900
  • 作者:
    Spandana Rajendra Kopalli;Tapan Behl;Lalji Baldaniya;Suhas Ballal;Kamal Kant Joshi;Renu Arya;Bhumi Chaturvedi;Ashish Singh Chauhan;Rakesh Verma;Minesh Patel;Sanmati Kumar Jain;Ankita Wal;Monica Gulati;Sushruta Koppula
  • 通讯作者:
    Sushruta Koppula
TCT-629 Percutaneous Transmitral Commissurotomy in Patients With Dilated and Aneurysmal Left Atrium: Tips and Tricks
TCT-629 扩张型和动脉瘤样左心房患者经皮二尖瓣交界切开术:技巧与诀窍
  • DOI:
    10.1016/j.jacc.2023.09.640
  • 发表时间:
    2023-10-24
  • 期刊:
  • 影响因子:
    22.300
  • 作者:
    Santosh Sinha;Rahul Ranjan;Umeshwar Pandey;Mukesh Jha;Awadhesh Kr Sharma;Akash Singh;Mohit Sachan;Mahmodula Razi;Praveen Shukla;Rakesh Verma
  • 通讯作者:
    Rakesh Verma
TCT-634 Immediate and Long-term Outcomes of Cocoon Duct Occluder for Percutaneous Closure of Ruptured Sinus of Valsalva Aneurysm Are Limited
TCT-634 用于经皮闭合破裂的瓦氏窦动脉瘤的茧状导管封堵器的即刻和长期结果有限
  • DOI:
    10.1016/j.jacc.2023.09.645
  • 发表时间:
    2023-10-24
  • 期刊:
  • 影响因子:
    22.300
  • 作者:
    Santosh Sinha;Umeshwar Pandey;Mukesh Jha;Rahul Ranjan;Akash Singh;Awadesh Sharma;Mohit Sachan;Kumar Himanshu;Mahmadula Razi;Praveen Shukla;Rakesh Verma
  • 通讯作者:
    Rakesh Verma
PCR of the v region.
v 区的 PCR。

Rakesh Verma的其他文献

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

{{ truncateString('Rakesh Verma', 18)}}的其他基金

Scholarships for Service: Increasing Talented Trus
服务奖学金:增加人才信任
  • 批准号:
    1433817
  • 财政年份:
    2014
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Preparing Computer Science Students for Global Challenges of the Twenty-first Century
让计算机科学专业的学生做好应对二十一世纪全球挑战的准备
  • 批准号:
    1356705
  • 财政年份:
    2014
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
TWC: Small: Unsupervised and Statistical Natural Language Processing Techniques for Automatic Phishing and Opinion Spam Detection
TWC:小型:用于自动网络钓鱼和意见垃圾邮件检测的无监督和统计自然语言处理技术
  • 批准号:
    1319212
  • 财政年份:
    2013
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Collaborative Project: Enriching Security Curricula and Enhancing Awareness of Security in Computer Science and Beyond
合作项目:丰富安全课程并增强计算机科学及其他领域的安全意识
  • 批准号:
    1241772
  • 财政年份:
    2012
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Collaborative Research: An Interactive Undergraduate Data Mining Course with Industrial-Strength Projects
协作研究:具有工业强度项目的交互式本科数据挖掘课程
  • 批准号:
    0737404
  • 财政年份:
    2008
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Increasing Interaction and Visualization in the Computability Course
增加可计算性课程中的交互和可视化
  • 批准号:
    0311407
  • 财政年份:
    2003
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Collaborative Research: Capacity Expansion in Information Assurance
合作研究:信息保障能力扩展
  • 批准号:
    0313880
  • 财政年份:
    2003
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Algorithmic and Foundational Aspects of Rewriting
重写的算法和基础方面
  • 批准号:
    9732186
  • 财政年份:
    1998
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Computational Aspects of Normalization, Matching and Unification
标准化、匹配和统一的计算方面
  • 批准号:
    9303011
  • 财政年份:
    1994
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Computational Aspects of Rewriting
重写的计算方面
  • 批准号:
    9010366
  • 财政年份:
    1990
  • 资助金额:
    --
  • 项目类别:
    Standard Grant

相似海外基金

Applications of Functional Analysis in Foundational Aspects of Mathematical Finance
泛函分析在数学金融基础方面的应用
  • 批准号:
    RGPIN-2019-05518
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
Foundational aspects of bioinformation and biocomputation
生物信息和生物计算的基础方面
  • 批准号:
    RGPIN-2017-04626
  • 财政年份:
    2021
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
Applications of Functional Analysis in Foundational Aspects of Mathematical Finance
泛函分析在数学金融基础方面的应用
  • 批准号:
    RGPIN-2019-05518
  • 财政年份:
    2021
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
Foundational aspects of bioinformation and biocomputation
生物信息和生物计算的基础方面
  • 批准号:
    RGPIN-2017-04626
  • 财政年份:
    2020
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
Applications of Functional Analysis in Foundational Aspects of Mathematical Finance
泛函分析在数学金融基础方面的应用
  • 批准号:
    RGPIN-2019-05518
  • 财政年份:
    2020
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
Applications of Functional Analysis in Foundational Aspects of Mathematical Finance
泛函分析在数学金融基础方面的应用
  • 批准号:
    RGPIN-2019-05518
  • 财政年份:
    2019
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
Foundational aspects of bioinformation and biocomputation
生物信息和生物计算的基础方面
  • 批准号:
    RGPIN-2017-04626
  • 财政年份:
    2019
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
Foundational aspects of bioinformation and biocomputation
生物信息和生物计算的基础方面
  • 批准号:
    RGPIN-2017-04626
  • 财政年份:
    2018
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
Foundational and Computational Aspects of Independent Formal Languages
独立形式语言的基础和计算方面
  • 批准号:
    DDG-2017-00037
  • 财政年份:
    2018
  • 资助金额:
    --
  • 项目类别:
    Discovery Development Grant
Foundational aspects of bioinformation and biocomputation
生物信息和生物计算的基础方面
  • 批准号:
    RGPIN-2017-04626
  • 财政年份:
    2017
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了