LETTER Supplementary Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 4

Monodirectional evolutional symport tissue P systems with channel states and cell division
Song, Bosheng; Li, Kenli; Zeng, Xiangxiang; Perez-Jimenez, Mario J.; Zandron, Claudio
Sci China Inf Sci, 2023, 66(3): 139104
Keywords: Bio-inspired computing; tissue P system; channel state; cell division; symport rule; antiport rule
Cite as: Song B S, Li K L, Zeng X X, et al. Monodirectional evolutional symport tissue P systems with channel states and cell division. Sci China Inf Sci, 2023, 66(3): 139104, doi: 10.1007/s11432-021-3478-8

RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 4

Safety guarantee for time-delay systems with disturbances
Liu, Wenyou; Bai, Yunjun; Jiao, Li; Zhan, Naijun
Sci China Inf Sci, 2023, 66(3): 132102
Keywords: time-delay systems; delay differential equations; control barrier functionals; controllers; safety
Cite as: Liu W Y, Bai Y J, Jiao L, et al. Safety guarantee for time-delay systems with disturbances. Sci China Inf Sci, 2023, 66(3): 132102, doi: 10.1007/s11432-020-3266-6

RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 1

Improved kernels for triangle packing in tournaments
Yuan, Hanchun; Feng, Qilong; Wang, Jianxin
Sci China Inf Sci, 2023, 66(5): 152104
Keywords: tournaments; triangle packing; kernelization; fixed-parameter tractable; graph algorithms
Cite as: Yuan H C, Feng Q L, Wang J X. Improved kernels for triangle packing in tournaments. Sci China Inf Sci, 2023, 66(5): 152104, doi: 10.1007/s11432-021-3551-2

RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 0

Optimizing local search-based partial MaxSAT solving via initial assignment prediction
Liu, Chanjuan; Liu, Guangyuan; Luo, Chuan; Cai, Shaowei; Lei, Zhendong; Zhang, Wenjie; Chu, Yi; Zhang, Guojing
Sci China Inf Sci, 2025, 68(2): 122101
Keywords: MaxSAT; local search; initial assignment; incomplete method; assignment prediction
Cite as: Liu C J, Liu G Y, Luo C, et al. Optimizing local search-based partial MaxSAT solving via initial assignment prediction. Sci China Inf Sci, 2025, 68(2): 122101, doi: 10.1007/s11432-023-3900-7

LETTER Supplementary Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 0

On optimal streaming kernelization algorithms
Feng, Hao; Yang, Wei; Chen, Jianer
Sci China Inf Sci, 2024, 67(8): 189101
Keywords: streaming algorithm; kernelization algorithm; vertex cover; big data; space complexity
Cite as: Feng H, Yang W, Chen J E. On optimal streaming kernelization algorithms. Sci China Inf Sci, 2024, 67(8): 189101, doi: 10.1007/s11432-023-4080-3