Further results on binary codes of covering radius 2 and saturating sets in projective spaces
本文解决了二进制码覆盖半径为2的问题，通过构建新的无限码族和使用不同的q^m-连接构造方法，得到了更优的上界。
0 citationsRead paper
Selected work
Representative Papers
Transition Systems from Causal Reversible Bundle Event Structures
本文研究了具有因果可逆性的捆绑事件结构，通过开发到两种转换系统语义的映射来证明这些语义之间的同构性。
0 citationsRead paper
Diagonal Multi-omics Integration of Heterogenous Datasets
本文研究了异构数据集的对角多组学整合方法，通过解决耦合拉普拉斯算子的极值迹问题，并引入新的异质性度量来更好地理解生物异质性。
0 citationsRead paper
Searching for Robust Augmentations to Improve Out-of-Domain Generalization in Dermoscopic Skin Cancer Classification
This study addresses the significant degradation in generalization performance of skin cancer classification models under cross-device and varying acquisition conditions. Systematically evaluating single, photometric-combined, and composite data augmentation strategies within a ConvNeXt-Large architecture and assessed via ROC-AUC on multi-source ISIC data, the work demonstrates that augmentations simulating realistic domain shifts yield greater out-of-distribution (OOD) robustness than those merely optimizing in-domain performance. The proposed composite augmentation achieves the largest gain, improving average AUC by 0.053 (p<0.001). To mitigate evaluation bias, a lesion-ID-based source separation protocol is employed, and in independent clinical testing, sensitivity increases from 0.591 to 0.818.
0 citationsRead paper
Discrete time phased Petri box calculus dtphPBC
This work addresses the challenge of uniformly modeling multiple action delays—including stochastic, deterministic, and general delays—in concurrent systems under discrete time. The paper proposes the dtphPBC framework, which introduces discrete phase-type distributions into Petri Box Calculus for the first time. By leveraging the transition probability matrix of discrete-time Markov chains with an absorbing state, the approach precisely characterizes diverse delay behaviors. A structured operational semantics seamlessly integrates instantaneous and timed actions, yielding a step semantics grounded in labeled probabilistic transition systems. This model coherently accommodates both zero-delay and positive-delay actions, enabling accurate representation of complex timing characteristics. The framework’s semantic consistency and constructiveness are demonstrated through illustrative examples.
0 citationsRead paper
Recent publications
Latest Papers
Further results on binary codes of covering radius 2 and saturating sets in projective spaces
本文解决了二进制码覆盖半径为2的问题，通过构建新的无限码族和使用不同的q^m-连接构造方法，得到了更优的上界。
0 citationsRead paper
Transition Systems from Causal Reversible Bundle Event Structures
本文研究了具有因果可逆性的捆绑事件结构，通过开发到两种转换系统语义的映射来证明这些语义之间的同构性。
0 citationsRead paper
Diagonal Multi-omics Integration of Heterogenous Datasets
本文研究了异构数据集的对角多组学整合方法，通过解决耦合拉普拉斯算子的极值迹问题，并引入新的异质性度量来更好地理解生物异质性。
0 citationsRead paper
Searching for Robust Augmentations to Improve Out-of-Domain Generalization in Dermoscopic Skin Cancer Classification
This study addresses the significant degradation in generalization performance of skin cancer classification models under cross-device and varying acquisition conditions. Systematically evaluating single, photometric-combined, and composite data augmentation strategies within a ConvNeXt-Large architecture and assessed via ROC-AUC on multi-source ISIC data, the work demonstrates that augmentations simulating realistic domain shifts yield greater out-of-distribution (OOD) robustness than those merely optimizing in-domain performance. The proposed composite augmentation achieves the largest gain, improving average AUC by 0.053 (p<0.001). To mitigate evaluation bias, a lesion-ID-based source separation protocol is employed, and in independent clinical testing, sensitivity increases from 0.591 to 0.818.
0 citationsRead paper
Discrete time phased Petri box calculus dtphPBC
This work addresses the challenge of uniformly modeling multiple action delays—including stochastic, deterministic, and general delays—in concurrent systems under discrete time. The paper proposes the dtphPBC framework, which introduces discrete phase-type distributions into Petri Box Calculus for the first time. By leveraging the transition probability matrix of discrete-time Markov chains with an absorbing state, the approach precisely characterizes diverse delay behaviors. A structured operational semantics seamlessly integrates instantaneous and timed actions, yielding a step semantics grounded in labeled probabilistic transition systems. This model coherently accommodates both zero-delay and positive-delay actions, enabling accurate representation of complex timing characteristics. The framework’s semantic consistency and constructiveness are demonstrated through illustrative examples.
0 citationsRead paper