Zhang, Xiaoqi; Lin, Tengxiang; Lin, Cheng-Kuan; Chen, Zhen; Cheng, Hongju Computational task offloading algorithm based on deep reinforcement learning and multi-task dependency. (English) Zbl 07819257 Theor. Comput. Sci. 993, Article ID 114462, 16 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{X. Zhang} et al., Theor. Comput. Sci. 993, Article ID 114462, 16 p. (2024; Zbl 07819257) Full Text: DOI
Poggiali, Alessandro; Berti, Alessandro; Bernasconi, Anna; Del Corso, Gianna M.; Guidotti, Riccardo Quantum clustering with \(k\)-means: a hybrid approach. (English) Zbl 07813025 Theor. Comput. Sci. 992, Article ID 114466, 17 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{A. Poggiali} et al., Theor. Comput. Sci. 992, Article ID 114466, 17 p. (2024; Zbl 07813025) Full Text: DOI arXiv
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
Cohen, Alon; Deligkas, Argyrios; Koren, Moran Learning approximately optimal contracts. (English) Zbl 07767576 Theor. Comput. Sci. 980, Article ID 114219, 10 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{A. Cohen} et al., Theor. Comput. Sci. 980, Article ID 114219, 10 p. (2023; Zbl 07767576) 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
He, Yuchen; Zhang, Chihao Improved algorithms for bandit with graph feedback via regret decomposition. (English) Zbl 07755519 Theor. Comput. Sci. 979, Article ID 114200, 25 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{Y. He} and \textit{C. Zhang}, Theor. Comput. Sci. 979, Article ID 114200, 25 p. (2023; Zbl 07755519) Full Text: DOI arXiv
Feng, Raymond; Geneson, Jesse; Lee, Andrew; Slettnes, Espen Sharp bounds on the price of bandit feedback for several models of mistake-bounded online learning. (English) Zbl 1517.68150 Theor. Comput. Sci. 965, Article ID 113980, 12 p. (2023). MSC: 68Q32 68T05 68W27 PDFBibTeX XMLCite \textit{R. Feng} et al., Theor. Comput. Sci. 965, Article ID 113980, 12 p. (2023; Zbl 1517.68150) Full Text: DOI arXiv
Ipate, Florentin; Niculescu, Ionuţ; Lefticaru, Raluca; Konur, Savas; Gheorghe, Marian A model learning based testing approach for kernel P systems. (English) Zbl 1512.68095 Theor. Comput. Sci. 965, Article ID 113975, 14 p. (2023). MSC: 68Q07 68Q32 PDFBibTeX XMLCite \textit{F. Ipate} et al., Theor. Comput. Sci. 965, Article ID 113975, 14 p. (2023; Zbl 1512.68095) Full Text: DOI
Bazhenov, Nikolay; Cipriani, Vittorio; San Mauro, Luca Learning algebraic structures with the help of Borel equivalence relations. (English) Zbl 07661889 Theor. Comput. Sci. 951, Article ID 113762, 18 p. (2023). MSC: 03E15 03C57 68Q32 PDFBibTeX XMLCite \textit{N. Bazhenov} et al., Theor. Comput. Sci. 951, Article ID 113762, 18 p. (2023; Zbl 07661889) Full Text: DOI arXiv
Liu, Depeng; Wang, Bow-Yaw; Fu, Chen; Zhang, Lijun Model checking differentially private properties. (English) Zbl 1512.68157 Theor. Comput. Sci. 943, 153-170 (2023). MSC: 68Q60 03B44 60J20 68P27 90C40 PDFBibTeX XMLCite \textit{D. Liu} et al., Theor. Comput. Sci. 943, 153--170 (2023; Zbl 1512.68157) Full Text: DOI
Karthick, G. S.; Pankajavalli, P. B. Chronic obstructive pulmonary disease prediction using Internet of Things-Spiro system and fuzzy-based quantum neural network classifier. (English) Zbl 07638349 Theor. Comput. Sci. 941, 55-76 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{G. S. Karthick} and \textit{P. B. Pankajavalli}, Theor. Comput. Sci. 941, 55--76 (2023; Zbl 07638349) Full Text: DOI
Perumalla, Subhadra; Chatterjee, Santanu; Kumar, A. P. Siva Modelling of oppositional Aquila Optimizer with machine learning enabled secure access control in Internet of drones environment. (English) Zbl 07638348 Theor. Comput. Sci. 941, 39-54 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. Perumalla} et al., Theor. Comput. Sci. 941, 39--54 (2023; Zbl 07638348) Full Text: DOI
Kantamaneni, Sravanthi; Charles, A.; Babu, T. Ranga Speech enhancement with noise estimation and filtration using deep learning models. (English) Zbl 07638346 Theor. Comput. Sci. 941, 14-28 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. Kantamaneni} et al., Theor. Comput. Sci. 941, 14--28 (2023; Zbl 07638346) Full Text: DOI
Ren, Chunying; Wu, Zijun; Xu, Dachuan; Xu, Wenqing A game-theoretic perspective of deep neural networks. (English) Zbl 1507.68274 Theor. Comput. Sci. 939, 48-62 (2023). MSC: 68T07 91A80 PDFBibTeX XMLCite \textit{C. Ren} et al., Theor. Comput. Sci. 939, 48--62 (2023; Zbl 1507.68274) Full Text: DOI
Venhoek, David; Moerman, Joshua; Rot, Jurriaan Fast computations on ordered nominal sets. (English) Zbl 1518.68194 Theor. Comput. Sci. 935, 82-104 (2022). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Venhoek} et al., Theor. Comput. Sci. 935, 82--104 (2022; Zbl 1518.68194) Full Text: DOI
Ma, Ran; Guo, Sainan; Zhang, Xiaoyan An optimal online algorithm for single-processor scheduling problem with learning effect. (English) Zbl 07597572 Theor. Comput. Sci. 928, 1-12 (2022). MSC: 68W27 68M20 90B35 PDFBibTeX XMLCite \textit{R. Ma} et al., Theor. Comput. Sci. 928, 1--12 (2022; Zbl 07597572) Full Text: DOI
Krishna Narayanan, S.; Dhanasekaran, S.; Vasudevan, V. An effective parameter tuned deep belief network for detecting anomalous behavior in sensor-based cyber-physical systems. (English) Zbl 07579642 Theor. Comput. Sci. 931, 142-151 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. Krishna Narayanan} et al., Theor. Comput. Sci. 931, 142--151 (2022; Zbl 07579642) Full Text: DOI
Li, Tingyu; Yu, Jing; Zhang, Haiping Web of things based social media fake news classification with feature extraction using pre-trained convoluted recurrent network with deep fuzzy learning. (English) Zbl 07579636 Theor. Comput. Sci. 931, 65-77 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{T. Li} et al., Theor. Comput. Sci. 931, 65--77 (2022; Zbl 07579636) Full Text: DOI
Bampis, Evripidis; Christou, Dimitris; Escoffier, Bruno; Kim Thang Nguyen Online learning for min-max discrete problems. (English) Zbl 07575108 Theor. Comput. Sci. 930, 209-217 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{E. Bampis} et al., Theor. Comput. Sci. 930, 209--217 (2022; Zbl 07575108) Full Text: DOI arXiv
Gurram, Girija Vani; Shariff, Noorullah C.; Biradar, Rajkumar L. A secure energy aware meta-heuristic routing protocol (SEAMHR) for sustainable IoT-wireless sensor network (WSN). (English) Zbl 07575097 Theor. Comput. Sci. 930, 63-76 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{G. V. Gurram} et al., Theor. Comput. Sci. 930, 63--76 (2022; Zbl 07575097) Full Text: DOI
Roy, Partha Sarathi; Duong, Dung Hoang; Susilo, Willy; Sipasseuth, Arnaud; Fukushima, Kazuhide; Kiyomoto, Shinsaku Lattice-based public-key encryption with equality test supporting flexible authorization in standard model. (English) Zbl 07575084 Theor. Comput. Sci. 929, 124-139 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{P. S. Roy} et al., Theor. Comput. Sci. 929, 124--139 (2022; Zbl 07575084) Full Text: DOI arXiv
Dutta, Priyanka; Susilo, Willy; Dung Hoang Duong; Roy, Partha Sarathi Puncturable identity-based and attribute-based encryption from lattices. (English) Zbl 07575078 Theor. Comput. Sci. 929, 18-38 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{P. Dutta} et al., Theor. Comput. Sci. 929, 18--38 (2022; Zbl 07575078) Full Text: DOI
Kumar, A. Satish; Revathy, S. A hybrid soft computing with big data analytics based protection and recovery strategy for security enhancement in large scale real world online social networks. (English) Zbl 07570311 Theor. Comput. Sci. 927, 15-30 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{A. S. Kumar} and \textit{S. Revathy}, Theor. Comput. Sci. 927, 15--30 (2022; Zbl 07570311) Full Text: DOI
Ipate, Florentin; Gheorghe, Marian A model learning based testing approach for spiking neural P systems. (English) Zbl 1497.68191 Theor. Comput. Sci. 924, 1-16 (2022). MSC: 68Q07 68Q32 68Q45 PDFBibTeX XMLCite \textit{F. Ipate} and \textit{M. Gheorghe}, Theor. Comput. Sci. 924, 1--16 (2022; Zbl 1497.68191) Full Text: DOI
Vaandrager, Frits; Midya, Abhisek A Myhill-Nerode theorem for register automata and symbolic trace languages. (English) Zbl 1492.68083 Theor. Comput. Sci. 912, 37-55 (2022). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q45 68Q32 PDFBibTeX XMLCite \textit{F. Vaandrager} and \textit{A. Midya}, Theor. Comput. Sci. 912, 37--55 (2022; Zbl 1492.68083) Full Text: DOI
Liu, Bo; Shen, Mengya Some geometrical and topological properties of DNNs’ decision boundaries. (English) Zbl 07477143 Theor. Comput. Sci. 908, 64-75 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{B. Liu} and \textit{M. Shen}, Theor. Comput. Sci. 908, 64--75 (2022; Zbl 07477143) Full Text: DOI arXiv
Duong, Dung Hoang; Roy, Partha Sarathi; Susilo, Willy; Fukushima, Kazuhide; Kiyomoto, Shinsaku; Sipasseuth, Arnaud Chosen-ciphertext lattice-based public key encryption with equality test in standard model. (English) Zbl 07467477 Theor. Comput. Sci. 905, 31-53 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. H. Duong} et al., Theor. Comput. Sci. 905, 31--53 (2022; Zbl 07467477) Full Text: DOI arXiv
Pham, Minh Thuy Truc; Nguyen, Ngoc Ai Van; Jiang, Mei; Duong, Dung Hoang; Susilo, Willy Wildcarded identity-based encryption from lattices. (English) Zbl 07458783 Theor. Comput. Sci. 902, 41-53 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. T. T. Pham} et al., Theor. Comput. Sci. 902, 41--53 (2022; Zbl 07458783) Full Text: DOI
Fici, Gabriele; Prezza, Nicola; Venturini, Rossano Adaptive learning of compressible strings. (English) Zbl 1514.68329 Theor. Comput. Sci. 896, 46-52 (2021). MSC: 68W32 68P30 68Q30 68T05 68W40 PDFBibTeX XMLCite \textit{G. Fici} et al., Theor. Comput. Sci. 896, 46--52 (2021; Zbl 1514.68329) Full Text: DOI arXiv
Fujii, Kaito; Soma, Tasuku; Yoshida, Yuichi Polynomial-time algorithms for submodular Laplacian systems. (English) Zbl 1514.68216 Theor. Comput. Sci. 892, 170-186 (2021). MSC: 68R10 05C50 68Q25 68T05 PDFBibTeX XMLCite \textit{K. Fujii} et al., Theor. Comput. Sci. 892, 170--186 (2021; Zbl 1514.68216) Full Text: DOI arXiv
Sehrawat, Vipin Singh; Yeo, Foo Yee; Desmedt, Yvo Extremal set theory and LWE based access structure hiding verifiable secret sharing with malicious-majority and free verification. (English) Zbl 1517.94205 Theor. Comput. Sci. 886, 106-138 (2021). MSC: 94A62 94A60 05D05 PDFBibTeX XMLCite \textit{V. S. Sehrawat} et al., Theor. Comput. Sci. 886, 106--138 (2021; Zbl 1517.94205) Full Text: DOI arXiv
Li, Yang; Allison, Lloyd; Korb, Kevin B. The difficulty of being moral. (English) Zbl 1514.68257 Theor. Comput. Sci. 885, 77-90 (2021). MSC: 68T05 68Q17 68R10 68W40 PDFBibTeX XMLCite \textit{Y. Li} et al., Theor. Comput. Sci. 885, 77--90 (2021; Zbl 1514.68257) Full Text: DOI
Geneson, Jesse A note on the price of bandit feedback for mistake-bounded online learning. (English) Zbl 1504.68085 Theor. Comput. Sci. 874, 42-45 (2021). MSC: 68Q32 62H30 62L15 68T05 68W27 PDFBibTeX XMLCite \textit{J. Geneson}, Theor. Comput. Sci. 874, 42--45 (2021; Zbl 1504.68085) Full Text: DOI arXiv
Yan, Di; Yu, Yu; Liu, Hanlin; Zhao, Shuoyao; Zhang, Jiang An improved algorithm for learning sparse parities in the presence of noise. (English) Zbl 1504.68088 Theor. Comput. Sci. 873, 76-86 (2021). MSC: 68Q32 68T05 PDFBibTeX XMLCite \textit{D. Yan} et al., Theor. Comput. Sci. 873, 76--86 (2021; Zbl 1504.68088) Full Text: DOI
Ipate, Florentin; Gheorghe, Marian; Lefticaru, Raluca Fundamental results for learning deterministic extended finite state machines from queries. (English) Zbl 1497.68234 Theor. Comput. Sci. 862, 160-173 (2021). MSC: 68Q32 68Q45 PDFBibTeX XMLCite \textit{F. Ipate} et al., Theor. Comput. Sci. 862, 160--173 (2021; Zbl 1497.68234) Full Text: DOI
Sharma, Arpit The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism. (English) Zbl 1464.68263 Theor. Comput. Sci. 850, 148-167 (2021). MSC: 68Q85 03B44 60J20 68Q87 PDFBibTeX XMLCite \textit{A. Sharma}, Theor. Comput. Sci. 850, 148--167 (2021; Zbl 1464.68263) Full Text: DOI
Koponen, Vera Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination. (English) Zbl 1483.03023 Theor. Comput. Sci. 848, 1-27 (2020). Reviewer: Jürgen Landes (München) MSC: 03C13 03B42 03B48 03C10 68Q11 68Q87 68T05 PDFBibTeX XMLCite \textit{V. Koponen}, Theor. Comput. Sci. 848, 1--27 (2020; Zbl 1483.03023) Full Text: DOI arXiv
Rocha, Thiago Alves; Martins, Ana Teresa; Ferreira, Francicleber Martins Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT. (English) Zbl 1460.68099 Theor. Comput. Sci. 843, 115-135 (2020). MSC: 68T20 03C13 68Q32 68Q42 68R07 PDFBibTeX XMLCite \textit{T. A. Rocha} et al., Theor. Comput. Sci. 843, 115--135 (2020; Zbl 1460.68099) Full Text: DOI
Atamna, Asma; Auger, Anne; Hansen, Nikolaus On invariance and linear convergence of evolution strategies with augmented Lagrangian constraint handling. (English) Zbl 1443.68225 Theor. Comput. Sci. 832, 68-97 (2020). MSC: 68W50 60J20 68W20 90C59 PDFBibTeX XMLCite \textit{A. Atamna} et al., Theor. Comput. Sci. 832, 68--97 (2020; Zbl 1443.68225) Full Text: DOI HAL
Long, Philip M. New bounds on the price of bandit feedback for mistake-bounded online multiclass learning. (English) Zbl 1436.68153 Theor. Comput. Sci. 808, 159-163 (2020). MSC: 68Q32 62H30 62L15 68T05 68W27 PDFBibTeX XMLCite \textit{P. M. Long}, Theor. Comput. Sci. 808, 159--163 (2020; Zbl 1436.68153) Full Text: DOI
Gupta, Arushi; Hsu, Daniel Parameter identification in Markov chain choice models. (English) Zbl 1436.90063 Theor. Comput. Sci. 808, 99-107 (2020). MSC: 90B50 60J20 PDFBibTeX XMLCite \textit{A. Gupta} and \textit{D. Hsu}, Theor. Comput. Sci. 808, 99--107 (2020; Zbl 1436.90063) Full Text: DOI arXiv
Feldman, Vitaly; Kothari, Pravesh; Vondrák, Jan Tight bounds on \(\ell_1\) approximation and learning of self-bounding functions. (English) Zbl 1436.68152 Theor. Comput. Sci. 808, 86-98 (2020). MSC: 68Q32 PDFBibTeX XMLCite \textit{V. Feldman} et al., Theor. Comput. Sci. 808, 86--98 (2020; Zbl 1436.68152) Full Text: DOI
Ensign, Danielle; Neville, Scott; Paul, Arnab; Venkatasubramanian, Suresh The complexity of explaining neural networks through (group) invariants. (English) Zbl 1436.68320 Theor. Comput. Sci. 808, 74-85 (2020). MSC: 68T07 68Q17 PDFBibTeX XMLCite \textit{D. Ensign} et al., Theor. Comput. Sci. 808, 74--85 (2020; Zbl 1436.68320) Full Text: DOI
Bayeh, Fahimeh; Gao, Ziyuan; Zilles, Sandra Finitely distinguishable erasing pattern languages. (English) Zbl 1436.68159 Theor. Comput. Sci. 808, 38-73 (2020). MSC: 68Q45 68Q32 PDFBibTeX XMLCite \textit{F. Bayeh} et al., Theor. Comput. Sci. 808, 38--73 (2020; Zbl 1436.68159) Full Text: DOI
Angluin, Dana; Dohrn, Tyler The power of random counterexamples. (English) Zbl 1436.68151 Theor. Comput. Sci. 808, 2-13 (2020). MSC: 68Q32 PDFBibTeX XMLCite \textit{D. Angluin} and \textit{T. Dohrn}, Theor. Comput. Sci. 808, 2--13 (2020; Zbl 1436.68151) Full Text: DOI
Hanneke, Steve (ed.); Reyzin, Lev (ed.) Special issue on ALT 2017: Guest editors’ introduction. (English) Zbl 1436.68030 Theor. Comput. Sci. 808, 1 (2020). MSC: 68-06 68Q32 68T05 00B25 PDFBibTeX XMLCite \textit{S. Hanneke} (ed.) and \textit{L. Reyzin} (ed.), Theor. Comput. Sci. 808, 1 (2020; Zbl 1436.68030) Full Text: DOI
Fujita, Takahiro; Hatano, Kohei; Takimoto, Eiji Boosting over non-deterministic ZDDs. (English) Zbl 1436.68301 Theor. Comput. Sci. 806, 81-89 (2020). MSC: 68T05 68P05 68P30 PDFBibTeX XMLCite \textit{T. Fujita} et al., Theor. Comput. Sci. 806, 81--89 (2020; Zbl 1436.68301) Full Text: DOI Link
Rocha, Thiago Alves; Martins, Ana Teresa; Ferreira, Francicleber Martins Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games. (English) Zbl 1436.68154 Theor. Comput. Sci. 805, 109-126 (2020). MSC: 68Q32 03B70 03C07 03C13 68R07 PDFBibTeX XMLCite \textit{T. A. Rocha} et al., Theor. Comput. Sci. 805, 109--126 (2020; Zbl 1436.68154) Full Text: DOI
Shir, Ofer M.; Yehudayoff, Amir On the covariance-Hessian relation in evolution strategies. (English) Zbl 1436.68326 Theor. Comput. Sci. 801, 157-174 (2020). MSC: 68T20 62H10 68T05 90C59 PDFBibTeX XMLCite \textit{O. M. Shir} and \textit{A. Yehudayoff}, Theor. Comput. Sci. 801, 157--174 (2020; Zbl 1436.68326) Full Text: DOI arXiv
Hanneke, Steve; Kontorovich, Aryeh Optimality of SVM: novel proofs and tighter bounds. (English) Zbl 1436.68304 Theor. Comput. Sci. 796, 99-113 (2019). MSC: 68T05 62H30 PDFBibTeX XMLCite \textit{S. Hanneke} and \textit{A. Kontorovich}, Theor. Comput. Sci. 796, 99--113 (2019; Zbl 1436.68304) Full Text: DOI
Yang, Liya; Lu, Xiwen Two-agent scheduling problems with the general position-dependent processing time. (English) Zbl 1435.90076 Theor. Comput. Sci. 796, 90-98 (2019). MSC: 90B35 68M20 68Q25 68W25 PDFBibTeX XMLCite \textit{L. Yang} and \textit{X. Lu}, Theor. Comput. Sci. 796, 90--98 (2019; Zbl 1435.90076) Full Text: DOI
Amir, Michael; Bruckstein, Alfred M. Probabilistic pursuits on graphs. (English) Zbl 1431.68086 Theor. Comput. Sci. 795, 459-477 (2019). MSC: 68R10 05C81 60J20 PDFBibTeX XMLCite \textit{M. Amir} and \textit{A. M. Bruckstein}, Theor. Comput. Sci. 795, 459--477 (2019; Zbl 1431.68086) Full Text: DOI arXiv
Jain, Sanjay; Kinber, Efim Intrinsic complexity of partial learning. (English) Zbl 1473.68101 Theor. Comput. Sci. 776, 43-63 (2019). Reviewer: Ding-Xuan Zhou (Hong Kong) MSC: 68Q32 68Q45 PDFBibTeX XMLCite \textit{S. Jain} and \textit{E. Kinber}, Theor. Comput. Sci. 776, 43--63 (2019; Zbl 1473.68101) Full Text: DOI
Hanneke, Steve; Yang, Liu Testing piecewise functions. (English) Zbl 1400.68260 Theor. Comput. Sci. 745, 23-35 (2018). MSC: 68W20 68T05 PDFBibTeX XMLCite \textit{S. Hanneke} and \textit{L. Yang}, Theor. Comput. Sci. 745, 23--35 (2018; Zbl 1400.68260) Full Text: DOI arXiv
Hölzl, Rupert; Jain, Sanjay; Stephan, Frank Learning pattern languages over groups. (English) Zbl 1398.68265 Theor. Comput. Sci. 742, 66-81 (2018). MSC: 68Q32 20F10 68Q45 PDFBibTeX XMLCite \textit{R. Hölzl} et al., Theor. Comput. Sci. 742, 66--81 (2018; Zbl 1398.68265) Full Text: DOI
Kotłowski, Wojciech On minimaxity of follow the leader strategy in the stochastic setting. (English) Zbl 1398.68444 Theor. Comput. Sci. 742, 50-65 (2018). MSC: 68T05 62C20 62M20 91A26 PDFBibTeX XMLCite \textit{W. Kotłowski}, Theor. Comput. Sci. 742, 50--65 (2018; Zbl 1398.68444) Full Text: DOI
Ortner, Ronald (ed.); Simon, Hans Ulrich (ed.) Guest editors’ foreword. (English) Zbl 1398.00108 Theor. Comput. Sci. 742, 1-2 (2018). MSC: 00B25 68-06 68Q32 68T05 PDFBibTeX XMLCite \textit{R. Ortner} (ed.) and \textit{H. U. Simon} (ed.), Theor. Comput. Sci. 742, 1--2 (2018; Zbl 1398.00108) Full Text: DOI
Kawachi, Akinori Circuit lower bounds from learning-theoretic approaches. (English) Zbl 1393.68152 Theor. Comput. Sci. 733, 83-98 (2018). MSC: 68T05 68Q17 94C10 PDFBibTeX XMLCite \textit{A. Kawachi}, Theor. Comput. Sci. 733, 83--98 (2018; Zbl 1393.68152) Full Text: DOI
Case, John; Jain, Sanjay; Stephan, Frank Effectivity questions for Kleene’s recursion theorem. (English) Zbl 1393.68086 Theor. Comput. Sci. 733, 55-70 (2018). MSC: 68Q32 03D20 68Q30 PDFBibTeX XMLCite \textit{J. Case} et al., Theor. Comput. Sci. 733, 55--70 (2018; Zbl 1393.68086) Full Text: DOI
Fernau, Henning; Manea, Florin; Mercaş, Robert; Schmid, Markus L. Revisiting Shinohara’s algorithm for computing descriptive patterns. (English) Zbl 1408.68085 Theor. Comput. Sci. 733, 44-54 (2018). Reviewer: Ding-Xuan Zhou (Hong Kong) MSC: 68Q32 68Q17 68Q25 68Q45 PDFBibTeX XMLCite \textit{H. Fernau} et al., Theor. Comput. Sci. 733, 44--54 (2018; Zbl 1408.68085) Full Text: DOI Link
Zeugmann, Thomas (ed.) Guest editor’s foreword. (English) Zbl 1395.00086 Theor. Comput. Sci. 733, 1-3 (2018). MSC: 00B25 68-06 68Q32 68T05 PDFBibTeX XMLCite \textit{T. Zeugmann} (ed.), Theor. Comput. Sci. 733, 1--3 (2018; Zbl 1395.00086) Full Text: DOI
Gao, Ziyuan; Simon, Hans Ulrich; Zilles, Sandra On the teaching complexity of linear sets. (English) Zbl 1388.68150 Theor. Comput. Sci. 716, 107-123 (2018). MSC: 68Q32 PDFBibTeX XMLCite \textit{Z. Gao} et al., Theor. Comput. Sci. 716, 107--123 (2018; Zbl 1388.68150) Full Text: DOI
Balle, Borja; Mohri, Mehryar Generalization bounds for learning weighted automata. (English) Zbl 1388.68148 Theor. Comput. Sci. 716, 89-106 (2018). MSC: 68Q32 68Q45 PDFBibTeX XMLCite \textit{B. Balle} and \textit{M. Mohri}, Theor. Comput. Sci. 716, 89--106 (2018; Zbl 1388.68148) Full Text: DOI arXiv
Darnstädt, Malte; Ries, Christoph; Simon, Hans Ulrich Hierarchical design of fast minimum disagreement algorithms. (English) Zbl 1388.68249 Theor. Comput. Sci. 716, 70-88 (2018). MSC: 68T05 68P05 68Q25 PDFBibTeX XMLCite \textit{M. Darnstädt} et al., Theor. Comput. Sci. 716, 70--88 (2018; Zbl 1388.68249) Full Text: DOI
Leike, Jan; Hutter, Marcus On the computability of Solomonoff induction and AIXI. (English) Zbl 1388.68253 Theor. Comput. Sci. 716, 28-49 (2018). MSC: 68T05 03D15 68Q30 PDFBibTeX XMLCite \textit{J. Leike} and \textit{M. Hutter}, Theor. Comput. Sci. 716, 28--49 (2018; Zbl 1388.68253) Full Text: DOI Link
Abasi, Hasan; Bshouty, Nader H.; Mazzawi, Hanna Non-adaptive learning of a hidden hypergraph. (English) Zbl 1388.68146 Theor. Comput. Sci. 716, 15-27 (2018). MSC: 68Q32 05C65 PDFBibTeX XMLCite \textit{H. Abasi} et al., Theor. Comput. Sci. 716, 15--27 (2018; Zbl 1388.68146) Full Text: DOI
Hermo, Montserrat; Ozaki, Ana Exact learning of multivalued dependency formulas. (English) Zbl 1388.68031 Theor. Comput. Sci. 716, 4-14 (2018). MSC: 68P15 03B70 68Q32 PDFBibTeX XMLCite \textit{M. Hermo} and \textit{A. Ozaki}, Theor. Comput. Sci. 716, 4--14 (2018; Zbl 1388.68031) Full Text: DOI
Chaudhuri, Kamalika (ed.); Gentile, Claudio (ed.) Special issue on ALT 2015: guest editors’ introduction. (English) Zbl 1384.00099 Theor. Comput. Sci. 716, 1-3 (2018). MSC: 00B25 68-06 68Q32 PDFBibTeX XMLCite \textit{K. Chaudhuri} (ed.) and \textit{C. Gentile} (ed.), Theor. Comput. Sci. 716, 1--3 (2018; Zbl 1384.00099) Full Text: DOI
Arias, Marta; Balcázar, José L.; Tîrnăucă, Cristina Learning definite Horn formulas from closure queries. (English) Zbl 1356.68114 Theor. Comput. Sci. 658, Part B, 346-356 (2017). MSC: 68Q32 03B70 06A15 PDFBibTeX XMLCite \textit{M. Arias} et al., Theor. Comput. Sci. 658, Part B, 346--356 (2017; Zbl 1356.68114) Full Text: DOI arXiv
Maurer, Andreas A chain rule for the expected suprema of Gaussian processes. (English) Zbl 1353.68242 Theor. Comput. Sci. 650, 109-122 (2016). MSC: 68T05 60G15 60G60 60G70 PDFBibTeX XMLCite \textit{A. Maurer}, Theor. Comput. Sci. 650, 109--122 (2016; Zbl 1353.68242) Full Text: DOI
Angluin, Dana; Fisman, Dana Learning regular omega languages. (English) Zbl 1362.68118 Theor. Comput. Sci. 650, 57-72 (2016). Reviewer: Ludwig Staiger (Halle/Saale) MSC: 68Q32 68Q45 PDFBibTeX XMLCite \textit{D. Angluin} and \textit{D. Fisman}, Theor. Comput. Sci. 650, 57--72 (2016; Zbl 1362.68118) Full Text: DOI
Abasi, Hasan; Abdi, Ali Z.; Bshouty, Nader H. Learning Boolean halfspaces with small weights from membership queries. (English) Zbl 1358.68152 Theor. Comput. Sci. 650, 45-56 (2016). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q32 68Q45 PDFBibTeX XMLCite \textit{H. Abasi} et al., Theor. Comput. Sci. 650, 45--56 (2016; Zbl 1358.68152) Full Text: DOI
Jain, Sanjay; Kinber, Efim Parallel learning of automatic classes of languages. (English) Zbl 1362.68120 Theor. Comput. Sci. 650, 25-44 (2016). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q32 68Q45 PDFBibTeX XMLCite \textit{S. Jain} and \textit{E. Kinber}, Theor. Comput. Sci. 650, 25--44 (2016; Zbl 1362.68120) Full Text: DOI
Kötzing, Timo; Palenta, Raphaela A map of update constraints in inductive inference. (English) Zbl 1353.68152 Theor. Comput. Sci. 650, 4-24 (2016). MSC: 68Q32 68Q45 PDFBibTeX XMLCite \textit{T. Kötzing} and \textit{R. Palenta}, Theor. Comput. Sci. 650, 4--24 (2016; Zbl 1353.68152) Full Text: DOI arXiv
Auer, Peter (ed.); Clark, Alexander (ed.); Zeugmann, Thomas (ed.) Guest editors’ foreword. (English) Zbl 1355.00032 Theor. Comput. Sci. 650, 1-3 (2016). MSC: 00B25 68-06 68Q32 PDFBibTeX XMLCite \textit{P. Auer} (ed.) et al., Theor. Comput. Sci. 650, 1--3 (2016; Zbl 1355.00032) Full Text: DOI
Betti, Alessandro; Gori, Marco The principle of least cognitive action. (English) Zbl 1342.68266 Theor. Comput. Sci. 633, 83-99 (2016). MSC: 68T05 70F99 91E40 PDFBibTeX XMLCite \textit{A. Betti} and \textit{M. Gori}, Theor. Comput. Sci. 633, 83--99 (2016; Zbl 1342.68266) Full Text: DOI
Aschieri, Federico; Zorzi, Margherita On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand’s theorem. (English) Zbl 1377.03050 Theor. Comput. Sci. 625, 125-146 (2016). Reviewer: Reinhard Kahle (Lisboa) MSC: 03F03 03F05 03B10 03B40 68Q32 PDFBibTeX XMLCite \textit{F. Aschieri} and \textit{M. Zorzi}, Theor. Comput. Sci. 625, 125--146 (2016; Zbl 1377.03050) Full Text: DOI
Darnstädt, Malte; Kiss, Thorsten; Simon, Hans Ulrich; Zilles, Sandra Order compression schemes. (English) Zbl 1335.68110 Theor. Comput. Sci. 620, 73-90 (2016). MSC: 68Q32 68P30 PDFBibTeX XMLCite \textit{M. Darnstädt} et al., Theor. Comput. Sci. 620, 73--90 (2016; Zbl 1335.68110) Full Text: DOI
Shibata, Chihiro; Yoshinaka, Ryo Probabilistic learnability of context-free grammars with basic distributional properties from positive examples. (English) Zbl 1335.68112 Theor. Comput. Sci. 620, 46-72 (2016). MSC: 68Q32 68Q42 68Q45 PDFBibTeX XMLCite \textit{C. Shibata} and \textit{R. Yoshinaka}, Theor. Comput. Sci. 620, 46--72 (2016; Zbl 1335.68112) Full Text: DOI
Case, John; Kötzing, Timo Topological separations in inductive inference. (English) Zbl 1335.68108 Theor. Comput. Sci. 620, 33-45 (2016). MSC: 68Q32 PDFBibTeX XMLCite \textit{J. Case} and \textit{T. Kötzing}, Theor. Comput. Sci. 620, 33--45 (2016; Zbl 1335.68108) Full Text: DOI
Gao, Ziyuan; Stephan, Frank; Zilles, Sandra Partial learning of recursively enumerable languages. (English) Zbl 1335.68111 Theor. Comput. Sci. 620, 15-32 (2016). MSC: 68Q32 68Q45 PDFBibTeX XMLCite \textit{Z. Gao} et al., Theor. Comput. Sci. 620, 15--32 (2016; Zbl 1335.68111) Full Text: DOI
Liu, Chanjuan; Liu, Fenrong; Su, Kaile; Zhu, Enqiang A logical characterization of extensive games with short sight. (English) Zbl 1333.91006 Theor. Comput. Sci. 612, 63-82 (2016). MSC: 91A18 03B45 91A26 PDFBibTeX XMLCite \textit{C. Liu} et al., Theor. Comput. Sci. 612, 63--82 (2016; Zbl 1333.91006) Full Text: DOI
Miller, Avery On the complexity of neighbourhood learning in radio networks. (English) Zbl 1333.68078 Theor. Comput. Sci. 608, Part 2, 135-145 (2015). MSC: 68M20 68Q17 68Q25 68R10 PDFBibTeX XMLCite \textit{A. Miller}, Theor. Comput. Sci. 608, Part 2, 135--145 (2015; Zbl 1333.68078) Full Text: DOI
Biswas, Tamal T.; Regan, Kenneth W. Approximation of function evaluation over sequence arguments via specialized data structures. (English) Zbl 1332.68029 Theor. Comput. Sci. 607, Part 1, 113-123 (2015). MSC: 68P05 26B99 65A99 68P15 68P20 68T05 PDFBibTeX XMLCite \textit{T. T. Biswas} and \textit{K. W. Regan}, Theor. Comput. Sci. 607, Part 1, 113--123 (2015; Zbl 1332.68029) Full Text: DOI
Lattimore, Tor; Hutter, Marcus Near-optimal PAC bounds for discounted MDPs. (English) Zbl 1360.68528 Theor. Comput. Sci. 558, 125-143 (2014). MSC: 68Q32 90C40 PDFBibTeX XMLCite \textit{T. Lattimore} and \textit{M. Hutter}, Theor. Comput. Sci. 558, 125--143 (2014; Zbl 1360.68528) Full Text: DOI
Samei, Rahim; Semukhin, Pavel; Yang, Boting; Zilles, Sandra Algebraic methods proving Sauer’s bound for teaching complexity. (English) Zbl 1360.68529 Theor. Comput. Sci. 558, 35-50 (2014). MSC: 68Q32 PDFBibTeX XMLCite \textit{R. Samei} et al., Theor. Comput. Sci. 558, 35--50 (2014; Zbl 1360.68529) Full Text: DOI
Costa Florêncio, Christophe; Verwer, Sicco Regular inference as vertex coloring. (English) Zbl 1360.68524 Theor. Comput. Sci. 558, 18-34 (2014). MSC: 68Q32 05C15 PDFBibTeX XMLCite \textit{C. Costa Florêncio} and \textit{S. Verwer}, Theor. Comput. Sci. 558, 18--34 (2014; Zbl 1360.68524) Full Text: DOI
Gao, Ziyuan; Stephan, Frank Confident and consistent partial learning of recursive functions. (English) Zbl 1360.68526 Theor. Comput. Sci. 558, 5-17 (2014). MSC: 68Q32 03D20 PDFBibTeX XMLCite \textit{Z. Gao} and \textit{F. Stephan}, Theor. Comput. Sci. 558, 5--17 (2014; Zbl 1360.68526) Full Text: DOI
Bshouty, Nader H. (ed.); Stoltz, Gilles (ed.); Vayatis, Nicolas (ed.); Zeugmann, Thomas (ed.) Editorial: Guest editors’ foreword. (English) Zbl 1298.00239 Theor. Comput. Sci. 558, 1-4 (2014). MSC: 00B25 68-06 68Q32 PDFBibTeX XMLCite \textit{N. H. Bshouty} (ed.) et al., Theor. Comput. Sci. 558, 1--4 (2014; Zbl 1298.00239) Full Text: DOI
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter; Becker, Bernd Minimal counterexamples for linear-time probabilistic verification. (English) Zbl 1360.68604 Theor. Comput. Sci. 549, 61-100 (2014). MSC: 68Q60 60J20 68Q87 90C11 90C40 PDFBibTeX XMLCite \textit{R. Wimmer} et al., Theor. Comput. Sci. 549, 61--100 (2014; Zbl 1360.68604) Full Text: DOI
Plociennik, Kai A probabilistic PTAS for shortest common superstring. (English) Zbl 1279.68360 Theor. Comput. Sci. 522, 44-53 (2014). MSC: 68W25 68Q17 68Q32 68W20 PDFBibTeX XMLCite \textit{K. Plociennik}, Theor. Comput. Sci. 522, 44--53 (2014; Zbl 1279.68360) Full Text: DOI
Kötzing, Timo Iterative learning from positive data and counters. (English) Zbl 1358.68154 Theor. Comput. Sci. 519, 155-169 (2014). MSC: 68Q32 PDFBibTeX XMLCite \textit{T. Kötzing}, Theor. Comput. Sci. 519, 155--169 (2014; Zbl 1358.68154) Full Text: DOI
Cortes, Corinna; Mohri, Mehryar Domain adaptation and sample bias correction theory and algorithm for regression. (English) Zbl 1358.68232 Theor. Comput. Sci. 519, 103-126 (2014). MSC: 68T05 PDFBibTeX XMLCite \textit{C. Cortes} and \textit{M. Mohri}, Theor. Comput. Sci. 519, 103--126 (2014; Zbl 1358.68232) Full Text: DOI
Salomon, Antoine; Audibert, Jean-Yves Robustness of stochastic bandit policies. (English) Zbl 1371.68239 Theor. Comput. Sci. 519, 46-67 (2014). MSC: 68T05 62C05 62L10 91A60 PDFBibTeX XMLCite \textit{A. Salomon} and \textit{J.-Y. Audibert}, Theor. Comput. Sci. 519, 46--67 (2014; Zbl 1371.68239) Full Text: DOI arXiv
Kivinen, Jyrki (ed.); Szepesvári, Csaba (ed.); Zeugmann, Thomas (ed.) Guest editors’ introduction. (English) Zbl 1280.00087 Theor. Comput. Sci. 519, 1-3 (2014). MSC: 00B25 68-06 68Q32 PDFBibTeX XMLCite \textit{J. Kivinen} (ed.) et al., Theor. Comput. Sci. 519, 1--3 (2014; Zbl 1280.00087) Full Text: DOI
Tkachev, Ilya; Abate, Alessandro Characterization and computation of infinite-horizon specifications over Markov processes. (English) Zbl 1293.68194 Theor. Comput. Sci. 515, 1-18 (2014). Reviewer: Joost-Pieter Katoen (Aachen) MSC: 68Q60 60J20 68Q87 PDFBibTeX XMLCite \textit{I. Tkachev} and \textit{A. Abate}, Theor. Comput. Sci. 515, 1--18 (2014; Zbl 1293.68194) Full Text: DOI arXiv
Liśkiewicz, Maciej; Reischuk, Rüdiger; Wölfel, Ulrich Grey-box steganography. (English) Zbl 1302.94054 Theor. Comput. Sci. 505, 27-41 (2013). MSC: 94A60 68P30 68U10 PDFBibTeX XMLCite \textit{M. Liśkiewicz} et al., Theor. Comput. Sci. 505, 27--41 (2013; Zbl 1302.94054) Full Text: DOI
Nowak, Thomas; Függer, Matthias; Kößler, Alexander On the performance of a retransmission-based synchronizer. (English) Zbl 1358.68042 Theor. Comput. Sci. 509, 25-39 (2013). MSC: 68M14 60J20 PDFBibTeX XMLCite \textit{T. Nowak} et al., Theor. Comput. Sci. 509, 25--39 (2013; Zbl 1358.68042) Full Text: DOI
Jain, Sanjay; Martin, Eric; Stephan, Frank Learning and classifying. (English) Zbl 1291.68193 Theor. Comput. Sci. 482, 73-85 (2013). MSC: 68Q32 68T05 PDFBibTeX XMLCite \textit{S. Jain} et al., Theor. Comput. Sci. 482, 73--85 (2013; Zbl 1291.68193) Full Text: DOI
Kasprzik, Anna Four one-shot learners for regular tree languages and their polynomial characterizability. (English) Zbl 1292.68098 Theor. Comput. Sci. 485, 85-106 (2013). MSC: 68Q32 68Q45 68Q25 PDFBibTeX XMLCite \textit{A. Kasprzik}, Theor. Comput. Sci. 485, 85--106 (2013; Zbl 1292.68098) Full Text: DOI