3 citations · 5 across the 9 of their papers we have counts for
9 papers
LenghuSky-8: An 8-Year All-Sky Cloud Dataset with Star-Aware Masks and Alt-Az Calibration for Segmentation and Nowcasting
Yicheng Rui, Xiao-Wei Duan, Licai Deng +9
Ground-based time-domain observatories require minute-by-minute, site-scale awareness of cloud cover, yet existing all-sky datasets are short, daylight-biased, or lack astrometric…
Random Words in a (Weighted) Regular Language: a Free Energy Approach
Cewei Cui, Zhe Dang
We study random words in a weighted regular language that achieve the maximal free energy using thermodynamics formalism. In particular, typical words in the language are algorithm…
A Free Energy Foundation of Semantic Similarity in Automata and Languages
Cewei Cui, Zhe Dang
This paper develops a free energy theory from physics including the variational principles for automata and languages and also provides algorithms to compute the energy as well as…
Canonical Number and NutCracker: Heuristic Algorithms for the Graph Isomorphism Problem using Free Energy
Cewei Cui, Zhe Dang
This paper develops two heuristic algorithms to solve graph isomorphism, using free energy encoding. The first algorithm uses four types of encoding refinement techniques such that…
Bit Rate of Programs
Cewei Cui, Zhe Dang, Thomas R. Fischer
A program can be considered as a device that generates discrete time signals, where a signal is an execution. Shannon information rate, or bit rate, of the signals may not be unifo…
Testing Systems of Concurrent Black-boxes--an Automata-Theoretic and Decompositional Approach
Gaoyan Xie, Zhe Dang
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but could…
Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components
Gaoyan Xie, Zhe Dang
Component-based software development has posed a serious challenge to system verification since externally-obtained components could be a new source of system failures. This issue…
Pushdown Timed Automata: a Binary Reachability Characterization and Safety Verification
Zhe Dang
We consider pushdown timed automata (PTAs) that are timed automata (with dense clocks) augmented with a pushdown stack. A configuration of a PTA includes a control state, dense clo…
The Existence of -Chains for Transitive Mixed Linear Relations and Its Applications
Zhe Dang, Oscar Ibarra
We show that it is decidable whether a transitive mixed linear relation has an -chain. Using this result, we study a number of liveness verification problems for generalized tim…