Effective propositional reasoning and applications

有效的命题推理和应用

基本信息

  • 批准号：
    238987-2005
  • 负责人：
    Mitchell, David
  • 金额：
    $ 1.53万
  • 依托单位：
    Simon Fraser University
  • 依托单位国家：
    加拿大
  • 项目类别：
    Discovery Grants Program - Individual
  • 财政年份：
    2008
  • 资助国家：
    加拿大
  • 起止时间：
    2008-01-01 至 2009-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 }}

Mitchell, David其他文献

Determination of a clinically effective evobrutinib dose: Exposure-response analyses of a phase II relapsing multiple sclerosis study.
  • DOI：
    10.1111/cts.13407
  • 发表时间：
    2022-12
  • 期刊：
    CTS-CLINICAL AND TRANSLATIONAL SCIENCE
  • 影响因子：
    3.9
  • 作者：
    Papasouliotis, Orestis;Mitchell, David;Girard, Pascal;Dangond, Fernando;Dyroff, Martin
  • 通讯作者：
    Dyroff, Martin
Understanding the Psychological Well-Being of International Arrivals in a Purpose-Designed Australian COVID-19 Quarantine Facility.
Top-down patterning of topological surface and edge states using a focused ion beam.
  • DOI：
    10.1038/s41467-023-37102-x
  • 发表时间：
    2023-03-27
  • 期刊：
    NATURE COMMUNICATIONS
  • 影响因子：
    16.6
  • 作者：
    Bake, Abdulhakim;Zhang, Qi;Ho, Cong Son;Causer, Grace L.;Zhao, Weiyao;Yue, Zengji;Nguyen, Alexander;Akhgar, Golrokh;Karel, Julie;Mitchell, David;Pastuovic, Zeljko;Lewis, Roger;Cole, Jared H.;Nancarrow, Mitchell;Valanoor, Nagarajan;Wang, Xiaolin;Cortie, David
  • 通讯作者：
    Cortie, David
A Practical Method for Functionalized Peptide or Amide Bond Formation in Aqueous-Ethanol Media with EDC as Activator
  • DOI：
    10.1021/op800240d
  • 发表时间：
    2009-03-01
  • 期刊：
    ORGANIC PROCESS RESEARCH & DEVELOPMENT
  • 影响因子：
    3.4
  • 作者：
    Pu, Yangwei John;Vaid, Radhe K.;Mitchell, David
  • 通讯作者：
    Mitchell, David
A diagnostic classifier for pediatric chronic graft-versus-host disease: results of the ABLE/PBMTC 1202 study.
  • DOI：
    10.1182/bloodadvances.2022007715
  • 发表时间：
    2023-07-25
  • 期刊：
    BLOOD ADVANCES
  • 影响因子：
    7.5
  • 作者：
    Cuvelier, Geoffrey D. E.;Ng, Bernard;Abdossamadi, Sayeh;Nemecek, Eneida R.;Melton, Alexis;Kitko, Carrie L.;Lewis, Victor A.;Schechter, Tal;Jacobsohn, David A.;Harris, Andrew C.;Pulsipher, Michael A.;Bittencourt, Henrique;Choi, Sung Won;Caywood, Emi H.;Kasow, Kimberly A.;Bhatia, Monica;Oshrine, Benjamin R.;Chaudhury, Sonali;Coulter, Donald;Chewning, Joseph H.;Joyce, Michael;Savasan, Sureyya;Pawlowska, Anna B.;Megason, Gail C.;Mitchell, David;Cheerva, Alexandra C.;Lawitschka, Anita;Ostroumov, Elena;Schultz, Kirk R.
  • 通讯作者：
    Schultz, Kirk R.

Mitchell, David的其他文献

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

{{ truncateString('Mitchell, David', 18)}}的其他基金

Exploiting Structure in Satisfiability-Based Problem Solving
在基于可满足性的问题解决中利用结构
  • 批准号：
    RGPIN-2015-05855
  • 财政年份：
    2019
  • 资助金额：
    $ 1.53万
  • 项目类别：
    Discovery Grants Program - Individual
Exploiting Structure in Satisfiability-Based Problem Solving
在基于可满足性的问题解决中利用结构
  • 批准号：
    RGPIN-2015-05855
  • 财政年份：
    2018
  • 资助金额：
    $ 1.53万
  • 项目类别：
    Discovery Grants Program - Individual
Exploiting Structure in Satisfiability-Based Problem Solving
在基于可满足性的问题解决中利用结构
  • 批准号：
    RGPIN-2015-05855
  • 财政年份：
    2017
  • 资助金额：
    $ 1.53万
  • 项目类别：
    Discovery Grants Program - Individual
Exploiting Structure in Satisfiability-Based Problem Solving
在基于可满足性的问题解决中利用结构
  • 批准号：
    RGPIN-2015-05855
  • 财政年份：
    2016
  • 资助金额：
    $ 1.53万
  • 项目类别：
    Discovery Grants Program - Individual
Exploiting Structure in Satisfiability-Based Problem Solving
在基于可满足性的问题解决中利用结构
  • 批准号：
    RGPIN-2015-05855
  • 财政年份：
    2015
  • 资助金额：
    $ 1.53万
  • 项目类别：
    Discovery Grants Program - Individual
Solving combinatorial problems by grounding from specifications
通过规范接地解决组合问题
  • 批准号：
    238987-2010
  • 财政年份：
    2014
  • 资助金额：
    $ 1.53万
  • 项目类别：
    Discovery Grants Program - Individual
Solving combinatorial problems by grounding from specifications
通过规范接地解决组合问题
  • 批准号：
    238987-2010
  • 财政年份：
    2013
  • 资助金额：
    $ 1.53万
  • 项目类别：
    Discovery Grants Program - Individual
Manning Foundation Award Support
曼宁基金会奖励支持
  • 批准号：
    437075-2012
  • 财政年份：
    2012
  • 资助金额：
    $ 1.53万
  • 项目类别：
    Unique Initiatives Fund
Solving combinatorial problems by grounding from specifications
通过规范接地解决组合问题
  • 批准号：
    238987-2010
  • 财政年份：
    2012
  • 资助金额：
    $ 1.53万
  • 项目类别：
    Discovery Grants Program - Individual
Solving combinatorial problems by grounding from specifications
通过规范接地解决组合问题
  • 批准号：
    238987-2010
  • 财政年份：
    2011
  • 资助金额：
    $ 1.53万
  • 项目类别：
    Discovery Grants Program - Individual

相似海外基金

Holistic formalization of non-propositional meaning by cross-linguistic data-analysis: towards a new formal-logical language
通过跨语言数据分析非命题意义的整体形式化：走向新的形式逻辑语言
  • 批准号：
    22K13112
  • 财政年份：
    2022
  • 资助金额：
    $ 1.53万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
Kantian Propositional Attitudesand Doxastic Norms
康德命题态度与信念规范
  • 批准号：
    2487717
  • 财政年份：
    2020
  • 资助金额：
    $ 1.53万
  • 项目类别：
    Studentship
Propositional inferences driven by event semantics: Eye movements and EEG
事件语义驱动的命题推理：眼动和脑电图
  • 批准号：
    20H01263
  • 财政年份：
    2020
  • 资助金额：
    $ 1.53万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
Propositional and Non-at-issue Content in Text Generation: Exploring the QUD–Perspective
文本生成中的命题和非争议内容：探索 QUDâ 视角
  • 批准号：
    427866300
  • 财政年份：
    2019
  • 资助金额：
    $ 1.53万
  • 项目类别：
    Research Grants
Model Theory and proof theory of probabilistic logic in propositional and modal team semantics
命题和模态团队语义中概率逻辑的模型理论和证明理论
  • 批准号：
    19F19797
  • 财政年份：
    2019
  • 资助金额：
    $ 1.53万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
Associative and Propositional Processes in Evaluative Conditioning: A Multinomial Modeling Approach
评价性条件反射中的联想和命题过程：多项式建模方法
  • 批准号：
    1649900
  • 财政年份：
    2017
  • 资助金额：
    $ 1.53万
  • 项目类别：
    Standard Grant
Studies on Belief and Opinion Propagation in Multi-Agent Systems
多智能体系统中的信念和意见传播研究
  • 批准号：
    17K12746
  • 财政年份：
    2017
  • 资助金额：
    $ 1.53万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
Theoretical description and analysis of polysemy and grammaticalization in verbs: propositional meaning, non-proposisional meaning, and view point
动词多义与语法化的理论描述与分析：命题意义、非命题意义与观点
  • 批准号：
    16K02652
  • 财政年份：
    2016
  • 资助金额：
    $ 1.53万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Belief Revision for Propositional Announcements
提案公告的信念修正
  • 批准号：
    497864-2016
  • 财政年份：
    2016
  • 资助金额：
    $ 1.53万
  • 项目类别：
    University Undergraduate Student Research Awards
Extra-Propositional Aspects of Meaning in Computational Linguistics Workshop
计算语言学研讨会中意义的命题外方面
  • 批准号：
    1523586
  • 财政年份：
    2015
  • 资助金额：
    $ 1.53万
  • 项目类别：
    Standard Grant
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了