RS Fellow - EPSRC grant (2014): Quantum computation as a programming language
RS 研究员 - EPSRC 资助 (2014)：量子计算作为编程语言
基本信息
- 批准号：EP/N007387/1
- 负责人：
- 金额：$ 28.83万
- 依托单位：
- 依托单位国家：英国
- 项目类别：Fellowship
- 财政年份：2015
- 资助国家：英国
- 起止时间：2015 至 无数据
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
The passage to quantum computing has the potential to make computer systems and protocols much faster and much more secure. The purpose of this project is to understand quantum computation using the tools that have been developed for programming language theory.
量子计算的发展有可能使计算机系统和协议变得更快、更安全。该项目的目的是使用为编程语言理论开发的工具来理解量子计算。
项目成果
期刊论文数量（10）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Bayesian Inversion by Omega-Complete Cone Duality
通过 Omega 完全锥对偶性进行贝叶斯反演
- DOI：
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：Dahlqvist F
- 通讯作者：Dahlqvist F
Universal Properties in Quantum Theory
量子理论中的普遍性质
- DOI：10.4204/eptcs.287.12
- 发表时间：2019
- 期刊：
- 影响因子：0
- 作者：Huot M
- 通讯作者：Huot M
A convenient category for higher-order probability theory
高阶概率论的便捷范畴
- DOI：10.1109/lics.2017.8005137
- 发表时间：2017
- 期刊：
- 影响因子：0
- 作者：Heunen C
- 通讯作者：Heunen C
Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics
类型与效果系统语义中逻辑关系和单子提升的因式分解系统
- DOI：10.1016/j.entcs.2018.11.012
- 发表时间：2018
- 期刊：
- 影响因子：0
- 作者：Kammar O
- 通讯作者：Kammar O
No value restriction is needed for algebraic effects and handlers
代数效应和处理程序不需要值限制
- DOI：10.1017/s0956796816000320
- 发表时间：2017
- 期刊：
- 影响因子：1.1
- 作者：KAMMAR O
- 通讯作者：KAMMAR O
{{
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 }}
Samuel Staton其他文献
Samuel Staton的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Samuel Staton', 18)}}的其他基金
Mathematical Operational Semantics for Data-Passing Processes
数据传递过程的数学运算语义
- 批准号：
EP/E042414/1 - 财政年份：2007
- 资助金额：
$ 28.83万 - 项目类别：
Fellowship
相似国自然基金
中国数学会院士座谈会与科普活动
- 批准号：12126511
- 批准年份：2021
- 资助金额：20.0 万元
- 项目类别：数学天元基金项目
数学院士专家大学中学系列科普活动
- 批准号：12026425
- 批准年份：2020
- 资助金额：20.0 万元
- 项目类别：数学天元基金项目
院士专家系列数学科普讲座
- 批准号：11926409
- 批准年份：2019
- 资助金额：18.0 万元
- 项目类别：数学天元基金项目
共生视角下的院士科学合作网络结构与演化趋势研究：以中美两国科学院院士为例
- 批准号：71603015
- 批准年份：2016
- 资助金额：17.0 万元
- 项目类别：青年科学基金项目
院士专家大学中学行系列数学科普活动
- 批准号：11526003
- 批准年份：2015
- 资助金额：16.0 万元
- 项目类别：数学天元基金项目
相似海外基金
RS Fellow - EPSRC grant (2016): Investigating Measurement Incompatibility in Quantum Theory
RS 研究员 - EPSRC 资助 (2016)：研究量子理论中的测量不兼容性
- 批准号：
EP/R00644X/1 - 财政年份：2017
- 资助金额：
$ 28.83万 - 项目类别：
Fellowship
RS Fellow - EPSRC grant (2016): Spatial fragmentations
RS 研究员 - EPSRC 拨款 (2016)：空间碎片
- 批准号：
EP/R005249/1 - 财政年份：2017
- 资助金额：
$ 28.83万 - 项目类别：
Fellowship
RS Fellow - EPSRC grant (2016): Realising the Automated Materials Synthesiser
RS 研究员 - EPSRC 资助 (2016)：实现自动化材料合成器
- 批准号：
EP/R005931/1 - 财政年份：2017
- 资助金额：
$ 28.83万 - 项目类别：
Fellowship
RS Fellow - EPSRC grant (2016): Algebraic and topological approaches for genomic data in molecular biology
RS 研究员 - EPSRC 资助（2016）：分子生物学中基因组数据的代数和拓扑方法
- 批准号：
EP/R005125/1 - 财政年份：2017
- 资助金额：
$ 28.83万 - 项目类别：
Fellowship
RS Fellow - EPSRC grant (2014): Mitigating spin-current relaxation in spin-orbit coupled graphene: towards spin current routing in 2D carbon
RS 研究员 - EPSRC 资助 (2014)：减轻自旋轨道耦合石墨烯中的自旋电流弛豫：实现二维碳中的自旋电流路由
- 批准号：
EP/N004817/1 - 财政年份：2015
- 资助金额：
$ 28.83万 - 项目类别：
Fellowship