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
  • 负责人：
    Okada, Mitsuhiro
  • 金额：
    $ 0.91万
  • 依托单位：
    Concordia University
  • 依托单位国家：
    加拿大
  • 项目类别：
    Collaborative Research and Development Grants - Government (H)
  • 财政年份：
    1992
  • 资助国家：
    加拿大
  • 起止时间：
    1992-01-01 至 1993-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.journal_name }}
  • 影响因子：
    {{ 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
  • 期刊：
    ACS NANO
  • 影响因子：
    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
  • 期刊：
    PROTEOMICS
  • 影响因子：
    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
  • 期刊：
    PHYSICAL REVIEW MATERIALS
  • 影响因子：
    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
  • 期刊：
    ACS NANO
  • 影响因子：
    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
  • 期刊：
    MICROSURGERY
  • 影响因子：
    2.1
  • 作者：
    Okada, Mitsuhiro;Saito, Hidehiko;Nakamura, Hiroaki
  • 通讯作者：
    Nakamura, Hiroaki

Okada, Mitsuhiro的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Okada, Mitsuhiro', 18)}}的其他基金

Application of logic to programming language theory
逻辑在编程语言理论中的应用
  • 批准号：
    36663-1993
  • 财政年份：
    1994
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Discovery Grants Program - Individual
The Fifth International Conference on Rewriting Techniques and Applications, Montreal, Québec, June 16-18, 1993
第五届重写技术和应用国际会议，魁北克省蒙特利尔，1993 年 6 月 16-18 日
  • 批准号：
    140449-1993
  • 财政年份：
    1993
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Conference Grants (H)
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.91万
  • 项目类别：
    Collaborative Research and Development Grants - Government (H)
Application of logic to programming language theory
逻辑在编程语言理论中的应用
  • 批准号：
    36663-1993
  • 财政年份：
    1993
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Discovery Grants Program - Individual
Application of logic to programming language and theorem proving
逻辑在编程语言和定理证明中的应用
  • 批准号：
    36663-1990
  • 财政年份：
    1992
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Discovery Grants Program - Individual
Three workstations and two external hard disk drives
三个工作站和两个外部硬盘驱动器
  • 批准号：
    123608-1992
  • 财政年份：
    1992
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Research Tools and Instruments - Category 1 (<$150,000)
Application of logic to programming language and theorem proving
逻辑在编程语言和定理证明中的应用
  • 批准号：
    36663-1990
  • 财政年份：
    1991
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Discovery Grants Program - Individual

相似国自然基金

疟原虫感染诱导DC表达ATG5抑制特异性CD4+Th1细胞活化的机制研究
  • 批准号：
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
TLR2调控树突状细胞诱导Th17细胞分化参与急性胰腺炎的机制研究
  • 批准号：
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
SOCS1调控RORγt/Foxp3信号轴激活Th17细胞免疫诱导过敏性紫癜的作用及机制研究
  • 批准号：
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
Trim21调控的Th17细胞在粪产碱菌维持肠道免疫平衡中的作用及机制研究
  • 批准号：
    MS25C080007
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
芍药苷多元递药系统靶向干预Th17分化改善狼疮性肾炎病理损伤的效应机制研究
  • 批准号：
    2025JJ60529
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
百日咳影响Th1/Th2失衡加重儿童哮喘气道炎症反应机制研究
  • 批准号：
    2025JJ90204
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
肾小管细胞OX40L调控Treg/Th17平衡在DN炎症损伤中的作用与机制
  • 批准号：
    2025JJ50604
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
评估miR-205在变应性鼻炎免疫治疗中的生物标志物潜力及靶向调控Th2分化的分子机制研究
  • 批准号：
    2025JJ80626
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
肠道菌群对过敏性鼻炎患者Th2型免疫应答的影响及其信号通路分析
  • 批准号：
    2025JJ80772
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
基于Wnt/β-catenin信号通路引起的肿瘤微环境中Th17/Treg细胞免疫失衡探讨四君子汤抗胃癌作用机制
  • 批准号：
    2025JJ90059
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目

相似海外基金

Statistique bayésienne, théorie de la décision et méthodes de simulation par chaînes de Markov
巴氏统计、马尔科夫链决策的理论和模拟方法
  • 批准号：
    RGPIN-2018-04661
  • 财政年份：
    2022
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Discovery Grants Program - Individual
La théorie d'Iwasawa des courbes elliptiques
椭圆形岩泽奥里
  • 批准号：
    573963-2022
  • 财政年份：
    2022
  • 资助金额：
    $ 0.91万
  • 项目类别：
    University Undergraduate Student Research Awards
Statistique bayésienne, théorie de la décision et méthodes de simulation par chaînes de Markov
巴耶统计、马尔可夫链决策理论和模拟方法
  • 批准号：
    RGPIN-2018-04661
  • 财政年份：
    2021
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Discovery Grants Program - Individual
Statistique bayésienne, théorie de la décision et méthodes de simulation par chaînes de Markov
巴耶统计、马尔可夫链决策理论和模拟方法
  • 批准号：
    RGPIN-2018-04661
  • 财政年份：
    2020
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Discovery Grants Program - Individual
La théorie d'Iwasawa d'un graphe
岩泽的图形理论
  • 批准号：
    550844-2020
  • 财政年份：
    2020
  • 资助金额：
    $ 0.91万
  • 项目类别：
    University Undergraduate Student Research Awards
Statistique bayésienne, théorie de la décision et méthodes de simulation par chaînes de Markov
巴耶统计、马尔可夫链决策理论和模拟方法
  • 批准号：
    RGPIN-2018-04661
  • 财政年份：
    2019
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Discovery Grants Program - Individual
Théorie de la représentation des groupes finis et le phénomène de tamisage cyclique
群体结束和循环现象的表现理论
  • 批准号：
    524199-2018
  • 财政年份：
    2018
  • 资助金额：
    $ 0.91万
  • 项目类别：
    University Undergraduate Student Research Awards
Statistique bayésienne, théorie de la décision et méthodes de simulation par chaînes de Markov
巴耶统计、马尔可夫链决策理论和模拟方法
  • 批准号：
    RGPIN-2018-04661
  • 财政年份：
    2018
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Discovery Grants Program - Individual
Applications de la théorie des catégories à la topologie et à l'algèbre
类别理论、拓扑学和代数的应用
  • 批准号：
    8911-2012
  • 财政年份：
    2016
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Discovery Grants Program - Individual
Théorie de la représentation de bandes régulière à gauche
粗俗乐队的代表理论
  • 批准号：
    496003-2016
  • 财政年份：
    2016
  • 资助金额：
    $ 0.91万
  • 项目类别：
    University Undergraduate Student Research Awards
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了