刷新
{{item.name}}会员
RUI: Testing and Enhancing a Prototype Program Fusion Engine
RUI：测试和增强原型程序融合引擎
基本信息
- 批准号：0296006
- 负责人：
- 金额：$ 5.04万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：2001
- 资助国家：美国
- 起止时间：2001-07-01 至 2002-05-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
Patricia Johann其他文献
Monadic fold, Monadic build, Monadic Short Cut Fusion
Monadic 折叠、Monadic 构建、Monadic 快捷融合
- DOI：
- 发表时间：
2016 - 期刊：
- 影响因子：0
- 作者：
Patricia Johann - 通讯作者：
Patricia Johann
A Productivity Checker for Logic Programming
逻辑编程的生产力检查器
- DOI：
- 发表时间：
2016 - 期刊：
- 影响因子：0
- 作者：
Ekaterina Komendantskaya;Patricia Johann;Martin Schmidt - 通讯作者：
Martin Schmidt
Staged Notational Definitions
分阶段符号定义
- DOI：
10.1007/978-3-540-39815-8_6 - 发表时间：
2003 - 期刊：
- 影响因子：0
- 作者：
Walid Taha;Patricia Johann - 通讯作者：
Patricia Johann
Lumberjack Summer Camp: A Cross-Institutional Undergraduate Research Experience in Computer Science
伐木工人夏令营：计算机科学的跨机构本科研究经历
- DOI：
10.1076/csed.11.4.279.3830 - 发表时间：
2001 - 期刊：
- 影响因子：2.7
- 作者：
Patricia Johann;F. Turbak - 通讯作者：
F. Turbak
Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic
结构解析：霍恩子句逻辑中的共归纳证明搜索和证明构造的框架
- DOI：
- 发表时间：
2015 - 期刊：
- 影响因子：0
- 作者：
Ekaterina Komendantskaya;Patricia Johann - 通讯作者：
Patricia Johann
Patricia Johann的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Patricia Johann', 18)}}的其他基金
SHF:Small:RUI: Deep Induction Rules for Advanced Data Types
SHF:Small:RUI：高级数据类型的深度归纳规则
- 批准号：
2203217 - 财政年份：2022
- 资助金额：
$ 5.04万 - 项目类别：
Standard Grant
SHF:Small:RUI: Semantic Complexity of Advanced Data Types
SHF:Small:RUI：高级数据类型的语义复杂性
- 批准号：
1906388 - 财政年份：2019
- 资助金额：
$ 5.04万 - 项目类别：
Standard Grant
SHF: Small: RUI: New Foundations for Indexed Programming
SHF：小型：RUI：索引编程的新基础
- 批准号：
1713389 - 财政年份：2017
- 资助金额：
$ 5.04万 - 项目类别：
Standard Grant
SHF: Small: Relational Parametricity for Program Verification
SHF：小：程序验证的关系参数
- 批准号：
1420175 - 财政年份：2014
- 资助金额：
$ 5.04万 - 项目类别：
Standard Grant
Categorical Foundations for Indexed Programming
索引编程的分类基础
- 批准号：
EP/G068917/1 - 财政年份：2010
- 资助金额：
$ 5.04万 - 项目类别：
Research Grant
RUI:Initial Algebra Packages for GADTs: Principled Tools for Structured Programming
RUI：GADT 的初始代数包：结构化编程的原则工具
- 批准号：
0700341 - 财政年份：2007
- 资助金额：
$ 5.04万 - 项目类别：
Standard Grant
RUI: Provable Safety for Performance-Improving Free Theorems-Based Program Transformations
RUI：可证明安全性，可提高性能的基于自由定理的程序转换
- 批准号：
0429072 - 财政年份：2004
- 资助金额：
$ 5.04万 - 项目类别：
Continuing Grant
RUI: Testing and Enhancing a Prototype Program Fusion Engine
RUI：测试和增强原型程序融合引擎
- 批准号：
9900510 - 财政年份：1999
- 资助金额：
$ 5.04万 - 项目类别：
Standard Grant
Mathematical Sciences: Toward a Theory of Well-Founded Orderings for Use in Automated Deduction
数学科学：走向一种用于自动演绎的有根据的排序理论
- 批准号：
9696043 - 财政年份：1995
- 资助金额：
$ 5.04万 - 项目类别：
Standard Grant
Mathematical Sciences: Toward a Theory of Well-Founded Orderings for Use in Automated Deduction
数学科学：走向一种用于自动演绎的有根据的排序理论
- 批准号：
9510164 - 财政年份：1995
- 资助金额：
$ 5.04万 - 项目类别：
Standard Grant
相似海外基金
Supplement: Enhancing Community Contributions to Bioconductor With Build System Containerization and a GPU for Testing
补充：通过构建系统容器化和用于测试的 GPU 增强社区对 Bioconductor 的贡献
- 批准号：
10838736 - 财政年份：2023
- 资助金额：
$ 5.04万 - 项目类别：
Enhancing communication on relationship preservation, safer conception and PrEP to promote HIV testing
加强关系维护、更安全受孕和 PrEP 方面的沟通，以促进艾滋病毒检测
- 批准号：
10619813 - 财政年份：2023
- 资助金额：
$ 5.04万 - 项目类别：
Mid-scale RI-1 (M1:DP): National Testing Facility for Enhancing Wind Resiliency of Infrastructure in Tornado-Downburst-Gust Front Events (NEWRITE)
中型 RI-1 (M1:DP)：增强龙卷风-下暴流-阵风锋锋事件中基础设施抗风能力的国家测试设施 (NEWRITE)
- 批准号：
2330150 - 财政年份：2023
- 资助金额：
$ 5.04万 - 项目类别：
Cooperative Agreement
Enhancing Performance of Antimicrobial Susceptibility Testing (AST) in Support of Vet-LIRN Activities
提高抗菌药物敏感性测试 (AST) 的性能以支持 Vet-LIRN 活动
- 批准号：
10828498 - 财政年份：2023
- 资助金额：
$ 5.04万 - 项目类别：
Enhancing SARS-Co-V-2 Rapid Testing Acceptance in Latinx Communities
提高拉丁裔社区对 SARS-Co-V-2 快速检测的接受度
- 批准号：
10617097 - 财政年份：2022
- 资助金额：
$ 5.04万 - 项目类别：
Enhancing hepatitis C testing and treatment among people who inject drugs in drug treatment settings: the ETHOS III Study
加强戒毒治疗环境中注射吸毒者的丙型肝炎检测和治疗：ETHOS III 研究
- 批准号：
nhmrc : 2006282 - 财政年份：2022
- 资助金额：
$ 5.04万 - 项目类别：
Partnership Projects
COVID-19: Enhancing testing and sequencing capacity for Severe Acute Respiratory Syndrome Coronavirus 2 and other zoonotic viruses at the Minnesota Veterinary Diagnostic Laboratory
COVID-19：增强明尼苏达州兽医诊断实验室对严重急性呼吸系统综合症冠状病毒 2 和其他人畜共患病毒的检测和测序能力
- 批准号：
10599547 - 财政年份：2022
- 资助金额：
$ 5.04万 - 项目类别：
Enhancing SARS-Co-V-2 Rapid Testing Acceptance in Latinx Communities
提高拉丁裔社区对 SARS-Co-V-2 快速检测的接受度
- 批准号：
10845414 - 财政年份：2022
- 资助金额：
$ 5.04万 - 项目类别：
Enhancing Aviation Maintenance Technician Training with Nondestructive Testing Skills
加强航空维修技术人员无损检测技能培训
- 批准号：
2100113 - 财政年份：2021
- 资助金额：
$ 5.04万 - 项目类别：
Standard Grant
Developing and Testing the Enhancing Active Caregiver Training (EnACT) Intervention for Dementia Family Caregivers
开发和测试针对痴呆症家庭护理人员的强化主动护理人员培训 (EnACT) 干预措施
- 批准号：
10326387 - 财政年份：2021
- 资助金额：
$ 5.04万 - 项目类别：