papers

Publications (5)

quant-ph2025

Temperature dependent single- and double-quantum relaxation of negatively charged boron vacancies in hexagonal boron nitride

Lin-Ke Xie, Wei Liu, Kaiyu Huang +14

The negatively charged boron vacancy in two-dimensional hexagonal boron nitride has emerged as a promising candidate for quantum sensing. The coherence time of this defect spins wh…

cond-mat.mes-hall2019

Bilayer graphene nanoribbons junction with aligned holes exhibiting high ZT values

Shuo Deng, Lijie Li, Paul Rees

We investigate the thermoelectric performance of armchair graphene nanoribbon (AGNR), bilayer GNRs junction (BGNRJ) and BGNRJ with holes (BGNRJ-H) by the first principles calculati…

cs.LO2026

From Lecture Notes to Lean: Formalizing a Textbook on Probability Theory

Shuo Deng, Kenneth W. Shum

The paper describes an ongoing effort to formalize a university-level probability textbook in the Lean theorem prover, creating a machine‑checked companion and reusable probability…

#formal verification#interactive theorem proving#probability theory#lean theorem prover
cond-mat.mes-hall2018

Enhanced thermoelectric performance of twisted bilayer graphene nanoribbons junction

Shuo Deng, Xiang Cai, Yan Zhang +1

We investigate the electron transport and thermoelectric property of twisted bilayer graphene nanoribbon junction (TBGNRJ) in , , and rotation angles b…

cs.CV2017

Kill Two Birds With One Stone: Boosting Both Object Detection Accuracy and Speed With adaptive Patch-of-Interest Composition

Shihao Zhang, Weiyao Lin, Ping Lu +2

Object detection is an important yet challenging task in video understanding & analysis, where one major challenge lies in the proper balance between two contradictive factors: det…