Polarized logics, geometry of interaction, and the dynamics of resource sensitive computation
极化逻辑、交互几何以及资源敏感计算的动态
基本信息
- 批准号：8544-2011
- 负责人：
- 金额：$ 2.11万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2016
- 资助国家：加拿大
- 起止时间：2016-01-01 至 2017-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
In this proposal we look at proofs as dynamical systems, interacting by the cut-elimination process. We study
在这个提案中，我们将证明视为动态系统，通过剪切消除过程进行交互。我们学习
项目成果
期刊论文数量（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 }}
Scott, Philip其他文献
What are the important design features of personal health records to improve medication adherence for patients with long-term conditions? A systematic literature review
- DOI：
10.1136/bmjopen-2018-028628 - 发表时间：
2019-09-01 - 期刊：
- 影响因子：2.9
- 作者：
Andrikopoulou, Elisavet;Scott, Philip;Good, Alice - 通讯作者：
Good, Alice
A survey of secure middleware for the Internet of Things
- DOI：
10.7717/peerj-cs.114 - 发表时间：
2017-05-08 - 期刊：
- 影响因子：3.8
- 作者：
Fremantle, Paul;Scott, Philip - 通讯作者：
Scott, Philip
Diagnosing limb paresis and paralysis in sheep
- DOI：
10.1136/inp.h5547 - 发表时间：
2015-11-01 - 期刊：
- 影响因子：0.3
- 作者：
Crilly, James Patrick;Rzechorzek, Nina;Scott, Philip - 通讯作者：
Scott, Philip
Federated Identity and Access Management for the Internet of Things
- DOI：
10.1109/siot.2014.8 - 发表时间：
2014-01-01 - 期刊：
- 影响因子：0
- 作者：
Fremantle, Paul;Aziz, Benjamin;Scott, Philip - 通讯作者：
Scott, Philip
Digital health and patient safety: Technology is not a magic wand
- DOI：
10.1177/1460458219876183 - 发表时间：
2019-10-04 - 期刊：
- 影响因子：3
- 作者：
Sujan, Mark;Scott, Philip;Cresswell, Kathrin - 通讯作者：
Cresswell, Kathrin
Scott, Philip的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Scott, Philip', 18)}}的其他基金
Studies in many-valued logics, partial traces, and computability
多值逻辑、部分迹和可计算性研究
- 批准号：
RGPIN-2018-06867 - 财政年份：2021
- 资助金额：
$ 2.11万 - 项目类别：
Discovery Grants Program - Individual
Studies in many-valued logics, partial traces, and computability
多值逻辑、部分迹和可计算性研究
- 批准号：
RGPIN-2018-06867 - 财政年份：2020
- 资助金额：
$ 2.11万 - 项目类别：
Discovery Grants Program - Individual
Studies in many-valued logics, partial traces, and computability
多值逻辑、部分迹和可计算性研究
- 批准号：
RGPIN-2018-06867 - 财政年份：2019
- 资助金额：
$ 2.11万 - 项目类别：
Discovery Grants Program - Individual
Studies in many-valued logics, partial traces, and computability
多值逻辑、部分迹和可计算性研究
- 批准号：
RGPIN-2018-06867 - 财政年份：2018
- 资助金额：
$ 2.11万 - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of interaction, and the dynamics of resource sensitive computation
极化逻辑、交互几何以及资源敏感计算的动态
- 批准号：
8544-2011 - 财政年份：2014
- 资助金额：
$ 2.11万 - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of interaction, and the dynamics of resource sensitive computation
极化逻辑、交互几何以及资源敏感计算的动态
- 批准号：
8544-2011 - 财政年份：2013
- 资助金额：
$ 2.11万 - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of interaction, and the dynamics of resource sensitive computation
极化逻辑、交互几何以及资源敏感计算的动态
- 批准号：
8544-2011 - 财政年份：2012
- 资助金额：
$ 2.11万 - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of interaction, and the dynamics of resource sensitive computation
极化逻辑、交互几何以及资源敏感计算的动态
- 批准号：
8544-2011 - 财政年份：2011
- 资助金额：
$ 2.11万 - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of proofs, and semantics of computation
极化逻辑、证明几何和计算语义
- 批准号：
8544-2006 - 财政年份：2010
- 资助金额：
$ 2.11万 - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of proofs, and semantics of computation
极化逻辑、证明几何和计算语义
- 批准号：
8544-2006 - 财政年份：2009
- 资助金额：
$ 2.11万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
基于轨道角动量的高维量子逻辑门研究
- 批准号：62371202
- 批准年份：2023
- 资助金额：49 万元
- 项目类别：面上项目
建筑空调机房系统故障因果逻辑推理及响应决策机制研究
- 批准号：52308110
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
面向航空发动机多模态变工况高性能运行的新型逻辑切换控制系统研究
- 批准号：62303262
- 批准年份：2023
- 资助金额：10 万元
- 项目类别：青年科学基金项目
数字平台生态系统场景下旅游企业间竞合关系的权力逻辑解构：来源、失衡和后果
- 批准号：72372164
- 批准年份：2023
- 资助金额：41 万元
- 项目类别：面上项目
内质网和线粒体精准靶向的逻辑门控型纳米药物用于肿瘤协同光免疫治疗
- 批准号：82304401
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
相似海外基金
Polarized logics, geometry of interaction, and the dynamics of resource sensitive computation
极化逻辑、交互几何以及资源敏感计算的动态
- 批准号：
8544-2011 - 财政年份：2014
- 资助金额：
$ 2.11万 - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of interaction, and the dynamics of resource sensitive computation
极化逻辑、交互几何以及资源敏感计算的动态
- 批准号：
8544-2011 - 财政年份：2013
- 资助金额：
$ 2.11万 - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of interaction, and the dynamics of resource sensitive computation
极化逻辑、交互几何以及资源敏感计算的动态
- 批准号：
8544-2011 - 财政年份：2012
- 资助金额：
$ 2.11万 - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of interaction, and the dynamics of resource sensitive computation
极化逻辑、交互几何以及资源敏感计算的动态
- 批准号：
8544-2011 - 财政年份：2011
- 资助金额：
$ 2.11万 - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of proofs, and semantics of computation
极化逻辑、证明几何和计算语义
- 批准号：
8544-2006 - 财政年份：2010
- 资助金额：
$ 2.11万 - 项目类别：
Discovery Grants Program - Individual