刷新
{{item.name}}会员
Semantic foundations of concurrent systems
并发系统的语义基础
基本信息
- 批准号：104873-1989
- 负责人：
- 金额：$ 2.04万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：1991
- 资助国家：加拿大
- 起止时间：1991-01-01 至 1992-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 }}
Panangaden, Prakash其他文献
BISIMULATION METRICS FOR CONTINUOUS MARKOV DECISION PROCESSES
- DOI：
10.1137/10080484x - 发表时间：
2011-01-01 - 期刊：
- 影响因子：1.6
- 作者：
Ferns, Norm;Panangaden, Prakash;Precup, Doina - 通讯作者：
Precup, Doina
Universal Semantics for the Stochastic λ-Calculus
随机 δ 微积分的通用语义
- DOI：
- 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Azevedo de Amorim, Pedro;Kozen, Dexter;Mardare, Radu;Panangaden, Prakash;Roberts, Michael - 通讯作者：
Roberts, Michael
Anonymity protocols as noisy channels
- DOI：
10.1016/j.ic.2007.07.003 - 发表时间：
2008-02-01 - 期刊：
- 影响因子：1
- 作者：
Chatzikokolaks, Konstantincis;Palamidessi, Catuscia;Panangaden, Prakash - 通讯作者：
Panangaden, Prakash
Private information via the Unruh effect
- DOI：
10.1088/1126-6708/2009/08/074 - 发表时间：
2009-08-01 - 期刊：
- 影响因子：5.4
- 作者：
Bradler, Kamil;Hayden, Patrick;Panangaden, Prakash - 通讯作者：
Panangaden, Prakash
Augmenting Human Selves Through Artificial Agents - Lessons From the Brain.
- DOI：
10.3389/fncom.2022.892354 - 发表时间：
2022 - 期刊：
- 影响因子：3.2
- 作者：
Northoff, Georg;Fraser, Maia;Griffiths, John;Pinotsis, Dimitris A.;Panangaden, Prakash;Moran, Rosalyn;Friston, Karl - 通讯作者：
Friston, Karl
Panangaden, Prakash的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Panangaden, Prakash', 18)}}的其他基金
Probabilistic reasoning and machine learning
概率推理和机器学习
- 批准号：
RGPIN-2020-05070 - 财政年份：2022
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
Probabilistic reasoning and machine learning
概率推理和机器学习
- 批准号：
RGPIN-2020-05070 - 财政年份：2021
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
Probabilistic reasoning and machine learning
概率推理和机器学习
- 批准号：
RGPIN-2020-05070 - 财政年份：2020
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
Reasoning About Probabilistic and Concurrent Systems
关于概率和并发系统的推理
- 批准号：
RGPIN-2015-05508 - 财政年份：2019
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
Reasoning About Probabilistic and Concurrent Systems
关于概率和并发系统的推理
- 批准号：
RGPIN-2015-05508 - 财政年份：2018
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
Reasoning About Probabilistic and Concurrent Systems
关于概率和并发系统的推理
- 批准号：
RGPIN-2015-05508 - 财政年份：2017
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
Reasoning About Probabilistic and Concurrent Systems
关于概率和并发系统的推理
- 批准号：
RGPIN-2015-05508 - 财政年份：2016
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
Reasoning About Probabilistic and Concurrent Systems
关于概率和并发系统的推理
- 批准号：
RGPIN-2015-05508 - 财政年份：2015
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
Probabilistic systems and applications
概率系统和应用
- 批准号：
104873-2010 - 财政年份：2014
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
Probabilistic systems and applications
概率系统和应用
- 批准号：
104873-2010 - 财政年份：2013
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
相似海外基金
Concurrent high resolution calcium imaging and fMRI reveal intra anterior cingulate cortex neuronal activity and large-scale brain network connectivity in healthy and nicotine-addicted mice
并行高分辨率钙成像和功能磁共振成像揭示了健康和尼古丁成瘾小鼠的前扣带皮层神经元活动和大规模脑网络连接
- 批准号：
10576010 - 财政年份：2023
- 资助金额：
$ 2.04万 - 项目类别：
Concurrent Validity, Test-Retest Reliability, and Sensitivity to Change of Functional Near-Infrared Spectroscopy for Measuring Language-Related Brain Activity in Post-Stroke Aphasia
功能性近红外光谱测量中风后失语症语言相关大脑活动的同时有效性、重测可靠性和敏感性变化
- 批准号：
10538100 - 财政年份：2022
- 资助金额：
$ 2.04万 - 项目类别：
Concurrent Validity, Test-Retest Reliability, and Sensitivity to Change of Functional Near-Infrared Spectroscopy for Measuring Language-Related Brain Activity in Post-Stroke Aphasia
功能性近红外光谱测量中风后失语症语言相关大脑活动的同时有效性、重测可靠性和敏感性
- 批准号：
10709585 - 财政年份：2022
- 资助金额：
$ 2.04万 - 项目类别：
Robotically-actuated, low-noise, concurrent TMS-EEG-fMRI system
机器人驱动、低噪声、并发 TMS-EEG-fMRI 系统
- 批准号：
10286708 - 财政年份：2021
- 资助金额：
$ 2.04万 - 项目类别：
Robotically-actuated, low-noise, concurrent TMS-EEG-fMRI system
机器人驱动、低噪声、并发 TMS-EEG-fMRI 系统
- 批准号：
10435560 - 财政年份：2021
- 资助金额：
$ 2.04万 - 项目类别：
Robotically-actuated, low-noise, concurrent TMS-EEG-fMRI system
机器人驱动、低噪声、并发 TMS-EEG-fMRI 系统
- 批准号：
10614611 - 财政年份：2021
- 资助金额：
$ 2.04万 - 项目类别：
Concurrent trajectories of physical frailty and cognitive impairment among nursing home residents and community-dwelling older adults
疗养院居民和社区老年人身体虚弱和认知障碍的并发轨迹
- 批准号：
10250404 - 财政年份：2020
- 资助金额：
$ 2.04万 - 项目类别：
Concurrent trajectories of physical frailty and cognitive impairment among nursing home residents and community-dwelling older adults
疗养院居民和社区老年人身体虚弱和认知障碍的并发轨迹
- 批准号：
10045674 - 财政年份：2020
- 资助金额：
$ 2.04万 - 项目类别：
Concurrent trajectories of physical frailty and cognitive impairment among nursing home residents and community-dwelling older adults
疗养院居民和社区老年人身体虚弱和认知障碍的并发轨迹
- 批准号：
10597561 - 财政年份：2020
- 资助金额：
$ 2.04万 - 项目类别：
Concurrent trajectories of physical frailty and cognitive impairment among nursing home residents and community-dwelling older adults
疗养院居民和社区老年人身体虚弱和认知障碍的并发轨迹
- 批准号：
10650876 - 财政年份：2020
- 资助金额：
$ 2.04万 - 项目类别：