activity
20112021
most citedComputing Semi-algebraic Invariants for Polynomial Dynamical Systems

16 citations · 34 across the 8 of their papers we have counts for

collaborators

8 papers

quant-ph2021

A Classical Machine and Grover's Algorithm

Jiang Liu

This paper studies a well-known machine illustrated by Fig.(1). It is shown that the machine can compute digits of if the ratio of block weights, , satisfies c…

cs.AI2021★ 14 cited

MöbiusE: Knowledge Graph Embedding on Möbius Ring

Yao Chen, Jiangang Liu, Zhe Zhang +2

In this work, we propose a novel Knowledge Graph Embedding (KGE) strategy, called MöbiusE, in which the entities and relations are embedded to the surface of a Möbius ring. The pro…

quant-ph2020

An Optimum Algorithm for Quantum Search

Jiang Liu

This paper discusses an improvement to Grover's algorithm for searches where target states are Hamming weight eigenstates and search space is not ordered. It is shown that under th…

math.GM2020★ 1 cited

An Optimization Approach to Jacobian Conjecture

Jiang Liu

Let and be a number field of characteristic . Jacobian Conjecture asserts for a polynomial map from to itself, if the determin…

cs.CC2017★ 2 cited

A Linear Algebra Formulation for Boolean Satisfiability Testing

Chengling Fang, Jiang Liu

In the article \The State of SAT", the authors asked whether a procedure dramatically different from DPLL can be found for handling unsatisfiable instances. This study proposes a n…

eess.SY2014★ 1 cited

Abstraction of Elementary Hybrid Systems by Variable Transformation

Jiang Liu, Naijun Zhan, Hengjun Zhao +1

Elementary hybrid systems (EHSs) are those hybrid systems (HSs) containing elementary functions such as exp, ln, sin, cos, etc. EHSs are very common in practice, especially in safe…