Guohui Wang

MaRDI QIDQ1956042zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Some quantum MDS codes from GRS codes Linear and Multilinear Algebra	2024-06-25	Paper
Formalization of the inverse kinematics of three-fingered dexterous hand Journal of Logical and Algebraic Methods in Programming	2023-06-19	Paper
Some new constructions of optimal asymmetric quantum codes Quantum Information Processing	2023-02-24	Paper
Some entanglement-assisted quantum MDS codes with large minimum distance Quantum Information Processing	2022-12-06	Paper
Some constructions of optimal subsystem codes derived from GRS codes Quantum Information Processing	2022-12-06	Paper
Application of GRS codes to some entanglement-assisted quantum MDS codes Quantum Information Processing	2022-11-29	Paper
New constructions of optimal subsystem codes Computational and Applied Mathematics	2022-11-01	Paper
Reasoning about iteration and recursion uniformly based on big-step semantics	2022-07-13	Paper
Formal verification of atomicity requirements for smart contracts	2021-07-08	Paper
Formalization of Euler-Lagrange equation set based on variational calculus in HOL light Journal of Automated Reasoning	2021-06-09	Paper
Formalization of camera pose estimation algorithm based on Rodrigues formula Formal Aspects of Computing	2021-01-04	Paper
A new Oren-Nayar shape-from-shading approach for 3D reconstruction using high-order Godunov-based scheme Algorithms	2020-01-13	Paper
Coexistence solution of a predator-prey system with B-D functional response and toxin effects	2019-09-20	Paper
Formalization of functional variation in HOL Light Journal of Logical and Algebraic Methods in Programming	2019-06-20	Paper
Permanence, stability, and coexistence of a diffusive predator-prey model with modified Leslie-Gower and B-D functional response Advances in Difference Equations	2019-01-28	Paper
A Block-Level Log-Block Management Scheme for MLC NAND Flash Memory Storage Systems IEEE Transactions on Computers	2018-06-27	Paper
Linear complexity of balanced quaternary generalized cyclotomic sequences with period \(pq\)	2017-05-17	Paper
Energy-aware assignment and scheduling for hybrid main memory in embedded systems Computing	2016-03-10	Paper
scientific article; zbMATH DE number 6531917 (Why is no real title available?)	2016-01-15	Paper
scientific article; zbMATH DE number 6531273 (Why is no real title available?)	2016-01-15	Paper
Positive solutions for three-point boundary value problem of fractional differential equation with \(p\)-Laplacian operator Discrete Dynamics in Nature and Society	2013-06-13	Paper

Research outcomes over time

This page was built for person: Guohui Wang