Li, Shuijia; Gong, Wenyin; Lim, Ray; Liao, Zuowen; Gu, Qiong Evolutionary multitasking for solving nonlinear equation systems. (English) Zbl 07821803 Inf. Sci. 660, Article ID 120139, 17 p. (2024). MSC: 65H10 PDFBibTeX XMLCite \textit{S. Li} et al., Inf. Sci. 660, Article ID 120139, 17 p. (2024; Zbl 07821803) Full Text: DOI
Gerhardus, Andreas Characterization of causal ancestral graphs for time series with latent confounders. (English) Zbl 07815252 Ann. Stat. 52, No. 1, 103-130 (2024). MSC: 62A09 62D20 62M10 68T30 68T37 PDFBibTeX XMLCite \textit{A. Gerhardus}, Ann. Stat. 52, No. 1, 103--130 (2024; Zbl 07815252) Full Text: DOI arXiv Link
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
Dai, Yuanfei; Guo, Wenzhong; Eickhoff, Carsten Wasserstein adversarial learning based temporal knowledge graph embedding. (English) Zbl 07806115 Inf. Sci. 659, Article ID 120061, 17 p. (2024). MSC: 68-XX 94-XX PDFBibTeX XMLCite \textit{Y. Dai} et al., Inf. Sci. 659, Article ID 120061, 17 p. (2024; Zbl 07806115) Full Text: DOI arXiv
Zhou, Yin-Feng; Yang, Hai-Long; Li, Jin-Jin; Lin, Yi-Dong Automata for knowledge assessment based on the structure of observed learning outcome taxonomy. (English) Zbl 07806112 Inf. Sci. 659, Article ID 120058, 16 p. (2024). MSC: 68-XX 93-XX PDFBibTeX XMLCite \textit{Y.-F. Zhou} et al., Inf. Sci. 659, Article ID 120058, 16 p. (2024; Zbl 07806112) Full Text: DOI
Zhao, Yan; Ma, Huifang; Wang, Jing; He, Xiangchun; Chang, Liang Question-response representation with dual-level contrastive learning for improving knowledge tracing. (English) Zbl 07804498 Inf. Sci. 658, Article ID 120032, 20 p. (2024). MSC: 68-XX 90-XX PDFBibTeX XMLCite \textit{Y. Zhao} et al., Inf. Sci. 658, Article ID 120032, 20 p. (2024; Zbl 07804498) Full Text: DOI
Fu, Jinhu; Li, Chao; Zhao, Zhongying; Zeng, Qingtian Heterogeneous graph knowledge distillation neural network incorporating multiple relations and cross-semantic interactions. (English) Zbl 07804477 Inf. Sci. 658, Article ID 120004, 20 p. (2024). MSC: 68-XX 92-XX PDFBibTeX XMLCite \textit{J. Fu} et al., Inf. Sci. 658, Article ID 120004, 20 p. (2024; Zbl 07804477) Full Text: DOI
Kawamoto, Yusuke; Sato, Tetsuya; Suenaga, Kohei Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs. (English) Zbl 07803984 Artif. Intell. 326, Article ID 104045, 33 p. (2024). MSC: 68T27 03B42 03B70 62A01 PDFBibTeX XMLCite \textit{Y. Kawamoto} et al., Artif. Intell. 326, Article ID 104045, 33 p. (2024; Zbl 07803984) Full Text: DOI arXiv
Doherty, Patrick; Szałas, Andrzej Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions. (English) Zbl 07803982 Artif. Intell. 326, Article ID 104036, 18 p. (2024). MSC: 68T30 03C10 68T27 PDFBibTeX XMLCite \textit{P. Doherty} and \textit{A. Szałas}, Artif. Intell. 326, Article ID 104036, 18 p. (2024; Zbl 07803982) Full Text: DOI arXiv
Baader, Franz; Fernández Gil, Oliver Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures. (English) Zbl 07803980 Artif. Intell. 326, Article ID 104034, 66 p. (2024). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{F. Baader} and \textit{O. Fernández Gil}, Artif. Intell. 326, Article ID 104034, 66 p. (2024; Zbl 07803980) Full Text: DOI
Aguado, Felicidad; Cabalar, Pedro; Fandinno, Jorge; Pearce, David; Pérez, Gilberto; Vidal, Concepción Syntactic ASP forgetting with forks. (English) Zbl 07803979 Artif. Intell. 326, Article ID 104033, 17 p. (2024). MSC: 68N17 68T27 68T30 PDFBibTeX XMLCite \textit{F. Aguado} et al., Artif. Intell. 326, Article ID 104033, 17 p. (2024; Zbl 07803979) Full Text: DOI
Couceiro, Miguel; Lehtonen, Erkko Galois theory for analogical classifiers. (English) Zbl 07802494 Ann. Math. Artif. Intell. 92, No. 1, 29-47 (2024). MSC: 68T30 06A15 PDFBibTeX XMLCite \textit{M. Couceiro} and \textit{E. Lehtonen}, Ann. Math. Artif. Intell. 92, No. 1, 29--47 (2024; Zbl 07802494) Full Text: DOI arXiv
Perepolkin, Dmytro; Goodrich, Benjamin; Sahlin, Ullrika Hybrid elicitation and quantile-parametrized likelihood. (English) Zbl 1523.62031 Stat. Comput. 34, No. 1, Paper No. 11, 15 p. (2024). MSC: 62-08 62F15 62C10 62G99 PDFBibTeX XMLCite \textit{D. Perepolkin} et al., Stat. Comput. 34, No. 1, Paper No. 11, 15 p. (2024; Zbl 1523.62031) Full Text: DOI OA License
Shang, Bin; Zhao, Yinliang; Liu, Yifan; Wang, Chenxin Attention-based exploitation and exploration strategy for multi-hop knowledge graph reasoning. (English) Zbl 07764389 Inf. Sci. 653, Article ID 119787, 13 p. (2024). MSC: 68-XX 90-XX PDFBibTeX XMLCite \textit{B. Shang} et al., Inf. Sci. 653, Article ID 119787, 13 p. (2024; Zbl 07764389) Full Text: DOI
Chacón-Gómez, Fernando; Cornejo, M. Eugenia; Medina, Jesús; Ramírez-Poussa, Eloísa Rough set decision algorithms for modeling with uncertainty. (English) Zbl 07750608 J. Comput. Appl. Math. 437, Article ID 115413, 23 p. (2024). MSC: 68T30 68T37 68N17 03E72 06A15 PDFBibTeX XMLCite \textit{F. Chacón-Gómez} et al., J. Comput. Appl. Math. 437, Article ID 115413, 23 p. (2024; Zbl 07750608) Full Text: DOI
Traore, Issa; Ahmed, Ahmed Awad E. Building secure and high-performance software systems (to appear). (English) Zbl 05538826 Singapore: World Scientific (ISBN 978-981-283-599-4/hbk). 200 p. (2024). MSC: 68-02 68T35 PDFBibTeX XMLCite \textit{I. Traore} and \textit{A. A. E. Ahmed}, Building secure and high-performance software systems (to appear). Singapore: World Scientific (2024; Zbl 05538826) Full Text: DOI
Lo, Jason Quantifying analogy of concepts via ologs and wiring diagrams. arXiv:2402.01020 Preprint, arXiv:2402.01020 [cs.LO] (2024). MSC: 68T30 68T20 68P05 68T40 BibTeX Cite \textit{J. Lo}, ``Quantifying analogy of concepts via ologs and wiring diagrams'', Preprint, arXiv:2402.01020 [cs.LO] (2024) Full Text: arXiv OA License
Protin, Clarence Combinatory Intensional Logic: Formal foundations. arXiv:2401.01668 Preprint, arXiv:2401.01668 [math.LO] (2024). MSC: 03B65 03B45 03B42 03A05 BibTeX Cite \textit{C. Protin}, ``Combinatory Intensional Logic: Formal foundations'', Preprint, arXiv:2401.01668 [math.LO] (2024) Full Text: arXiv OA License
Alpturer, Kaya; Halpern, Joseph Y.; van der Meyden, Ron Optimal eventual Byzantine agreement protocols with omission failures. (English) Zbl 07824331 Oshman, Rotem (ed.) et al., Proceedings of the 42nd ACM symposium on principles of distributed computing, PODC ’23, Orlando, FL, USA, June 19–23, 2023. New York, NY: Association for Computing Machinery (ACM). 244-252 (2023). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{K. Alpturer} et al., in: Proceedings of the 42nd ACM symposium on principles of distributed computing, PODC '23, Orlando, FL, USA, June 19--23, 2023. New York, NY: Association for Computing Machinery (ACM). 244--252 (2023; Zbl 07824331) Full Text: DOI arXiv
Pardo, Pere; van der Torre, Leendert; Yu, Liuwen Advanced intelligent systems and reasoning: standardization, experimentation, explanation. (English) Zbl 07823008 Bentzen, Bruno (ed.) et al., Logics for AI and law. Joint proceedings of the third international workshop on logics for new-generation artificial intelligence and the international workshop on logic, AI and law, September 8–9 and 11–12, 2023, Hangzhou, China. London: College Publications. 3-20 (2023). MSC: 68T27 PDFBibTeX XMLCite \textit{P. Pardo} et al., in: Logics for AI and law. Joint proceedings of the third international workshop on logics for new-generation artificial intelligence and the international workshop on logic, AI and law, September 8--9 and 11--12, 2023, Hangzhou, China. London: College Publications. 3--20 (2023; Zbl 07823008) Full Text: Link
Xu, Bochi; Li, Jinjin; Sun, Wen; Wang, Bo On delineating forward- and backward-graded knowledge structures from fuzzy skill maps. (English) Zbl 07817631 J. Math. Psychol. 117, Article ID 102819, 8 p. (2023). MSC: 91E40 PDFBibTeX XMLCite \textit{B. Xu} et al., J. Math. Psychol. 117, Article ID 102819, 8 p. (2023; Zbl 07817631) Full Text: DOI
Naumowicz, Adam Extending numeric automation for number theory formalizations in Mizar. (English) Zbl 07810742 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 309-314 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{A. Naumowicz}, Lect. Notes Comput. Sci. 14101, 309--314 (2023; Zbl 07810742) Full Text: DOI
Sedlár, Igor; Vigiani, Pietro Relevant reasoning and implicit beliefs. (English) Zbl 07810574 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 336-350 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{I. Sedlár} and \textit{P. Vigiani}, Lect. Notes Comput. Sci. 13923, 336--350 (2023; Zbl 07810574) Full Text: DOI
Arnaoudova, Kristina; Nisheva-Pavlova, Maria Enterprise data and semantic modelling: conceptual model of information technology incident management. (English) Zbl 07809193 God. Sofiĭ. Univ., Fak. Mat. Inform. 110, 25-36 (2023). MSC: 68-XX 90-XX PDFBibTeX XMLCite \textit{K. Arnaoudova} and \textit{M. Nisheva-Pavlova}, God. Sofiĭ. Univ., Fak. Mat. Inform. 110, 25--36 (2023; Zbl 07809193) Full Text: Link
Schmitt, Karl R. B.; Clark, Linda; Kinnaird, Katherine M.; Wertz, Ruth E. H.; Sandstede, Björn Evaluation of EDISON’s data science competency framework through a comparative literature analysis. (English) Zbl 07805171 Found. Data Sci. 5, No. 2, 177-198 (2023). MSC: 97K99 97B10 97B70 68T09 PDFBibTeX XMLCite \textit{K. R. B. Schmitt} et al., Found. Data Sci. 5, No. 2, 177--198 (2023; Zbl 07805171) Full Text: DOI
Ghosh, Abhiroop; Deb, Kalyanmoy; Goodman, Erik; Averill, Ronald A user-guided innovization-based evolutionary algorithm framework for practical multi-objective optimization problems. (English) Zbl 07804685 Eng. Optim. 55, No. 12, 2084-2096 (2023). MSC: 90-XX PDFBibTeX XMLCite \textit{A. Ghosh} et al., Eng. Optim. 55, No. 12, 2084--2096 (2023; Zbl 07804685) Full Text: DOI
Wang, Qineng; Song, Liming; Chen, Yun; Ma, Guangjian; Guo, Zhendong; Li, Jun KT-EGO: a knowledge transfer assisted efficient global optimization algorithm for solving high-dimensional expensive black-box problems. (English) Zbl 07804681 Eng. Optim. 55, No. 12, 2015-2033 (2023). MSC: 90-XX PDFBibTeX XMLCite \textit{Q. Wang} et al., Eng. Optim. 55, No. 12, 2015--2033 (2023; Zbl 07804681) Full Text: DOI
Magnini, Matteo; Ciatto, Giovanni; Omicini, Andrea Knowledge injection of Datalog rules via neural network structuring with KINS. (English) Zbl 07804195 J. Log. Comput. 33, No. 8, 1832-1850 (2023). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{M. Magnini} et al., J. Log. Comput. 33, No. 8, 1832--1850 (2023; Zbl 07804195) Full Text: DOI
Floyd, Juliet Steiner’s Wittgenstein. (English) Zbl 07803654 Posy, Carl J. (ed.) et al., Mathematical knowledge, objects and applications. Essays in memory of Mark Steiner. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 345-376 (2023). MSC: 00A30 PDFBibTeX XMLCite \textit{J. Floyd}, in: Mathematical knowledge, objects and applications. Essays in memory of Mark Steiner. Cham: Springer. 345--376 (2023; Zbl 07803654) Full Text: DOI
Marshall, Oliver R. Kripke, Quine and Steiner on representing natural numbers in set theory. (English) Zbl 07803647 Posy, Carl J. (ed.) et al., Mathematical knowledge, objects and applications. Essays in memory of Mark Steiner. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 157-192 (2023). MSC: 00A30 PDFBibTeX XMLCite \textit{O. R. Marshall}, in: Mathematical knowledge, objects and applications. Essays in memory of Mark Steiner. Cham: Springer. 157--192 (2023; Zbl 07803647) Full Text: DOI
Kapoor, Muskan; Pathak, Bhupendra Kumar; Kumar, Rajiv A nature-inspired meta-heuristic knowledge-based algorithm for solving multiobjective optimization problems. (English) Zbl 07802800 J. Eng. Math. 143, Paper No. 5, 12 p. (2023). MSC: 90Cxx 68-XX PDFBibTeX XMLCite \textit{M. Kapoor} et al., J. Eng. Math. 143, Paper No. 5, 12 p. (2023; Zbl 07802800) Full Text: DOI
Solaki, Anthia Actualizing distributed knowledge in bounded groups. (English) Zbl 07801586 J. Log. Comput. 33, No. 6, 1497-1525 (2023). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{A. Solaki}, J. Log. Comput. 33, No. 6, 1497--1525 (2023; Zbl 07801586) Full Text: DOI OA License
Benzmüller, Christoph; Reiche, Sebastian Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy. (English) Zbl 07801577 J. Log. Comput. 33, No. 6, 1243-1269 (2023). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{C. Benzmüller} and \textit{S. Reiche}, J. Log. Comput. 33, No. 6, 1243--1269 (2023; Zbl 07801577) Full Text: DOI arXiv
Kim, Duhyeong; Lee, Dongwon; Seo, Jinyeong; Song, Yongsoo Toward practical lattice-based proof of knowledge from Hint-MLWE. (English) Zbl 07800244 Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part V. Cham: Springer. Lect. Notes Comput. Sci. 14085, 549-580 (2023). MSC: 94A60 PDFBibTeX XMLCite \textit{D. Kim} et al., Lect. Notes Comput. Sci. 14085, 549--580 (2023; Zbl 07800244) Full Text: DOI
Esgin, Muhammed F.; Steinfeld, Ron; Liu, Dongxi; Ruj, Sushmita Efficient hybrid exact/relaxed lattice proofs and applications to rounding and VRFs. (English) Zbl 07800242 Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part V. Cham: Springer. Lect. Notes Comput. Sci. 14085, 484-517 (2023). MSC: 94A60 81P94 PDFBibTeX XMLCite \textit{M. F. Esgin} et al., Lect. Notes Comput. Sci. 14085, 484--517 (2023; Zbl 07800242) Full Text: DOI
Giunta, Emanuele On the impossibility of algebraic NIZK in pairing-free groups. (English) Zbl 07800225 Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part IV. Cham: Springer. Lect. Notes Comput. Sci. 14084, 702-730 (2023). MSC: 94A60 PDFBibTeX XMLCite \textit{E. Giunta}, Lect. Notes Comput. Sci. 14084, 702--730 (2023; Zbl 07800225) Full Text: DOI
Kothapalli, Abhiram; Parno, Bryan Algebraic reductions of knowledge. (English) Zbl 07800224 Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part IV. Cham: Springer. Lect. Notes Comput. Sci. 14084, 669-701 (2023). MSC: 94A60 94A05 PDFBibTeX XMLCite \textit{A. Kothapalli} and \textit{B. Parno}, Lect. Notes Comput. Sci. 14084, 669--701 (2023; Zbl 07800224) Full Text: DOI
Grassi, Lorenzo; Hao, Yonglin; Rechberger, Christian; Schofnegger, Markus; Walch, Roman; Wang, Qingju Horst meets Fluid-SPN: Griffin for zero-knowledge applications. (English) Zbl 07799268 Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 14083, 573-606 (2023). MSC: 94A60 68P25 PDFBibTeX XMLCite \textit{L. Grassi} et al., Lect. Notes Comput. Sci. 14083, 573--606 (2023; Zbl 07799268) Full Text: DOI
Bouvier, Clémence; Briaud, Pierre; Chaidos, Pyrros; Perrin, Léo; Salen, Robin; Velichkov, Vesselin; Willems, Danny New design techniques for efficient arithmetization-oriented hash functions: Anemoi permutations and Jive compression mode. (English) Zbl 07799266 Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 14083, 507-539 (2023). MSC: 68P25 94A60 PDFBibTeX XMLCite \textit{C. Bouvier} et al., Lect. Notes Comput. Sci. 14083, 507--539 (2023; Zbl 07799266) Full Text: DOI
Dziembowski, Stefan; Faust, Sebastian; Lizurej, Tomasz Individual cryptography. (English) Zbl 07799233 Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14082, 547-579 (2023). MSC: 94A60 94A62 PDFBibTeX XMLCite \textit{S. Dziembowski} et al., Lect. Notes Comput. Sci. 14082, 547--579 (2023; Zbl 07799233) Full Text: DOI
Bootle, Jonathan; Lyubashevsky, Vadim; Nguyen, Ngoc Khanh; Sorniotti, Alessandro A framework for practical anonymous credentials from lattices. (English) Zbl 07799228 Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14082, 384-417 (2023). MSC: 94A62 94A60 PDFBibTeX XMLCite \textit{J. Bootle} et al., Lect. Notes Comput. Sci. 14082, 384--417 (2023; Zbl 07799228) Full Text: DOI
Bitansky, Nir; Paneth, Omer; Shamir, Dana; Solomon, Tomer Non-interactive universal arguments. (English) Zbl 07799220 Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14082, 132-158 (2023). MSC: 94A60 68P25 PDFBibTeX XMLCite \textit{N. Bitansky} et al., Lect. Notes Comput. Sci. 14082, 132--158 (2023; Zbl 07799220) Full Text: DOI
Fisch, Ben; Liu, Zeyu; Vesely, Psi Orbweaver: succinct linear functional commitments from lattices. (English) Zbl 07799219 Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14082, 106-131 (2023). MSC: 94A60 PDFBibTeX XMLCite \textit{B. Fisch} et al., Lect. Notes Comput. Sci. 14082, 106--131 (2023; Zbl 07799219) Full Text: DOI
Champion, Jeffrey; Wu, David J. Non-interactive zero-knowledge from non-interactive batch arguments. (English) Zbl 07799217 Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14082, 38-71 (2023). MSC: 94A60 PDFBibTeX XMLCite \textit{J. Champion} and \textit{D. J. Wu}, Lect. Notes Comput. Sci. 14082, 38--71 (2023; Zbl 07799217) Full Text: DOI
Braun, Lennart; Damgård, Ivan; Orlandi, Claudio Secure multiparty computation from threshold encryption based on class groups. (English) Zbl 07799108 Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 14081, 613-645 (2023). MSC: 94A60 PDFBibTeX XMLCite \textit{L. Braun} et al., Lect. Notes Comput. Sci. 14081, 613--645 (2023; Zbl 07799108) Full Text: DOI
Abram, Damiano; Waters, Brent; Zhandry, Mark Security-preserving distributed samplers: how to generate any CRS in one round without random oracles. (English) Zbl 07799104 Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 14081, 489-514 (2023). MSC: 94A60 68M12 PDFBibTeX XMLCite \textit{D. Abram} et al., Lect. Notes Comput. Sci. 14081, 489--514 (2023; Zbl 07799104) Full Text: DOI
Goyal, Vipul; Srinivasan, Akshayaram; Wang, Mingyuan Reusable secure computation in the plain model. (English) Zbl 07799102 Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 14081, 427-458 (2023). MSC: 94A60 PDFBibTeX XMLCite \textit{V. Goyal} et al., Lect. Notes Comput. Sci. 14081, 427--458 (2023; Zbl 07799102) Full Text: DOI
Boneh, Dan; Boyle, Elette; Corrigan-Gibbs, Henry; Gilboa, Niv; Ishai, Yuval Arithmetic sketching. (English) Zbl 07799094 Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 14081, 171-202 (2023). MSC: 94A62 94A60 68Q25 68P25 68P15 68Q17 PDFBibTeX XMLCite \textit{D. Boneh} et al., Lect. Notes Comput. Sci. 14081, 171--202 (2023; Zbl 07799094) Full Text: DOI
Adj, Gora; Rivera-Zamarripa, Luis; Verbel, Javier MinRank in the head. Short signatures from zero-knowledge proofs. (English) Zbl 07798827 El Mrabet, Nadia (ed.) et al., Progress in cryptology – AFRICACRYPT 2023. 14th international conference on cryptology in Africa, Sousse, Tunisia, July 19–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14064, 3-27 (2023). MSC: 94A62 94A60 68Q25 PDFBibTeX XMLCite \textit{G. Adj} et al., Lect. Notes Comput. Sci. 14064, 3--27 (2023; Zbl 07798827) Full Text: DOI
Helfrich-Schkarbanenko, Andreas Mathematics and ChatGPT. A rendezvous at the foot of the technological singularity. (Mathematik und ChatGPT. Ein Rendezvous am Fuße der technologischen Singularität.) (German) Zbl 07796262 Berlin: Springer Spektrum (ISBN 978-3-662-68208-1/pbk; 978-3-662-68209-8/ebook). xiv, 290 p. (2023). MSC: 68-01 00A35 68N01 68T35 68T50 68V99 97U70 PDFBibTeX XMLCite \textit{A. Helfrich-Schkarbanenko}, Mathematik und ChatGPT. Ein Rendezvous am Fuße der technologischen Singularität. Berlin: Springer Spektrum (2023; Zbl 07796262) Full Text: DOI
Rommeswinkel, Hendrik; Chang, Hung-Chi; Hsu, Wen-Tai Preference for knowledge. (English) Zbl 07791688 J. Econ. Theory 214, Article ID 105737, 38 p. (2023). MSC: 91B06 91B08 PDFBibTeX XMLCite \textit{H. Rommeswinkel} et al., J. Econ. Theory 214, Article ID 105737, 38 p. (2023; Zbl 07791688) Full Text: DOI
Chi, Xiao A filtering-based general approach to learning rational constraints of epistemic graphs. (English) Zbl 07789769 Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 175-192 (2023). MSC: 68T27 68T05 68T30 PDFBibTeX XMLCite \textit{X. Chi}, Lect. Notes Comput. Sci. 14156, 175--192 (2023; Zbl 07789769) Full Text: DOI arXiv
Luo, Jieting; Studer, Thomas; Dastani, Mehdi Providing personalized explanations: a conversational approach. (English) Zbl 07789766 Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 121-137 (2023). MSC: 68T27 03B42 03B45 PDFBibTeX XMLCite \textit{J. Luo} et al., Lect. Notes Comput. Sci. 14156, 121--137 (2023; Zbl 07789766) Full Text: DOI arXiv
Chen, Chen; Pardo, Pere; van der Torre, Leendert; Yu, Liuwen Weakest link in formal argumentation: lookahead and principle-based analysis. (English) Zbl 07789763 Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 61-83 (2023). Reviewer: Éric Martin (Sydney) MSC: 68-06 68T27 PDFBibTeX XMLCite \textit{C. Chen} et al., Lect. Notes Comput. Sci. 14156, 61--83 (2023; Zbl 07789763) Full Text: DOI
Fu, Xiaoxuan; Zhao, Zhiguang Dynamic modal logic with counting: when reduction axioms work and fail. (English) Zbl 07789760 Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 11-24 (2023). MSC: 03B45 03B42 03B70 PDFBibTeX XMLCite \textit{X. Fu} and \textit{Z. Zhao}, Lect. Notes Comput. Sci. 14156, 11--24 (2023; Zbl 07789760) Full Text: DOI
Cachin, Christian; Lehnherr, David; Studer, Thomas Modal and justification logics for multi-agent systems (invited talk). (English) Zbl 1528.68363 Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 3-8 (2023). MSC: 68T27 03B42 03B45 68T42 PDFBibTeX XMLCite \textit{C. Cachin} et al., Lect. Notes Comput. Sci. 14156, 3--8 (2023; Zbl 1528.68363) Full Text: DOI
Ruangwises, Suthee Physical zero-knowledge proof for ball sort puzzle. (English) Zbl 07787585 Della Vedova, Gianluca (ed.) et al., Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13967, 246-257 (2023). MSC: 03B70 68Qxx PDFBibTeX XMLCite \textit{S. Ruangwises}, Lect. Notes Comput. Sci. 13967, 246--257 (2023; Zbl 07787585) Full Text: DOI arXiv
Priss, Uta Representing concept lattices with Euler diagrams. (English) Zbl 07786590 Dürrschnabel, Dominik (ed.) et al., Formal concept analysis. 17th international conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13934, 183-197 (2023). MSC: 68T30 PDFBibTeX XMLCite \textit{U. Priss}, Lect. Notes Comput. Sci. 13934, 183--197 (2023; Zbl 07786590) Full Text: DOI
Braud, Agnès; Dolques, Xavier; Huchard, Marianne; Le Ber, Florence; Martin, Pierre Relational concept analysis in practice: capitalizing on data modeling using design patterns. (English) Zbl 07786589 Dürrschnabel, Dominik (ed.) et al., Formal concept analysis. 17th international conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13934, 166-182 (2023). MSC: 68T30 PDFBibTeX XMLCite \textit{A. Braud} et al., Lect. Notes Comput. Sci. 13934, 166--182 (2023; Zbl 07786589) Full Text: DOI
Ignatov, Dmitry I. On the maximal independence polynomial of the covering graph of the hypercube up to \(n=6\). (English) Zbl 07786588 Dürrschnabel, Dominik (ed.) et al., Formal concept analysis. 17th international conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13934, 152-165 (2023). MSC: 68T30 PDFBibTeX XMLCite \textit{D. I. Ignatov}, Lect. Notes Comput. Sci. 13934, 152--165 (2023; Zbl 07786588) Full Text: DOI
Dahlhaus, Elias; Ganter, Bernhard Examples of clique closure systems. (English) Zbl 07786587 Dürrschnabel, Dominik (ed.) et al., Formal concept analysis. 17th international conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13934, 143-151 (2023). MSC: 68T30 PDFBibTeX XMLCite \textit{E. Dahlhaus} and \textit{B. Ganter}, Lect. Notes Comput. Sci. 13934, 143--151 (2023; Zbl 07786587) Full Text: DOI
Dudyrev, Egor; Kuznetsov, Sergei O.; Napoli, Amedeo Description quivers for compact representation of concept lattices and ensembles of decision trees. (English) Zbl 07786586 Dürrschnabel, Dominik (ed.) et al., Formal concept analysis. 17th international conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13934, 127-142 (2023). MSC: 68T30 PDFBibTeX XMLCite \textit{E. Dudyrev} et al., Lect. Notes Comput. Sci. 13934, 127--142 (2023; Zbl 07786586) Full Text: DOI
Behrisch, Mike; Renkin, Leon Computing witnesses for centralising monoids on a three-element set. (English) Zbl 07786585 Dürrschnabel, Dominik (ed.) et al., Formal concept analysis. 17th international conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13934, 109-126 (2023). MSC: 68T30 PDFBibTeX XMLCite \textit{M. Behrisch} and \textit{L. Renkin}, Lect. Notes Comput. Sci. 13934, 109--126 (2023; Zbl 07786585) Full Text: DOI
Bazin, Alexandre A triadic generalisation of the Boolean concept lattice. (English) Zbl 07786584 Dürrschnabel, Dominik (ed.) et al., Formal concept analysis. 17th international conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13934, 95-105 (2023). MSC: 68T30 PDFBibTeX XMLCite \textit{A. Bazin}, Lect. Notes Comput. Sci. 13934, 95--105 (2023; Zbl 07786584) Full Text: DOI
Baixeries, Jaume; Codocedo, Victor; Kaytoue, Mehdi; Napoli, Amedeo Three views on dependency covers from an FCA perspective. (English) Zbl 07786583 Dürrschnabel, Dominik (ed.) et al., Formal concept analysis. 17th international conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13934, 78-94 (2023). MSC: 68T30 PDFBibTeX XMLCite \textit{J. Baixeries} et al., Lect. Notes Comput. Sci. 13934, 78--94 (2023; Zbl 07786583) Full Text: DOI
Ganter, Bernhard; Hanika, Tom; Hirth, Johannes Scaling dimension. (English) Zbl 07786582 Dürrschnabel, Dominik (ed.) et al., Formal concept analysis. 17th international conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13934, 64-77 (2023). MSC: 68T30 PDFBibTeX XMLCite \textit{B. Ganter} et al., Lect. Notes Comput. Sci. 13934, 64--77 (2023; Zbl 07786582) Full Text: DOI arXiv
Ojeda-Hernández, Manuel; Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio On the commutative diagrams among Galois connections involved in closure structures. (English) Zbl 07786581 Dürrschnabel, Dominik (ed.) et al., Formal concept analysis. 17th international conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13934, 49-63 (2023). MSC: 68T30 PDFBibTeX XMLCite \textit{M. Ojeda-Hernández} et al., Lect. Notes Comput. Sci. 13934, 49--63 (2023; Zbl 07786581) Full Text: DOI
Ferré, Sébastien Graph-FCA meets pattern structures. (English) Zbl 07786580 Dürrschnabel, Dominik (ed.) et al., Formal concept analysis. 17th international conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13934, 33-48 (2023). MSC: 68T30 PDFBibTeX XMLCite \textit{S. Ferré}, Lect. Notes Comput. Sci. 13934, 33--48 (2023; Zbl 07786580) Full Text: DOI
Pattison, Tim; Nataraja, Aryan Doubly-lexical order supports standardisation and recursive partitioning of formal context. (English) Zbl 07786579 Dürrschnabel, Dominik (ed.) et al., Formal concept analysis. 17th international conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13934, 17-32 (2023). MSC: 68T30 PDFBibTeX XMLCite \textit{T. Pattison} and \textit{A. Nataraja}, Lect. Notes Comput. Sci. 13934, 17--32 (2023; Zbl 07786579) Full Text: DOI
Lobo, David; López-Marchante, Víctor; Medina, Jesús Approximating fuzzy relation equations through concept lattices. (English) Zbl 07786578 Dürrschnabel, Dominik (ed.) et al., Formal concept analysis. 17th international conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13934, 3-16 (2023). MSC: 68T30 PDFBibTeX XMLCite \textit{D. Lobo} et al., Lect. Notes Comput. Sci. 13934, 3--16 (2023; Zbl 07786578) Full Text: DOI
Janičić, Predrag; Narboux, Julien Automated generation of illustrated proofs in geometry and beyond. (English) Zbl 07785121 Ann. Math. Artif. Intell. 91, No. 6, 797-820 (2023). MSC: 68T20 68T30 68T50 51-04 03B35 PDFBibTeX XMLCite \textit{P. Janičić} and \textit{J. Narboux}, Ann. Math. Artif. Intell. 91, No. 6, 797--820 (2023; Zbl 07785121) Full Text: DOI
Espinosa Aldama, Mariana; Casanueva López, Mario Theoretical lattices and formal concept analysis, tools for metatheoretic structuralism. (Spanish. English summary) Zbl 1528.83100 Theoria, Segunda Epoca 38, No. 1, 45-66 (2023). MSC: 83C99 83-08 68T30 PDFBibTeX XMLCite \textit{M. Espinosa Aldama} and \textit{M. Casanueva López}, Theoria, Segunda Epoca 38, No. 1, 45--66 (2023; Zbl 1528.83100) Full Text: DOI
Yang, Zijian Győző; Ligeti-Nagy, Noémi Building machine reading comprehension model from scratch. (English) Zbl 07777141 Ann. Math. Inform. 57, 107-123 (2023). MSC: 68T35 PDFBibTeX XMLCite \textit{Z. G. Yang} and \textit{N. Ligeti-Nagy}, Ann. Math. Inform. 57, 107--123 (2023; Zbl 07777141) Full Text: DOI
Gao, Fei; He, Weikai; Bi, Wenhao Ensemble extended belief rule-based systems with different similarity measures for classification problems. (English) Zbl 07776705 Int. J. Approx. Reasoning 163, Article ID 109054, 18 p. (2023). MSC: 68T35 62H30 68T37 PDFBibTeX XMLCite \textit{F. Gao} et al., Int. J. Approx. Reasoning 163, Article ID 109054, 18 p. (2023; Zbl 07776705) Full Text: DOI
Dautović, Šejla; Doder, Dragan; Ognjanović, Zoran Reasoning about knowledge and conditional probability. (English) Zbl 07776698 Int. J. Approx. Reasoning 163, Article ID 109037, 16 p. (2023). MSC: 03B42 03B48 PDFBibTeX XMLCite \textit{Š. Dautović} et al., Int. J. Approx. Reasoning 163, Article ID 109037, 16 p. (2023; Zbl 07776698) Full Text: DOI
Carozza, Eliana; Couteau, Geoffroy; Joux, Antoine Short signatures from regular syndrome decoding in the head. (English) Zbl 1528.94092 Hazay, Carmit (ed.) et al., Advances in cryptology – EUROCRYPT 2023. 42nd annual international conference on the theory and applications of cryptographic techniques, Lyon, France, April 23–27, 2023. Proceedings. Part V. Cham: Springer. Lect. Notes Comput. Sci. 14008, 532-563 (2023). MSC: 94A62 94A60 81P94 PDFBibTeX XMLCite \textit{E. Carozza} et al., Lect. Notes Comput. Sci. 14008, 532--563 (2023; Zbl 1528.94092) Full Text: DOI
Lai, Junzuo; Zeng, Gongxian; Huang, Zhengan; Yiu, Siu Ming; Mu, Xin; Weng, Jian Asymmetric group message franking: definitions and constructions. (English) Zbl 1528.94063 Hazay, Carmit (ed.) et al., Advances in cryptology – EUROCRYPT 2023. 42nd annual international conference on the theory and applications of cryptographic techniques, Lyon, France, April 23–27, 2023. Proceedings. Part V. Cham: Springer. Lect. Notes Comput. Sci. 14008, 67-97 (2023). MSC: 94A60 94A62 PDFBibTeX XMLCite \textit{J. Lai} et al., Lect. Notes Comput. Sci. 14008, 67--97 (2023; Zbl 1528.94063) Full Text: DOI
Hall-Andersen, Mathias; Nielsen, Jesper Buus On Valiant’s conjecture. Impossibility of incrementally verifiable computation from random oracles. (English) Zbl 07773995 Hazay, Carmit (ed.) et al., Advances in cryptology – EUROCRYPT 2023. 42nd annual international conference on the theory and applications of cryptographic techniques, Lyon, France, April 23–27, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14005, 438-469 (2023). MSC: 68Q10 94A60 PDFBibTeX XMLCite \textit{M. Hall-Andersen} and \textit{J. B. Nielsen}, Lect. Notes Comput. Sci. 14005, 438--469 (2023; Zbl 07773995) Full Text: DOI
Basso, Andrea; Codogni, Giulio; Connolly, Deirdre; De Feo, Luca; Fouotsa, Tako Boris; Lido, Guido Maria; Morrison, Travis; Panny, Lorenz; Patranabis, Sikhar; Wesolowski, Benjamin Supersingular curves you can trust. (English) Zbl 07773994 Hazay, Carmit (ed.) et al., Advances in cryptology – EUROCRYPT 2023. 42nd annual international conference on the theory and applications of cryptographic techniques, Lyon, France, April 23–27, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14005, 405-437 (2023). MSC: 94A60 14G50 11G07 PDFBibTeX XMLCite \textit{A. Basso} et al., Lect. Notes Comput. Sci. 14005, 405--437 (2023; Zbl 07773994) Full Text: DOI
Ganesh, Chaya; Kondi, Yashvanth; Orlandi, Claudio; Pancholi, Mahak; Takahashi, Akira; Tschudi, Daniel Witness-succinct universally-composable SNARKs. (English) Zbl 07773991 Hazay, Carmit (ed.) et al., Advances in cryptology – EUROCRYPT 2023. 42nd annual international conference on the theory and applications of cryptographic techniques, Lyon, France, April 23–27, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14005, 315-346 (2023). MSC: 94A60 68P25 68N20 PDFBibTeX XMLCite \textit{C. Ganesh} et al., Lect. Notes Comput. Sci. 14005, 315--346 (2023; Zbl 07773991) Full Text: DOI
Hu, Haoqi; Xiao, Xiangming; Li, Bin; Zhang, Zeyang; Zhang, Lin; Huang, Yanjun; Chen, Hong A hybrid data-driven and mechanism-based method for vehicle trajectory prediction. (English) Zbl 07772372 Control Theory Technol. 21, No. 3, 301-314 (2023). MSC: 93C85 93B70 PDFBibTeX XMLCite \textit{H. Hu} et al., Control Theory Technol. 21, No. 3, 301--314 (2023; Zbl 07772372) Full Text: DOI
Yuan, Zhongbo; Biswas, Raja; Poh, Leong Hien Accelerated offline setup of homogenized microscopic model for multi-scale analyses using neural network with knowledge transfer. (English) Zbl 07772243 Int. J. Numer. Methods Eng. 124, No. 13, 3063-3086 (2023). MSC: 74Sxx 74Qxx 74Exx PDFBibTeX XMLCite \textit{Z. Yuan} et al., Int. J. Numer. Methods Eng. 124, No. 13, 3063--3086 (2023; Zbl 07772243) Full Text: DOI OA License
Ganesh, Chaya; Nitulescu, Anca; Soria-Vazquez, Eduardo Rinocchio: SNARKs for ring arithmetic. (English) Zbl 1527.94039 J. Cryptology 36, No. 4, Paper No. 41, 50 p. (2023). MSC: 94A60 94A62 PDFBibTeX XMLCite \textit{C. Ganesh} et al., J. Cryptology 36, No. 4, Paper No. 41, 50 p. (2023; Zbl 1527.94039) Full Text: DOI
Abelló, Alberto (ed.); Vassiliadis, Panos (ed.); Romero, Oscar (ed.); Wrembel, Robert (ed.) Advances in databases and information systems. 27th European conference, ADBIS 2023, Barcelona, Spain, September 4–7, 2023. Proceedings. (English) Zbl 1527.68005 Lecture Notes in Computer Science 13985. Cham: Springer (ISBN 978-3-031-42913-2/pbk; 978-3-031-42914-9/ebook). xxii, 254 p. (2023). MSC: 68-06 68P15 68T35 68U35 00B25 PDFBibTeX XMLCite \textit{A. Abelló} (ed.) et al., Advances in databases and information systems. 27th European conference, ADBIS 2023, Barcelona, Spain, September 4--7, 2023. Proceedings. Cham: Springer (2023; Zbl 1527.68005) Full Text: DOI
Ojeda-Aciego, Manuel (ed.); Sauerwald, Kai (ed.); Jäschke, Robert (ed.) Graph-based representation and reasoning. 28th international conference on conceptual structures, ICCS 2023, Berlin, Germany, September 11–13, 2023. Proceedings. (English) Zbl 07767951 Lecture Notes in Computer Science 14133. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-031-40959-2/pbk; 978-3-031-40960-8/ebook). xviii, 206 p. (2023). MSC: 68-06 68T30 00B25 PDFBibTeX XMLCite \textit{M. Ojeda-Aciego} (ed.) et al., Graph-based representation and reasoning. 28th international conference on conceptual structures, ICCS 2023, Berlin, Germany, September 11--13, 2023. Proceedings. Cham: Springer (2023; Zbl 07767951) Full Text: DOI
Parol, Aleksander Book review of: A. Giordani and J. Malinowski, Logic in high definition: trends in logical semantics. (English) Zbl 07767292 Stud. Log. 111, No. 6, 1083-1087 (2023). MSC: 00A17 03B42 03B45 PDFBibTeX XMLCite \textit{A. Parol}, Stud. Log. 111, No. 6, 1083--1087 (2023; Zbl 07767292) Full Text: DOI OA License
Arun, Arasu; Ganesh, Chaya; Lokam, Satya; Mopuri, Tushar; Sridhar, Sriram Dew: a transparent constant-sized polynomial commitment scheme. (English) Zbl 1526.94020 Boldyreva, Alexandra (ed.) et al., Public-key cryptography – PKC 2023. 26th IACR international conference on practice and theory of public-key cryptography, Atlanta, GA, USA, May 7–10, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13941, 542-571 (2023). MSC: 94A60 PDFBibTeX XMLCite \textit{A. Arun} et al., Lect. Notes Comput. Sci. 13941, 542--571 (2023; Zbl 1526.94020) Full Text: DOI
Kolonelos, Dimitris; Maller, Mary; Volkhov, Mikhail Zero-knowledge arguments for subverted RSA groups. (English) Zbl 1526.94035 Boldyreva, Alexandra (ed.) et al., Public-key cryptography – PKC 2023. 26th IACR international conference on practice and theory of public-key cryptography, Atlanta, GA, USA, May 7–10, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13941, 512-541 (2023). MSC: 94A60 PDFBibTeX XMLCite \textit{D. Kolonelos} et al., Lect. Notes Comput. Sci. 13941, 512--541 (2023; Zbl 1526.94035) Full Text: DOI
Liu, Xiangyu; Liu, Shengli; Han, Shuai; Gu, Dawu Fine-grained verifier NIZK and its applications. (English) Zbl 1526.94038 Boldyreva, Alexandra (ed.) et al., Public-key cryptography – PKC 2023. 26th IACR international conference on practice and theory of public-key cryptography, Atlanta, GA, USA, May 7–10, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13941, 482-511 (2023). MSC: 94A60 PDFBibTeX XMLCite \textit{X. Liu} et al., Lect. Notes Comput. Sci. 13941, 482--511 (2023; Zbl 1526.94038) Full Text: DOI
Fouque, Pierre-Alain; Georgescu, Adela; Qian, Chen; Roux-Langlois, Adeline; Wen, Weiqiang A generic transform from multi-round interactive proof to NIZK. (English) Zbl 1526.94031 Boldyreva, Alexandra (ed.) et al., Public-key cryptography – PKC 2023. 26th IACR international conference on practice and theory of public-key cryptography, Atlanta, GA, USA, May 7–10, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13941, 461-481 (2023). MSC: 94A60 81P94 PDFBibTeX XMLCite \textit{P.-A. Fouque} et al., Lect. Notes Comput. Sci. 13941, 461--481 (2023; Zbl 1526.94031) Full Text: DOI
Bhadauria, Rishabh; Hazay, Carmit; Venkitasubramaniam, Muthuramakrishnan; Wu, Wenxuan; Zhang, Yupeng Private polynomial commitments and applications to MPC. (English) Zbl 1526.94026 Boldyreva, Alexandra (ed.) et al., Public-key cryptography – PKC 2023. 26th IACR international conference on practice and theory of public-key cryptography, Atlanta, GA, USA, May 7–10, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13941, 127-158 (2023). MSC: 94A60 94A62 PDFBibTeX XMLCite \textit{R. Bhadauria} et al., Lect. Notes Comput. Sci. 13941, 127--158 (2023; Zbl 1526.94026) Full Text: DOI
Leemhuis, Mena; Özçep, Özgür L. Conceptual orthospaces – convexity meets negation. (English) Zbl 07766526 Int. J. Approx. Reasoning 162, Article ID 109013, 30 p. (2023). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{M. Leemhuis} and \textit{Ö. L. Özçep}, Int. J. Approx. Reasoning 162, Article ID 109013, 30 p. (2023; Zbl 07766526) Full Text: DOI
Ktari, Raïda; Boujelben, Mohamed Ayman; Würbel, Éric Toward credible belief base revision. (English) Zbl 07766521 Int. J. Approx. Reasoning 162, Article ID 109007, 18 p. (2023). MSC: 68T30 03B42 68T27 PDFBibTeX XMLCite \textit{R. Ktari} et al., Int. J. Approx. Reasoning 162, Article ID 109007, 18 p. (2023; Zbl 07766521) Full Text: DOI
Fermé, Eduardo; Gonçalves, Sara On the logic of theory change iteration of KM-update. (English) Zbl 07766520 Int. J. Approx. Reasoning 162, Article ID 109005, 14 p. (2023). MSC: 68T27 03B42 68T30 PDFBibTeX XMLCite \textit{E. Fermé} and \textit{S. Gonçalves}, Int. J. Approx. Reasoning 162, Article ID 109005, 14 p. (2023; Zbl 07766520) Full Text: DOI
Afonso, Óscar Inter- and intracountry effects of the Covid-19 pandemic on wages and economic growth. (English) Zbl 07765922 Bull. Econ. Res. 75, No. 4, 1291-1322 (2023). MSC: 91B62 91B39 PDFBibTeX XMLCite \textit{Ó. Afonso}, Bull. Econ. Res. 75, No. 4, 1291--1322 (2023; Zbl 07765922) Full Text: DOI
Baum, Carsten; Dittmer, Samuel; Scholl, Peter; Wang, Xiao Sok: vector OLE-based zero-knowledge protocols. (English) Zbl 07761863 Des. Codes Cryptography 91, No. 11, 3527-3561 (2023). MSC: 68-02 68Q99 94A60 PDFBibTeX XMLCite \textit{C. Baum} et al., Des. Codes Cryptography 91, No. 11, 3527--3561 (2023; Zbl 07761863) Full Text: DOI OA License
Benarroch, Daniel; Campanelli, Matteo; Fiore, Dario; Gurkan, Kobi; Kolonelos, Dimitris Zero-knowledge proofs for set membership: efficient, succinct, modular. (English) Zbl 1526.94024 Des. Codes Cryptography 91, No. 11, 3457-3525 (2023). MSC: 94A60 PDFBibTeX XMLCite \textit{D. Benarroch} et al., Des. Codes Cryptography 91, No. 11, 3457--3525 (2023; Zbl 1526.94024) Full Text: DOI OA License
Beullens, Ward; De Feo, Luca; Galbraith, Steven D.; Petit, Christophe Proving knowledge of isogenies: a survey. (English) Zbl 1526.94025 Des. Codes Cryptography 91, No. 11, 3425-3456 (2023). MSC: 94A60 11G20 14K02 14G50 81P94 PDFBibTeX XMLCite \textit{W. Beullens} et al., Des. Codes Cryptography 91, No. 11, 3425--3456 (2023; Zbl 1526.94025) Full Text: DOI
Jia, Lixin; Li, Jinjun; Ni, Hongjie; Zhang, Dan Autonomous mobile robot global path planning: a prior information-based particle swarm optimization approach. (English) Zbl 07761851 Control Theory Technol. 21, No. 2, 173-189 (2023). MSC: 93C85 90C59 PDFBibTeX XMLCite \textit{L. Jia} et al., Control Theory Technol. 21, No. 2, 173--189 (2023; Zbl 07761851) Full Text: DOI
Ataeva, O. M.; Karnet, Yu. N.; Serebryakov, V. A.; Tuchkova, N. P. Approach to creating a thesaurus and a knowledge graph of an applied subject area. (English) Zbl 1528.68400 Lobachevskii J. Math. 44, No. 7, 2577-2586 (2023). MSC: 68V35 68T30 68V30 PDFBibTeX XMLCite \textit{O. M. Ataeva} et al., Lobachevskii J. Math. 44, No. 7, 2577--2586 (2023; Zbl 1528.68400) Full Text: DOI