Interpretational and deductive inference

解释和演绎推理

基本信息

  • 批准号：
    105550-1999
  • 负责人：
    Thompson, Valerie
  • 金额：
    $ 1.3万
  • 依托单位：
    University of Saskatchewan
  • 依托单位国家：
    加拿大
  • 项目类别：
    Discovery Grants Program - Individual
  • 财政年份：
    1999
  • 资助国家：
    加拿大
  • 起止时间：
    1999-01-01 至 2000-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 }}

Thompson, Valerie其他文献

Black patients are more likely to undergo parathyroidectomy for secondary hyperparathyroidism.
  • DOI：
    10.1016/j.surg.2022.05.040
  • 发表时间：
    2023-01
  • 期刊：
    SURGERY
  • 影响因子：
    3.8
  • 作者：
    Udyavar, N. Rhea;Ahn, JiYoon;Crepeau, Philip;Morris-Wiseman, Lilah F.;Thompson, Valerie;Chen, Yusi;Segev, Dorry L.;McAdams-DeMarco, Mara;Mathur, Aarti
  • 通讯作者：
    Mathur, Aarti
Is Colposcopy necessary at twelve months after large loop excision of the transformation zone? A clinical audit

Thompson, Valerie的其他文献

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

{{ truncateString('Thompson, Valerie', 18)}}的其他基金

Reasoning and Meta-Reasoning
推理和元推理
  • 批准号：
    RGPIN-2018-04466
  • 财政年份：
    2022
  • 资助金额：
    $ 1.3万
  • 项目类别：
    Discovery Grants Program - Individual
Reasoning and Meta-Reasoning
推理和元推理
  • 批准号：
    RGPIN-2018-04466
  • 财政年份：
    2021
  • 资助金额：
    $ 1.3万
  • 项目类别：
    Discovery Grants Program - Individual
Reasoning and Meta-Reasoning
推理和元推理
  • 批准号：
    RGPIN-2018-04466
  • 财政年份：
    2020
  • 资助金额：
    $ 1.3万
  • 项目类别：
    Discovery Grants Program - Individual
Reasoning and Meta-Reasoning
推理和元推理
  • 批准号：
    RGPIN-2018-04466
  • 财政年份：
    2019
  • 资助金额：
    $ 1.3万
  • 项目类别：
    Discovery Grants Program - Individual
Reasoning and Meta-Reasoning
推理和元推理
  • 批准号：
    RGPIN-2018-04466
  • 财政年份：
    2018
  • 资助金额：
    $ 1.3万
  • 项目类别：
    Discovery Grants Program - Individual
Metacognition, the feeling of rightness, and intuitive versus analytic thinking
元认知、正确感以及直觉思维与分析思维
  • 批准号：
    105550-2013
  • 财政年份：
    2017
  • 资助金额：
    $ 1.3万
  • 项目类别：
    Discovery Grants Program - Individual
Metacognition, the feeling of rightness, and intuitive versus analytic thinking
元认知、正确感以及直觉思维与分析思维
  • 批准号：
    105550-2013
  • 财政年份：
    2016
  • 资助金额：
    $ 1.3万
  • 项目类别：
    Discovery Grants Program - Individual
Metacognition, the feeling of rightness, and intuitive versus analytic thinking
元认知、正确感以及直觉思维与分析思维
  • 批准号：
    105550-2013
  • 财政年份：
    2015
  • 资助金额：
    $ 1.3万
  • 项目类别：
    Discovery Grants Program - Individual
Metacognition, the feeling of rightness, and intuitive versus analytic thinking
元认知、正确感以及直觉思维与分析思维
  • 批准号：
    105550-2013
  • 财政年份：
    2014
  • 资助金额：
    $ 1.3万
  • 项目类别：
    Discovery Grants Program - Individual
Metacognition, the feeling of rightness, and intuitive versus analytic thinking
元认知、正确感以及直觉思维与分析思维
  • 批准号：
    105550-2013
  • 财政年份：
    2013
  • 资助金额：
    $ 1.3万
  • 项目类别：
    Discovery Grants Program - Individual

相似海外基金

CRII: SHF: Theoretical Foundations of Verifying Function Values and Reducing Annotation Overhead in Automatic Deductive Verification
CRII：SHF：自动演绎验证中验证函数值和减少注释开销的理论基础
  • 批准号：
    2348334
  • 财政年份：
    2024
  • 资助金额：
    $ 1.3万
  • 项目类别：
    Standard Grant
Deductive Verification Across the Stack
跨堆栈的演绎验证
  • 批准号：
    RGPIN-2020-06072
  • 财政年份：
    2022
  • 资助金额：
    $ 1.3万
  • 项目类别：
    Discovery Grants Program - Individual
Development of Deductive Failure Reasoner with Stepwise Refinement and Theorem Proving
逐步细化和定理证明的演绎失败推理机的开发
  • 批准号：
    22K11987
  • 财政年份：
    2022
  • 资助金额：
    $ 1.3万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Formal Analysis of Abstract Behavioural Models Using Automated Deductive Reasoning
使用自动演绎推理对抽象行为模型进行形式化分析
  • 批准号：
    RGPIN-2016-03992
  • 财政年份：
    2022
  • 资助金额：
    $ 1.3万
  • 项目类别：
    Discovery Grants Program - Individual
Computational biology of plant development: Towards a deductive science
植物发育的计算生物学：走向演绎科学
  • 批准号：
    RGPIN-2019-06279
  • 财政年份：
    2022
  • 资助金额：
    $ 1.3万
  • 项目类别：
    Discovery Grants Program - Individual
Deductive Verification Across the Stack
跨堆栈的演绎验证
  • 批准号：
    RGPIN-2020-06072
  • 财政年份：
    2021
  • 资助金额：
    $ 1.3万
  • 项目类别：
    Discovery Grants Program - Individual
Formal Analysis of Abstract Behavioural Models Using Automated Deductive Reasoning
使用自动演绎推理对抽象行为模型进行形式化分析
  • 批准号：
    RGPIN-2016-03992
  • 财政年份：
    2021
  • 资助金额：
    $ 1.3万
  • 项目类别：
    Discovery Grants Program - Individual
Deductive Verification for Stochastic Hybrid Systems
随机混合系统的演绎验证
  • 批准号：
    2605387
  • 财政年份：
    2021
  • 资助金额：
    $ 1.3万
  • 项目类别：
    Studentship
Computational biology of plant development: Towards a deductive science
植物发育的计算生物学：走向演绎科学
  • 批准号：
    RGPIN-2019-06279
  • 财政年份：
    2021
  • 资助金额：
    $ 1.3万
  • 项目类别：
    Discovery Grants Program - Individual
Identification of Factors to Improve Effectiveness and Implementation of a Multi-faceted COVID-19 Mental Health Intervention: Follow-up to the SPIN-CHAT Trial
确定提高有效性的因素并实施多方面的 COVID-19 心理健康干预措施：SPIN-CHAT 试验的后续行动
  • 批准号：
    432563
  • 财政年份：
    2020
  • 资助金额：
    $ 1.3万
  • 项目类别：
    Operating Grants
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了