Novak, Erich; Pillichshammer, Friedrich Intractability results for integration in tensor product spaces. (English) Zbl 07955056 J. Complexity 86, Article ID 101901, 28 p. (2025). MSC: 65D30 68Q27 46A32 65C05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Sanna, Carlo On the number of solutions to a random instance of the permuted kernel problem. (English) Zbl 07955053 J. Complexity 86, Article ID 101898, 12 p. (2025). MSC: 94A60 94A62 81P94 05A05 05A16 15A99 11T71 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Huang, Meng; Xu, Zhiqiang No existence of a linear algorithm for the one-dimensional Fourier phase retrieval. (English) Zbl 07955048 J. Complexity 86, Article ID 101886, 14 p. (2025). MSC: 65T50 65Y20 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Rollier, Michiel; Zielinski, Kallil M. C.; Daly, Aisling J.; Bruno, Odemir M.; Baetens, Jan M. A comprehensive taxonomy of cellular automata. (English) Zbl 07954680 Commun. Nonlinear Sci. Numer. Simul. 140, Part 1, Article ID 108362, 31 p. (2025). MSC: 68Qxx 37Bxx 82Cxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Wang, Xiaoqiong; Li, Rao; Lü, Fan Approximation orders of real numbers in beta-dynamical systems. (English) Zbl 07954231 J. Math. Anal. Appl. 543, No. 2, Part 1, Article ID 128895, 21 p. (2025). MSC: 11Kxx 28Axx 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Minato, Shin-ichi; Kawahara, Jun; Banbara, Mutsunori; Horiyama, Takashi; Takigawa, Ichigaku; Yamaguchi, Yutaro Fast enumeration of all cost-bounded solutions for combinatorial problems using ZDDs. (English) Zbl 07953897 Discrete Appl. Math. 360, 467-486 (2025). MSC: 90Cxx 68Qxx 68Txx × Cite Format Result Cite Review PDF Full Text: DOI
Ennaoui, Karima; Nourine, Lhouari Polynomial delay hybrid algorithms to enumerate candidate keys for a relation. (English) Zbl 07953894 Discrete Appl. Math. 360, 443-450 (2025). MSC: 68Pxx 05Cxx 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Razgon, Igor The splitting power of branching programs of bounded repetition and CNFs of bounded width. (English) Zbl 07953888 Discrete Appl. Math. 360, 366-381 (2025). MSC: 68Qxx 05Cxx 68Rxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Jukna, Stasys Notes on Boolean read-\(k\) and multilinear circuits. (English) Zbl 07953884 Discrete Appl. Math. 360, 307-327 (2025). MSC: 68Q06 94C11 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Khabbazian, Majid; Médard, Muriel On finding the largest minimum distance of locally recoverable codes: a graph theory approach. (English) Zbl 07952105 Discrete Math. 348, No. 2, Article ID 114298, 17 p. (2025). MSC: 94Bxx 05Cxx 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Zhang, Yu; Wu, Gang Two accelerated non-backtracking PageRank algorithms for large-scale networks. (English) Zbl 07951579 J. Sci. Comput. 102, No. 1, Paper No. 3, 30 p. (2025). MSC: 68Q06 05C50 × Cite Format Result Cite Review PDF Full Text: DOI
Zuo, Kezhu; Li, Xinde; Yu, Le; Shen, Tao; Dong, Yilin; Dezert, Jean Evidence combination with multi-granularity belief structure for pattern classification. (English) Zbl 07950802 Inf. Sci. 690, Article ID 121577, 21 p. (2025). MSC: 68T37 62H30 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Zhang, Wenhui First order Büchi automata and their application to verification of LTL specifications. (English) Zbl 07949503 J. Log. Algebr. Methods Program. 142, Article ID 101021, 31 p. (2025). MSC: 68Q45 03B44 03D05 68Q60 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI
Bueso de Barrio, Luis Eduardo; Fredlund, Lars-Åke; Herranz, Ángel; Mariño, Julio; Benac Earle, Clara Executable contracts for Elixir. (English) Zbl 07949501 J. Log. Algebr. Methods Program. 142, Article ID 101019, 29 p. (2025). MSC: 68N19 68N15 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI
Barbanera, Franco; Bono, Viviana; Dezani-Ciancaglini, Mariangiola Partially typed multiparty sessions with internal delegation. (English) Zbl 07949500 J. Log. Algebr. Methods Program. 142, Article ID 101018, 21 p. (2025). MSC: 68Q85 68N19 × Cite Format Result Cite Review PDF Full Text: DOI
Barkallah, Manel; Jacquet, Jean-Marie On the expressiveness and efficiency of guarded lists in Bach. (English) Zbl 07949499 J. Log. Algebr. Methods Program. 142, Article ID 101017, 21 p. (2025). MSC: 68Q85 68N15 68N19 68N30 × Cite Format Result Cite Review PDF Full Text: DOI
Cerone, Antonio Multifaceted formal methods and their interdisciplinary role – from the cathedral of ‘components as coalgebras’ to the HCI context and the open source software bazaar. (English) Zbl 07949497 J. Log. Algebr. Methods Program. 142, Article ID 101006, 19 p. (2025). MSC: 68-03 03B70 68N30 68Q01 68Q42 68Q65 68U35 × Cite Format Result Cite Review PDF Full Text: DOI
Rubio, Rubén; Riesco, Adrián Maude2Lean: theorem proving for Maude specifications using Lean. (English) Zbl 07949496 J. Log. Algebr. Methods Program. 142, Article ID 101005, 22 p. (2025). MSC: 68V15 68Q42 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
van den Heuvel, Bas; Pérez, Jorge A. Comparing session type systems derived from linear logic. (English) Zbl 07949495 J. Log. Algebr. Methods Program. 142, Article ID 101004, 26 p. (2025). MSC: 68Q85 03F52 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Alonso, Ander; Hermo, Montserrat; Oca, Josu Towards an efficient implementation of a tableau method for reactive safety specifications. (English) Zbl 07949494 J. Log. Algebr. Methods Program. 142, Article ID 101003, 17 p. (2025). Reviewer: Giacomo Lenzi (Fisciano) MSC: 68Q60 03B44 × Cite Format Result Cite Review PDF Full Text: DOI
Cohen, Tomer; Kulik, Ariel; Shachnai, Hadas Improved approximation for two-dimensional vector multiple knapsack. (English) Zbl 07945398 Comput. Geom. 124-125, Article ID 102124, 18 p. (2025). MSC: 90Cxx 68Qxx 68Wxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Mertzios, George; Michail, Othon; Skretas, George; Spirakis, Paul G.; Theofilatos, Michail The complexity of growing a graph. (English) Zbl 07933940 J. Comput. Syst. Sci. 147, Article ID 103587, 20 p. (2025). MSC: 68R10 05C57 68Q17 68Q25 68W40 × Cite Format Result Cite Review PDF Full Text: DOI
Boehmer, Niclas; Heeger, Klaus Adapting stable matchings to forced and forbidden pairs. (English) Zbl 07933938 J. Comput. Syst. Sci. 147, Article ID 103579, 21 p. (2025). MSC: 68R05 68Q17 68Q27 68W40 91B68 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Agrawal, Akanksha; Hait, Soumita; Mouawad, Amer E. On finding short reconfiguration sequences between independent sets. (English) Zbl 07933937 J. Comput. Syst. Sci. 147, Article ID 103578, 14 p. (2025). MSC: 68R10 05C69 68Q27 × Cite Format Result Cite Review PDF Full Text: DOI
Bandt, Christoph Elementary fractal geometry. 4. Automata-generated topological spaces. (English) Zbl 07923339 Commun. Math. 33, No. 2, Paper No. 3, 33 p. (2025). MSC: 28A80 11A63 37B10 54B15 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Imbach, Rémi; Moroz, Guillaume Fast evaluation and root finding for polynomials with floating-point coefficients. (English) Zbl 07923142 J. Symb. Comput. 127, Article ID 102372, 21 p. (2025). MSC: 65H05 68W30 65H04 30C15 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Huisman, Marieke (ed.); Howar, Falk (ed.) Tests and proofs. 18th international conference, TAP 2024, Milan, Italy, September 9–10, 2024. Proceedings. (English) Zbl 07922601 Lecture Notes in Computer Science 15153. Cham: Springer (ISBN 978-3-031-72043-7/pbk; 978-3-031-72044-4/ebook). xiv, 177 p. (2025). MSC: 68-06 68Q60 68V15 00B25 × Cite Format Result Cite Review PDF Full Text: DOI
Breen-McKay, Michael; Lavallee, Brian; Sullivan, Blair D. Hardness of the generalized coloring numbers. (English) Zbl 07922194 Eur. J. Comb. 123, Article ID 103709, 14 p. (2025). MSC: 05C15 05C75 68Q17 68R10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Part, Fedor; Thapen, Neil; Tzameret, Iddo First-order reasoning and efficient semi-algebraic proofs. (English) Zbl 07921870 Ann. Pure Appl. Logic 176, No. 1, Article ID 103496, 36 p. (2025). MSC: 03F20 68Q17 68Q15 03F30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Datta, Supriyo \(p\)-bits and \(q\)-bits. Probabilistic and quantum computing. (English) Zbl 07912382 New Era Electronics: A Lecture Notes Series 3. Singapore: World Scientific (ISBN 978-981-12-9449-5/hbk; 978-981-12-9461-7/pbk; 978-981-12-9451-8/ebook). xv, 287 p. (2025). MSC: 68-01 81-01 82-01 68Q09 68Q12 68T07 81P68 82C32 × Cite Format Result Cite Review PDF Full Text: DOI
Chen, Jie; Liang, Yi-Ping; Wang, Cai-Xia; Xu, Shou-Jun Algorithmic aspects of \(\{P_k\}\)-isolation in graphs and extremal graphs for a \(\{P_3\}\)-isolation bound. (English) Zbl 07910949 Inf. Process. Lett. 187, Article ID 106521, 9 p. (2025). MSC: 05C69 05C85 68Q17 × Cite Format Result Cite Review PDF Full Text: DOI
Chavrimootoo, Michael C. Defying gravity and gadget numerosity: the complexity of the Hanano puzzle and beyond. (English) Zbl 07910948 Inf. Process. Lett. 187, Article ID 106520, 9 p. (2025). MSC: 68Q25 68Q17 91A68 × Cite Format Result Cite Review PDF Full Text: DOI
Dillencourt, Michael; Goodrich, Michael T.; Mitzenmacher, Michael Leveraging parameterized Chernoff bounds for simplified algorithm analyses. (English) Zbl 07910944 Inf. Process. Lett. 187, Article ID 106516, 7 p. (2025). MSC: 68Q27 68W20 68W40 × Cite Format Result Cite Review PDF Full Text: DOI
Ito, Fuki Optimal randomized algorithms of weakly-balanced multi-branching AND-OR trees. (English) Zbl 07910940 Inf. Process. Lett. 187, Article ID 106512, 7 p. (2025). MSC: 68W20 05C05 68R10 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Rauch, Johannes; Rautenbach, Dieter; Souza, Uéverton S. On conflict-free cuts: algorithms and complexity. (English) Zbl 07910939 Inf. Process. Lett. 187, Article ID 106503, 6 p. (2025). MSC: 68R10 05C85 68Q17 68Q25 68Q27 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Manurangsi, Pasin Improved lower bound for differentially private facility location. (English) Zbl 07910938 Inf. Process. Lett. 187, Article ID 106502, 4 p. (2025). MSC: 68Q17 68P27 68W25 90B80 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Doyen, Laurent Top-down complementation of automata on finite trees. (English) Zbl 07910935 Inf. Process. Lett. 187, Article ID 106499, 4 p. (2025). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Lopez, Théodore; Monmege, Benjamin; Talbot, Jean-Marc Regular \(\mathcal{D}\)-length: a tool for improved prefix-stable forward Ramsey factorisations. (English) Zbl 07910933 Inf. Process. Lett. 187, Article ID 106497, 8 p. (2025). MSC: 68Q45 20M35 × Cite Format Result Cite Review PDF Full Text: DOI
Yan, Xiong-Bin; Xu, Zhi-Qin John; Ma, Zheng Bayesian Inversion with Neural Operator (BINO) for modeling subdiffusion: forward and inverse problems. (English) Zbl 07901824 J. Comput. Appl. Math. 454, Article ID 116191, 18 p. (2025). MSC: 65M32 62F15 35R30 68T07 68Q32 26A33 35R11 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Szegedy, Mario; Newman, Ilan; Lee, Troy Query complexity (to appear). (English) Zbl 07177078 Singapore: World Scientific (ISBN 978-981-322-320-2/hbk). 200 p. (2025). MSC: 68-02 68P05 68Q25 68R05 68W20 × Cite Format Result Cite Review PDF Full Text: DOI
Malhotra, Pranit; Kumar, Ajay; Garhwal, Sunita A systematic review of quantum benchmarking. (English) Zbl 07956728 Int. J. Theor. Phys. 63, No. 11, Paper No. 278, 34 p. (2024). MSC: 81Pxx 68Qxx 68Pxx × Cite Format Result Cite Review PDF Full Text: DOI
Gaitan, Frank; Graziani, Frank; Porter, Max D. Simulating nonlinear radiation diffusion through quantum computing. (English) Zbl 07956710 Int. J. Theor. Phys. 63, No. 10, Paper No. 260, 9 p. (2024). MSC: 81Pxx 94Axx 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Li, Shihai; Ma, Changfeng Relaxation quadratic approximation greedy pursuit method based on sparse learning. (English) Zbl 07956262 Comput. Methods Appl. Math. 24, No. 4, 909-920 (2024). MSC: 68T05 68Q32 × Cite Format Result Cite Review PDF Full Text: DOI
Ameneyro, Bernardo; Maroulas, Vasileios; Siopsis, George Quantum persistent homology. (English) Zbl 07955468 J. Appl. Comput. Topol. 8, No. 7, 1961-1980 (2024). MSC: 62R40 81P70 55N31 68Q12 68Q09 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Wu, Xian; Li, Lvzhou Asymptotically optimal synthesis of reversible circuits. (English) Zbl 07953374 Inf. Comput. 301, Article ID 105235, 11 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Marshall, Danielle; Orchard, Dominic Non-linear communication via graded modal session types. (English) Zbl 07953373 Inf. Comput. 301, Article ID 105234, 54 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Baldan, Paolo; König, Barbara; Padoan, Tommaso Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms. (English) Zbl 07953372 Inf. Comput. 301, Article ID 105233, 38 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Seiller, Thomas; Pellissier, Luc; Léchine, Ulysse Unifying lower bounds for algebraic machines, semantically. (English) Zbl 07953371 Inf. Comput. 301, Article ID 105232, 36 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Aman, Bogdan Introducing variables in the evolution rules of P systems. (English) Zbl 07953370 Inf. Comput. 301, Article ID 105231, 10 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Li, Yaqiao; McKenzie, Pierre Perspective on complexity measures targeting read-once branching programs. (English) Zbl 07953369 Inf. Comput. 301, Article ID 105230, 22 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Main, James C. A.; Randour, Mickael Different strokes in randomised strategies: revisiting Kuhn’s theorem under finite-memory assumptions. (English) Zbl 07953368 Inf. Comput. 301, Article ID 105229, 31 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Amico, Beatrice; Combi, Carlo; Rizzi, Romeo; Sala, Pietro Predictive mining of multi-temporal relations. (English) Zbl 07953367 Inf. Comput. 301, Article ID 105228, 23 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Chiu, Yung-Chung; Lu, Hsueh-I Blazing a trail via matrix multiplications: a faster algorithm for non-shortest induced paths. (English) Zbl 07953366 Inf. Comput. 301, Article ID 105227, 12 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Qiu, Yuan; Liu, Jinyan; Wang, Di Truthful and privacy-preserving generalized linear models. (English) Zbl 07953365 Inf. Comput. 301, Article ID 105225, 30 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Seppelt, Tim Logical equivalences, homomorphism indistinguishability, and forbidden minors. (English) Zbl 07953364 Inf. Comput. 301, Article ID 105224, 20 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Arvind, V.; Joglekar, Pushkar S. Multivariate to bivariate reduction for noncommutative polynomial factorization. (English) Zbl 07953363 Inf. Comput. 301, Article ID 105223, 14 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Baier, Christel; Chatterjee, Krishnendu; Meggendorfer, Tobias; Piribauer, Jakob Entropic risk for turn-based stochastic games. (English) Zbl 07953362 Inf. Comput. 301, Article ID 105214, 23 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Kostolányi, Peter Weighted automata and logics meet computational complexity. (English) Zbl 07953361 Inf. Comput. 301, Article ID 105213, 16 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Misra, Anshuman; Kshemkalyani, Ajay D. Detecting causality in the presence of Byzantine processes: the case of synchronous systems. (English) Zbl 07953360 Inf. Comput. 301, Article ID 105212, 19 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Cao, Yixin; Yuan, Hanchun; Wang, Jianxin Modification problems toward proper (Helly) circular-arc graphs. (English) Zbl 07953359 Inf. Comput. 301, Article ID 105211, 16 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Pagliarini, Giovanni; Scaboro, Simone; Serra, Giuseppe; Sciavicco, Guido; Stan, Ionel Eduard Neural-symbolic temporal decision trees for multivariate time series classification. (English) Zbl 07953358 Inf. Comput. 301, Article ID 105209, 22 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Bašić, Milan; Ilić, Aleksandar; Stamenković, Aleksandar Maximal diameter of integral circulant graphs. (English) Zbl 07953357 Inf. Comput. 301, Article ID 105208, 13 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Petković, Marko D.; Stanimirović, Predrag S. Zeroing neural network based on the equation \(AXA = A\). (English) Zbl 07953356 Inf. Comput. 301, Article ID 105207, 13 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Crespi Reghizzi, Stefano; San Pietro, Pierluigi Regular languages as images of local functions over small alphabets. (English) Zbl 07953355 Inf. Comput. 301, Article ID 105206, 17 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Dörband, Frederic; Fülöp, Zoltán; Vogler, Heiko Rational weighted tree languages with storage. (English) Zbl 07953354 Inf. Comput. 301, Article ID 105205, 20 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Hoffmann, Stefan State complexity bounds for projection, shuffle, up- and downward closure and interior on commutative regular languages. (English) Zbl 07953353 Inf. Comput. 301, Article ID 105204, 27 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Adamoudis, Marios; Draziotis, Konstantinos A.; Poulakis, Dimitrios Attacking (EC)DSA with partially known multiples of nonces. (English) Zbl 07953352 Inf. Comput. 301, Article ID 105203, 15 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Colbourn, Charles J.; Syrotiuk, Violet R. Detecting arrays for effects of multiple interacting factors. (English) Zbl 07953351 Inf. Comput. 301, Article ID 105202, 10 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Betten, Anton; Topalova, Svetlana; Zhelezova, Stela On parallelisms of PG(3,4) with automorphisms of order 2. (English) Zbl 07953350 Inf. Comput. 301, Article ID 105201, 12 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Winkler, Franz Symbolic computation in algebra, geometry, and differential equations. (English) Zbl 07953349 Inf. Comput. 301, Article ID 105200, 11 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Ćirić, Miroslav (ed.); Droste, Manfred (ed.); Pin, Jean-Éric (ed.) Preface. (English) Zbl 07953348 Inf. Comput. 301, Article ID 105199, 1 p. (2024). MSC: 00Bxx 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Gutiérrez, Francisco Escudero Influences of Fourier completely bounded polynomials and classical simulation of quantum algorithms. (English) Zbl 07952443 Chic. J. Theor. Comput. Sci. 2024, Article No. 2, 20 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Wang, Zhiwei; Zhang, Lulu; Zhang, Zhongwang; Xu, Zhi-Qin John Loss jump during loss switch in solving PDEs with neural networks. (English) Zbl 07952152 Commun. Comput. Phys. 36, No. 4, 1090-1112 (2024). MSC: 68T15 68Q01 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Castiglioni, Valentina; Lanotte, Ruggero; Loreti, Michele; Manicardi, Desiree; Tini, Simone Robustness for biochemical networks: step-by-step approach. (English) Zbl 07952136 Theor. Comput. Sci. 1022, Article ID 114934, 26 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Saxena, Ashish; Mondal, Kaushik A further study on weak Byzantine gathering of mobile agents. (English) Zbl 07952135 Theor. Comput. Sci. 1022, Article ID 114892, 19 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Ríos-Wilson, Martín; Theyssier, Guillaume Intrinsic universality in automata networks. III: On symmetry versus asynchrony. (English) Zbl 07952134 Theor. Comput. Sci. 1022, Article ID 114890, 27 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Barish, Robert D.; Shibuya, Tetsuo String editing under pattern constraints. (English) Zbl 07952133 Theor. Comput. Sci. 1022, Article ID 114889, 17 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Kumar, Manish; Molla, Anisur Rahaman Sublinear message bounds of authenticated implicit Byzantine agreement. (English) Zbl 07952132 Theor. Comput. Sci. 1022, Article ID 114888, 11 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Zheng, Weixing; Zhou, Shuming; Cheng, Eddie; Zhang, Qifan Non-inclusive \(g\)-extra diagnosability of interconnection networks under PMC model. (English) Zbl 07952131 Theor. Comput. Sci. 1022, Article ID 114887, 8 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Lundström, Oskar; Raynal, Michel; Schiller, Elad Michael Self-stabilizing multivalued consensus in asynchronous crash-prone systems. (English) Zbl 07952130 Theor. Comput. Sci. 1022, Article ID 114886, 14 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Fu, Shishuo; Gao, Bing Lattice paths and the Prouhet-Thue-Morse sequence. (English) Zbl 07952129 Theor. Comput. Sci. 1022, Article ID 114885, 7 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Brešar, Boštjan; Samadi, Babak Edge open packing: complexity, algorithmic aspects, and bounds. (English) Zbl 07952128 Theor. Comput. Sci. 1022, Article ID 114884, 10 p. (2024). MSC: 68Qxx 05C70 05C85 68Q17 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Fernique, Thomas; Lutfalla, Victor Geometrical Penrose tilings are characterized by their 1-atlas. (English) Zbl 07952127 Theor. Comput. Sci. 1022, Article ID 114883, 16 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Calamoneri, Tiziana \(L(3, 2, 1)\)-labeling of certain planar graphs. (English) Zbl 07952126 Theor. Comput. Sci. 1022, Article ID 114881, 13 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Bailey, Lora; Blake, Heather Smith; Cochran, Garner; Fox, Nathan; Levet, Michael; Mahmoud, Reem; Matson, Elizabeth Bailey; Singgih, Inne; Stadnyk, Grace; Wang, Xinyi; Wiedemann, Alexander Complexity and enumeration in models of genome rearrangement. (English) Zbl 07952125 Theor. Comput. Sci. 1022, Article ID 114880, 17 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Szilard, Andrew L. On recursive tiling of some mathematical objects. (English) Zbl 07952124 Theor. Comput. Sci. 1022, Article ID 114781, 25 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Coursolle, Pierre-Yves; Haucourt, Emmanuel Non-existing and ill-behaved coequalizers of locally ordered spaces. (English) Zbl 07951566 J. Appl. Comput. Topol. 8, No. 4, 971-1021 (2024). MSC: 06F99 18A30 54E99 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Nishimura, Susumu Defining logical obstruction with fixpoints in epistemic logic. (English) Zbl 07951565 J. Appl. Comput. Topol. 8, No. 4, 941-970 (2024). MSC: 68Q85 03B42 × Cite Format Result Cite Review PDF Full Text: DOI
Fraigniaud, Pierre; Gelles, Ran; Lotker, Zvi The topology of randomized symmetry-breaking distributed computing. (English) Zbl 07951564 J. Appl. Comput. Topol. 8, No. 4, 909-940 (2024). MSC: 68Q85 68W15 × Cite Format Result Cite Review PDF Full Text: DOI
Kahl, Thomas On the homology language of HDA models of transition systems. (English) Zbl 07951562 J. Appl. Comput. Topol. 8, No. 4, 859-873 (2024). MSC: 55N35 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Goubault, Eric; Mrozek, Marian; Raussen, Martin Geometric and topological methods in computer science (11th GETCO conference, 2022). (English) Zbl 07951561 J. Appl. Comput. Topol. 8, No. 4, 857-858 (2024). MSC: 68Q60 68Q85 37B30 55-06 68-06 55P99 55U10 × Cite Format Result Cite Review PDF Full Text: DOI
Luo, Hengrui; Strait, Justin D. Multiple closed curve modeling with uncertainty quantification for shape analysis. (English) Zbl 07950871 SIAM/ASA J. Uncertain. Quantif. 12, 1192-1212 (2024). MSC: 68Q25 68R10 68U05 × Cite Format Result Cite Review PDF Full Text: DOI
de Montbrun, Étienne; Gerchinovitz, Sébastien Certified multifidelity zeroth-order optimization. (English) Zbl 07950869 SIAM/ASA J. Uncertain. Quantif. 12, 1135-1164 (2024). MSC: 62L15 65K10 65Y20 68Q32 68T05 68W40 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Horenko, Illia; Pospíšil, Lukáš Linearly scalable learning of smooth low-dimensional patterns with permutation-aided entropic dimension reduction. (English) Zbl 07950037 Commun. Appl. Math. Comput. Sci. 19, No. 1, 87-102 (2024). MSC: 68Q32 68T01 68T99 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Uvarov, S. I. Sufficient condition for polynomial solvability of random 3-CNF formulas. (English) Zbl 07950002 Dokl. Math. 110, No. 1, 323-327 (2024). MSC: 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Amanatidis, Georgios; Kleer, Pieter Approximate sampling and counting of graphs with near-regular degree intervals. (English) Zbl 07949993 SIAM J. Discrete Math. 38, No. 4, 2812-2840 (2024). MSC: 68Q25 05C80 68R10 × Cite Format Result Cite Review PDF Full Text: DOI
Liu, Burigede; Ortiz, Michael; Cirak, Fehmi Towards quantum computational mechanics. (English) Zbl 07949563 Comput. Methods Appl. Mech. Eng. 432, Part B, Article ID 117403, 29 p. (2024). MSC: 81P68 68Q12 74S99 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Popov, Vladimir Yurievich Clause-connected versions of the satisfiability problem. (Russian. English summary) Zbl 07949544 Sib. Èlektron. Mat. Izv. 21, No. 1, 417-452 (2024). MSC: 68Q17 × Cite Format Result Cite Review PDF Full Text: DOI MNR
Pavlović, Duško; Seidel, Peter-Michael; Yahia, Muzamil Testing randomness by Matching Pennies. (English) Zbl 07949412 Sarajevo J. Math. 20(33), No. 1, 25-45 (2024). MSC: 03D32 91A26 91A26 68Q32 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
He, Chuan; Huang, Heng; Lu, Zhaosong A Newton-CG based barrier-augmented Lagrangian method for general nonconvex conic optimization. (English) Zbl 07948914 Comput. Optim. Appl. 89, No. 3, 843-894 (2024). MSC: 90Cxx 49M05 49M15 68Q25 90C26 90C30 90C60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv