刷新
{{item.name}}会员
The Fifth International Conference on Rewriting Techniques and Applications, Montreal, Québec, June 16-18, 1993
第五届重写技术和应用国际会议，魁北克省蒙特利尔，1993 年 6 月 16-18 日
基本信息
- 批准号：140449-1993
- 负责人：
- 金额：$ 0.25万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Conference Grants (H)
- 财政年份：1993
- 资助国家：加拿大
- 起止时间：1993-01-01 至 1994-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
无摘要- Aucun sommaire
项目成果
期刊论文数量（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 }}
Okada, Mitsuhiro其他文献
Direct Chemical Vapor Deposition Growth of WS2 Atomic Layers on Hexagonal Boron Nitride
- DOI：
10.1021/nn503093k - 发表时间：
2014-08-01 - 期刊：
- 影响因子：17.1
- 作者：
Okada, Mitsuhiro;Sawazaki, Takumi;Kitaura, Ryo - 通讯作者：
Kitaura, Ryo
A strategy for absolute proteome quantification with mass spectrometry by hierarchical use of peptide-concatenated standards
- DOI：
10.1002/pmic.201500414 - 发表时间：
2016-05-01 - 期刊：
- 影响因子：3.4
- 作者：
Kito, Keiji;Okada, Mitsuhiro;Ito, Takashi - 通讯作者：
Ito, Takashi
Effect of a pick-and-drop process on optical properties of a CVD-grown monolayer tungsten disulfide
- DOI：
10.1103/physrevmaterials.2.064003 - 发表时间：
2018-06-22 - 期刊：
- 影响因子：3.4
- 作者：
Hoshi, Yusuke;Okada, Mitsuhiro;Machida, Tomoki - 通讯作者：
Machida, Tomoki
Direct and Indirect Interlayer Excitons in a van der Waals Heterostructure of hBN/WS2/MoS2/hBN
- DOI：
10.1021/acsnano.7b08253 - 发表时间：
2018-03-01 - 期刊：
- 影响因子：17.1
- 作者：
Okada, Mitsuhiro;Kutana, Alex;Kitaura, Ryo - 通讯作者：
Kitaura, Ryo
COMBINED MEDIALIS PEDIS AND MEDIAL PLANTAR FASCIOCUTANEOUS FLAPS FOR COVERAGE OF SOFT TISSUE DEFECTS OF MULTIPLE ADJACENT FINGERS
- DOI：
10.1002/micr.22222 - 发表时间：
2014-09-01 - 期刊：
- 影响因子：2.1
- 作者：
Okada, Mitsuhiro;Saito, Hidehiko;Nakamura, Hiroaki - 通讯作者：
Nakamura, Hiroaki
Okada, Mitsuhiro的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Okada, Mitsuhiro', 18)}}的其他基金
Application of logic to programming language theory
逻辑在编程语言理论中的应用
- 批准号：
36663-1993 - 财政年份：1994
- 资助金额：
$ 0.25万 - 项目类别：
Discovery Grants Program - Individual
La théorie de processus concurrent basée sur des nouvelles techniques de logique et ses applications aux outils formels de spécification, de vérification et de synthèse
新逻辑技术和应用程序的并行基础理论，以及规范、验证和综合的形式
- 批准号：
151789-1993 - 财政年份：1993
- 资助金额：
$ 0.25万 - 项目类别：
Collaborative Research and Development Grants - Government (H)
Application of logic to programming language theory
逻辑在编程语言理论中的应用
- 批准号：
36663-1993 - 财政年份：1993
- 资助金额：
$ 0.25万 - 项目类别：
Discovery Grants Program - Individual
Application of logic to programming language and theorem proving
逻辑在编程语言和定理证明中的应用
- 批准号：
36663-1990 - 财政年份：1992
- 资助金额：
$ 0.25万 - 项目类别：
Discovery Grants Program - Individual
Three workstations and two external hard disk drives
三个工作站和两个外部硬盘驱动器
- 批准号：
123608-1992 - 财政年份：1992
- 资助金额：
$ 0.25万 - 项目类别：
Research Tools and Instruments - Category 1 (<$150,000)
La théorie de processus concurrent basée sur des nouvelles techniques de logique et ses applications aux outils formels de spécification et de vérification
新逻辑技术的并发基础理论和规范与验证形式的应用
- 批准号：
137112-1992 - 财政年份：1992
- 资助金额：
$ 0.25万 - 项目类别：
Collaborative Research and Development Grants - Government (H)
Application of logic to programming language and theorem proving
逻辑在编程语言和定理证明中的应用
- 批准号：
36663-1990 - 财政年份：1991
- 资助金额：
$ 0.25万 - 项目类别：
Discovery Grants Program - Individual
相似海外基金
Conference: Fifth International Conference on Quantitative Ethnography (ICQE23)
会议：第五届国际定量民族志会议（ICQE23）
- 批准号：
2308662 - 财政年份：2023
- 资助金额：
$ 0.25万 - 项目类别：
Standard Grant
The Fifth International Conference on Sustainable Chemical Product and Process Engineering, Tianjin, China, June 30-July 3, 2019
第五届可持续化学产品与过程工程国际会议，中国天津，2019年6月30日至7月3日
- 批准号：
1926983 - 财政年份：2019
- 资助金额：
$ 0.25万 - 项目类别：
Standard Grant
US Participation at the Twenty-fifth International Domain Decomposition Conference
美国参加第二十五届国际域名分解会议
- 批准号：
1759877 - 财政年份：2018
- 资助金额：
$ 0.25万 - 项目类别：
Standard Grant
Fifth International Conference on the Effects of Noise on Aquatic Life - Den Haag, Netherlands, July 7-12, 2019
第五届噪声对水生生物影响国际会议 - 荷兰海牙，2019 年 7 月 7 日至 12 日
- 批准号：
1833337 - 财政年份：2018
- 资助金额：
$ 0.25万 - 项目类别：
Standard Grant
Student Travel Grant: Fifth IEEE International Conference on Healthcare Informatics (ICHI 2017)
学生旅费资助：第五届 IEEE 国际医疗信息学会议 (ICHI 2017)
- 批准号：
1724697 - 财政年份：2017
- 资助金额：
$ 0.25万 - 项目类别：
Standard Grant
Fifth International IEEE Conference on Computational Advances in Bio and medical Sciences (ICCABS) - Travel Awards
第五届 IEEE 生物与医学计算进展国际会议 (ICCABS) - 旅行奖
- 批准号：
1554243 - 财政年份：2016
- 资助金额：
$ 0.25万 - 项目类别：
Standard Grant
Travel Support for Student and Speaker Participation at the Fifth International Conference on Self-Healing Materials; Duke University; Durham, North Carolina; June 22-24, 2015
为学生和演讲者参加第五届国际自愈材料会议提供差旅支持；
- 批准号：
1522581 - 财政年份：2015
- 资助金额：
$ 0.25万 - 项目类别：
Standard Grant
Fifth International Conference on Porous Media and its Applications in Science, Engineering and Industry
第五届多孔介质及其在科学、工程和工业中的应用国际会议
- 批准号：
1445869 - 财政年份：2014
- 资助金额：
$ 0.25万 - 项目类别：
Standard Grant
The Fifth International Conference on Osteoimmunology: Interactions of the Immune
第五届国际骨免疫学会议：免疫的相互作用
- 批准号：
8709156 - 财政年份：2014
- 资助金额：
$ 0.25万 - 项目类别：
Fifth International Conference and School: Geometry, Dynamics, Integrable Systems -- GDIS 2014
第五届国际会议和学院：几何、动力学、可积系统 -- GDIS 2014
- 批准号：
1400887 - 财政年份：2014
- 资助金额：
$ 0.25万 - 项目类别：
Standard Grant