课题基金 / 基金详情

Semantic methods in quantum computing

Semantic methods in quantum computing
量子计算中的语义方法
批准号：
238774-2006
负责人：
Selinger, Peter
金额：
$2.23万
依托单位：
Dalhousie University
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2008
资助国家：
加拿大
项目状态：
已结题
起止时间：
2008-01-01 至 2009-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=394054
关键词：
Semanticmethodsquantumcomputing

项目摘要

项目成果

Selinger, Peter的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
The purpose of this research project is to develop programming languages for quantum computing, as well as techniques for reasoning about such languages. Quantum computation, which is based on the laws of quantum physics, is so far only a theoretical possibility, but one that could yield vastly more powerful computers than those available today. The laws of quantum physics are not intuitive to programmers used to writing code for classical machines; by developing quantum programming languages and studying their properties, we hope to narrow the gap between theory and practice.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Algebraic and number theoretic methods for quantum circuits
  • 批准号：
    RGPIN-2017-05161
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $3.79万
  • 财政年份：
    2021
  • 负责人：
    Selinger, Peter
  • 依托单位：
    Dalhousie University
Algebraic and number theoretic methods for quantum circuits
  • 批准号：
    RGPIN-2017-05161
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.89万
  • 财政年份：
    2020
  • 负责人：
    Selinger, Peter
  • 依托单位：
    Dalhousie University
Algebraic and number theoretic methods for quantum circuits
  • 批准号：
    RGPIN-2017-05161
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.89万
  • 财政年份：
    2019
  • 负责人：
    Selinger, Peter
  • 依托单位：
    Dalhousie University
Algebraic and number theoretic methods for quantum circuits
  • 批准号：
    507937-2017
  • 项目类别：
    Discovery Grants Program - Accelerator Supplements
  • 资助金额：
    $2.91万
  • 财政年份：
    2019
  • 负责人：
    Selinger, Peter
  • 依托单位：
    Dalhousie University
国内基金
海外基金
复杂图像处理中的自由非连续问题及其水平集方法研究
  • 批准号：
    60872130
  • 项目类别：
    面上项目
  • 资助金额：
    28.0万元
  • 批准年份：
    2008
  • 负责人：
    刘国才
  • 依托单位：
    湖南大学
Computational Methods for Analyzing Toponome Data