Ma, Junchi; Wang, Chen; Chen, Weilin; Lin, Defu; Wang, Chao Decision algorithms for reversibility of 1D cellular automata under reflective boundary conditions. (English) Zbl 07902298 Theor. Comput. Sci. 1012, Article ID 114732, 11 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{J. Ma} et al., Theor. Comput. Sci. 1012, Article ID 114732, 11 p. (2024; Zbl 07902298) Full Text: DOI
Zhao, Qinglan; Li, Pan; Zheng, Dong; Li, Luyang; Qin, Baodong Further construction of even-variable balanced rotation symmetric Boolean functions with optimal algebraic immunity. (English) Zbl 07902297 Theor. Comput. Sci. 1012, Article ID 114731, 15 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{Q. Zhao} et al., Theor. Comput. Sci. 1012, Article ID 114731, 15 p. (2024; Zbl 07902297) Full Text: DOI
Zhu, Ziqi; Gong, Junqing; Wang, Yuyu; Qian, Haifeng Fine-grained polynomial functional encryption. (English) Zbl 07902296 Theor. Comput. Sci. 1012, Article ID 114730, 27 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{Z. Zhu} et al., Theor. Comput. Sci. 1012, Article ID 114730, 27 p. (2024; Zbl 07902296) Full Text: DOI
Gu, Manzhan; Liu, Peihai; Lu, Xiwen Optimal algorithms for preemptive two-agent scheduling on uniform parallel machines. (English) Zbl 07902295 Theor. Comput. Sci. 1012, Article ID 114729, 13 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Gu} et al., Theor. Comput. Sci. 1012, Article ID 114729, 13 p. (2024; Zbl 07902295) Full Text: DOI
Roy, Souvik; Fatès, Nazim; Das, Sukanta Reversibility of elementary cellular automata with fully asynchronous updating: an analysis of the rules with partial recurrence. (English) Zbl 07899143 Theor. Comput. Sci. 1011, Article ID 114721, 14 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. Roy} et al., Theor. Comput. Sci. 1011, Article ID 114721, 14 p. (2024; Zbl 07899143) Full Text: DOI
Chang, Ching-Lueh Deterministic metric 1-median selection with very few queries. (English) Zbl 07899142 Theor. Comput. Sci. 1011, Article ID 114720, 11 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{C.-L. Chang}, Theor. Comput. Sci. 1011, Article ID 114720, 11 p. (2024; Zbl 07899142) Full Text: DOI arXiv
Li, Yanyan; Song, Bosheng; Liu, Yuansheng; Zeng, Xiangxiang; Huang, Shengye Dynamic threshold spiking neural P systems with weights and multiple channels. (English) Zbl 07898960 Theor. Comput. Sci. 1010, Article ID 114697, 18 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{Y. Li} et al., Theor. Comput. Sci. 1010, Article ID 114697, 18 p. (2024; Zbl 07898960) Full Text: DOI
Ancona, Davide; Barbieri, Pietro; Zucca, Elena Checking equivalence of corecursive streams: an inductive procedure. (English) Zbl 07898953 Theor. Comput. Sci. 1009, Article ID 114680, 19 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Ancona} et al., Theor. Comput. Sci. 1009, Article ID 114680, 19 p. (2024; Zbl 07898953) Full Text: DOI
Middelburg, Cornelis A. Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis. (English) Zbl 07898948 Theor. Comput. Sci. 1008, Article ID 114681, 24 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{C. A. Middelburg}, Theor. Comput. Sci. 1008, Article ID 114681, 24 p. (2024; Zbl 07898948) Full Text: DOI arXiv
Pudwell, Lara; Smith, Rebecca Sorting via shuffles with a cut after the longest increasing prefix. (English) Zbl 07898947 Theor. Comput. Sci. 1008, Article ID 114679, 17 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Pudwell} and \textit{R. Smith}, Theor. Comput. Sci. 1008, Article ID 114679, 17 p. (2024; Zbl 07898947) Full Text: DOI
Zhou, Yu; Liu, Shengli; Han, Shuai Robustly reusable fuzzy extractor from isogeny. (English) Zbl 07898946 Theor. Comput. Sci. 1008, Article ID 114677, 35 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{Y. Zhou} et al., Theor. Comput. Sci. 1008, Article ID 114677, 35 p. (2024; Zbl 07898946) Full Text: DOI
Ma, Kun; Li, Yongjian; Cai, Shaowei; Zhao, Yongxin A local search approach to protocol verification. (English) Zbl 07898945 Theor. Comput. Sci. 1008, Article ID 114675, 14 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{K. Ma} et al., Theor. Comput. Sci. 1008, Article ID 114675, 14 p. (2024; Zbl 07898945) Full Text: DOI
Khoa Nguyen; Safavi-Naini, Reihaneh; Susilo, Willy; Wang, Huaxiong; Xu, Yanhong; Zeng, Neng Group encryption: full dynamicity, message filtering and code-based instantiation. (English) Zbl 07873161 Theor. Comput. Sci. 1007, Article ID 114678, 35 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{Khoa Nguyen} et al., Theor. Comput. Sci. 1007, Article ID 114678, 35 p. (2024; Zbl 07873161) Full Text: DOI
Genova, Daniela; Hoogeboom, Hendrik Jan; Kleijn, Jetty Functional equivalence and a cover relation for reaction systems. (English) Zbl 07868371 Theor. Comput. Sci. 1004, Article ID 114633, 12 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Genova} et al., Theor. Comput. Sci. 1004, Article ID 114633, 12 p. (2024; Zbl 07868371) Full Text: DOI
Liu, Jun; Wang, Leiya; Zhang, Gexiang; Verlan, Sergey; Zhu, Ming Universal enzymatic numerical P systems with small number of enzymatic rules. (English) Zbl 07868369 Theor. Comput. Sci. 1004, Article ID 114630, 14 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{J. Liu} et al., Theor. Comput. Sci. 1004, Article ID 114630, 14 p. (2024; Zbl 07868369) Full Text: DOI
Baril, Jean-Luc; Ramírez, José L.; Velandia, Fabio A. Bijections between directed-column convex polyominoes and restricted compositions. (English) Zbl 07859420 Theor. Comput. Sci. 1003, Article ID 114626, 9 p. (2024). MSC: 05B50 PDFBibTeX XMLCite \textit{J.-L. Baril} et al., Theor. Comput. Sci. 1003, Article ID 114626, 9 p. (2024; Zbl 07859420) Full Text: DOI
Ben Jedidia, Firas; Doerr, Benjamin; Krejca, Martin S. Estimation-of-distribution algorithms for multi-valued decision variables. (English) Zbl 07859417 Theor. Comput. Sci. 1003, Article ID 114622, 16 p. (2024). MSC: 68W50 PDFBibTeX XMLCite \textit{F. Ben Jedidia} et al., Theor. Comput. Sci. 1003, Article ID 114622, 16 p. (2024; Zbl 07859417) Full Text: DOI arXiv
Pan, Yingyin; Zhong, Jianghua; Lin, Dongdai The equivalence between Galois and Fibonacci NFSRs. (English) Zbl 07859416 Theor. Comput. Sci. 1003, Article ID 114620, 17 p. (2024). MSC: 94A55 94A60 PDFBibTeX XMLCite \textit{Y. Pan} et al., Theor. Comput. Sci. 1003, Article ID 114620, 17 p. (2024; Zbl 07859416) Full Text: DOI
Jiang, Haibo; Zhou, Xiangnan; Li, Qingguo A note on information systems for continuous semi-lattices. (English) Zbl 07858799 Theor. Comput. Sci. 1002, Article ID 114609, 11 p. (2024). MSC: 68T30 06B35 68T37 PDFBibTeX XMLCite \textit{H. Jiang} et al., Theor. Comput. Sci. 1002, Article ID 114609, 11 p. (2024; Zbl 07858799) Full Text: DOI
Bérczi, Kristóf; Bérczi-Kovács, Erika R.; Boros, Endre; Gedefa, Fekadu Tolessa; Kamiyama, Naoyuki; Kavitha, Telikepalli; Kobayashi, Yusuke; Makino, Kazuhisa Envy-free relaxations for goods, chores, and mixed items. (English) Zbl 07858796 Theor. Comput. Sci. 1002, Article ID 114596, 14 p. (2024). MSC: 91B32 91B16 06E30 PDFBibTeX XMLCite \textit{K. Bérczi} et al., Theor. Comput. Sci. 1002, Article ID 114596, 14 p. (2024; Zbl 07858796) Full Text: DOI arXiv
Jayapaul, Varunkumar; Jo, Seungbum; Palem, Krishna V.; Satti, Srinivasa Rao Energy efficient sorting, selection and searching. (English) Zbl 07858793 Theor. Comput. Sci. 1002, Article ID 114592, 9 p. (2024). MSC: 68P10 PDFBibTeX XMLCite \textit{V. Jayapaul} et al., Theor. Comput. Sci. 1002, Article ID 114592, 9 p. (2024; Zbl 07858793) Full Text: DOI
Costa, Diana; Mordido, Andreia; Poças, Diogo; Vasconcelos, Vasco T. Polymorphic higher-order context-free session types. (English) Zbl 07844903 Theor. Comput. Sci. 1001, Article ID 114582, 32 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Costa} et al., Theor. Comput. Sci. 1001, Article ID 114582, 32 p. (2024; Zbl 07844903) Full Text: DOI
Doré, François; Formenti, Enrico; Porreca, Antonio E.; Riva, Sara Decomposition and factorisation of transients in functional graphs. (English) Zbl 07842523 Theor. Comput. Sci. 999, Article ID 114514, 20 p. (2024). MSC: 68R10 05C85 37B02 37B15 68W40 PDFBibTeX XMLCite \textit{F. Doré} et al., Theor. Comput. Sci. 999, Article ID 114514, 20 p. (2024; Zbl 07842523) Full Text: DOI arXiv
Batra, Prashant; Sharma, Vikram Complexity of a root clustering algorithm for holomorphic functions. (English) Zbl 07842522 Theor. Comput. Sci. 999, Article ID 114504, 27 p. (2024). MSC: 65H05 30C15 PDFBibTeX XMLCite \textit{P. Batra} and \textit{V. Sharma}, Theor. Comput. Sci. 999, Article ID 114504, 27 p. (2024; Zbl 07842522) Full Text: DOI arXiv
Wu, Ruina; Zhao, Yuzhen Spiking neural P systems with structural plasticity and mute rules. (English) Zbl 07841428 Theor. Comput. Sci. 1000, Article ID 114554, 14 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{R. Wu} and \textit{Y. Zhao}, Theor. Comput. Sci. 1000, Article ID 114554, 14 p. (2024; Zbl 07841428) Full Text: DOI
Behera, Bishnu Charan; Ramanna, Somindu C. Unbounded non-zero inner product encryption. (English) Zbl 07841426 Theor. Comput. Sci. 1000, Article ID 114548, 10 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{B. C. Behera} and \textit{S. C. Ramanna}, Theor. Comput. Sci. 1000, Article ID 114548, 10 p. (2024; Zbl 07841426) Full Text: DOI
Naquin, Émile; Gadouleau, Maximilien Factorisation in the semiring of finite dynamical systems. (English) Zbl 07833679 Theor. Comput. Sci. 998, Article ID 114509, 18 p. (2024). MSC: 37B10 37E25 PDFBibTeX XMLCite \textit{É. Naquin} and \textit{M. Gadouleau}, Theor. Comput. Sci. 998, Article ID 114509, 18 p. (2024; Zbl 07833679) Full Text: DOI arXiv
Hara, Keisuke A logarithmic-sized accountable ring signature scheme in the standard model. (English) Zbl 07832849 Theor. Comput. Sci. 997, Article ID 114516, 20 p. (2024). MSC: 94A62 94A60 PDFBibTeX XMLCite \textit{K. Hara}, Theor. Comput. Sci. 997, Article ID 114516, 20 p. (2024; Zbl 07832849) Full Text: DOI
Wu, Xiaoliang; Feng, Qilong; Xu, Jinhui; Wang, Jianxin New algorithms for fair \(k\)-center problem with outliers and capacity constraints. (English) Zbl 07832848 Theor. Comput. Sci. 997, Article ID 114515, 12 p. (2024). MSC: 68W25 90B80 PDFBibTeX XMLCite \textit{X. Wu} et al., Theor. Comput. Sci. 997, Article ID 114515, 12 p. (2024; Zbl 07832848) Full Text: DOI
Matsuoka, Tatsuya; Ohsaka, Naoto Computational complexity of normalizing constants for the product of determinantal point processes. (English) Zbl 07832847 Theor. Comput. Sci. 997, Article ID 114513, 37 p. (2024). MSC: 68Q25 60G55 68Q17 68Q27 PDFBibTeX XMLCite \textit{T. Matsuoka} and \textit{N. Ohsaka}, Theor. Comput. Sci. 997, Article ID 114513, 37 p. (2024; Zbl 07832847) Full Text: DOI arXiv
Dutta, Subhranil; Pal, Tapas; Dutta, Ratna Reinforcing privacy in cloud computing via adaptively secure non-zero inner product encryption and anonymous identity-based revocation in unbounded setting. (English) Zbl 07826206 Theor. Comput. Sci. 995, Article ID 114502, 20 p. (2024). MSC: 68P25 68M11 PDFBibTeX XMLCite \textit{S. Dutta} et al., Theor. Comput. Sci. 995, Article ID 114502, 20 p. (2024; Zbl 07826206) Full Text: DOI
Liu, Tianyu; Yang, Xiongxin Beyond windability: approximability of the four-vertex model. (English) Zbl 07826203 Theor. Comput. Sci. 995, Article ID 114491, 12 p. (2024). MSC: 82B20 68W20 68W25 82B26 82B44 82D45 PDFBibTeX XMLCite \textit{T. Liu} and \textit{X. Yang}, Theor. Comput. Sci. 995, Article ID 114491, 12 p. (2024; Zbl 07826203) Full Text: DOI
Chang, Hong; Jin, Jing; Liu, Zhicheng; Du, Donglei; Zhang, Xiaoyan Two-stage BP maximization under \(p\)-matroid constraint. (English) Zbl 1535.81058 Theor. Comput. Sci. 994, Article ID 114469, 11 p. (2024). MSC: 81P68 35B50 14J15 62F30 53C21 65D15 PDFBibTeX XMLCite \textit{H. Chang} et al., Theor. Comput. Sci. 994, Article ID 114469, 11 p. (2024; Zbl 1535.81058) Full Text: DOI
Ju, Yiao; Huang, Shenwei Near optimal colourability on hereditary graph families. (English) Zbl 07819259 Theor. Comput. Sci. 993, Article ID 114465, 9 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{Y. Ju} and \textit{S. Huang}, Theor. Comput. Sci. 993, Article ID 114465, 9 p. (2024; Zbl 07819259) Full Text: DOI arXiv
Qiu, Daowen; Luo, Le; Xiao, Ligang Distributed Grover’s algorithm. (English) Zbl 07819256 Theor. Comput. Sci. 993, Article ID 114461, 12 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Qiu} et al., Theor. Comput. Sci. 993, Article ID 114461, 12 p. (2024; Zbl 07819256) Full Text: DOI arXiv
Mitrana, Victor; Păun, Andrei; Păun, Mihaela; Sánchez-Couso, José Ramón Jump complexity of finite automata with translucent letters. (English) Zbl 07813021 Theor. Comput. Sci. 992, Article ID 114450, 9 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{V. Mitrana} et al., Theor. Comput. Sci. 992, Article ID 114450, 9 p. (2024; Zbl 07813021) Full Text: DOI
Wu, Hailun; Ba, Lina; Zhang, Heping Integer \(k\)-matching preclusion of some interconnection networks. (English) Zbl 07813020 Theor. Comput. Sci. 992, Article ID 114449, 10 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{H. Wu} et al., Theor. Comput. Sci. 992, Article ID 114449, 10 p. (2024; Zbl 07813020) Full Text: DOI
Hemery, Mathieu; Fages, François On a model of online analog computation in the cell with absolute functional robustness: algebraic characterization, function compiler and error control. (English) Zbl 07811879 Theor. Comput. Sci. 991, Article ID 114432, 18 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Hemery} and \textit{F. Fages}, Theor. Comput. Sci. 991, Article ID 114432, 18 p. (2024; Zbl 07811879) Full Text: DOI arXiv
Du, Jiao; Li, Lin; Fu, Shaojing; Qu, Longjiang; Li, Chao Constructions of 2-resilient rotation symmetric Boolean functions with odd number of variables. (English) Zbl 07811878 Theor. Comput. Sci. 991, Article ID 114429, 11 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{J. Du} et al., Theor. Comput. Sci. 991, Article ID 114429, 11 p. (2024; Zbl 07811878) Full Text: DOI
Luo, Fucai; Al-Kuwari, Saif; Wang, Haiyan; Yan, Xingfu Fully collusion resistant trace-and-revoke functional encryption for arbitrary identities. (English) Zbl 07811870 Theor. Comput. Sci. 987, Article ID 114368, 27 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. Luo} et al., Theor. Comput. Sci. 987, Article ID 114368, 27 p. (2024; Zbl 07811870) Full Text: DOI
Grandjean, Étienne; Grente, Théo; Terrier, Véronique Inductive definitions in logic versus programs of real-time cellular automata. (English) Zbl 07811868 Theor. Comput. Sci. 987, Article ID 114355, 59 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{É. Grandjean} et al., Theor. Comput. Sci. 987, Article ID 114355, 59 p. (2024; Zbl 07811868) Full Text: DOI Link
Kıyak, Fırat; Say, A. C. Cem Energy complexity of regular languages. (English) Zbl 07809121 Theor. Comput. Sci. 982, Article ID 114291, 14 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. Kıyak} and \textit{A. C. C. Say}, Theor. Comput. Sci. 982, Article ID 114291, 14 p. (2024; Zbl 07809121) Full Text: DOI
Remy, Élisabeth; Ruet, Paul From multivalued to Boolean functions: preservation of soft nested canalization. (English) Zbl 07809115 Theor. Comput. Sci. 982, Article ID 114277, 15 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{É. Remy} and \textit{P. Ruet}, Theor. Comput. Sci. 982, Article ID 114277, 15 p. (2024; Zbl 07809115) Full Text: DOI arXiv HAL
Wang, Di; Xu, Jinhui Gradient complexity and non-stationary views of differentially private empirical risk minimization. (English) Zbl 07809106 Theor. Comput. Sci. 982, Article ID 114259, 32 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Wang} and \textit{J. Xu}, Theor. Comput. Sci. 982, Article ID 114259, 32 p. (2024; Zbl 07809106) Full Text: DOI
Chen, Shengminjie; Du, Donglei; Yang, Ruiqi; Yang, Wenguo; Zhang, Yapu A single factor approximation ratio algorithm for DR-submodular maximization on integer lattice beyond non-negativity and monotonicity. (English) Zbl 07808918 Theor. Comput. Sci. 981, Article ID 114254, 11 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. Chen} et al., Theor. Comput. Sci. 981, Article ID 114254, 11 p. (2024; Zbl 07808918) Full Text: DOI
Wang, Liguan; Li, Yuan; Kan, Haibin Obtaining simulation extractable NIZKs in the updatable CRS model generically. (English) Zbl 07808916 Theor. Comput. Sci. 981, Article ID 114252, 20 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Wang} et al., Theor. Comput. Sci. 981, Article ID 114252, 20 p. (2024; Zbl 07808916) Full Text: DOI
Shi, Yishuo; Lai, Xiaoyan Approximation algorithm of maximizing non-monotone non-submodular functions under knapsack constraint. (English) Zbl 07807476 Theor. Comput. Sci. 990, Article ID 114409, 14 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{Y. Shi} and \textit{X. Lai}, Theor. Comput. Sci. 990, Article ID 114409, 14 p. (2024; Zbl 07807476) Full Text: DOI
Wang, Luping; Chen, Jie; Dai, Huan; Tao, Chongben Efficient code-based fully dynamic group signature scheme. (English) Zbl 07807474 Theor. Comput. Sci. 990, Article ID 114407, 16 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Wang} et al., Theor. Comput. Sci. 990, Article ID 114407, 16 p. (2024; Zbl 07807474) Full Text: DOI
Zhang, Luping; Xu, Fei Languages generated by numerical P systems with thresholds. (English) Zbl 07802231 Theor. Comput. Sci. 988, Article ID 114376, 11 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Zhang} and \textit{F. Xu}, Theor. Comput. Sci. 988, Article ID 114376, 11 p. (2024; Zbl 07802231) Full Text: DOI
Shallit, Jeffrey Proving properties of some greedily-defined Integer recurrences via automata theory. (English) Zbl 07802225 Theor. Comput. Sci. 988, Article ID 114363, 10 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{J. Shallit}, Theor. Comput. Sci. 988, Article ID 114363, 10 p. (2024; Zbl 07802225) Full Text: DOI arXiv OA License
Li, Shuo A note on the Lie complexity and beyond. (English) Zbl 07789588 Theor. Comput. Sci. 986, Article ID 114343, 10 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. Li}, Theor. Comput. Sci. 986, Article ID 114343, 10 p. (2024; Zbl 07789588) Full Text: DOI arXiv
Gerontitis, Dimitrios; Mo, Changxin; Stanimirović, Predrag S.; Katsikis, Vasilios N. Improved zeroing neural models based on two novel activation functions with exponential behavior. (English) Zbl 07789583 Theor. Comput. Sci. 986, Article ID 114328, 22 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Gerontitis} et al., Theor. Comput. Sci. 986, Article ID 114328, 22 p. (2024; Zbl 07789583) Full Text: DOI
Tang, Zhongzheng; Chen, Jingwen; Wang, Chenhao Greedy+Singleton: an efficient approximation algorithm for \(k\)-submodular knapsack maximization. (English) Zbl 07782075 Theor. Comput. Sci. 984, Article ID 114320, 9 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{Z. Tang} et al., Theor. Comput. Sci. 984, Article ID 114320, 9 p. (2024; Zbl 07782075) Full Text: DOI
Hunter, Ethan; Enright, Jessica; Miller, Alice Feasibility assessments of a dynamical approach to compartmental modelling on graphs: scaling limits and performance analysis. (English) Zbl 07767581 Theor. Comput. Sci. 980, Article ID 114247, 19 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{E. Hunter} et al., Theor. Comput. Sci. 980, Article ID 114247, 19 p. (2023; Zbl 07767581) Full Text: DOI OA License
Zhou, Xiaotian; Sun, Haoxin; Li, Wei; Zhang, Zhongzhi Optimization on the smallest eigenvalue of grounded Laplacian matrix via edge addition. (English) Zbl 1527.90247 Theor. Comput. Sci. 980, Article ID 114220, 16 p. (2023). MSC: 90C35 05C50 15A18 68R10 68W25 PDFBibTeX XMLCite \textit{X. Zhou} et al., Theor. Comput. Sci. 980, Article ID 114220, 16 p. (2023; Zbl 1527.90247) Full Text: DOI arXiv
Feng, Junkai; Yang, Ruiqi; Zhang, Haibin; Zhang, Zhenning A bi-criteria algorithm for online non-monotone maximization problems: DR-submodular+concave. (English) Zbl 07755524 Theor. Comput. Sci. 979, Article ID 114207, 10 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{J. Feng} et al., Theor. Comput. Sci. 979, Article ID 114207, 10 p. (2023; Zbl 07755524) Full Text: DOI
Geneson, Jesse; Zhou, Ethan Online learning of smooth functions. (English) Zbl 07755521 Theor. Comput. Sci. 979, Article ID 114203, 19 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{J. Geneson} and \textit{E. Zhou}, Theor. Comput. Sci. 979, Article ID 114203, 19 p. (2023; Zbl 07755521) Full Text: DOI arXiv
Kaufmann, Marc; Larcher, Maxime; Lengler, Johannes; Zou, Xun Self-adjusting population sizes for the (1,\( \lambda )\)-EA on monotone functions. (English) Zbl 07755511 Theor. Comput. Sci. 979, Article ID 114181, 29 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Kaufmann} et al., Theor. Comput. Sci. 979, Article ID 114181, 29 p. (2023; Zbl 07755511) Full Text: DOI arXiv OA License
Omeradzic, Amir; Beyer, Hans-Georg Progress analysis of a multi-recombinative evolution strategy on the highly multimodal Rastrigin function. (English) Zbl 07748736 Theor. Comput. Sci. 978, Article ID 114179, 28 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{A. Omeradzic} and \textit{H.-G. Beyer}, Theor. Comput. Sci. 978, Article ID 114179, 28 p. (2023; Zbl 07748736) Full Text: DOI OA License
Dahiya, Yogesh; Mahajan, Meena On (simple) decision tree rank. (English) Zbl 07748735 Theor. Comput. Sci. 978, Article ID 114177, 21 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{Y. Dahiya} and \textit{M. Mahajan}, Theor. Comput. Sci. 978, Article ID 114177, 21 p. (2023; Zbl 07748735) Full Text: DOI arXiv
Blumrosen, Liad; Mizrahi, Yehonatan How bad is the merger paradox? (English) Zbl 07748731 Theor. Comput. Sci. 978, Article ID 114157, 20 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Blumrosen} and \textit{Y. Mizrahi}, Theor. Comput. Sci. 978, Article ID 114157, 20 p. (2023; Zbl 07748731) Full Text: DOI
He, Yuqiao; Qiu, Guoliang; Zhang, Chihao Approximability of the complementarily symmetric Holant problems on cubic graphs. (English) Zbl 07741116 Theor. Comput. Sci. 975, Article ID 114140, 10 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{Y. He} et al., Theor. Comput. Sci. 975, Article ID 114140, 10 p. (2023; Zbl 07741116) Full Text: DOI
Brauße, Franz; Korovin, Konstantin; Korovina, Margarita V.; Müller, Norbert Th. The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints. (English) Zbl 07741110 Theor. Comput. Sci. 975, Article ID 114125, 16 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. Brauße} et al., Theor. Comput. Sci. 975, Article ID 114125, 16 p. (2023; Zbl 07741110) Full Text: DOI OA License
Escardó, Martín; Oliva, Paulo Higher-order games with dependent types. (English) Zbl 07739131 Theor. Comput. Sci. 974, Article ID 114111, 11 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Escardó} and \textit{P. Oliva}, Theor. Comput. Sci. 974, Article ID 114111, 11 p. (2023; Zbl 07739131) Full Text: DOI arXiv OA License
Bilò, Vittorio; Vinci, Cosimo Congestion games with priority-based scheduling. (English) Zbl 07739128 Theor. Comput. Sci. 974, Article ID 114094, 22 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{V. Bilò} and \textit{C. Vinci}, Theor. Comput. Sci. 974, Article ID 114094, 22 p. (2023; Zbl 07739128) Full Text: DOI OA License
Ancona, Davide; Barbieri, Pietro; Zucca, Elena Checked corecursive streams: expressivity and completeness. (English) Zbl 07739127 Theor. Comput. Sci. 974, Article ID 114081, 23 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Ancona} et al., Theor. Comput. Sci. 974, Article ID 114081, 23 p. (2023; Zbl 07739127) Full Text: DOI
de’Liguoro, Ugo; Treglia, Riccardo From semantics to types: the case of the imperative \(\lambda\)-calculus. (English) Zbl 07735130 Theor. Comput. Sci. 973, Article ID 114082, 25 p. (2023). MSC: 68N18 03B40 18C50 PDFBibTeX XMLCite \textit{U. de'Liguoro} and \textit{R. Treglia}, Theor. Comput. Sci. 973, Article ID 114082, 25 p. (2023; Zbl 07735130) Full Text: DOI arXiv OA License
Zhong, Hao; Tang, Yong; Zhang, Qi; Lin, Ronghua; Li, Weisheng A unified greedy approximation for several dominating set problems. (English) Zbl 1522.90244 Theor. Comput. Sci. 973, Article ID 114069, 8 p. (2023). MSC: 90C35 05C69 68W25 90C59 PDFBibTeX XMLCite \textit{H. Zhong} et al., Theor. Comput. Sci. 973, Article ID 114069, 8 p. (2023; Zbl 1522.90244) Full Text: DOI
Ramírez-de-Arellano, Antonio; Orellana-Martín, David; Pérez-Jiménez, Mario J. Generating, computing and recognizing with virus machines. (English) Zbl 1520.68035 Theor. Comput. Sci. 972, Article ID 114077, 15 p. (2023). MSC: 68Q07 PDFBibTeX XMLCite \textit{A. Ramírez-de-Arellano} et al., Theor. Comput. Sci. 972, Article ID 114077, 15 p. (2023; Zbl 1520.68035) Full Text: DOI OA License
Hospodár, Michal; Olejár, Viktor Nondeterministic operational complexity in subregular languages. (English) Zbl 07735120 Theor. Comput. Sci. 972, Article ID 114075, 23 p. (2023). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Hospodár} and \textit{V. Olejár}, Theor. Comput. Sci. 972, Article ID 114075, 23 p. (2023; Zbl 07735120) Full Text: DOI
Guo, Sainan; Ma, Ran; Sun, Yuefang; Zhang, Xiaoyan; Zhang, Yong Online scheduling with deterioration and unexpected processor breakdown. (English) Zbl 07735117 Theor. Comput. Sci. 972, Article ID 114058, 8 p. (2023). MSC: 68M20 68W27 PDFBibTeX XMLCite \textit{S. Guo} et al., Theor. Comput. Sci. 972, Article ID 114058, 8 p. (2023; Zbl 07735117) Full Text: DOI
Doerr, Benjamin; Krejca, Martin S. Bivariate estimation-of-distribution algorithms can find an exponential number of optima. (English) Zbl 07729846 Theor. Comput. Sci. 971, Article ID 114074, 16 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{B. Doerr} and \textit{M. S. Krejca}, Theor. Comput. Sci. 971, Article ID 114074, 16 p. (2023; Zbl 07729846) Full Text: DOI arXiv
Trinh, Van-Giang; Benhamou, Belaid; Soliman, Sylvain Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding. (English) Zbl 07729845 Theor. Comput. Sci. 971, Article ID 114073, 20 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{V.-G. Trinh} et al., Theor. Comput. Sci. 971, Article ID 114073, 20 p. (2023; Zbl 07729845) Full Text: DOI HAL
Janett, Duri; Lengler, Johannes Two-dimensional drift analysis: optimizing two functions simultaneously can be hard. (English) Zbl 07729844 Theor. Comput. Sci. 971, Article ID 114072, 20 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Janett} and \textit{J. Lengler}, Theor. Comput. Sci. 971, Article ID 114072, 20 p. (2023; Zbl 07729844) Full Text: DOI arXiv OA License
Alhazov, Artiom; Ferrari-Dominguez, Vincent; Freund, Rudolf; Glade, Nicolas; Ivanov, Sergiu A P systems variant for reasoning about sequential controllability of Boolean networks. (English) Zbl 07723915 Theor. Comput. Sci. 970, Article ID 114056, 18 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{A. Alhazov} et al., Theor. Comput. Sci. 970, Article ID 114056, 18 p. (2023; Zbl 07723915) Full Text: DOI arXiv
Hospodár, Michal; Olejár, Viktor The cut operation in subclasses of convex languages. (English) Zbl 07720781 Theor. Comput. Sci. 969, Article ID 114050, 20 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Hospodár} and \textit{V. Olejár}, Theor. Comput. Sci. 969, Article ID 114050, 20 p. (2023; Zbl 07720781) Full Text: DOI
Chang, Hong; Jin, Jing; Liu, Zhicheng; Li, Ping; Zhang, Xiaoyan Two-stage non-submodular maximization. (English) Zbl 07715629 Theor. Comput. Sci. 968, Article ID 114017, 9 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{H. Chang} et al., Theor. Comput. Sci. 968, Article ID 114017, 9 p. (2023; Zbl 07715629) Full Text: DOI
Kutrib, Martin; Meyer, Uwe Syntax checking either way. (English) Zbl 07699968 Theor. Comput. Sci. 966-967, Article ID 114000, 11 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Kutrib} and \textit{U. Meyer}, Theor. Comput. Sci. 966--967, Article ID 114000, 11 p. (2023; Zbl 07699968) Full Text: DOI
Yang, Qian; Xiong, Xin; Peng, Hong; Wang, Jun; Song, Xiaoxiao Nonlinear spiking neural P systems with multiple channels. (English) Zbl 07696158 Theor. Comput. Sci. 965, Article ID 113979, 13 p. (2023). MSC: 68Q07 PDFBibTeX XMLCite \textit{Q. Yang} et al., Theor. Comput. Sci. 965, Article ID 113979, 13 p. (2023; Zbl 07696158) Full Text: DOI
Huang, Chien-Chung; Sellier, François Matroid-constrained vertex cover. (English) Zbl 1522.68406 Theor. Comput. Sci. 965, Article ID 113977, 19 p. (2023). MSC: 68R10 05B35 05C22 68W25 90C27 PDFBibTeX XMLCite \textit{C.-C. Huang} and \textit{F. Sellier}, Theor. Comput. Sci. 965, Article ID 113977, 19 p. (2023; Zbl 1522.68406) Full Text: DOI arXiv
Haraguchi, Kazuya; Nagamochi, Hiroshi Polynomial-delay enumeration algorithms in set systems. (English) Zbl 1512.68180 Theor. Comput. Sci. 963, Article ID 113963, 10 p. (2023). MSC: 68R05 68W40 PDFBibTeX XMLCite \textit{K. Haraguchi} and \textit{H. Nagamochi}, Theor. Comput. Sci. 963, Article ID 113963, 10 p. (2023; Zbl 1512.68180) Full Text: DOI arXiv
Nickerl, Julian; Torán, Jacobo Pure Nash equilibria in a generalization of congestion games allowing resource failures. (English) Zbl 1518.91010 Theor. Comput. Sci. 963, Article ID 113933, 12 p. (2023). MSC: 91A14 91A11 PDFBibTeX XMLCite \textit{J. Nickerl} and \textit{J. Torán}, Theor. Comput. Sci. 963, Article ID 113933, 12 p. (2023; Zbl 1518.91010) Full Text: DOI
Goldberg, Paul W.; Katzman, Matthew J. Lower bounds for the query complexity of equilibria in Lipschitz games. (English) Zbl 07691018 Theor. Comput. Sci. 962, Article ID 113931, 14 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{P. W. Goldberg} and \textit{M. J. Katzman}, Theor. Comput. Sci. 962, Article ID 113931, 14 p. (2023; Zbl 07691018) Full Text: DOI OA License
Du, Liman; Yang, Wenguo; Gao, Suixiang Competition-based generalized self-profit maximization in dual-attribute network. (English) Zbl 07688229 Theor. Comput. Sci. 961, Article ID 113940, 15 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Du} et al., Theor. Comput. Sci. 961, Article ID 113940, 15 p. (2023; Zbl 07688229) Full Text: DOI
Chlebíková, Janka; Dallard, Clément; Paulsen, Niklas Impact of soft ride time constraints on the complexity of scheduling in dial-a-ride problems. (English) Zbl 07687176 Theor. Comput. Sci. 960, Article ID 113923, 16 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{J. Chlebíková} et al., Theor. Comput. Sci. 960, Article ID 113923, 16 p. (2023; Zbl 07687176) Full Text: DOI
Zhao, Jun; Yang, Minghao; Gong, Junqing; Zhang, Kai; Qian, Haifeng Bounded-collusion decentralized ABE with sublinear parameters. (English) Zbl 1529.94038 Theor. Comput. Sci. 960, Article ID 113897, 17 p. (2023). MSC: 94A60 PDFBibTeX XMLCite \textit{J. Zhao} et al., Theor. Comput. Sci. 960, Article ID 113897, 17 p. (2023; Zbl 1529.94038) Full Text: DOI
Nakai, Takeshi; Shinagawa, Kazumasa Constant-round linear-broadcast secure computation with penalties. (English) Zbl 07685358 Theor. Comput. Sci. 959, Article ID 113874, 20 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{T. Nakai} and \textit{K. Shinagawa}, Theor. Comput. Sci. 959, Article ID 113874, 20 p. (2023; Zbl 07685358) Full Text: DOI arXiv OA License
Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu; Verlan, Sergey Numerical networks of cells. (English) Zbl 07681302 Theor. Comput. Sci. 958, Article ID 113873, 13 p. (2023). MSC: 68Q07 PDFBibTeX XMLCite \textit{A. Alhazov} et al., Theor. Comput. Sci. 958, Article ID 113873, 13 p. (2023; Zbl 07681302) Full Text: DOI
Gu, Shuyang; Gao, Chuangen; Huang, Jun; Wu, Weili Profit maximization in social networks and non-monotone DR-submodular maximization. (English) Zbl 1522.91188 Theor. Comput. Sci. 957, Article ID 113847, 10 p. (2023). MSC: 91D30 PDFBibTeX XMLCite \textit{S. Gu} et al., Theor. Comput. Sci. 957, Article ID 113847, 10 p. (2023; Zbl 1522.91188) Full Text: DOI arXiv
Kraus, Nicolai; Nordvall Forsberg, Fredrik; Xu, Chuangjie Type-theoretic approaches to ordinals. (English) Zbl 07679991 Theor. Comput. Sci. 957, Article ID 113843, 34 p. (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{N. Kraus} et al., Theor. Comput. Sci. 957, Article ID 113843, 34 p. (2023; Zbl 07679991) Full Text: DOI arXiv
Díaz-Caro, Alejandro; Dowek, Gilles A new connective in natural deduction, and its application to quantum computing. (English) Zbl 1529.81040 Theor. Comput. Sci. 957, Article ID 113840, 27 p. (2023). MSC: 81P68 32E05 68N18 03B38 68V15 81P15 81P10 68Q12 PDFBibTeX XMLCite \textit{A. Díaz-Caro} and \textit{G. Dowek}, Theor. Comput. Sci. 957, Article ID 113840, 27 p. (2023; Zbl 1529.81040) Full Text: DOI HAL
Li, Yiming; Liu, Shengli; Han, Shuai; Gu, Dawu; Weng, Jian Simulatable verifiable random function from the LWE assumption. (English) Zbl 1521.94053 Theor. Comput. Sci. 957, Article ID 113826, 32 p. (2023). MSC: 94A60 PDFBibTeX XMLCite \textit{Y. Li} et al., Theor. Comput. Sci. 957, Article ID 113826, 32 p. (2023; Zbl 1521.94053) Full Text: DOI
Leonardos, Nikos; Pagourtzis, Aris; Papaioannou, Ioannis Byzantine fault tolerant symmetric-persistent circle evacuation. (English) Zbl 07679031 Theor. Comput. Sci. 956, Article ID 113839, 16 p. (2023). MSC: 68T40 68M14 68M15 68W15 PDFBibTeX XMLCite \textit{N. Leonardos} et al., Theor. Comput. Sci. 956, Article ID 113839, 16 p. (2023; Zbl 07679031) Full Text: DOI
Konstantinidis, Stavros; Machiavelo, António; Moreira, Nelma; Reis, Rogério On the average complexity of partial derivative transducers. (English) Zbl 07679028 Theor. Comput. Sci. 956, Article ID 113830, 17 p. (2023). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Konstantinidis} et al., Theor. Comput. Sci. 956, Article ID 113830, 17 p. (2023; Zbl 07679028) Full Text: DOI OA License
Goyal, Dishant; Jaiswal, Ragesh Tight FPT approximation for constrained \(k\)-center and \(k\)-supplier. (English) Zbl 07676480 Theor. Comput. Sci. 940, Part A, 190-208 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Goyal} and \textit{R. Jaiswal}, Theor. Comput. Sci. 940, Part A, 190--208 (2023; Zbl 07676480) Full Text: DOI arXiv
Hertling, Peter Remarks on the effective Jordan decomposition. (English) Zbl 07676477 Theor. Comput. Sci. 940, Part B, 176-188 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{P. Hertling}, Theor. Comput. Sci. 940, Part B, 176--188 (2023; Zbl 07676477) Full Text: DOI
Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio G.; Spartà, Gaetano T. A decidable theory involving addition of differentiable real functions. (English) Zbl 07676474 Theor. Comput. Sci. 940, Part A, 124-148 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{G. Buriola} et al., Theor. Comput. Sci. 940, Part A, 124--148 (2023; Zbl 07676474) Full Text: DOI
Bilò, Vittorio; Gourvès, Laurent; Monnot, Jérôme Project games. (English) Zbl 07676470 Theor. Comput. Sci. 940, Part A, 97-111 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{V. Bilò} et al., Theor. Comput. Sci. 940, Part A, 97--111 (2023; Zbl 07676470) Full Text: DOI
Jiang, Suxia; Xu, Bowen; Liang, Tao; Zhu, Xiaoliang; Wu, Tingfang Numerical spiking neural P systems with production functions on synapses. (English) Zbl 07676467 Theor. Comput. Sci. 940, Part B, 80-89 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. Jiang} et al., Theor. Comput. Sci. 940, Part B, 80--89 (2023; Zbl 07676467) Full Text: DOI
Giroire, Frédéric; Pérennes, Stéphane; Trolliet, Thibaud A random growth model with any real or theoretical degree distribution. (English) Zbl 07676462 Theor. Comput. Sci. 940, Part A, 36-51 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. Giroire} et al., Theor. Comput. Sci. 940, Part A, 36--51 (2023; Zbl 07676462) Full Text: DOI arXiv