Zimmermann, Karel Combination of t-norms and their conorms. (English) Zbl 07790648 Kybernetika 59, No. 4, 527-536 (2023). MSC: 90C30 94D05 90B50 90C08 PDFBibTeX XMLCite \textit{K. Zimmermann}, Kybernetika 59, No. 4, 527--536 (2023; Zbl 07790648) Full Text: DOI
Soltanifar, Mehdi; Sharafi, Hamid; Hosseinzadeh Lotfi, Farhad; Pedrycz, Witold; Allahviranloo, Tofigh Preferential voting and applications: approaches based on data envelopment analysis. (English) Zbl 07731954 Studies in Systems, Decision and Control 471. Cham: Springer (ISBN 978-3-031-30402-6/hbk; 978-3-031-30405-7/pbk; 978-3-031-30403-3/ebook). ix, 185 p. (2023). Reviewer: José Manuel Gutiérrez (Salamanca) MSC: 91-02 91B12 90C08 91B86 PDFBibTeX XMLCite \textit{M. Soltanifar} et al., Preferential voting and applications: approaches based on data envelopment analysis. Cham: Springer (2023; Zbl 07731954) Full Text: DOI
Lyutikova, Larisa Adol’fovna Using multivalued logic for qualitative data analysis. (Russian. English summary) Zbl 1524.68335 Vestn. KRAUNTS, Fiz.-Mat. Nauki 40, No. 3, 199-210 (2022). MSC: 68T09 62H30 PDFBibTeX XMLCite \textit{L. A. Lyutikova}, Vestn. KRAUNTS, Fiz.-Mat. Nauki 40, No. 3, 199--210 (2022; Zbl 1524.68335) Full Text: DOI MNR
López-Rodríguez, Domingo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel Formal methods in FCA and big data. (English) Zbl 07631921 Missaoui, Rokia (ed.) et al., Complex data analytics with formal concept analysis. Cham: Springer. 201-224 (2022). MSC: 68T30 68T09 PDFBibTeX XMLCite \textit{D. López-Rodríguez} et al., in: Complex data analytics with formal concept analysis. Cham: Springer. 201--224 (2022; Zbl 07631921) Full Text: DOI
Rauch, Jan; Šimůnek, Milan; Chudán, David; Máša, Petr Mechanizing hypothesis formation. Principles and case studies. (English) Zbl 1502.68011 Boca Raton, FL: CRC Press/Science Publishers (ISBN 978-0-367-54980-0/hbk; 978-1-003-09144-8/ebook). xvi, 345 p. (2022). MSC: 68-02 62-02 03B35 62D20 62H15 62H17 62H20 62R07 68T05 68T09 68T27 PDFBibTeX XMLCite \textit{J. Rauch} et al., Mechanizing hypothesis formation. Principles and case studies. Boca Raton, FL: CRC Press/Science Publishers (2022; Zbl 1502.68011) Full Text: DOI
Majkić, Zoran Intensional first-order logic. From AI to new SQL big data. (English) Zbl 1494.68005 Berlin: De Gruyter (ISBN 978-3-11-099494-0/hbk; 978-3-11-098143-8/ebook). xxviii, 514 p. (2022). MSC: 68-02 68P15 68T09 68T27 68T35 PDFBibTeX XMLCite \textit{Z. Majkić}, Intensional first-order logic. From AI to new SQL big data. Berlin: De Gruyter (2022; Zbl 1494.68005) Full Text: DOI
Thurston, William P. Kerckhoff, Steven P. (ed.); Farb, Benson (ed.); Gabai, David (ed.) Collected works of William P. Thurston with commentary: III. Dynamics, computer science and general interest. Edited by Benson Farb, David Gabai and Steven P. Kerckhoff. (English) Zbl 1512.57001 Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6390-8/hbk; 978-1-4704-6835-4/ebook; 978-1-4704-5164-6/ebook). xxi, 604 p. (2022). Reviewer: Athanase Papadopoulos (Strasbourg) MSC: 57-06 37-06 20-06 68-06 20F10 37F15 68P05 37F34 37F44 03A05 57K30 37A35 37B40 57Z25 54H30 PDFBibTeX XMLCite \textit{W. P. Thurston} et al., Collected works of William P. Thurston with commentary: III. Dynamics, computer science and general interest. Edited by Benson Farb, David Gabai and Steven P. Kerckhoff. Providence, RI: American Mathematical Society (AMS) (2022; Zbl 1512.57001)
Verdier, Cees Ferdinand; Kochdumper, Niklas; Althoff, Matthias; Mazo, Manuel Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications. (English) Zbl 1485.93338 Automatica 139, Article ID 110184, 13 p. (2022). MSC: 93C57 93C10 93B03 PDFBibTeX XMLCite \textit{C. F. Verdier} et al., Automatica 139, Article ID 110184, 13 p. (2022; Zbl 1485.93338) Full Text: DOI arXiv
Durand, Arnaud; Kontinen, Juha; De Rugy-Altherre, Nicolas; Väänänen, Jouko Tractability frontier of data complexity in team semantics. (English) Zbl 1508.68217 ACM Trans. Comput. Log. 23, No. 1, Article No. 3, 21 p. (2021). MSC: 68Q60 03B70 68Q25 PDFBibTeX XMLCite \textit{A. Durand} et al., ACM Trans. Comput. Log. 23, No. 1, Article No. 3, 21 p. (2021; Zbl 1508.68217) Full Text: DOI
Kutnenko, Ol’ga Andreevna; Plyasunov, Aleksandr Vladimirovich NP-hardness of some data cleaning problem. (Russian. English summary) Zbl 1496.68294 Diskretn. Anal. Issled. Oper. 28, No. 2, 60-73 (2021). MSC: 68T09 68N17 PDFBibTeX XMLCite \textit{O. A. Kutnenko} and \textit{A. V. Plyasunov}, Diskretn. Anal. Issled. Oper. 28, No. 2, 60--73 (2021; Zbl 1496.68294) Full Text: DOI MNR
Mohammadinejad, Sara; Deshmukh, Jyotirmoy V.; Nenzi, Laura Mining interpretable spatio-temporal logic properties for spatially distributed systems. (English) Zbl 1497.68433 Hou, Zhe (ed.) et al., Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12971, 91-107 (2021). MSC: 68T05 62H30 68M14 68Q60 PDFBibTeX XMLCite \textit{S. Mohammadinejad} et al., Lect. Notes Comput. Sci. 12971, 91--107 (2021; Zbl 1497.68433) Full Text: DOI arXiv
Chen, Yifan; Yang, Chenyang; Zhang, Xin; Xiong, Yingfei; Tang, Hao; Wang, Xiaoyin; Zhang, Lu Accelerating program analyses in Datalog by merging library facts. (English) Zbl 1497.68085 Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 77-101 (2021). MSC: 68N15 68N17 68P15 PDFBibTeX XMLCite \textit{Y. Chen} et al., Lect. Notes Comput. Sci. 12913, 77--101 (2021; Zbl 1497.68085) Full Text: DOI
Chen, Ying; Bi, Lvqing; Hu, Bo; Dai, Songsong General complex-valued grouping functions. (English) Zbl 1477.94087 J. Math. 2021, Article ID 5793151, 6 p. (2021). MSC: 94D05 94A16 PDFBibTeX XMLCite \textit{Y. Chen} et al., J. Math. 2021, Article ID 5793151, 6 p. (2021; Zbl 1477.94087) Full Text: DOI
Xu, Zhiwei; Zhang, Jialin Computational thinking: a perspective on computer science. (English) Zbl 1490.68001 Singapore: Springer (ISBN 978-981-16-3847-3/hbk; 978-981-16-3848-0/ebook). xxvi, 319 p. (2021). Reviewer: Dieter Riebesehl (Lüneburg) MSC: 68-01 68M01 68M11 68N15 68P05 68P10 68Q04 68Q06 68Q15 68Q25 PDFBibTeX XMLCite \textit{Z. Xu} and \textit{J. Zhang}, Computational thinking: a perspective on computer science. Singapore: Springer (2021; Zbl 1490.68001) Full Text: DOI
Bednarczyk, Bartosz; Witkowski, Piotr A note on \(\mathbb{C}^2\) interpreted over finite data-words. (English) Zbl 07760487 Muñoz-Velasco, Emilio (ed.) et al., 27th international symposium on temporal representation and reasoning. TIME 2020, September 23–25, 2020, Bozen-Bolzano, Italy. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 178, Article 17, 14 p. (2020). MSC: 03B25 03B44 68Q25 PDFBibTeX XMLCite \textit{B. Bednarczyk} and \textit{P. Witkowski}, LIPIcs -- Leibniz Int. Proc. Inform. 178, Article 17, 14 p. (2020; Zbl 07760487) Full Text: DOI
Finger, Marcelo Logic in times of big data. (English) Zbl 1496.03129 de Barros, J. Acacio (ed.) et al., A true polymath. A tribute to Francisco Antonio Doria. Based on the meeting, Rio de Janeiro, Brazil, December 2018. [s.l.]: College Publications. Acad. Bras. Filos. 2, 184-198 (2020). MSC: 03B70 68T09 62R07 PDFBibTeX XMLCite \textit{M. Finger}, Acad. Bras. Filos. 2, 184--198 (2020; Zbl 1496.03129)
Burgard, Jan Pablo Book review of: K.-L. Du and M. N. S. Swamy, Neural networks and statistical learning. (English) Zbl 1461.00015 SIAM Rev. 62, No. 4, 988-990 (2020). MSC: 00A17 62-01 62M45 62H25 62F15 68T05 94D05 62R07 PDFBibTeX XMLCite \textit{J. P. Burgard}, SIAM Rev. 62, No. 4, 988--990 (2020; Zbl 1461.00015)
Kosheleva, Olga (ed.); Shary, Sergey P. (ed.); Xiang, Gang (ed.); Zapatrin, Roman (ed.) Beyond traditional probabilistic data processing techniques: interval, fuzzy etc. methods and their applications. Dedicated to Vladik Kreinovich on the occasion of his 65th birthday. (English) Zbl 1448.68033 Studies in Computational Intelligence 835. Cham: Springer (ISBN 978-3-030-31040-0/hbk; 978-3-030-31041-7/ebook). xi, 649 p. (2020). MSC: 68-06 03B52 03E72 03F60 65G30 68T09 68T37 92B20 00B15 00B30 PDFBibTeX XMLCite \textit{O. Kosheleva} (ed.) et al., Beyond traditional probabilistic data processing techniques: interval, fuzzy etc. methods and their applications. Dedicated to Vladik Kreinovich on the occasion of his 65th birthday. Cham: Springer (2020; Zbl 1448.68033) Full Text: DOI
Di Martino, Ferdinando; Sessa, Salvatore Fuzzy transforms for image processing and data analysis. Core concepts, processes and applications. (English) Zbl 1475.94001 Cham: Springer (ISBN 978-3-030-44612-3/hbk; 978-3-030-44615-4/pbk; 978-3-030-44613-0/ebook). x, 217 p. (2020). Reviewer: Damian Valdes Santiago (La Habana) MSC: 94-02 94A08 68U10 94D05 44A15 62A86 62H35 PDFBibTeX XMLCite \textit{F. Di Martino} and \textit{S. Sessa}, Fuzzy transforms for image processing and data analysis. Core concepts, processes and applications. Cham: Springer (2020; Zbl 1475.94001) Full Text: DOI
Das, Ariyam; Zaniolo, Carlo A case for stale synchronous distributed model for declarative recursive computation. (English) Zbl 1434.68142 Theory Pract. Log. Program. 19, No. 5-6, 1056-1072 (2019). MSC: 68P15 68N17 68Q10 68T09 PDFBibTeX XMLCite \textit{A. Das} and \textit{C. Zaniolo}, Theory Pract. Log. Program. 19, No. 5--6, 1056--1072 (2019; Zbl 1434.68142) Full Text: DOI arXiv
Kriegel, Francesco Joining implications in formal contexts and inductive learning in a Horn description logic. (English) Zbl 07165999 Cristea, Diana (ed.) et al., Formal concept analysis. 15th international conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11511, 110-129 (2019). MSC: 68T30 68T05 68T27 PDFBibTeX XMLCite \textit{F. Kriegel}, Lect. Notes Comput. Sci. 11511, 110--129 (2019; Zbl 07165999) Full Text: DOI
Rouyendegh, Babak Daneshvar; Oztekin, Asil; Ekong, Joseph; Dag, Ali Measuring the efficiency of hospitals: a fully-ranking DEA-FAHP approach. (English) Zbl 1434.62229 Ann. Oper. Res. 278, No. 1-2, 361-378 (2019). MSC: 62P10 62C86 PDFBibTeX XMLCite \textit{B. D. Rouyendegh} et al., Ann. Oper. Res. 278, No. 1--2, 361--378 (2019; Zbl 1434.62229) Full Text: DOI
Bollig, Benedikt; Quaas, Karin; Sangnier, Arnaud The complexity of flat freeze LTL. (English) Zbl 1442.68101 Log. Methods Comput. Sci. 15, No. 3, Paper No. 33, 26 p. (2019). MSC: 68Q60 03B44 68Q25 68Q45 PDFBibTeX XMLCite \textit{B. Bollig} et al., Log. Methods Comput. Sci. 15, No. 3, Paper No. 33, 26 p. (2019; Zbl 1442.68101) Full Text: DOI arXiv
Shi, Kaiquan Big data structure-logic characteristics and big data law. (Chinese. English summary) Zbl 1438.68158 J. Shandong Univ., Nat. Sci. 54, No. 2, 1-29 (2019). MSC: 68T09 68P05 03B70 03E70 PDFBibTeX XMLCite \textit{K. Shi}, J. Shandong Univ., Nat. Sci. 54, No. 2, 1--29 (2019; Zbl 1438.68158) Full Text: DOI
Du, Ke-Lin; Swamy, M. N. S. Neural networks and statistical learning. 2nd updated edition. (English) Zbl 1437.62001 London: Springer (ISBN 978-1-4471-7451-6/hbk; 978-1-4471-7452-3/ebook). xxx, 988 p. (2019). Reviewer: Ludwig Paditz (Dresden) MSC: 62-01 62M45 62H25 62F15 68T05 94D05 62R07 PDFBibTeX XMLCite \textit{K.-L. Du} and \textit{M. N. S. Swamy}, Neural networks and statistical learning. 2nd updated edition. London: Springer (2019; Zbl 1437.62001) Full Text: DOI
Małysiak-Mrozek, Bożena Uncertainty, imprecision, and many-valued logics in protein bioinformatics. (English) Zbl 1409.92087 Math. Biosci. 309, 143-162 (2019). MSC: 92C40 03E72 03B52 92-04 62P10 PDFBibTeX XMLCite \textit{B. Małysiak-Mrozek}, Math. Biosci. 309, 143--162 (2019; Zbl 1409.92087) Full Text: DOI
Staton, Sam; Stein, Dario; Yang, Hongseok; Ackerman, Nathanael L.; Freer, Cameron E.; Roy, Daniel M. The beta-Bernoulli process and algebraic effects. (English) Zbl 1499.68068 Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 141, 15 p. (2018). MSC: 68N30 03B70 60G09 68Q65 68Q87 PDFBibTeX XMLCite \textit{S. Staton} et al., LIPIcs -- Leibniz Int. Proc. Inform. 107, Article 141, 15 p. (2018; Zbl 1499.68068) Full Text: DOI arXiv
Niewerth, Matthias MSO queries on trees: enumerating answers under updates using forest algebras. (English) Zbl 1497.68153 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 769-778 (2018). MSC: 68P15 03B70 68P05 68Q25 68Q45 PDFBibTeX XMLCite \textit{M. Niewerth}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 769--778 (2018; Zbl 1497.68153) Full Text: DOI
Demri, Stéphane; Lozes, Etienne; Lugiez, Denis On symbolic heaps modulo permission theories. (English) Zbl 1491.68050 Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 25, 14 p. (2018). MSC: 68N30 03B70 68P05 68Q17 68Q25 PDFBibTeX XMLCite \textit{S. Demri} et al., LIPIcs -- Leibniz Int. Proc. Inform. 93, Article 25, 14 p. (2018; Zbl 1491.68050) Full Text: DOI
Pota, Marco; Esposito, Massimo; De Pietro, Giuseppe Likelihood-fuzzy analysis: from data, through statistics, to interpretable fuzzy classifiers. (English) Zbl 1452.68155 Int. J. Approx. Reasoning 93, 88-102 (2018). MSC: 68T05 62H30 62H86 PDFBibTeX XMLCite \textit{M. Pota} et al., Int. J. Approx. Reasoning 93, 88--102 (2018; Zbl 1452.68155) Full Text: DOI
Duck, Gregory J.; Jaffar, Joxan; Yap, Roland H. C. Shape neutral analysis of graph-based data-structures. (English) Zbl 1451.68174 Theory Pract. Log. Program. 18, No. 3-4, 470-483 (2018). MSC: 68Q60 68N17 68P05 PDFBibTeX XMLCite \textit{G. J. Duck} et al., Theory Pract. Log. Program. 18, No. 3--4, 470--483 (2018; Zbl 1451.68174) Full Text: DOI arXiv
Sivamani, Saraswathi; Choi, Jongsun; Cho, Yongyun A service model for nutrition supplement prediction based on fuzzy Bayes model using bigdata in livestock. (English) Zbl 1401.60004 Ann. Oper. Res. 265, No. 2, 257-268 (2018). MSC: 60A86 68T05 62A86 PDFBibTeX XMLCite \textit{S. Sivamani} et al., Ann. Oper. Res. 265, No. 2, 257--268 (2018; Zbl 1401.60004) Full Text: DOI
Hatami-Marbini, Adel; Saati, Saber; Sajadi, Seyed Mojtaba Efficiency analysis in two-stage structures using fuzzy data envelopment analysis. (English) Zbl 06967153 CEJOR, Cent. Eur. J. Oper. Res. 26, No. 4, 909-932 (2018). MSC: 90Bxx 90C05 94D05 90C70 90C90 PDFBibTeX XMLCite \textit{A. Hatami-Marbini} et al., CEJOR, Cent. Eur. J. Oper. Res. 26, No. 4, 909--932 (2018; Zbl 06967153) Full Text: DOI Link
Brandt, Sebastian; Kalaycı, Elem Güzel; Ryzhikov, Vladislav; Xiao, Guohui; Zakharyaschev, Michael Querying log data with metric temporal logic. (English) Zbl 1451.68087 J. Artif. Intell. Res. (JAIR) 62, 829-877 (2018). MSC: 68P15 03B44 68Q17 68Q25 68T30 PDFBibTeX XMLCite \textit{S. Brandt} et al., J. Artif. Intell. Res. (JAIR) 62, 829--877 (2018; Zbl 1451.68087) Full Text: DOI arXiv
Wanke, P.; Barros, C. P.; Emrouznejad, A. A comparison between stochastic DEA and fuzzy DEA approaches: revisiting efficiency in Angolan banks. (English) Zbl 1403.90440 RAIRO, Oper. Res. 52, No. 1, 285-303 (2018). MSC: 90B50 03B52 62-07 PDFBibTeX XMLCite \textit{P. Wanke} et al., RAIRO, Oper. Res. 52, No. 1, 285--303 (2018; Zbl 1403.90440) Full Text: DOI
Triska, Jan; Vychodil, Vilem Minimal bases of temporal attribute implications. (English) Zbl 1448.68412 Ann. Math. Artif. Intell. 83, No. 1, 73-97 (2018). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{J. Triska} and \textit{V. Vychodil}, Ann. Math. Artif. Intell. 83, No. 1, 73--97 (2018; Zbl 1448.68412) Full Text: DOI
Hajian, Alireza; Styles, Peter Application of soft computing and intelligent methods in geophysics. (English) Zbl 1400.86001 Springer Geophysics. Cham: Springer (ISBN 978-3-319-66531-3/hbk; 978-3-319-66532-0/ebook). xvii, 533 p. (2018). Reviewer: Vladimir Čadež (Beograd) MSC: 86-02 65K05 65Y05 65K10 94D05 93C42 94A13 68T27 68T20 68T37 90C59 PDFBibTeX XMLCite \textit{A. Hajian} and \textit{P. Styles}, Application of soft computing and intelligent methods in geophysics. Cham: Springer (2018; Zbl 1400.86001) Full Text: DOI
Medina, Jesús (ed.); Ojeda-Aciego, Manuel (ed.); Verdegay, José Luis (ed.); Pelta, David A. (ed.); Cabrera, Inma P. (ed.); Bouchon-Meunier, Bernadette (ed.); Yager, Ronald R. (ed.) Information processing and management of uncertainty in knowledge-based systems. Theory and foundations. 17th international conference, IPMU 2018, Cádiz, Spain, June 11–15, 2018, Proceedings. Part I. (English) Zbl 1481.68019 Communications in Computer and Information Science 853. Cham: Springer (ISBN 978-3-319-91472-5/pbk; 978-3-319-91473-2/ebook). xliv, 806 p. (2018). MSC: 68-06 68Txx 00B25 PDFBibTeX XMLCite \textit{J. Medina} (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Theory and foundations. 17th international conference, IPMU 2018, Cádiz, Spain, June 11--15, 2018, Proceedings. Part I. Cham: Springer (2018; Zbl 1481.68019) Full Text: DOI
Medina, Jesús (ed.); Ojeda-Aciego, Manuel (ed.); Verdegay, José Luis (ed.); Pelta, David A. (ed.); Cabrera, Inma P. (ed.); Bouchon-Meunier, Bernadette (ed.); Yager, Ronald R. (ed.) Information processing and management of uncertainty in knowledge-based systems. Theory and foundations. 17th international conference, IPMU 2018, Cádiz, Spain, June 11–15, 2018. Proceedings. Part II. (English) Zbl 1481.68018 Communications in Computer and Information Science 854. Cham: Springer (ISBN 978-3-319-91475-6/pbk; 978-3-319-91476-3/ebook). xx, 766 p. (2018). MSC: 68-06 68Txx 00B25 PDFBibTeX XMLCite \textit{J. Medina} (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Theory and foundations. 17th international conference, IPMU 2018, Cádiz, Spain, June 11--15, 2018. Proceedings. Part II. Cham: Springer (2018; Zbl 1481.68018) Full Text: DOI
Medina, Jesús (ed.); Ojeda-Aciego, Manuel (ed.); Verdegay, José Luis (ed.); Perfilieva, Irina (ed.); Bouchon-Meunier, Bernadette (ed.); Yager, Ronald R. (ed.) Information processing and management of uncertainty in knowledge-based systems. Applications. 17th international conference, IPMU 2018, Cádiz, Spain, June 11–15, 2018, Proceedings, Part III. (English) Zbl 1481.68020 Communications in Computer and Information Science 855. Cham: Springer (ISBN 978-3-319-91478-7/pbk; 978-3-319-91479-4/ebook). xx, 764 p. (2018). MSC: 68-06 68Txx 00B25 PDFBibTeX XMLCite \textit{J. Medina} (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Applications. 17th international conference, IPMU 2018, Cádiz, Spain, June 11--15, 2018, Proceedings, Part III. Cham: Springer (2018; Zbl 1481.68020) Full Text: DOI
Chen, Taolue; Song, Fu; Wu, Zhilin Tractability of separation logic with inductive definitions: beyond lists. (English) Zbl 1442.03013 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 37, 17 p. (2017). MSC: 03B70 68P05 68Q25 PDFBibTeX XMLCite \textit{T. Chen} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 37, 17 p. (2017; Zbl 1442.03013) Full Text: DOI
Zucker, Jeffery Feferman on computability. (English) Zbl 1429.03009 Jäger, Gerhard (ed.) et al., Feferman on foundations. Logic, mathematics, philosophy. Cham: Springer. Outst. Contrib. Log. 13, 23-56 (2017). MSC: 03-03 03D65 03D70 03D75 03D78 01A60 PDFBibTeX XMLCite \textit{J. Zucker}, Outst. Contrib. Log. 13, 23--56 (2017; Zbl 1429.03009) Full Text: DOI
Vityaev, E. E.; Martynovich, V. V. Exploring noisy contexts with probabilistic formal concepts. (Russian. English summary) Zbl 1438.68187 Sib. Zh. Chist. Prikl. Mat. 17, No. 4, 28-38 (2017). MSC: 68T30 68Q32 68T27 PDFBibTeX XMLCite \textit{E. E. Vityaev} and \textit{V. V. Martynovich}, Sib. Zh. Chist. Prikl. Mat. 17, No. 4, 28--38 (2017; Zbl 1438.68187) Full Text: MNR
Ansari, Zahid A.; Sattar, Syed Abdul; Babu, A. Vinaya A fuzzy neural network based framework to discover user access patterns from web log data. (English) Zbl 1414.82024 Adv. Data Anal. Classif., ADAC 11, No. 3, 519-546 (2017). MSC: 82C32 94D05 91C20 62-07 PDFBibTeX XMLCite \textit{Z. A. Ansari} et al., Adv. Data Anal. Classif., ADAC 11, No. 3, 519--546 (2017; Zbl 1414.82024) Full Text: DOI
Ahmetaj, Shqiponja; Calvanese, Diego; Ortiz, Magdalena; Šimkus, Mantas Managing change in graph-structured data using description logics. (English) Zbl 1407.68122 ACM Trans. Comput. Log. 18, No. 4, Article No. 27, 35 p. (2017). MSC: 68P15 68T27 68T30 PDFBibTeX XMLCite \textit{S. Ahmetaj} et al., ACM Trans. Comput. Log. 18, No. 4, Article No. 27, 35 p. (2017; Zbl 1407.68122) Full Text: DOI arXiv
Enea, Constantin; Lengál, Ondřej; Sighireanu, Mihaela; Vojnar, Tomáš Compositional entailment checking for a fragment of separation logic. (English) Zbl 1377.68073 Form. Methods Syst. Des. 51, No. 3, 575-607 (2017). MSC: 68N30 03B70 68P05 68Q45 PDFBibTeX XMLCite \textit{C. Enea} et al., Form. Methods Syst. Des. 51, No. 3, 575--607 (2017; Zbl 1377.68073) Full Text: DOI HAL
Maity, Gurupada; Roy, Sankar Kumar Solving fuzzy transportation problem using multi-choice goal programming. (English) Zbl 1384.90062 Discrete Math. Algorithms Appl. 9, No. 6, Article ID 1750076, 17 p. (2017). MSC: 90C08 94D05 90C29 PDFBibTeX XMLCite \textit{G. Maity} and \textit{S. K. Roy}, Discrete Math. Algorithms Appl. 9, No. 6, Article ID 1750076, 17 p. (2017; Zbl 1384.90062) Full Text: DOI
Lutz, Carsten; Wolter, Frank The data complexity of description logic ontologies. (English) Zbl 1398.68517 Log. Methods Comput. Sci. 13, No. 4, Paper No. 7, 46 p. (2017). MSC: 68T30 68Q25 68T27 PDFBibTeX XMLCite \textit{C. Lutz} and \textit{F. Wolter}, Log. Methods Comput. Sci. 13, No. 4, Paper No. 7, 46 p. (2017; Zbl 1398.68517) Full Text: DOI arXiv
Yan, Kedong; Ryoo, Hong Seo Strong valid inequalities for Boolean logical pattern generation. (English) Zbl 1408.90184 J. Glob. Optim. 69, No. 1, 183-230 (2017). MSC: 90C09 PDFBibTeX XMLCite \textit{K. Yan} and \textit{H. S. Ryoo}, J. Glob. Optim. 69, No. 1, 183--230 (2017; Zbl 1408.90184) Full Text: DOI
Bova, Simone; Slivovsky, Friedrich On compiling structured CNFs to OBDDs. (English) Zbl 1378.68028 Theory Comput. Syst. 61, No. 2, 637-655 (2017). MSC: 68P05 03B05 68Q25 68R10 PDFBibTeX XMLCite \textit{S. Bova} and \textit{F. Slivovsky}, Theory Comput. Syst. 61, No. 2, 637--655 (2017; Zbl 1378.68028) Full Text: DOI arXiv
Haesaert, Sofie; van den Hof, Paul M. J.; Abate, Alessandro Data-driven and model-based verification via Bayesian identification and reachability analysis. (English) Zbl 1371.93187 Automatica 79, 115-126 (2017). MSC: 93E03 62F15 93B03 93C05 PDFBibTeX XMLCite \textit{S. Haesaert} et al., Automatica 79, 115--126 (2017; Zbl 1371.93187) Full Text: DOI Link
Brotherston, James; Gorogiannis, Nikos; Kanovich, Max Biabduction (and related problems) in array separation logic. (English) Zbl 1496.03125 de Moura, Leonardo (ed.), Automated deduction – CADE 26. 26th international conference on automated deduction, Gothenburg, Sweden, August 6–11, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10395, 472-490 (2017). MSC: 03B70 03B35 68P05 68Q25 68Q60 PDFBibTeX XMLCite \textit{J. Brotherston} et al., Lect. Notes Comput. Sci. 10395, 472--490 (2017; Zbl 1496.03125) Full Text: DOI arXiv Link
Yang, Jiannan; Cao, Yongzhi; Wang, Hanpin Differential privacy in probabilistic systems. (English) Zbl 1370.68081 Inf. Comput. 254, Part 1, 84-104 (2017). MSC: 68P25 03B70 68Q87 PDFBibTeX XMLCite \textit{J. Yang} et al., Inf. Comput. 254, Part 1, 84--104 (2017; Zbl 1370.68081) Full Text: DOI
Yan, Kedong; Ryoo, Hong Seo \(0\text{-}1\) multilinear programming as a unifying theory for LAD pattern generation. (English) Zbl 1358.90075 Discrete Appl. Math. 218, 21-39 (2017). MSC: 90C09 PDFBibTeX XMLCite \textit{K. Yan} and \textit{H. S. Ryoo}, Discrete Appl. Math. 218, 21--39 (2017; Zbl 1358.90075) Full Text: DOI
Jolai, Fariborz; Asadzadeh, Seyed Mohammad; Ghodsi, Reza; Bagheri-Marani, Shiva A multi-objective fuzzy queuing priority assignment model. (English) Zbl 1480.90103 Appl. Math. Modelling 40, No. 21-22, 9500-9513 (2016). MSC: 90B22 90C29 90C70 PDFBibTeX XMLCite \textit{F. Jolai} et al., Appl. Math. Modelling 40, No. 21--22, 9500--9513 (2016; Zbl 1480.90103) Full Text: DOI
Alqahtani, Ali An efficient approach to design confusion creating component and its analyses using majority logic criterion. (English) Zbl 1442.94002 Int. J. Dyn. Syst. Differ. Equ. 6, No. 2, 129-146 (2016). MSC: 94A08 94A60 65D18 68P25 PDFBibTeX XMLCite \textit{A. Alqahtani}, Int. J. Dyn. Syst. Differ. Equ. 6, No. 2, 129--146 (2016; Zbl 1442.94002) Full Text: DOI
Sato, Tetsuya Approximate relational Hoare logic for continuous random samplings. (English) Zbl 1401.68206 Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 277-298 (2016). MSC: 68Q60 03B70 18C15 68P15 68P25 68Q55 68Q87 PDFBibTeX XMLCite \textit{T. Sato}, Electron. Notes Theor. Comput. Sci. 325, 277--298 (2016; Zbl 1401.68206) Full Text: DOI arXiv
Baelde, David; Lunel, Simon; Schmitz, Sylvain A sequent calculus for a modal logic on finite data trees. (English) Zbl 1370.03043 Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 32, 16 p. (2016). MSC: 03B70 03B45 03F05 68P05 68Q25 PDFBibTeX XMLCite \textit{D. Baelde} et al., LIPIcs -- Leibniz Int. Proc. Inform. 62, Article 32, 16~p. (2016; Zbl 1370.03043) Full Text: DOI
Hekmatnia, Mohsen; Allahdadi, Mehdi; Payan, Ali Solving fuzzy slack-based measure of efficiency model by possibilistic programming approach. (English) Zbl 1362.90230 Int. J. Oper. Res. 27, No. 3, 502-512 (2016). MSC: 90B50 90C08 90C70 PDFBibTeX XMLCite \textit{M. Hekmatnia} et al., Int. J. Oper. Res. 27, No. 3, 502--512 (2016; Zbl 1362.90230) Full Text: DOI
Demri, Stéphane; Figueira, Diego; Praveen, M. Reasoning about data repetitions with counter systems. (English) Zbl 1448.68339 Log. Methods Comput. Sci. 12, No. 3, Paper No. 1, 55 p. (2016). MSC: 68Q85 03B44 68Q25 PDFBibTeX XMLCite \textit{S. Demri} et al., Log. Methods Comput. Sci. 12, No. 3, Paper No. 1, 55 p. (2016; Zbl 1448.68339) Full Text: DOI
Condotta, Jean-François; Kaci, Souhila; Salhi, Yakoub Optimization in temporal qualitative constraint networks. (English) Zbl 1336.68244 Acta Inf. 53, No. 2, 149-170 (2016). MSC: 68T27 68P05 68Q17 68Q25 68R10 68T30 PDFBibTeX XMLCite \textit{J.-F. Condotta} et al., Acta Inf. 53, No. 2, 149--170 (2016; Zbl 1336.68244) Full Text: DOI
Gaspers, Serge; Ordyniak, Sebastian; Ramanujan, M. S.; Saurabh, Saket; Szeider, Stefan Backdoors to q-Horn. (English) Zbl 1336.68126 Algorithmica 74, No. 1, 540-557 (2016). MSC: 68Q25 03B05 68P05 PDFBibTeX XMLCite \textit{S. Gaspers} et al., Algorithmica 74, No. 1, 540--557 (2016; Zbl 1336.68126) Full Text: DOI
Gaboardi, Marco; Péchoux, Romain Algebras and coalgebras in the light affine lambda calculus. (English) Zbl 1360.68328 Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 114-126 (2015). MSC: 68N18 03B70 68N30 68Q25 68Q65 PDFBibTeX XMLCite \textit{M. Gaboardi} and \textit{R. Péchoux}, in: Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP '15, Vancouver, Canada, September 1--3, 2015. New York, NY: Association for Computing Machinery (ACM). 114--126 (2015; Zbl 1360.68328) Full Text: DOI HAL
Genevès, Pierre; Layaïda, Nabil; Schmitt, Alan; Gesbert, Nils Efficiently deciding \(\mu\)-calculus with converse over finite trees. (English) Zbl 1354.68124 ACM Trans. Comput. Log. 16, No. 2, Article No. 16, 41 p. (2015). MSC: 68Q25 03B45 68P05 68T20 PDFBibTeX XMLCite \textit{P. Genevès} et al., ACM Trans. Comput. Log. 16, No. 2, Article No. 16, 41 p. (2015; Zbl 1354.68124) Full Text: DOI
Bova, Simone; Slivovsky, Friedrich On compiling structured CNFs to OBDDs. (English) Zbl 1378.68027 Beklemishev, Lev D. (ed.) et al., Computer science – theory and applications. 10th international computer science symposium in Russia, CSR 2015, Listvyanka, Russia, July 13–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-20296-9/pbk; 978-3-319-20297-6/ebook). Lecture Notes in Computer Science 9139, 80-93 (2015). MSC: 68P05 03B05 68Q25 68R10 PDFBibTeX XMLCite \textit{S. Bova} and \textit{F. Slivovsky}, Lect. Notes Comput. Sci. 9139, 80--93 (2015; Zbl 1378.68027) Full Text: DOI Link
Nishida, Naoki; Vidal, Germán A framework for computing finite SLD trees. (English) Zbl 1319.68055 J. Log. Algebr. Methods Program. 84, No. 2, 197-217 (2015). MSC: 68N17 68P05 PDFBibTeX XMLCite \textit{N. Nishida} and \textit{G. Vidal}, J. Log. Algebr. Methods Program. 84, No. 2, 197--217 (2015; Zbl 1319.68055) Full Text: DOI
Losemann, Katja; Martens, Wim MSO queries on trees: enumerating answers under updates. (English) Zbl 1401.68064 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 67, 10 p. (2014). MSC: 68P15 03B70 68P05 68Q25 68Q45 PDFBibTeX XMLCite \textit{K. Losemann} and \textit{W. Martens}, in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 67, 10 p. (2014; Zbl 1401.68064) Full Text: DOI
Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir V.; Zakharyaschev, Michael On the succinctness of query rewriting over shallow ontologies. (English) Zbl 1401.68316 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 57, 10 p. (2014). MSC: 68T30 68P05 68P15 68Q25 68T27 PDFBibTeX XMLCite \textit{S. Kikot} et al., in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 57, 10 p. (2014; Zbl 1401.68316) Full Text: DOI arXiv Link
Laurent, Anne (ed.); Strauss, Olivier (ed.); Bouchon-Meunier, Bernadette (ed.); Yager, Ronald R. (ed.) Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. (English) Zbl 1385.68008 Communications in Computer and Information Science 444. Cham: Springer (ISBN 978-3-319-08851-8/pbk; 978-3-319-08852-5/ebook). xvii, 569 p. (2014). MSC: 68-06 68Txx 00B25 PDFBibTeX XMLCite \textit{A. Laurent} (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15--19, 2014. Proceedings. Part III. Cham: Springer (2014; Zbl 1385.68008) Full Text: DOI
Laurent, Anne (ed.); Strauss, Olivier (ed.); Bouchon-Meunier, Bernadette (ed.); Yager, Ronald R. (ed.) Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part I. (English) Zbl 1385.68007 Communications in Computer and Information Science 442. Cham: Springer (ISBN 978-3-319-08794-8/pbk; 978-3-319-08795-5/ebook). xxxviii, 603 p. (2014). MSC: 68-06 68Txx 00B25 PDFBibTeX XMLCite \textit{A. Laurent} (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15--19, 2014. Proceedings. Part I. Cham: Springer (2014; Zbl 1385.68007) Full Text: DOI
Laurent, Anne (ed.); Strauss, Olivier (ed.); Bouchon-Meunier, Bernadette (ed.); Yager, Ronald R. (ed.) Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part II. (English) Zbl 1385.68006 Communications in Computer and Information Science 443. Cham: Springer (ISBN 978-3-319-08854-9/pbk; 978-3-319-08855-6/ebook). xviii, 631 p. (2014). MSC: 68-06 68Txx 00B25 PDFBibTeX XMLCite \textit{A. Laurent} (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15--19, 2014. Proceedings. Part II. Cham: Springer (2014; Zbl 1385.68006) Full Text: DOI
Nikjoo, Amin Vafadar; Saeedpoor, Mahdi An intuitionistic fuzzy DEMATEL methodology for prioritising the components of SWOT matrix in the Iranian insurance industry. (English) Zbl 1362.90288 Int. J. Oper. Res. 20, No. 4, 439-452 (2014). MSC: 90C08 90B50 91B30 90C70 PDFBibTeX XMLCite \textit{A. V. Nikjoo} and \textit{M. Saeedpoor}, Int. J. Oper. Res. 20, No. 4, 439--452 (2014; Zbl 1362.90288) Full Text: DOI
Lu, Yun; Hannenhalli, Sridhar; Cappola, Tom; Putt, Mary An evaluation of Monte Carlo logic and logicFS motivated by a study of the regulation of gene expression in heart failure. (English) Zbl 1352.62016 J. Appl. Stat. 41, No. 9, 1956-1975 (2014). MSC: 62-07 62P10 92C50 92D10 62F40 PDFBibTeX XMLCite \textit{Y. Lu} et al., J. Appl. Stat. 41, No. 9, 1956--1975 (2014; Zbl 1352.62016) Full Text: DOI
Zanardini, Damiano; Genaim, Samir Inference of field-sensitive reachability and cyclicity. (English) Zbl 1354.68035 ACM Trans. Comput. Log. 15, No. 4, Article No. 33, 41 p. (2014). MSC: 68N15 03B70 68P05 68Q55 PDFBibTeX XMLCite \textit{D. Zanardini} and \textit{S. Genaim}, ACM Trans. Comput. Log. 15, No. 4, Article No. 33, 41 p. (2014; Zbl 1354.68035) Full Text: DOI arXiv
Bartocci, Ezio; Bortolussi, Luca; Sanguinetti, Guido Data-driven statistical learning of temporal logic properties. (English) Zbl 1448.68371 Legay, Axel (ed.) et al., Formal modeling and analysis of timed systems. 12th international conference, FORMATS 2014, Florence, Italy, September 8–10, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8711, 23-37 (2014). MSC: 68T05 03B44 62P10 92C42 93B15 PDFBibTeX XMLCite \textit{E. Bartocci} et al., Lect. Notes Comput. Sci. 8711, 23--37 (2014; Zbl 1448.68371) Full Text: DOI
Khashei, Mehdi; Bijari, Mehdi Fuzzy artificial neural network \((p, d, q)\) model for incomplete financial time series forecasting. (English) Zbl 1306.91107 J. Intell. Fuzzy Syst. 26, No. 2, 831-845 (2014). MSC: 91B84 62M10 62M20 68T05 91G70 PDFBibTeX XMLCite \textit{M. Khashei} and \textit{M. Bijari}, J. Intell. Fuzzy Syst. 26, No. 2, 831--845 (2014; Zbl 1306.91107) Full Text: DOI
Belohlavek, Radim; Krmelova, Marketa Factor analysis of ordinal data via decomposition of matrices with grades. (English) Zbl 1305.15035 Ann. Math. Artif. Intell. 72, No. 1-2, 23-44 (2014). MSC: 15A23 03B52 62H25 06A15 PDFBibTeX XMLCite \textit{R. Belohlavek} and \textit{M. Krmelova}, Ann. Math. Artif. Intell. 72, No. 1--2, 23--44 (2014; Zbl 1305.15035) Full Text: DOI
Laun, Jürn Efficient algorithms for highly compressed data: the word problem in generalized Higman groups is in P. (English) Zbl 1319.68112 Theory Comput. Syst. 55, No. 4, 742-770 (2014). MSC: 68Q25 20F10 68P05 68P30 68Q15 PDFBibTeX XMLCite \textit{J. Laun}, Theory Comput. Syst. 55, No. 4, 742--770 (2014; Zbl 1319.68112) Full Text: DOI arXiv
Kasabov, Nikola (ed.) Springer handbook of bio-/neuro-informatics. (English) Zbl 1304.92001 Springer Handbooks. Dordrecht: Springer (ISBN 978-3-642-30573-3/hbk; 978-3-642-30574-0/ebook). lvii, 1229 p. (2014). Reviewer: Irina Ioana Mohorianu (Norwich) MSC: 92-00 92-06 00B15 92B20 92C40 92C50 92D10 68T05 92B25 92D20 92D15 92C20 PDFBibTeX XMLCite \textit{N. Kasabov} (ed.), Springer handbook of bio-/neuro-informatics. Dordrecht: Springer (2014; Zbl 1304.92001) Full Text: DOI
Dvořák, Zdeněk; Kupec, Martin; Tůma, Vojtěch A dynamic data structure for MSO properties in graphs with bounded tree-depth. (English) Zbl 1423.68123 Schulz, Andreas S. (ed.) et al., Algorithms – ESA 2014. 22nd annual European symposium, Wrocław, Poland, September 8–10, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8737, 334-345 (2014). MSC: 68P05 03B15 05C85 68R10 68W40 PDFBibTeX XMLCite \textit{Z. Dvořák} et al., Lect. Notes Comput. Sci. 8737, 334--345 (2014; Zbl 1423.68123) Full Text: DOI
Ram, Mangey (ed.); Frenkel, Ilia B. (ed.); Gupta, Arpan (ed.) Preface: Applied mathematical techniques in engineering applications and related topics. II. (English) Zbl 1298.00343 Math. Eng. Sci. Aerosp. MESA 5, No. 3, 239-240 (2014). MSC: 00B25 30B40 30E10 34A08 34A37 34K06 34K28 35A24 35Q35 37C25 41A10 43A50 44A10 62N05 65Y10 68M15 68T27 81P45 90B25 92B20 94Cxx PDFBibTeX XMLCite \textit{M. Ram} (ed.) et al., Math. Eng. Sci. Aerosp. MESA 5, No. 3, 239--240 (2014; Zbl 1298.00343) Full Text: Link
Schewe, Klaus-Dieter; Wang, Qing A theoretical framework for knowledge-based entity resolution. (English) Zbl 1360.68822 Theor. Comput. Sci. 549, 101-126 (2014). MSC: 68T30 68Q17 68Q25 68T27 PDFBibTeX XMLCite \textit{K.-D. Schewe} and \textit{Q. Wang}, Theor. Comput. Sci. 549, 101--126 (2014; Zbl 1360.68822) Full Text: DOI
Cîrstea, Corina A coalgebraic approach to linear-time logics. (English) Zbl 1405.68192 Muscholl, Anca (ed.), Foundations of software science and computation structures. 17th international conference, FOSSACS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54829-1/pbk). Lecture Notes in Computer Science 8412, 426-440 (2014). MSC: 68Q65 03B44 03G30 18B20 68Q87 PDFBibTeX XMLCite \textit{C. Cîrstea}, Lect. Notes Comput. Sci. 8412, 426--440 (2014; Zbl 1405.68192) Full Text: DOI
Tan, Tony Extending two-variable logic on data trees with order on data values and its automata. (English) Zbl 1287.03077 ACM Trans. Comput. Log. 15, No. 1, Article No. 8, 39 p. (2014). MSC: 03B70 03D05 68P05 68Q25 PDFBibTeX XMLCite \textit{T. Tan}, ACM Trans. Comput. Log. 15, No. 1, Article No. 8, 39 p. (2014; Zbl 1287.03077) Full Text: DOI arXiv Link
Jeannet, Bertrand; Schrammel, Peter; Sankaranarayanan, Sriram Abstract acceleration of general linear loops. (English) Zbl 1284.68188 Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 529-540 (2014). MSC: 68N30 68Q65 15A04 03B70 PDFBibTeX XMLCite \textit{B. Jeannet} et al., in: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '14, San Diego, CA, USA, January 22--24, 2014. New York, NY: Association for Computing Machinery (ACM). 529--540 (2014; Zbl 1284.68188) Full Text: DOI arXiv
Spiliopoulou, Myra (ed.); Schmidt-Thieme, Lars (ed.); Janning, Ruth (ed.) Data analysis, machine learning and knowledge discovery. Revised versions of selected papers presented at the 36th annual conference of the German Classification Society, Gesellschaft für Klassifikation, GfKl 2012, Hildesheim, Germany, August 1–3, 2012. (English) Zbl 1301.68022 Studies in Classification, Data Analysis, and Knowledge Organization. Cham: Springer (ISBN 978-3-319-01594-1/pbk; 978-3-319-01595-8/ebook). xxi, 470 p. (2014). Reviewer: Irina Ioana Mohorianu (Norwich) MSC: 68-06 68P01 68T05 68T30 62-07 62P99 PDFBibTeX XMLCite \textit{M. Spiliopoulou} (ed.) et al., Data analysis, machine learning and knowledge discovery. Revised versions of selected papers presented at the 36th annual conference of the German Classification Society, Gesellschaft für Klassifikation, GfKl 2012, Hildesheim, Germany, August 1--3, 2012. Cham: Springer (2014; Zbl 1301.68022) Full Text: DOI
Hoffmann, Jan; Marmar, Michael; Shao, Zhong Quantitative reasoning for proving lock-freedom. (English) Zbl 1366.68171 Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 124-133 (2013). MSC: 68Q60 03B70 68P05 68Q85 PDFBibTeX XMLCite \textit{J. Hoffmann} et al., in: Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25--28, 2013. Los Alamitos, CA: IEEE Computer Society. 124--133 (2013; Zbl 1366.68171) Full Text: DOI
Demri, Stéphane; Figueira, Diego; Praveen, M. Reasoning about data repetitions with counter systems. (English) Zbl 1366.68202 Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 33-42 (2013). MSC: 68Q85 03B44 68Q25 PDFBibTeX XMLCite \textit{S. Demri} et al., in: Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25--28, 2013. Los Alamitos, CA: IEEE Computer Society. 33--42 (2013; Zbl 1366.68202) Full Text: DOI arXiv
Alem, Seyed Mostafa; Jolai, Fariborz; Nazari-Shirkouhi, Salman An integrated fuzzy DEA-fuzzy AHP approach: a new model for ranking decision-making units. (English) Zbl 1362.90379 Int. J. Oper. Res. 17, No. 1, 38-58 (2013). MSC: 90C70 90B50 PDFBibTeX XMLCite \textit{S. M. Alem} et al., Int. J. Oper. Res. 17, No. 1, 38--58 (2013; Zbl 1362.90379)
Khalili-Damghani, Kaveh; Taghavifard, Behnam Sensitivity and stability analysis in two-stage DEA models with fuzzy data. (English) Zbl 1362.90385 Int. J. Oper. Res. 17, No. 1, 1-37 (2013). MSC: 90C70 90C08 90C31 PDFBibTeX XMLCite \textit{K. Khalili-Damghani} and \textit{B. Taghavifard}, Int. J. Oper. Res. 17, No. 1, 1--37 (2013; Zbl 1362.90385)
Gaspers, Serge; Ordyniak, Sebastian; Ramanujan, M. S.; Saurabh, Saket; Szeider, Stefan Backdoors to q-Horn. (English) Zbl 1354.68123 Portier, Natacha (ed.) et al., 30th international symposium on theoretical aspects of computer science, STACS’ 13, Kiel, Germany, February 27 – March 2, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-50-7). LIPIcs – Leibniz International Proceedings in Informatics 20, 67-79 (2013). MSC: 68Q25 03B05 68P05 PDFBibTeX XMLCite \textit{S. Gaspers} et al., LIPIcs -- Leibniz Int. Proc. Inform. 20, 67--79 (2013; Zbl 1354.68123) Full Text: DOI
Dal Lago, Ugo; Petit, Barbara The geometry of types. (English) Zbl 1301.68184 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 167-178 (2013). MSC: 68Q65 68N18 68N30 68Q25 68Q60 PDFBibTeX XMLCite \textit{U. Dal Lago} and \textit{B. Petit}, in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '13, Rome, Italy, January 23--25, 2013. New York, NY: Association for Computing Machinery (ACM). 167--178 (2013; Zbl 1301.68184) Full Text: DOI arXiv
Li, Zhao-Peng; Zhang, Yu; Chen, Yi-Yun A shape graph logic and a shape system. (English) Zbl 1296.68100 J. Comput. Sci. Technol. 28, No. 6, 1063-1084 (2013). MSC: 68Q60 68N30 68P05 68T15 PDFBibTeX XMLCite \textit{Z.-P. Li} et al., J. Comput. Sci. Technol. 28, No. 6, 1063--1084 (2013; Zbl 1296.68100) Full Text: DOI
Abdulla, Parosh Aziz; Cederberg, Jonathan; Vojnar, Tomáš Monotonic abstraction for programs with multiply-linked structures. (English) Zbl 1286.68304 Int. J. Found. Comput. Sci. 24, No. 2, 187-210 (2013). MSC: 68Q60 68N30 68R10 03B70 68Q65 PDFBibTeX XMLCite \textit{P. A. Abdulla} et al., Int. J. Found. Comput. Sci. 24, No. 2, 187--210 (2013; Zbl 1286.68304) Full Text: DOI
Rouane-Hacene, Mohamed; Huchard, Marianne; Napoli, Amedeo; Valtchev, Petko Relational concept analysis: mining concept lattices from multi-relational data. (English) Zbl 1297.68220 Ann. Math. Artif. Intell. 67, No. 1, 81-108 (2013). MSC: 68T30 06B99 68P15 68T05 68T27 PDFBibTeX XMLCite \textit{M. Rouane-Hacene} et al., Ann. Math. Artif. Intell. 67, No. 1, 81--108 (2013; Zbl 1297.68220) Full Text: DOI Link
Losada, Marcelo; Laura, Roberto The formalism of generalized contexts and decay processes. (English) Zbl 1268.81154 Int. J. Theor. Phys. 52, No. 4, 1289-1299 (2013). MSC: 81U99 81P20 81S22 81P15 62N86 PDFBibTeX XMLCite \textit{M. Losada} and \textit{R. Laura}, Int. J. Theor. Phys. 52, No. 4, 1289--1299 (2013; Zbl 1268.81154) Full Text: DOI
Qin, Shengchao; He, Guanhua; Luo, Chenguang; Chin, Wei-Ngan; Chen, Xin Loop invariant synthesis in a combined abstract domain. (English) Zbl 1256.68044 J. Symb. Comput. 50, 386-408 (2013). MSC: 68N30 68N19 68P05 68Q60 PDFBibTeX XMLCite \textit{S. Qin} et al., J. Symb. Comput. 50, 386--408 (2013; Zbl 1256.68044) Full Text: DOI
Baianu, I. C.; Brown, Ronald; Glazebrook, James F. A category theory and higher dimensional algebra approach to complex systems biology, meta-systems and ontological theory of levels: emergence of life, society, human consciousness and articial intelligence. (English) Zbl 1340.92017 Acta Univ. Apulensis, Math. Inform., Spec. Iss., 176-298 (2012). MSC: 92C42 92B05 68Q15 03G20 03G12 18A15 18A40 93B15 18B40 18G55 55U40 91E99 91D30 PDFBibTeX XMLCite \textit{I. C. Baianu} et al., Acta Univ. Apulensis, Math. Inform., 176--298 (2012; Zbl 1340.92017)
Garanina, Natalia O. Exponential acceleration of model checking for perfect recall systems. (English) Zbl 1336.68163 Clarke, Edmund (ed.) et al., Perspectives of systems informatics. 8th international Andrei Ershov memorial conference, PSI 2011, Novosibirsk, Russia, June 27 – July 1, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29708-3/pbk). Lecture Notes in Computer Science 7162, 111-124 (2012). MSC: 68Q60 03B44 03B70 68P05 68Q25 68T27 68T42 PDFBibTeX XMLCite \textit{N. O. Garanina}, Lect. Notes Comput. Sci. 7162, 111--124 (2012; Zbl 1336.68163) Full Text: DOI
Lee, Oukseh; Yang, Hongseok; Petersen, Rasmus A divide-and-conquer approach for analysing overlaid data structures. (English) Zbl 1284.68407 Form. Methods Syst. Des. 41, No. 1, 4-24 (2012). MSC: 68Q60 68P05 03B70 PDFBibTeX XMLCite \textit{O. Lee} et al., Form. Methods Syst. Des. 41, No. 1, 4--24 (2012; Zbl 1284.68407) Full Text: DOI