量子软件的理论与方法

60736011
2007
F0201.计算机科学的基础理论
应明生
重点项目
教授
清华大学
200万元
量子软件;形式语义;量子程序设计;量子计算机;量子通信并发系统
2008-01-01到2011-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 Locally indistinguishable subspaces spanned by three-qubit unextendible product bases 期刊论文
2 Soft constraint abstraction based on semiring homomorphism 期刊论文
3 Parameter estimation of quantum channels. 期刊论文
4 Quantum loop programs 期刊论文
5 Superactivation of the asymptotic zero-error classical capacity of a quantum channel 期刊论文
6 On the solution space of quantum 2-SAT problems 会议论文
7 Quantum capacity approaching codes for the detected-jump channel 期刊论文
8 Foundations of quantum programming (Extended Abstract) 会议论文
9 Tensor rank of the tripartite state \ket{W}^(\otimes n) 期刊论文
10 Bisimulation for quantum processes 会议论文
11 Local unambiguous discrimination with remaining entanglement 期刊论文
12 非经典计算的形式化模型与逻辑基础 奖励
13 Locally undetermined states, generalized Schmidt decomposition, and applications in distributed computing 期刊论文
14 Nonlocal Entanglement Transformations Achievable by Separable Operations 期刊论文
15 A theory of computation based on unsharp quantum logic: Finite state automata and pushdown automata 期刊论文
16 An optimized majority logic synthesis methodology for quantum-dot cellular automata 期刊论文
17 Bounds on the distance between a unital quantum channel and the convex hull of unitary channels,with applications to the asymptotic quantum Birkhoff conjecture 会议论文
18 When is there a multipartite maximum entangled state 期刊论文
19 Tripartite entanglement transformationsand tensor rank 期刊论文
20 Perfect many-to-one teleportation with stabilizer states 期刊论文
21 Any 2\otimes n subspace is locally distinguishable 期刊论文
22 An algebraic language for distributed quantum computing. 期刊论文
23 Entanglement can completely defeat quantum noise 期刊论文
24 Quantum state reduction for universal measurement based computation 期刊论文
25 Ancilla-assisted discrimination of quantum gates 期刊论文
26 The LU-LC conjecture is false 期刊论文
27 Floyd-Hoare logic for quantum programs 期刊论文
28 The LU-LC conjecture is false 会议论文
29 Multipartite-to-bipartite entanglement transformations and polynomial identity testing 期刊论文
30 Characterizing locally distinguishable orthogonal product states 期刊论文
31 Local distinguishability of multipartite unitary operations 期刊论文
32 Entanglement between two uses of a noisy multipartite quantum channel enables perfect transmission of classical information 期刊论文
33 A flow-chart language for quantum programming 期刊论文
34 Zero-error communication via quantum channels, non-commutative graphs and a quantum Lovasz theta function 会议论文
35 Super-duper-activation of the zero-error quantum capacity 会议论文
36 QIP=PSPACE 期刊论文
37 Predicate transformer semantics of quantum programs 专著
38 Some bounds on the minimum number of queries required for quantum channel perfect discrimination 期刊论文
39 An algebra of quantum processes 期刊论文
40 Tensor rank and stochastic entanglement catalysis for multipartite pure states. 期刊论文
41 Reasoning with Cardinal Directions: An Efficient Algorithm 会议论文
42 Distinguishability of quantum states by separable operations 期刊论文
43 Exact quantum search by parallel unitary discrimination schemes 期刊论文
44 Local distinguishability of orthogonal 2 times 3 pure states 期刊论文
45 No-go theorem for one-way quantum computing on naturally occurring two-level systems 期刊论文
46 Optimal simulation of a perfect entangler 期刊论文
47 QIP = PSPACE 会议论文
48 Multi-error-correcting amplitude damping codes 会议论文
49 Perfect distinguishability of quantum operations 期刊论文
50 Reasoning about cardinal directions between extended objects 期刊论文
51 Parameter estimation of quantum channels. 期刊论文
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享