Stogin, John; Mali, Ankur; Giles, C. Lee A provably stable neural network Turing machine with finite precision and time. (English) Zbl 07804500 Inf. Sci. 658, Article ID 120034, 20 p. (2024). MSC: 68-XX 92-XX PDFBibTeX XMLCite \textit{J. Stogin} et al., Inf. Sci. 658, Article ID 120034, 20 p. (2024; Zbl 07804500) Full Text: DOI
Rao, Guoyao; Li, Deying; Wang, Yongcai; Chen, Wenping; Zhou, Chunlai; Zhu, Yuqing Online conflict resolution: algorithm design and analysis. (English) Zbl 1528.91060 Inf. Sci. 651, Article ID 119718, 15 p. (2023). Reviewer: Yilun Shang (Newcastle upon Tyne) MSC: 91D30 68Q17 PDFBibTeX XMLCite \textit{G. Rao} et al., Inf. Sci. 651, Article ID 119718, 15 p. (2023; Zbl 1528.91060) Full Text: DOI
Aman, Bogdan; Ciobanu, Gabriel Type inference for hierarchical multiset structures in rule-based systems. (English) Zbl 07786222 Inf. Sci. 580, 673-683 (2021). MSC: 68Q10 PDFBibTeX XMLCite \textit{B. Aman} and \textit{G. Ciobanu}, Inf. Sci. 580, 673--683 (2021; Zbl 07786222) Full Text: DOI
Feng, Yanxiang; Xing, Keyi; Zhou, MengChu; Chen, Hefeng; Tian, Feng Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets. (English) Zbl 1461.93346 Inf. Sci. 533, 181-199 (2020). MSC: 93C85 93B35 93C65 68Q17 PDFBibTeX XMLCite \textit{Y. Feng} et al., Inf. Sci. 533, 181--199 (2020; Zbl 1461.93346) Full Text: DOI
Sakai, Hiroshi; Nakata, Michinori; Watada, Junzo NIS-apriori-based rule generation with three-way decisions and its application system in SQL. (English) Zbl 1456.68201 Inf. Sci. 507, 755-771 (2020). MSC: 68T37 68P15 PDFBibTeX XMLCite \textit{H. Sakai} et al., Inf. Sci. 507, 755--771 (2020; Zbl 1456.68201) Full Text: DOI
Cabarle, Francis George C.; de la Cruz, Ren Tristan A.; Cailipan, Dionne Peter P.; Zhang, Defu; Liu, Xiangrong; Zeng, Xiangxiang On solutions and representations of spiking neural P systems with rules on synapses. (English) Zbl 1453.68077 Inf. Sci. 501, 30-49 (2019). MSC: 68Q07 68Q17 PDFBibTeX XMLCite \textit{F. G. C. Cabarle} et al., Inf. Sci. 501, 30--49 (2019; Zbl 1453.68077) Full Text: DOI
Grzegorowski, Marek; Ślęzak, Dominik On resilient feature selection: computational foundations of \(r\)-\(\mathbb{C} \)-reducts. (English) Zbl 1451.68224 Inf. Sci. 499, 25-44 (2019). MSC: 68T05 62H30 68Q17 68T20 PDFBibTeX XMLCite \textit{M. Grzegorowski} and \textit{D. Ślęzak}, Inf. Sci. 499, 25--44 (2019; Zbl 1451.68224) Full Text: DOI
Gavalec, Martin; Ponce, Daniela; Zimmermann, Karel Steady states in the scheduling of discrete-time systems. (English) Zbl 1443.90179 Inf. Sci. 481, 219-228 (2019). MSC: 90B35 PDFBibTeX XMLCite \textit{M. Gavalec} et al., Inf. Sci. 481, 219--228 (2019; Zbl 1443.90179) Full Text: DOI
Wang, Dujuan; Li, Zhiwu Bicriterion scheduling with a negotiable common due window and resource-dependent processing times. (English) Zbl 1443.90195 Inf. Sci. 478, 258-274 (2019). MSC: 90B35 68Q17 68Q25 68W25 90C11 90C29 PDFBibTeX XMLCite \textit{D. Wang} and \textit{Z. Li}, Inf. Sci. 478, 258--274 (2019; Zbl 1443.90195) Full Text: DOI
Lu, An-Yang; Yang, Guang-Hong Distributed consensus control for multi-agent systems under denial-of-service. (English) Zbl 1448.93297 Inf. Sci. 439-440, 95-107 (2018). MSC: 93D50 93A16 93B52 93B53 68Q17 PDFBibTeX XMLCite \textit{A.-Y. Lu} and \textit{G.-H. Yang}, Inf. Sci. 439--440, 95--107 (2018; Zbl 1448.93297) Full Text: DOI
Zou, Li; Li, XiaoNan; Pan, Chang; Liu, Xin \((\alpha, \beta)\)-ordered linear resolution of intuitionistic fuzzy propositional logic. (English) Zbl 1435.03049 Inf. Sci. 414, 329-339 (2017). MSC: 03B52 03B35 68V15 PDFBibTeX XMLCite \textit{L. Zou} et al., Inf. Sci. 414, 329--339 (2017; Zbl 1435.03049) Full Text: DOI
Zhang, Pengfei; Lin, Huaizhong; Yao, Bin; Lu, Dongming Level-aware collective spatial keyword queries. (English) Zbl 1429.68058 Inf. Sci. 378, 194-214 (2017). MSC: 68P15 68Q17 68W25 PDFBibTeX XMLCite \textit{P. Zhang} et al., Inf. Sci. 378, 194--214 (2017; Zbl 1429.68058) Full Text: DOI
Liu, Guanjun Complexity of the deadlock problem for Petri nets modeling resource allocation systems. (English) Zbl 1427.68205 Inf. Sci. 363, 190-197 (2016). MSC: 68Q85 68Q17 91B32 PDFBibTeX XMLCite \textit{G. Liu}, Inf. Sci. 363, 190--197 (2016; Zbl 1427.68205) Full Text: DOI
Kamide, Norihiro Inconsistency-tolerant temporal reasoning with hierarchical information. (English) Zbl 1390.68610 Inf. Sci. 320, 140-155 (2015). MSC: 68T27 03B44 03B53 68Q17 68Q60 PDFBibTeX XMLCite \textit{N. Kamide}, Inf. Sci. 320, 140--155 (2015; Zbl 1390.68610) Full Text: DOI
Kan, Haibin; Li, Yuan; Zhao, Yue Capacity factors in a point-to-point network. (English) Zbl 1355.90017 Inf. Sci. 285, 24-34 (2014). MSC: 90B18 68Q17 90B25 PDFBibTeX XMLCite \textit{H. Kan} et al., Inf. Sci. 285, 24--34 (2014; Zbl 1355.90017) Full Text: DOI arXiv
Wang, Ding; Liu, Derong; Li, Hongliang; Ma, Hongwen Neural-network-based robust optimal control design for a class of uncertain nonlinear systems via adaptive dynamic programming. (English) Zbl 1354.93045 Inf. Sci. 282, 167-179 (2014). MSC: 93B35 93C40 90C39 92B20 93D05 93B51 93A14 93A15 03C10 PDFBibTeX XMLCite \textit{D. Wang} et al., Inf. Sci. 282, 167--179 (2014; Zbl 1354.93045) Full Text: DOI
Yin, Yunqiang; Ye, Deshi; Zhang, Guochuan Single machine batch scheduling to minimize the sum of total flow time and batch delivery cost with an unavailability interval. (English) Zbl 1341.90059 Inf. Sci. 274, 310-322 (2014). MSC: 90B35 68Q17 68W25 PDFBibTeX XMLCite \textit{Y. Yin} et al., Inf. Sci. 274, 310--322 (2014; Zbl 1341.90059) Full Text: DOI
Urbanova, Lucie; Vychodil, Vilem Derivation digraphs for dependencies in ordinal and similarity-based data. (English) Zbl 1341.68032 Inf. Sci. 268, 381-396 (2014). MSC: 68P01 05C90 68P15 PDFBibTeX XMLCite \textit{L. Urbanova} and \textit{V. Vychodil}, Inf. Sci. 268, 381--396 (2014; Zbl 1341.68032) Full Text: DOI
Chen, Weidong; Lu, Zaixin; Wu, Weili Dominating problems in swapped networks. (English) Zbl 1339.68201 Inf. Sci. 269, 286-299 (2014). MSC: 68R10 05C69 05C85 68Q17 68Q25 PDFBibTeX XMLCite \textit{W. Chen} et al., Inf. Sci. 269, 286--299 (2014; Zbl 1339.68201) Full Text: DOI
Alarcón, Pedro P.; Arroyo, Fernando; Mitrana, Victor Networks of polarized evolutionary processors. (English) Zbl 1328.68191 Inf. Sci. 265, 189-197 (2014). MSC: 68T20 68M12 68M14 68Q17 68Q25 PDFBibTeX XMLCite \textit{P. P. Alarcón} et al., Inf. Sci. 265, 189--197 (2014; Zbl 1328.68191) Full Text: DOI
Dvurečenskij, Anatolij; Kuková, Mária Observables on quantum structures. (English) Zbl 1329.81140 Inf. Sci. 262, 215-222 (2014). MSC: 81P45 PDFBibTeX XMLCite \textit{A. Dvurečenskij} and \textit{M. Kuková}, Inf. Sci. 262, 215--222 (2014; Zbl 1329.81140) Full Text: DOI arXiv
Ciucci, D.; Dubois, D. Corrigendum to: “A map of dependencies among three-valued logics”. (English) Zbl 1321.03038 Inf. Sci. 256, 234-235 (2014). MSC: 03B50 06D35 PDFBibTeX XMLCite \textit{D. Ciucci} and \textit{D. Dubois}, Inf. Sci. 256, 234--235 (2014; Zbl 1321.03038) Full Text: DOI
Ciucci, D.; Dubois, D. A map of dependencies among three-valued logics. (English) Zbl 1321.03037 Inf. Sci. 250, 162-177 (2013); corrigendum ibid. 256, 234-235 (2014). MSC: 03B50 06D35 PDFBibTeX XMLCite \textit{D. Ciucci} and \textit{D. Dubois}, Inf. Sci. 250, 162--177 (2013; Zbl 1321.03037) Full Text: DOI HAL
Chen, Yong; Zhang, An; Tan, Zhiyi Complexity and approximation of single machine scheduling with an operator non-availability period to minimize total completion time. (English) Zbl 1321.90053 Inf. Sci. 251, 150-163 (2013). MSC: 90B35 68Q17 68W25 PDFBibTeX XMLCite \textit{Y. Chen} et al., Inf. Sci. 251, 150--163 (2013; Zbl 1321.90053) Full Text: DOI
Saboori, Anooshiravan; Hadjicostis, Christoforos N. Verification of initial-state opacity in security applications of discrete event systems. (English) Zbl 1320.68119 Inf. Sci. 246, 115-132 (2013). MSC: 68Q60 68Q17 68Q45 68Q85 93B07 93C65 PDFBibTeX XMLCite \textit{A. Saboori} and \textit{C. N. Hadjicostis}, Inf. Sci. 246, 115--132 (2013; Zbl 1320.68119) Full Text: DOI
Song, Tao; Pan, Linqiang; Păun, Gheorghe Asynchronous spiking neural P systems with local synchronization. (English) Zbl 1293.68122 Inf. Sci. 219, 197-207 (2013). MSC: 68Q05 PDFBibTeX XMLCite \textit{T. Song} et al., Inf. Sci. 219, 197--207 (2013; Zbl 1293.68122) Full Text: DOI Link
Bayrak, Ahmet Engin; Polat, Faruk Employment of an evolutionary heuristic to solve the target allocation problem efficiently. (English) Zbl 1293.90081 Inf. Sci. 222, 675-695 (2013). MSC: 90C59 68Q17 PDFBibTeX XMLCite \textit{A. E. Bayrak} and \textit{F. Polat}, Inf. Sci. 222, 675--695 (2013; Zbl 1293.90081) Full Text: DOI
Esteva, Francesc; Godo, Lluís; Noguera, Carles A logical approach to fuzzy truth hedges. (English) Zbl 1293.03014 Inf. Sci. 232, 366-385 (2013). MSC: 03B52 PDFBibTeX XMLCite \textit{F. Esteva} et al., Inf. Sci. 232, 366--385 (2013; Zbl 1293.03014) Full Text: DOI Link
Lemire, Daniel; Kaser, Owen Reordering columns for smaller indexes. (English) Zbl 1218.68078 Inf. Sci. 181, No. 12, 2550-2570 (2011). MSC: 68P15 68P10 68P30 68Q17 PDFBibTeX XMLCite \textit{D. Lemire} and \textit{O. Kaser}, Inf. Sci. 181, No. 12, 2550--2570 (2011; Zbl 1218.68078) Full Text: DOI Link
Chajda, I.; Halaš, R.; Rosenberg, I. G. On the role of logical connectives for primality and functional completeness of algebras of logics. (English) Zbl 1206.03059 Inf. Sci. 180, No. 8, 1345-1353 (2010). Reviewer: Florentina Chirteş (Craiova) MSC: 03G99 08A40 PDFBibTeX XMLCite \textit{I. Chajda} et al., Inf. Sci. 180, No. 8, 1345--1353 (2010; Zbl 1206.03059) Full Text: DOI
Mirmostafaee, Alireza Kamel; Moslehian, Mohammad Sal Fuzzy approximately cubic mappings. (English) Zbl 1160.46336 Inf. Sci. 178, No. 19, 3791-3798 (2008). MSC: 46S40 39B82 39B52 26E50 46S50 PDFBibTeX XMLCite \textit{A. K. Mirmostafaee} and \textit{M. S. Moslehian}, Inf. Sci. 178, No. 19, 3791--3798 (2008; Zbl 1160.46336) Full Text: DOI
Shieh, Bih-Sheue Deriving minimal solutions for fuzzy relation equations with max-product composition. (English) Zbl 1151.03345 Inf. Sci. 178, No. 19, 3766-3774 (2008). MSC: 03E72 68Q17 PDFBibTeX XMLCite \textit{B.-S. Shieh}, Inf. Sci. 178, No. 19, 3766--3774 (2008; Zbl 1151.03345) Full Text: DOI
Geng, Xiutang; Xu, Jin; Xiao, Jianhua; Pan, Linqiang A simple simulated annealing algorithm for the maximum clique problem. (English) Zbl 1121.90412 Inf. Sci. 177, No. 22, 5064-5071 (2007). MSC: 90C35 05C69 90C59 68Q17 90C60 PDFBibTeX XMLCite \textit{X. Geng} et al., Inf. Sci. 177, No. 22, 5064--5071 (2007; Zbl 1121.90412) Full Text: DOI
Yang, Yan; Wang, Xue-Ping The general \(\alpha \)-decomposition problem of fuzzy relations. (English) Zbl 1131.03028 Inf. Sci. 177, No. 22, 4922-4933 (2007). Reviewer: Urszula Bentkowska (Rzeszów) MSC: 03E72 05C15 68Q17 68T35 PDFBibTeX XMLCite \textit{Y. Yang} and \textit{X.-P. Wang}, Inf. Sci. 177, No. 22, 4922--4933 (2007; Zbl 1131.03028) Full Text: DOI
Farkas, Csilla; Brodsky, Alexander; Jajodia, Sushil Unauthorized inferences in semistructured databases. (English) Zbl 1102.68463 Inf. Sci. 176, No. 22, 3269-3299 (2006). MSC: 68P15 PDFBibTeX XMLCite \textit{C. Farkas} et al., Inf. Sci. 176, No. 22, 3269--3299 (2006; Zbl 1102.68463) Full Text: DOI
Pei, Daowu; Wang, Guojun The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness. (English) Zbl 1040.03022 Inf. Sci. 152, 155-166 (2003). MSC: 03B52 PDFBibTeX XMLCite \textit{D. Pei} and \textit{G. Wang}, Inf. Sci. 152, 155--166 (2003; Zbl 1040.03022) Full Text: DOI
Kozen, Dexter; Tiuryn, Jerzy On the completeness of propositional Hoare logic. (English) Zbl 0996.03022 Inf. Sci. 139, No. 3-4, 187-195 (2001). MSC: 03B70 68Q60 PDFBibTeX XMLCite \textit{D. Kozen} and \textit{J. Tiuryn}, Inf. Sci. 139, No. 3--4, 187--195 (2001; Zbl 0996.03022) Full Text: DOI
Haga, Takahiro An application of the \((p,q)\)-logic to the synthesis of the \(p\)-valued logical networks and the \(s\)-\((p,q)\)-logical completeness. (English) Zbl 0937.94016 Inf. Sci. 115, No. 1-4, 165-185 (1999). Reviewer: I.Strazdins (Riga) MSC: 94C10 03B50 PDFBibTeX XMLCite \textit{T. Haga}, Inf. Sci. 115, No. 1--4, 165--185 (1999; Zbl 0937.94016) Full Text: DOI
Mordeson, John N.; Peng, Chang-Shyh Operations on fuzzy graphs. (English) Zbl 0804.05069 Inf. Sci. 79, No. 3-4, 159-170 (1994). Reviewer: C.N.Bouza (Vedado) MSC: 05C99 94C15 PDFBibTeX XMLCite \textit{J. N. Mordeson} and \textit{C.-S. Peng}, Inf. Sci. 79, No. 3--4, 159--170 (1994; Zbl 0804.05069) Full Text: DOI
Haga, Takahiro; Fukumura, Teruo The p-valued-input, q-valued-output threshold logic and the (p,q)- polypheck-like function. (English) Zbl 0623.94020 Inf. Sci. 40, 227-246 (1986). MSC: 94C10 PDFBibTeX XMLCite \textit{T. Haga} and \textit{T. Fukumura}, Inf. Sci. 40, 227--246 (1986; Zbl 0623.94020) Full Text: DOI
Haga, Takahiro; Fukumura, Teruo (p,q)-logical completeness for output-coherent sets of (p,q)-logical functions and an application of the set to image processing. (English) Zbl 0623.94019 Inf. Sci. 40, 207-226 (1986). MSC: 94C10 PDFBibTeX XMLCite \textit{T. Haga} and \textit{T. Fukumura}, Inf. Sci. 40, 207--226 (1986; Zbl 0623.94019) Full Text: DOI
Zhang, Guo-Qiang “NP\(=\)P?” and restricted partitions. (English) Zbl 0548.68043 Inf. Sci. 32, 231-242 (1984). MSC: 68Q25 90C39 05A17 PDFBibTeX XMLCite \textit{G.-Q. Zhang}, Inf. Sci. 32, 231--242 (1984; Zbl 0548.68043) Full Text: DOI
Loizou, G. Certain NP-complete matching problems. (English) Zbl 0539.68033 Inf. Sci. 32, 117-121 (1984). MSC: 68Q25 PDFBibTeX XMLCite \textit{G. Loizou}, Inf. Sci. 32, 117--121 (1984; Zbl 0539.68033) Full Text: DOI
Haralick, Robert M.; Davis, Larry S.; Rosenfeld, Azriel; Milgram, David L. Reduction operations for constraint satisfaction. (English) Zbl 0416.68042 Inf. Sci. 14, 199-219 (1978). MSC: 68Q25 68R99 PDFBibTeX XMLCite \textit{R. M. Haralick} et al., Inf. Sci. 14, 199--219 (1978; Zbl 0416.68042) Full Text: DOI
Golomb, Solomon W. Theory of transformation groups of polynomials over \(\mathrm{GF}(2)\) with applications to linear shift register sequences. (English) Zbl 0238.20060 Inf. Sci. 1, 87-109 (1968). MSC: 94A55 11T22 68Q17 PDFBibTeX XMLCite \textit{S. W. Golomb}, Inf. Sci. 1, 87--109 (1968; Zbl 0238.20060) Full Text: DOI