刷新
{{item.name}}会员
Theory and Applications of Term Rewriting Systems
术语重写系统的理论与应用
基本信息
- 批准号：8401624
- 负责人：
- 金额：$ 16.95万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1984
- 资助国家：美国
- 起止时间：1984-07-01 至 1987-06-30
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
Jieh Hsiang其他文献
Transliteration Pair Extraction from Classical Chinese Buddhist Literature Using Phonetic Similarity Measurement
- DOI：
10.1007/s00354-013-0402-1 - 发表时间：
2013-10-29 - 期刊：
- 影响因子：2.800
- 作者：
Yu-Chun Wang;Chun-Kai Wu;Richard Tzong-Han Tsai;Jieh Hsiang - 通讯作者：
Jieh Hsiang
From Preservation to Knowledge Creation : The Way to Digital Humanities
从保护到知识创造：数字人文之路
- DOI：
- 发表时间：
2012 - 期刊：
- 影响因子：0
- 作者：
斎藤進也;大野晋;稲葉光行;斎藤進也;稲葉光行(編);Jieh Hsiang - 通讯作者：
Jieh Hsiang
On semantic resolution with lemmaizing and contraction and a formal treatment of caching
- DOI：
10.1007/bf03037315 - 发表时间：
1998-06-01 - 期刊：
- 影响因子：2.800
- 作者：
Maria Paola Bonacina;Jieh Hsiang - 通讯作者：
Jieh Hsiang
Automated proofs of the moufang identities in alternative rings
- DOI：
10.1007/bf00302643 - 发表时间：
1990-03-01 - 期刊：
- 影响因子：0.800
- 作者：
Siva Anantharaman;Jieh Hsiang - 通讯作者：
Jieh Hsiang
Research Challenges and Opportunities for Digital Humanities
数字人文研究的挑战和机遇
- DOI：
- 发表时间：
2011 - 期刊：
- 影响因子：0
- 作者：
Mitsuyuki Inaba;Peter K.Bol;Yung-fa Chen;Jieh Hsiang - 通讯作者：
Jieh Hsiang
Jieh Hsiang的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Jieh Hsiang', 18)}}的其他基金
RTA-93 - Fifth International Conference on Rewriting Techniques and Applications; Montreal, Canada; June 16-18, 1993
RTA-93 - 第五届重写技术和应用国际会议；
- 批准号：
9302878 - 财政年份：1993
- 资助金额：
$ 16.95万 - 项目类别：
Standard Grant
U.S.-France Cooperative Research: Studies in the Theory and Implementation of Automated Theorem Provers
美法合作研究：自动定理证明器的理论与实现研究
- 批准号：
8715231 - 财政年份：1988
- 资助金额：
$ 16.95万 - 项目类别：
Standard Grant
相似国自然基金
Applications of AI in Market Design
- 批准号：
- 批准年份：2024
- 资助金额：万元
- 项目类别：外国青年学者研 究基金项目
英文专著《FRACTIONAL INTEGRALS AND DERIVATIVES: Theory and Applications》的翻译
- 批准号：12126512
- 批准年份：2021
- 资助金额：12.0 万元
- 项目类别：数学天元基金项目
相似海外基金
Applications of the long-term culture human primordial germ cell-like cells to toxicological assessments and mechanistic studies on chemically caused heritable human health threats
长期培养人类原始生殖细胞样细胞在化学引起的遗传性人类健康威胁的毒理学评估和机制研究中的应用
- 批准号：
10666200 - 财政年份：2023
- 资助金额：
$ 16.95万 - 项目类别：
Long-term performance of bituminous geomembranes for waste containment and mining applications
用于废物遏制和采矿应用的沥青土工膜的长期性能
- 批准号：
571820-2021 - 财政年份：2022
- 资助金额：
$ 16.95万 - 项目类别：
Alliance Grants
Path-to-signature isometries with applications to modelling the long-term dynamics of complex systems
路径到特征等距及其在复杂系统长期动态建模中的应用
- 批准号：
EP/W00707X/1 - 财政年份：2022
- 资助金额：
$ 16.95万 - 项目类别：
Research Grant
Improving the Long-term Mechanical and Tribological Performances of Polymers for Total Joint Replacement Applications
改善全关节置换应用中聚合物的长期机械和摩擦学性能
- 批准号：
10204052 - 财政年份：2020
- 资助金额：
$ 16.95万 - 项目类别：
Near Term Applications of Quantum Machine Learning Techniques to Quantum Chemistry
量子机器学习技术在量子化学中的近期应用
- 批准号：
1955907 - 财政年份：2020
- 资助金额：
$ 16.95万 - 项目类别：
Standard Grant
Improving the Long-term Mechanical and Tribological Performances of Polymers for Total Joint Replacement Applications
改善全关节置换应用中聚合物的长期机械和摩擦学性能
- 批准号：
10436205 - 财政年份：2020
- 资助金额：
$ 16.95万 - 项目类别：
Constructing projected life tables in consideration of long-term care and its applications
考虑长期护理及其应用的预计生命表的构建
- 批准号：
20K01777 - 财政年份：2020
- 资助金额：
$ 16.95万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Improving the Long-term Mechanical and Tribological Performances of Polymers for Total Joint Replacement Applications
改善全关节置换应用中聚合物的长期机械和摩擦学性能
- 批准号：
10656470 - 财政年份：2020
- 资助金额：
$ 16.95万 - 项目类别：
Learning and Adaptation for Long-Term Autonomous Robotics Applications
长期自主机器人应用的学习和适应
- 批准号：
RGPIN-2014-04634 - 财政年份：2019
- 资助金额：
$ 16.95万 - 项目类别：
Discovery Grants Program - Individual
Immortality: desiccation of human (stem) cells for long-term storage and cell therapy-based applications
永生性：人类（干）细胞的干燥，用于长期储存和基于细胞治疗的应用
- 批准号：
2241738 - 财政年份：2019
- 资助金额：
$ 16.95万 - 项目类别：
Studentship