刷新
{{item.name}}会员
Reasoning about, and stepwise development of, quantum programs: a predicate transformer semantics approach
量子程序的推理和逐步开发：谓词变换器语义方法
基本信息
- 批准号：FT100100218
- 负责人：
- 金额：$ 39.58万
- 依托单位：
- 依托单位国家：澳大利亚
- 项目类别：ARC Future Fellowships
- 财政年份：2011
- 资助国家：澳大利亚
- 起止时间：2011-01-01 至 2014-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
The project will provide a framework to reason about, and stepwise develop, quantum programs by rigorous predicate transformer semantics, and generate breakthrough theory and frontier techniques for quantum software engineering.
该项目将提供一个框架，通过严格的谓词Transformer语义来推理和逐步开发量子程序，并为量子软件工程产生突破性的理论和前沿技术。
项目成果
期刊论文数量（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 }}
Prof Yuan Feng其他文献
Prof Yuan Feng的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Prof Yuan Feng', 18)}}的其他基金
Formal Verification of Quantum Logic Circuits
量子逻辑电路的形式验证
- 批准号：
DP220102059 - 财政年份：2022
- 资助金额：
$ 39.58万 - 项目类别：
Discovery Projects
Verification and analysis of quantum programs
量子程序的验证和分析
- 批准号：
DP180100691 - 财政年份：2018
- 资助金额：
$ 39.58万 - 项目类别：
Discovery Projects
Model-checking quantum Markov chains: towards verification techniques for quantum cryptographic systems
模型检查量子马尔可夫链：面向量子密码系统的验证技术
- 批准号：
DP130102764 - 财政年份：2013
- 资助金额：
$ 39.58万 - 项目类别：
Discovery Projects
相似海外基金
Amalgamating Evidence About Causes: Medicine, the Medical Sciences, and Beyond
合并有关原因的证据：医学、医学科学及其他领域
- 批准号：
AH/Y007654/1 - 财政年份：2024
- 资助金额：
$ 39.58万 - 项目类别：
Research Grant
NGO-Prosecutorial Complex in Universal Jurisdiction Cases: Structure and Consequences for Justice and Public Knowledge about Human Rights Violations
普遍管辖权案件中的非政府组织-检察复合体：正义的结构和后果以及公众对侵犯人权行为的了解
- 批准号：
2314061 - 财政年份：2024
- 资助金额：
$ 39.58万 - 项目类别：
Standard Grant
Understanding communication about advance care planning across the lifespan
了解有关整个生命周期预先护理计划的沟通
- 批准号：
DP240100072 - 财政年份：2024
- 资助金额：
$ 39.58万 - 项目类别：
Discovery Projects
Learning about ChatGPT for educational purposes: Examining the role of online teacher communities for supporting teachers in Japan
了解用于教育目的的 ChatGPT：检查在线教师社区在支持日本教师方面的作用
- 批准号：
24K16767 - 财政年份：2024
- 资助金额：
$ 39.58万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Postdoctoral Fellowship: STEMEdIPRF: The Longitudinal Development of Students' Cognitive and EpiSTEMological Knowledge about Bonding Models
博士后奖学金：STEMEdIPRF：学生关于粘合模型的认知和认识科学知识的纵向发展
- 批准号：
2327387 - 财政年份：2024
- 资助金额：
$ 39.58万 - 项目类别：
Standard Grant
CRII: SHF: Embedding techniques for mechanized reasoning about existing programs
CRII：SHF：现有程序机械化推理的嵌入技术
- 批准号：
2348490 - 财政年份：2024
- 资助金额：
$ 39.58万 - 项目类别：
Standard Grant
Thinking about possibilities: Towards a unified cognitive framework
思考可能性：走向统一的认知框架
- 批准号：
FT230100010 - 财政年份：2024
- 资助金额：
$ 39.58万 - 项目类别：
ARC Future Fellowships
SHF: Medium: Reasoning about Multiplicity in the Machine Learning Pipeline
SHF：Medium：机器学习管道中多重性的推理
- 批准号：
2402833 - 财政年份：2024
- 资助金额：
$ 39.58万 - 项目类别：
Continuing Grant
Co-creating digital education about parenting and father-inclusive practice: combining QL impact research and commercialisation for the social good
共同创建有关育儿和父亲包容性实践的数字教育：将 QL 影响研究与商业化相结合，造福社会
- 批准号：
MR/Y00356X/1 - 财政年份：2024
- 资助金额：
$ 39.58万 - 项目类别：
Fellowship
Collaborative Research: The impact of instruction on student thinking about measurement in classical and quantum mechanics experiments
合作研究：教学对学生思考经典和量子力学实验中的测量的影响
- 批准号：
2336135 - 财政年份：2024
- 资助金额：
$ 39.58万 - 项目类别：
Standard Grant