刷新
{{item.name}}会员
Proof theory, foundations of concurrency, and information flow
证明理论、并发基础和信息流
基本信息
- 批准号：8544-1995
- 负责人：
- 金额：$ 2.28万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：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.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其他文献
The Role of Formative Evaluation in Promoting Digitally-based Health Equity and Reducing Bias for Resilient Health Systems: The Case of Patient Portals.
- DOI：
10.1055/s-0042-1742498 - 发表时间：
2022-08 - 期刊：
- 影响因子：0
- 作者：
Cresswell, Kathrin;Rigby, Michael;Georgiou, Andrew;Wong, Zoie Shui-Yee;Kukhareva, Polina;Medlock, Stephanie;De Keizer, Nicolet F;Magrabi, Farah;Scott, Philip;Ammenwerth, Elske - 通讯作者：
Ammenwerth, Elske
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
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
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
One Health in a Digital World: Technology, Data, Information and Knowledge.
- DOI：
10.1055/s-0043-1768718 - 发表时间：
2023-08 - 期刊：
- 影响因子：0
- 作者：
Scott, Philip;Adedeji, Taiwo;Nakkas, Haythem;Andrikopoulou, Elisavet - 通讯作者：
Andrikopoulou, Elisavet
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.28万 - 项目类别：
Discovery Grants Program - Individual
Studies in many-valued logics, partial traces, and computability
多值逻辑、部分迹和可计算性研究
- 批准号：
RGPIN-2018-06867 - 财政年份：2020
- 资助金额：
$ 2.28万 - 项目类别：
Discovery Grants Program - Individual
Studies in many-valued logics, partial traces, and computability
多值逻辑、部分迹和可计算性研究
- 批准号：
RGPIN-2018-06867 - 财政年份：2019
- 资助金额：
$ 2.28万 - 项目类别：
Discovery Grants Program - Individual
Studies in many-valued logics, partial traces, and computability
多值逻辑、部分迹和可计算性研究
- 批准号：
RGPIN-2018-06867 - 财政年份：2018
- 资助金额：
$ 2.28万 - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of interaction, and the dynamics of resource sensitive computation
极化逻辑、交互几何以及资源敏感计算的动态
- 批准号：
8544-2011 - 财政年份：2016
- 资助金额：
$ 2.28万 - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of interaction, and the dynamics of resource sensitive computation
极化逻辑、交互几何以及资源敏感计算的动态
- 批准号：
8544-2011 - 财政年份：2014
- 资助金额：
$ 2.28万 - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of interaction, and the dynamics of resource sensitive computation
极化逻辑、交互几何以及资源敏感计算的动态
- 批准号：
8544-2011 - 财政年份：2013
- 资助金额：
$ 2.28万 - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of interaction, and the dynamics of resource sensitive computation
极化逻辑、交互几何以及资源敏感计算的动态
- 批准号：
8544-2011 - 财政年份：2012
- 资助金额：
$ 2.28万 - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of interaction, and the dynamics of resource sensitive computation
极化逻辑、交互几何以及资源敏感计算的动态
- 批准号：
8544-2011 - 财政年份：2011
- 资助金额：
$ 2.28万 - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of proofs, and semantics of computation
极化逻辑、证明几何和计算语义
- 批准号：
8544-2006 - 财政年份：2010
- 资助金额：
$ 2.28万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
Research on Quantum Field Theory without a Lagrangian Description
- 批准号：24ZR1403900
- 批准年份：2024
- 资助金额：0.0 万元
- 项目类别：省市级项目
Fibered纽结的自同胚、Floer同调与4维亏格
- 批准号：12301086
- 批准年份：2023
- 资助金额：30.00 万元
- 项目类别：青年科学基金项目
基于密度泛函理论金原子簇放射性药物设计、制备及其在肺癌诊疗中的应用研究
- 批准号：82371997
- 批准年份：2023
- 资助金额：48.00 万元
- 项目类别：面上项目
基于isomorph theory研究尘埃等离子体物理量的微观动力学机制
- 批准号：12247163
- 批准年份：2022
- 资助金额：18.00 万元
- 项目类别：专项项目
Toward a general theory of intermittent aeolian and fluvial nonsuspended sediment transport
- 批准号：
- 批准年份：2022
- 资助金额：55 万元
- 项目类别：
英文专著《FRACTIONAL INTEGRALS AND DERIVATIVES: Theory and Applications》的翻译
- 批准号：12126512
- 批准年份：2021
- 资助金额：12.0 万元
- 项目类别：数学天元基金项目
钱江潮汐影响下越江盾构开挖面动态泥膜形成机理及压力控制技术研究
- 批准号：LY21E080004
- 批准年份：2020
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于Restriction-Centered Theory的自然语言模糊语义理论研究及应用
- 批准号：61671064
- 批准年份：2016
- 资助金额：65.0 万元
- 项目类别：面上项目
高阶微分方程的周期解及多重性
- 批准号：11501240
- 批准年份：2015
- 资助金额：18.0 万元
- 项目类别：青年科学基金项目
四维流形上的有限群作用与奇异光滑结构
- 批准号：11301334
- 批准年份：2013
- 资助金额：22.0 万元
- 项目类别：青年科学基金项目
相似海外基金
Conference: Theory and Foundations of Statistics in the Era of Big Data
会议：大数据时代的统计学理论与基础
- 批准号：
2403813 - 财政年份：2024
- 资助金额：
$ 2.28万 - 项目类别：
Standard Grant
Development of an Interactive Bioethics Training Module for Healthcare Providers Treating Patients Who Need Liver Transplant for Alcohol-associated Liver Disease
为治疗酒精相关性肝病需要肝移植的患者的医疗保健提供者开发交互式生物伦理学培训模块
- 批准号：
10785093 - 财政年份：2023
- 资助金额：
$ 2.28万 - 项目类别：
Improving Recruitment, Engagement, and Access for Community Health Equity for BRAIN Next-Generation Human Neuroimaging Research and Beyond (REACH for BRAIN)
改善 BRAIN 下一代人类神经影像研究及其他领域的社区健康公平的招募、参与和获取 (REACH for BRAIN)
- 批准号：
10730955 - 财政年份：2023
- 资助金额：
$ 2.28万 - 项目类别：
CBESS: a pipeline program to increase linguistic and geographic diversity in STEM + health
CBESS：一项旨在增加 STEM 健康领域语言和地理多样性的管道计划
- 批准号：
10665432 - 财政年份：2023
- 资助金额：
$ 2.28万 - 项目类别：
Functional and behavioral dissection of higher order thalamocortical circuits in schizophrenia.
精神分裂症高阶丘脑皮质回路的功能和行为解剖。
- 批准号：
10633810 - 财政年份：2023
- 资助金额：
$ 2.28万 - 项目类别：
Application of social cognitive theory to physical activity behavior among adults with Crohn's disease
社会认知理论在克罗恩病成人体力活动行为中的应用
- 批准号：
10745823 - 财政年份：2023
- 资助金额：
$ 2.28万 - 项目类别：
Perspectives of Correctional Officers about Older Adults in Prison: A Grounded Theory Study
惩教人员对监狱中老年人的看法：扎根理论研究
- 批准号：
10749275 - 财政年份：2023
- 资助金额：
$ 2.28万 - 项目类别：
Systematic characterization of spinal cord stimulation effects on dorsal horn populations
脊髓刺激对背角群体影响的系统表征
- 批准号：
10558269 - 财政年份：2023
- 资助金额：
$ 2.28万 - 项目类别：
Fractionated photoimmunotherapy to harness low-dose immunostimulation in ovarian cancer
分段光免疫疗法利用低剂量免疫刺激治疗卵巢癌
- 批准号：
10662778 - 财政年份：2023
- 资助金额：
$ 2.28万 - 项目类别：
Neural circuits regulating flight and panic behavior.
调节飞行和恐慌行为的神经回路。
- 批准号：
10765755 - 财政年份：2023
- 资助金额：
$ 2.28万 - 项目类别：