Fici, Gabriele; Shallit, Jeffrey Properties of a class of Toeplitz words. (English) Zbl 07540190 Theor. Comput. Sci. 922, 1-12 (2022). Reviewer: Michel Rigo (Liège) MSC: 68R15 11B85 68V15 PDF BibTeX XML Cite \textit{G. Fici} and \textit{J. Shallit}, Theor. Comput. Sci. 922, 1--12 (2022; Zbl 07540190) Full Text: DOI OpenURL
Parchami, A.; Sadeghpour Gildeh, B. Minimax risk strategy for testing capability. (English) Zbl 07529806 J. Mahani Math. Res. Cent. 11, No. 1, 47-59 (2022). MSC: 62C20 PDF BibTeX XML Cite \textit{A. Parchami} and \textit{B. Sadeghpour Gildeh}, J. Mahani Math. Res. Cent. 11, No. 1, 47--59 (2022; Zbl 07529806) Full Text: DOI OpenURL
Ermoliev, Y.; Zagorodny, A. G.; Bogdanov, V. L.; Ermolieva, T.; Havlik, P.; Rovenskaya, E.; Komendantova, N.; Obersteiner, M. Robust food-energy-water-environmental security management: Stochastic quasigradient procedure for linkage of distributed optimization models under asymmetric information and uncertainty. (English. Ukrainian original) Zbl 07514994 Cybern. Syst. Anal. 58, No. 1, 45-57 (2022); translation from Kibern. Sist. Anal. 58, No. 1, 55-69 (2022). MSC: 90C30 91B74 PDF BibTeX XML Cite \textit{Y. Ermoliev} et al., Cybern. Syst. Anal. 58, No. 1, 45--57 (2022; Zbl 07514994); translation from Kibern. Sist. Anal. 58, No. 1, 55--69 (2022) Full Text: DOI OpenURL
Roquain, Etienne; Verzelen, Nicolas False discovery rate control with unknown null distribution: is it possible to mimic the oracle? (English) Zbl 1486.62222 Ann. Stat. 50, No. 2, 1095-1123 (2022). MSC: 62J15 62C20 62P10 PDF BibTeX XML Cite \textit{E. Roquain} and \textit{N. Verzelen}, Ann. Stat. 50, No. 2, 1095--1123 (2022; Zbl 1486.62222) Full Text: DOI OpenURL
Shallit, Jeffrey Say No to case analysis: automating the drudgery of case-based proofs. (English) Zbl 07495101 Maneth, Sebastian (ed.), Implementation and application of automata. 25th international conference, CIAA 2021, virtual event, July 19–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12803, 14-24 (2021). MSC: 68Q45 PDF BibTeX XML Cite \textit{J. Shallit}, Lect. Notes Comput. Sci. 12803, 14--24 (2021; Zbl 07495101) Full Text: DOI OpenURL
Oliva, Paulo; Zahn, Philipp On rational choice and the representation of decision problems. (English) Zbl 07485723 Games 12, No. 4, Paper No. 86, 21 p. (2021). MSC: 91B06 PDF BibTeX XML Cite \textit{P. Oliva} and \textit{P. Zahn}, Games 12, No. 4, Paper No. 86, 21 p. (2021; Zbl 07485723) Full Text: DOI arXiv OpenURL
Golińska-Pilarek, Joanna; Huuskonen, Taneli; Zawidzki, Michał Tableau-based decision procedure for non-Fregean logic of sentential identity. (English) Zbl 07437071 Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 41-57 (2021). MSC: 03B35 68V15 PDF BibTeX XML Cite \textit{J. Golińska-Pilarek} et al., Lect. Notes Comput. Sci. 12699, 41--57 (2021; Zbl 07437071) Full Text: DOI arXiv OpenURL
Guo, Liang Contextual deliberation and the choice-valuation preference reversal. (English) Zbl 1470.91085 J. Econ. Theory 195, Article ID 105285, 31 p. (2021). MSC: 91B06 91B08 91-05 PDF BibTeX XML Cite \textit{L. Guo}, J. Econ. Theory 195, Article ID 105285, 31 p. (2021; Zbl 1470.91085) Full Text: DOI OpenURL
Camerlenghi, Federico; Favaro, Stefano; Naulet, Zacharie; Panero, Francesca Optimal disclosure risk assessment. (English) Zbl 1468.62263 Ann. Stat. 49, No. 2, 723-744 (2021). MSC: 62G05 62C20 PDF BibTeX XML Cite \textit{F. Camerlenghi} et al., Ann. Stat. 49, No. 2, 723--744 (2021; Zbl 1468.62263) Full Text: DOI arXiv OpenURL
Batur, Demet; Choobineh, F. Fred Selecting the best alternative based on its quantile. (English) Zbl 1466.90038 INFORMS J. Comput. 33, No. 2, 657-671 (2021). MSC: 90B50 91B05 PDF BibTeX XML Cite \textit{D. Batur} and \textit{F. F. Choobineh}, INFORMS J. Comput. 33, No. 2, 657--671 (2021; Zbl 1466.90038) Full Text: DOI OpenURL
Shallit, Jeffrey Subword complexity of the Fibonacci-Thue-Morse sequence: the proof of Dekking’s conjecture. (English) Zbl 07337404 Indag. Math., New Ser. 32, No. 3, 729-735 (2021). Reviewer: Thomas B. Ward (Newcastle) MSC: 11B85 68R15 PDF BibTeX XML Cite \textit{J. Shallit}, Indag. Math., New Ser. 32, No. 3, 729--735 (2021; Zbl 07337404) Full Text: DOI arXiv OpenURL
Baranwal, Aseem; Schaeffer, Luke; Shallit, Jeffrey Ostrowski-automatic sequences: theory and applications. (English) Zbl 1467.68146 Theor. Comput. Sci. 858, 122-142 (2021). Reviewer: Michel Rigo (Liège) MSC: 68R15 11B85 68Q45 68V15 PDF BibTeX XML Cite \textit{A. Baranwal} et al., Theor. Comput. Sci. 858, 122--142 (2021; Zbl 1467.68146) Full Text: DOI OpenURL
Roselli, Lucia Reis Peixoto; Pereira, Leydiana de Sousa; da Silva, Anderson Lucas Carneiro de Lima; de Almeida, Adiel Teixeira; Morais, Danielle Costa; Costa, Ana Paula Cabral Seixas Neuroscience experiment applied to investigate decision-maker behavior in the tradeoff elicitation procedure. (English) Zbl 07563083 Ann. Oper. Res. 289, No. 1, 67-84 (2020). MSC: 91Bxx 90-XX 00Bxx PDF BibTeX XML Cite \textit{L. R. P. Roselli} et al., Ann. Oper. Res. 289, No. 1, 67--84 (2020; Zbl 07563083) Full Text: DOI OpenURL
Sanni, Mustapha Balewa; Ogouyandjou, Carlos; Moussa, Freedath Djibril Characterization of Electre I choice procedures. (English) Zbl 1466.62240 RAIRO, Oper. Res. 54, No. 6, 1673-1683 (2020). MSC: 62C25 90B50 PDF BibTeX XML Cite \textit{M. B. Sanni} et al., RAIRO, Oper. Res. 54, No. 6, 1673--1683 (2020; Zbl 1466.62240) Full Text: DOI OpenURL
Barthe, Gilles; Chadha, Rohit; Jagannath, Vishal; Sistla, A. Prasad; Viswanathan, Mahesh Deciding differential privacy for programs with finite inputs and outputs. (English) Zbl 07299465 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 141-154 (2020). MSC: 68-XX PDF BibTeX XML Cite \textit{G. Barthe} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 141--154 (2020; Zbl 07299465) Full Text: DOI arXiv OpenURL
Kang, Inhan; Ratcliff, Roger; Voskuilen, Chelsea A note on decomposition of sources of variability in perceptual decision-making. (English) Zbl 1455.91078 J. Math. Psychol. 98, Article ID 102431, 11 p. (2020). MSC: 91B06 91E30 PDF BibTeX XML Cite \textit{I. Kang} et al., J. Math. Psychol. 98, Article ID 102431, 11 p. (2020; Zbl 1455.91078) Full Text: DOI OpenURL
Shu, Xinfeng; Zhang, Nan; Wang, Xiaobing; Zhao, Liang Efficient decision procedure for propositional projection temporal logic. (English) Zbl 1476.03019 Theor. Comput. Sci. 838, 1-16 (2020). Reviewer: Valentin F. Goranko (Stockholm) MSC: 03B44 PDF BibTeX XML Cite \textit{X. Shu} et al., Theor. Comput. Sci. 838, 1--16 (2020; Zbl 1476.03019) Full Text: DOI OpenURL
Ehyaei, Ahmad Reza; Alishahi, Kasra; Shojaie, Ali A new proof of FDR control based on forward filtration. (English) Zbl 1445.62036 J. Iran. Stat. Soc. JIRSS 19, No. 1, 59-68 (2020). MSC: 62F03 62J15 62C05 PDF BibTeX XML Cite \textit{A. R. Ehyaei} et al., J. Iran. Stat. Soc. JIRSS 19, No. 1, 59--68 (2020; Zbl 1445.62036) Full Text: DOI OpenURL
Balbiani, Philippe About the temporal logic of the lexicographic products of unbounded dense linear orders: a new study of its computability. (English) Zbl 1484.03030 Ju, Shier (ed.) et al., Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5–9, 2016. Singapore: Springer. Log. Asia: Stud. Log. Libr., 67-83 (2020). MSC: 03B44 06A05 03B25 03D15 PDF BibTeX XML Cite \textit{P. Balbiani}, in: Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5--9, 2016. Singapore: Springer. 67--83 (2020; Zbl 1484.03030) Full Text: DOI HAL OpenURL
Rajasekaran, Aayush; Shallit, Jeffrey; Smith, Tim Additive number theory via automata theory. (English) Zbl 1475.11040 Theory Comput. Syst. 64, No. 3, 542-567 (2020). Reviewer: Volker Ziegler (Salzburg) MSC: 11B85 11A63 68Q45 PDF BibTeX XML Cite \textit{A. Rajasekaran} et al., Theory Comput. Syst. 64, No. 3, 542--567 (2020; Zbl 1475.11040) Full Text: DOI OpenURL
Shu, Xinfeng; Duan, Zhenhua; Du, Hongwei A decision procedure and complete axiomatization for projection temporal logic. (English) Zbl 07188529 Theor. Comput. Sci. 819, 50-84 (2020). MSC: 03B44 03B35 68V20 PDF BibTeX XML Cite \textit{X. Shu} et al., Theor. Comput. Sci. 819, 50--84 (2020; Zbl 07188529) Full Text: DOI OpenURL
Shu, Xinfeng; Zhang, Nan An efficient decision procedure for propositional projection temporal logic. (English) Zbl 1478.03031 Du, Ding-Zhu (ed.) et al., Computing and combinatorics. 25th international conference, COCOON 2019, Xi’an, China, July 29–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11653, 503-515 (2019). MSC: 03B44 PDF BibTeX XML Cite \textit{X. Shu} and \textit{N. Zhang}, Lect. Notes Comput. Sci. 11653, 503--515 (2019; Zbl 1478.03031) Full Text: DOI OpenURL
Espírito Santo, José; Matthes, Ralph; Pinto, Luís Decidability of several concepts of finiteness for simple types. (English) Zbl 1446.03036 Fundam. Inform. 170, No. 1-3, 111-138 (2019). MSC: 03B40 03B25 PDF BibTeX XML Cite \textit{J. Espírito Santo} et al., Fundam. Inform. 170, No. 1--3, 111--138 (2019; Zbl 1446.03036) Full Text: DOI OpenURL
Zakharov, Vladimir A. Equivalence checking of prefix-free transducers and deterministic two-tape automata. (English) Zbl 1425.68239 Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 146-158 (2019). MSC: 68Q45 PDF BibTeX XML Cite \textit{V. A. Zakharov}, Lect. Notes Comput. Sci. 11417, 146--158 (2019; Zbl 1425.68239) Full Text: DOI OpenURL
Trost, Michael On the equivalence between iterated application of choice rules and common belief of applying these rules. (English) Zbl 1417.91127 Games Econ. Behav. 116, 1-37 (2019). MSC: 91A35 91A26 PDF BibTeX XML Cite \textit{M. Trost}, Games Econ. Behav. 116, 1--37 (2019; Zbl 1417.91127) Full Text: DOI Link OpenURL
Zhang, Xue-yang; Zhang, Hong-yu; Wang, Jian-qiang Discussing incomplete 2-tuple fuzzy linguistic preference relations in multi-granular linguistic MCGDM with unknown weight information. (English) Zbl 1415.91105 Soft Comput. 23, No. 6, 2015-2032 (2019). MSC: 91B06 03E72 68T37 PDF BibTeX XML Cite \textit{X.-y. Zhang} et al., Soft Comput. 23, No. 6, 2015--2032 (2019; Zbl 1415.91105) Full Text: DOI OpenURL
Scowcroft, Philip Decision procedures for the conditions true in certain metric structures. (English) Zbl 1439.03060 Topology Appl. 259, 323-346 (2019). Reviewer: Daniele Mundici (Firenze) MSC: 03B50 03C90 03B25 03C60 PDF BibTeX XML Cite \textit{P. Scowcroft}, Topology Appl. 259, 323--346 (2019; Zbl 1439.03060) Full Text: DOI OpenURL
Mahboubi, Assia; Melquiond, Guillaume; Sibut-Pinote, Thomas Formally verified approximations of definite integrals. (English) Zbl 1468.68301 J. Autom. Reasoning 62, No. 2, 281-300 (2019). MSC: 68V15 65D30 65G30 PDF BibTeX XML Cite \textit{A. Mahboubi} et al., J. Autom. Reasoning 62, No. 2, 281--300 (2019; Zbl 1468.68301) Full Text: DOI Link OpenURL
Li, Wenda; Passmore, Grant Olney; Paulson, Lawrence C. Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL. (English) Zbl 1468.68298 J. Autom. Reasoning 62, No. 1, 69-91 (2019). MSC: 68V15 12D10 68W30 PDF BibTeX XML Cite \textit{W. Li} et al., J. Autom. Reasoning 62, No. 1, 69--91 (2019; Zbl 1468.68298) Full Text: DOI arXiv OpenURL
Yukalov, V. I.; Yukalova, E. P.; Sornette, D. Information processing by networks of quantum decision makers. (English) Zbl 07546849 Physica A 492, 747-766 (2018). MSC: 82-XX PDF BibTeX XML Cite \textit{V. I. Yukalov} et al., Physica A 492, 747--766 (2018; Zbl 07546849) Full Text: DOI OpenURL
Madhusudan, P.; Nowotka, Dirk; Rajasekaran, Aayush; Shallit, Jeffrey Lagrange’s theorem for binary squares. (English) Zbl 07378335 Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 18, 14 p. (2018). MSC: 68Qxx PDF BibTeX XML Cite \textit{P. Madhusudan} et al., LIPIcs -- Leibniz Int. Proc. Inform. 117, Article 18, 14 p. (2018; Zbl 07378335) Full Text: DOI arXiv OpenURL
Tang, Jie; Meng, Fanyong; Zhang, Yongliang Decision making with interval-valued intuitionistic fuzzy preference relations based on additive consistency analysis. (English) Zbl 1448.91083 Inf. Sci. 467, 115-134 (2018). MSC: 91B06 91B86 PDF BibTeX XML Cite \textit{J. Tang} et al., Inf. Sci. 467, 115--134 (2018; Zbl 1448.91083) Full Text: DOI OpenURL
Rajasekaran, Aayush; Shallit, Jeffrey; Smith, Tim Sums of palindromes: an approach via automata. (English) Zbl 07228445 Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 54, 12 p. (2018). MSC: 11B13 68Q45 68R15 PDF BibTeX XML Cite \textit{A. Rajasekaran} et al., LIPIcs -- Leibniz Int. Proc. Inform. 96, Article 54, 12 p. (2018; Zbl 07228445) Full Text: DOI arXiv OpenURL
Cao, Kecai; Chen, YangQuan Fractional order crowd dynamics. Cyber-human system modeling and control. (English) Zbl 1415.91001 Fractional Calculus in Applied Sciences and Engineering 4. Berlin: De Gruyter (ISBN 978-3-11-047281-3/hbk; 978-3-11-047398-8/ebook). xiii, 123 p. (2018). Reviewer: Weiping Li (Stillwater) MSC: 91-02 91C99 91C20 93B52 93C95 26A33 93C85 PDF BibTeX XML Cite \textit{K. Cao} and \textit{Y. Chen}, Fractional order crowd dynamics. Cyber-human system modeling and control. Berlin: De Gruyter (2018; Zbl 1415.91001) OpenURL
Berg, Bjorn P.; Denton, Brian T. Fast approximation methods for online scheduling of outpatient procedure centers. (English) Zbl 1446.90089 INFORMS J. Comput. 29, No. 4, 631-644 (2017). MSC: 90B36 90B50 90C27 68W25 PDF BibTeX XML Cite \textit{B. P. Berg} and \textit{B. T. Denton}, INFORMS J. Comput. 29, No. 4, 631--644 (2017; Zbl 1446.90089) Full Text: DOI OpenURL
Fiedor, Tomáš; Holík, Lukáš; Janků, Petr; Lengál, Ondřej; Vojnar, Tomáš Lazy automata techniques for WS1S. (English) Zbl 1452.03090 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 407-425 (2017). MSC: 03D05 03B25 68Q45 PDF BibTeX XML Cite \textit{T. Fiedor} et al., Lect. Notes Comput. Sci. 10205, 407--425 (2017; Zbl 1452.03090) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{C. Enea} et al., Form. Methods Syst. Des. 51, No. 3, 575--607 (2017; Zbl 1377.68073) Full Text: DOI HAL OpenURL
Ma, Jianmin; Zou, Cunjun; Pan, Xiaochen Structured probabilistic rough set approximations. (English) Zbl 1419.68171 Int. J. Approx. Reasoning 90, 319-332 (2017). MSC: 68T37 PDF BibTeX XML Cite \textit{J. Ma} et al., Int. J. Approx. Reasoning 90, 319--332 (2017; Zbl 1419.68171) Full Text: DOI OpenURL
Fenoy, M. Mar The invariant optimal sampling plan in a sequentially planned decision procedure. (English) Zbl 1373.62420 Sequential Anal. 36, No. 2, 194-209 (2017). MSC: 62L10 62C25 60G40 PDF BibTeX XML Cite \textit{M. M. Fenoy}, Sequential Anal. 36, No. 2, 194--209 (2017; Zbl 1373.62420) Full Text: DOI OpenURL
Luzardo, André; Rivest, François; Alonso, Eduardo; Ludvig, Elliot A. A drift-diffusion model of interval timing in the peak procedure. (English) Zbl 1396.91620 J. Math. Psychol. 77, 111-123 (2017). MSC: 91E10 91B06 60J60 62P15 PDF BibTeX XML Cite \textit{A. Luzardo} et al., J. Math. Psychol. 77, 111--123 (2017; Zbl 1396.91620) Full Text: DOI OpenURL
Liu, Caihui; Pedrycz, Witold; Wang, Meizhi Covering-based multigranulation decision-theoretic rough sets. (English) Zbl 1366.91053 J. Intell. Fuzzy Syst. 32, No. 1, 749-765 (2017). MSC: 91B06 68T37 PDF BibTeX XML Cite \textit{C. Liu} et al., J. Intell. Fuzzy Syst. 32, No. 1, 749--765 (2017; Zbl 1366.91053) Full Text: DOI OpenURL
Du, Chen Fei; Mousavi, Hamoon; Rowland, Eric; Schaeffer, Luke; Shallit, Jeffrey Decision algorithms for Fibonacci-automatic words. II: Related sequences and avoidability. (English) Zbl 1366.68223 Theor. Comput. Sci. 657, Part B, 146-162 (2017). MSC: 68R15 11B85 68Q45 11A67 PDF BibTeX XML Cite \textit{C. F. Du} et al., Theor. Comput. Sci. 657, Part B, 146--162 (2017; Zbl 1366.68223) Full Text: DOI OpenURL
Kalyagin, Valery A.; Koldanov, Alexander P.; Koldanov, Petr A. Robust identification in random variable networks. (English) Zbl 1349.90182 J. Stat. Plann. Inference 181, 30-40 (2017). MSC: 90B15 62H15 62H20 05C90 PDF BibTeX XML Cite \textit{V. A. Kalyagin} et al., J. Stat. Plann. Inference 181, 30--40 (2017; Zbl 1349.90182) Full Text: DOI OpenURL
Aguiló, I.; Calvo, T.; Fuster-Parra, P.; Martin, J.; Mayor, G.; Suñer, J. Preference structures: qualitative judgements based on smooth t-conorms. (English) Zbl 1427.68306 Inf. Sci. 366, 165-176 (2016). MSC: 68T37 91B06 PDF BibTeX XML Cite \textit{I. Aguiló} et al., Inf. Sci. 366, 165--176 (2016; Zbl 1427.68306) Full Text: DOI OpenURL
Arthan, Robin Denis Now \(f\) is continuous (exercise!). (English) Zbl 1451.68313 J. Formaliz. Reason. 9, No. 1, 33-52 (2016). MSC: 68V15 PDF BibTeX XML Cite \textit{R. D. Arthan}, J. Formaliz. Reason. 9, No. 1, 33--52 (2016; Zbl 1451.68313) Full Text: DOI OpenURL
Larkin, E. V.; Kotov, V. V.; Ivutin, A. N.; Privalov, A. N. Simulation of relay-races. (English) Zbl 1416.91037 Vestn. Yuzhno-Ural. Gos. Univ., Ser. Mat. Model. Program. 9, No. 4, 117-128 (2016). MSC: 91A20 90C40 91A22 PDF BibTeX XML Cite \textit{E. V. Larkin} et al., Vestn. Yuzhno-Ural. Gos. Univ., Ser. Mat. Model. Program. 9, No. 4, 117--128 (2016; Zbl 1416.91037) Full Text: DOI MNR OpenURL
Girlando, M.; Negri, S.; Olivetti, N.; Risch, V. The logic of conditional beliefs: neighbourhood semantics and sequent calculus. (English) Zbl 1400.03030 Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 322-341 (2016). MSC: 03B42 03F05 PDF BibTeX XML Cite \textit{M. Girlando} et al., in: Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 -- September 2, 2016. London: College Publications. 322--341 (2016; Zbl 1400.03030) OpenURL
Liao, Huchang; Xu, Zeshui Consistency and consensus of intuitionistic fuzzy preference relations in group decision making. (English) Zbl 1371.91044 Angelov, Plamen (ed.) et al., Imprecision and uncertainty in information representation and processing. New tools based on intuitionistic fuzzy sets and generalized nets. Cham: Springer (ISBN 978-3-319-26301-4/hbk; 978-3-319-26302-1/ebook). Studies in Fuzziness and Soft Computing 332, 189-206 (2016). MSC: 91B06 PDF BibTeX XML Cite \textit{H. Liao} and \textit{Z. Xu}, Stud. Fuzziness Soft Comput. 332, 189--206 (2016; Zbl 1371.91044) Full Text: DOI OpenURL
Franek, Peter; Ratschan, Stefan; Zgliczynski, Piotr Quasi-decidability of a fragment of the first-order theory of real numbers. (English) Zbl 1437.03047 J. Autom. Reasoning 57, No. 2, 157-185 (2016). MSC: 03B25 03B35 03D78 PDF BibTeX XML Cite \textit{P. Franek} et al., J. Autom. Reasoning 57, No. 2, 157--185 (2016; Zbl 1437.03047) Full Text: DOI arXiv OpenURL
Le van, Thien; Hu, Bao Qing Three-way decisions based on covering rough set. (English) Zbl 1361.68260 J. Intell. Fuzzy Syst. 30, No. 3, 1763-1772 (2016). MSC: 68T37 PDF BibTeX XML Cite \textit{T. Le van} and \textit{B. Q. Hu}, J. Intell. Fuzzy Syst. 30, No. 3, 1763--1772 (2016; Zbl 1361.68260) Full Text: DOI OpenURL
Du, Chen Fei; Mousavi, Hamoon; Schaeffer, Luke; Shallit, Jeffrey Decision algorithms for Fibonacci-automatic words. III: Enumeration and abelian properties. (English) Zbl 1366.68224 Int. J. Found. Comput. Sci. 27, No. 8, 943-963 (2016). MSC: 68R15 11A67 11B85 68Q45 PDF BibTeX XML Cite \textit{C. F. Du} et al., Int. J. Found. Comput. Sci. 27, No. 8, 943--963 (2016; Zbl 1366.68224) Full Text: DOI OpenURL
Savadogo, Zoïnabo; Ouedraogo, Pegdwindé Ousséni Fabrice; Some, Kounhinir; So, Ousséni; Ulungu, Berthold; Somé, Blaise New metric procedure of multi-decisions makers choice. (English) Zbl 1358.91050 Far East J. Appl. Math. 95, No. 5, 329-341 (2016). MSC: 91B14 91B06 PDF BibTeX XML Cite \textit{Z. Savadogo} et al., Far East J. Appl. Math. 95, No. 5, 329--341 (2016; Zbl 1358.91050) Full Text: DOI OpenURL
Fromont, Magalie; Lerasle, Matthieu; Reynaud-Bouret, Patricia Family-wise separation rates for multiple testing. (English) Zbl 1360.62214 Ann. Stat. 44, No. 6, 2533-2563 (2016). MSC: 62G10 62H15 62C20 65C60 PDF BibTeX XML Cite \textit{M. Fromont} et al., Ann. Stat. 44, No. 6, 2533--2563 (2016; Zbl 1360.62214) Full Text: DOI OpenURL
Martin-Dorel, Érik; Melquiond, Guillaume Proving tight bounds on univariate expressions with elementary functions in Coq. (English) Zbl 1386.68151 J. Autom. Reasoning 57, No. 3, 187-217 (2016). MSC: 68T15 41A58 65G50 PDF BibTeX XML Cite \textit{É. Martin-Dorel} and \textit{G. Melquiond}, J. Autom. Reasoning 57, No. 3, 187--217 (2016; Zbl 1386.68151) Full Text: DOI Link OpenURL
Ahn, Heinz; Vazquez Novoa, Nadia The decoy effect in relative performance evaluation and the debiasing role of DEA. (English) Zbl 1346.90409 Eur. J. Oper. Res. 249, No. 3, 959-967 (2016). MSC: 90B50 PDF BibTeX XML Cite \textit{H. Ahn} and \textit{N. Vazquez Novoa}, Eur. J. Oper. Res. 249, No. 3, 959--967 (2016; Zbl 1346.90409) Full Text: DOI Link OpenURL
Liu, Yao; Duan, Zhenhua; Tian, Cong; Cui, Bin Satisfiability of linear time mu-calculus on finite traces. (English) Zbl 1476.68178 Dinh, Thang N. (ed.) et al., Computing and combinatorics. 22nd international conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2–4, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9797, 611-622 (2016). MSC: 68Q85 03B44 PDF BibTeX XML Cite \textit{Y. Liu} et al., Lect. Notes Comput. Sci. 9797, 611--622 (2016; Zbl 1476.68178) Full Text: DOI OpenURL
Su, Weijie; Candès, Emmanuel SLOPE is adaptive to unknown sparsity and asymptotically minimax. (English) Zbl 1338.62032 Ann. Stat. 44, No. 3, 1038-1068 (2016). MSC: 62C20 62G05 62G10 62J15 PDF BibTeX XML Cite \textit{W. Su} and \textit{E. Candès}, Ann. Stat. 44, No. 3, 1038--1068 (2016; Zbl 1338.62032) Full Text: DOI arXiv Euclid OpenURL
Schaeffer, Luke; Shallit, Jeffrey Closed, palindromic, rich, privileged, trapezoidal, and balanced words in automatic sequences. (English) Zbl 1338.11039 Electron. J. Comb. 23, No. 1, Research Paper P1.25, 19 p. (2016). MSC: 11B85 68R15 PDF BibTeX XML Cite \textit{L. Schaeffer} and \textit{J. Shallit}, Electron. J. Comb. 23, No. 1, Research Paper P1.25, 19 p. (2016; Zbl 1338.11039) Full Text: arXiv Link OpenURL
Cohen, Arthur; Sackrowitz, Harold Convexity issues in multivariate multiple testing of treatments vs. control. (English) Zbl 1328.62350 J. Multivariate Anal. 143, 1-11 (2016). MSC: 62H15 62F03 62C05 PDF BibTeX XML Cite \textit{A. Cohen} and \textit{H. Sackrowitz}, J. Multivariate Anal. 143, 1--11 (2016; Zbl 1328.62350) Full Text: DOI OpenURL
Duan, Zhenhua; Tian, Cong; Zhang, Nan A canonical form based decision procedure and model checking approach for propositional projection temporal logic. (English) Zbl 1370.68200 Theor. Comput. Sci. 609, Part 3, 544-560 (2016). Reviewer: Martin Lange (Kassel) MSC: 68Q60 03B44 PDF BibTeX XML Cite \textit{Z. Duan} et al., Theor. Comput. Sci. 609, Part 3, 544--560 (2016; Zbl 1370.68200) Full Text: DOI OpenURL
Xu, Ming; Huang, Cheng-Chao; Li, Zhi-Bin; Zeng, Zhenbing Analyzing ultimate positivity for solvable systems. (English) Zbl 1356.37035 Theor. Comput. Sci. 609, Part 2, 395-412 (2016). MSC: 37C20 03B25 20F10 PDF BibTeX XML Cite \textit{M. Xu} et al., Theor. Comput. Sci. 609, Part 2, 395--412 (2016; Zbl 1356.37035) Full Text: DOI OpenURL
Fiedor, Tomáš; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš Nested antichains for WS1S. (English) Zbl 1420.68186 Baier, Christel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9035, 658-674 (2015). MSC: 68T15 03B25 03B35 03D05 PDF BibTeX XML Cite \textit{T. Fiedor} et al., Lect. Notes Comput. Sci. 9035, 658--674 (2015; Zbl 1420.68186) Full Text: DOI OpenURL
Dinagar, D. Stephen; Abirami, D. On critical path in project scheduling using topsis ranking of more generalized interval valued fuzzy numbers. (English) Zbl 1371.90054 Malaya J. Mat., Spec. Iss. 2, 485-495 (2015). MSC: 90B35 90B50 PDF BibTeX XML Cite \textit{D. S. Dinagar} and \textit{D. Abirami}, Malaya J. Mat., 485--495 (2015; Zbl 1371.90054) Full Text: Link OpenURL
Traytel, Dmitriy A coalgebraic decision procedure for WS1S. (English) Zbl 1373.03015 Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 487-503 (2015). MSC: 03B25 03D05 68T15 PDF BibTeX XML Cite \textit{D. Traytel}, LIPIcs -- Leibniz Int. Proc. Inform. 41, 487--503 (2015; Zbl 1373.03015) Full Text: DOI OpenURL
Cerrito, Serenella; David, Amélie; Goranko, Valentin Optimal tableau method for constructive satisfiability testing and model synthesis in the alternating-time temporal logic \(\mathrm{ATL}^+\). (English) Zbl 1367.68246 ACM Trans. Comput. Log. 17, No. 1, Article No. 4, 34 p. (2015). MSC: 68T15 03B44 68Q25 PDF BibTeX XML Cite \textit{S. Cerrito} et al., ACM Trans. Comput. Log. 17, No. 1, Article No. 4, 34 p. (2015; Zbl 1367.68246) Full Text: DOI arXiv OpenURL
Narkawicz, Anthony; Muñoz, César; Dutle, Aaron Formally-verified decision procedures for univariate polynomial computation based on Sturm’s and Tarski’s theorems. (English) Zbl 1356.68196 J. Autom. Reasoning 54, No. 4, 285-326 (2015). MSC: 68T15 03B35 PDF BibTeX XML Cite \textit{A. Narkawicz} et al., J. Autom. Reasoning 54, No. 4, 285--326 (2015; Zbl 1356.68196) Full Text: DOI OpenURL
Bose, A.; Patel, G. N. “NeuralDEA” – a framework using neural network to re-evaluate DEA benchmarks. (English) Zbl 1332.90354 Opsearch 52, No. 1, 18-41 (2015). MSC: 90C59 90C08 90B50 PDF BibTeX XML Cite \textit{A. Bose} and \textit{G. N. Patel}, Opsearch 52, No. 1, 18--41 (2015; Zbl 1332.90354) Full Text: DOI OpenURL
Mancosu, Paolo; Zach, Richard Heinrich Behmann’s 1921 lecture on the decision problem and the algebra of logic. (English) Zbl 1369.03013 Bull. Symb. Log. 21, No. 2, 164-192 (2015). MSC: 03-03 01A60 03B25 03G25 PDF BibTeX XML Cite \textit{P. Mancosu} and \textit{R. Zach}, Bull. Symb. Log. 21, No. 2, 164--192 (2015; Zbl 1369.03013) Full Text: DOI arXiv OpenURL
Solanky, Tumulesh K. S.; Zhou, Jie A generalization of the partition problem. (English) Zbl 1369.62203 Sequential Anal. 34, No. 4, 483-503 (2015). MSC: 62L10 62F07 62F03 PDF BibTeX XML Cite \textit{T. K. S. Solanky} and \textit{J. Zhou}, Sequential Anal. 34, No. 4, 483--503 (2015; Zbl 1369.62203) Full Text: DOI OpenURL
Ghosh, M.; Kubokawa, T.; Kawakubo, Y. Benchmarked empirical Bayes methods in multiplicative area-level models with risk evaluation. (English) Zbl 1452.62221 Biometrika 102, No. 3, 647-659 (2015). MSC: 62F15 62C12 62F40 62P10 PDF BibTeX XML Cite \textit{M. Ghosh} et al., Biometrika 102, No. 3, 647--659 (2015; Zbl 1452.62221) Full Text: DOI Link OpenURL
He, Li; Sarkar, Sanat K.; Zhao, Zhigen Capturing the severity of type II errors in high-dimensional multiple testing. (English) Zbl 1327.62432 J. Multivariate Anal. 142, 106-116 (2015). MSC: 62J15 62C10 62F03 PDF BibTeX XML Cite \textit{L. He} et al., J. Multivariate Anal. 142, 106--116 (2015; Zbl 1327.62432) Full Text: DOI arXiv OpenURL
Sobrie, Olivier; Mousseau, Vincent; Pirlot, Marc Learning the parameters of a non compensatory sorting model. (English) Zbl 1405.90067 Walsh, Toby (ed.), Algorithmic decision theory. 4th international conference, ADT 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23113-6/pbk; 978-3-319-23114-3/ebook). Lecture Notes in Computer Science 9346. Lecture Notes in Artificial Intelligence, 153-170 (2015). MSC: 90B50 91B06 90C11 PDF BibTeX XML Cite \textit{O. Sobrie} et al., Lect. Notes Comput. Sci. 9346, 153--170 (2015; Zbl 1405.90067) Full Text: DOI HAL OpenURL
Mousavi, Hamoon; Shallit, Jeffrey Mechanical proofs of properties of the Tribonacci word. (English) Zbl 1350.68218 Manea, Florin (ed.) et al., Combinatorics on words. 10th international conference, WORDS 2015, Kiel, Germany, September 14–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23659-9/pbk; 978-3-319-23660-5/ebook). Lecture Notes in Computer Science 9304, 170-190 (2015). Reviewer: Francine Blanchet-Sadri (Greensboro) MSC: 68R15 03B25 03B35 11B85 68T15 PDF BibTeX XML Cite \textit{H. Mousavi} and \textit{J. Shallit}, Lect. Notes Comput. Sci. 9304, 170--190 (2015; Zbl 1350.68218) Full Text: DOI arXiv OpenURL
Tsukuma, Hisayuki; Kubokawa, Tatsuya A unified approach to estimating a normal mean matrix in high and low dimensions. (English) Zbl 1328.62053 J. Multivariate Anal. 139, 312-328 (2015). MSC: 62C10 62F10 62J07 PDF BibTeX XML Cite \textit{H. Tsukuma} and \textit{T. Kubokawa}, J. Multivariate Anal. 139, 312--328 (2015; Zbl 1328.62053) Full Text: DOI OpenURL
Bickel, David R. Corrigendum to: “Simple estimators of false discovery rates given as few as one or two \(p\)-values without strong parametric assumptions”. (English) Zbl 1311.62110 Stat. Appl. Genet. Mol. Biol. 14, No. 2, 225 (2015). MSC: 62J15 62C12 62F15 PDF BibTeX XML Cite \textit{D. R. Bickel}, Stat. Appl. Genet. Mol. Biol. 14, No. 2, 225 (2015; Zbl 1311.62110) Full Text: DOI OpenURL
Phan, Anh-Dung; Hansen, Michael R. An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic. (English) Zbl 1304.68130 J. Log. Algebr. Methods Program. 84, No. 1, 2-18 (2015). MSC: 68Q60 68N18 PDF BibTeX XML Cite \textit{A.-D. Phan} and \textit{M. R. Hansen}, J. Log. Algebr. Methods Program. 84, No. 1, 2--18 (2015; Zbl 1304.68130) Full Text: DOI OpenURL
Bickel, David R. Small-scale inference: empirical Bayes and confidence methods for as few as a single comparison. (English) Zbl 1416.62430 Int. Stat. Rev. 82, No. 3, 457-476 (2014). MSC: 62J15 62A01 62C12 PDF BibTeX XML Cite \textit{D. R. Bickel}, Int. Stat. Rev. 82, No. 3, 457--476 (2014; Zbl 1416.62430) Full Text: DOI arXiv Link OpenURL
Giedra, Haroldas; Sakalauskaitė, Jūratė; Alonderis, Romas Decidability of logic of correlated knowledge. (English) Zbl 1387.03015 Informatica, Vilnius 25, No. 4, 541-550 (2014). MSC: 03B42 03B25 03B35 PDF BibTeX XML Cite \textit{H. Giedra} et al., Informatica, Vilnius 25, No. 4, 541--550 (2014; Zbl 1387.03015) Full Text: Link OpenURL
Brotherston, James; Fuhs, Carsten; Pérez, Juan A. Navarro; Gorogiannis, Nikos A decision procedure for satisfiability in separation logic with inductive predicates. (English) Zbl 1401.68111 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. 25, 10 p. (2014). MSC: 68Q25 03B25 03B70 68Q17 68Q60 PDF BibTeX XML Cite \textit{J. Brotherston} 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. 25, 10 p. (2014; Zbl 1401.68111) Full Text: DOI OpenURL
Zhang, Zhuoqi; Wu, Su; Lee, Seungchul; Ni, Jun Modified iterative aggregation procedure for maintenance optimisation of multi-component systems with failure interaction. (English) Zbl 1317.62006 Int. J. Syst. Sci., Princ. Appl. Syst. Integr. 45, No. 12, 2480-2489 (2014). MSC: 62C25 60J10 PDF BibTeX XML Cite \textit{Z. Zhang} et al., Int. J. Syst. Sci., Princ. Appl. Syst. Integr. 45, No. 12, 2480--2489 (2014; Zbl 1317.62006) Full Text: DOI OpenURL
Cantone, Domenico; Longo, Cristiano A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions. (English) Zbl 1329.03045 Theor. Comput. Sci. 560, Part 3, 307-325 (2014). Reviewer: J. M. Plotkin (East Lansing) MSC: 03B25 03E30 PDF BibTeX XML Cite \textit{D. Cantone} and \textit{C. Longo}, Theor. Comput. Sci. 560, Part 3, 307--325 (2014; Zbl 1329.03045) Full Text: DOI OpenURL
Rukhin, Andrew L. Restricted likelihood representation and decision-theoretic aspects of meta-analysis. (English) Zbl 1400.62025 Bernoulli 20, No. 4, 1979-1998 (2014). MSC: 62C05 62F10 62F99 PDF BibTeX XML Cite \textit{A. L. Rukhin}, Bernoulli 20, No. 4, 1979--1998 (2014; Zbl 1400.62025) Full Text: DOI arXiv Euclid OpenURL
Duan, Zhenhua; Tian, Cong A practical decision procedure for propositional projection temporal logic with infinite models. (English) Zbl 1358.68188 Theor. Comput. Sci. 554, 169-190 (2014). MSC: 68Q60 03B44 PDF BibTeX XML Cite \textit{Z. Duan} and \textit{C. Tian}, Theor. Comput. Sci. 554, 169--190 (2014; Zbl 1358.68188) Full Text: DOI OpenURL
Trost, Michael An epistemic rationale for order independence. (English) Zbl 1312.91022 Int. Game Theory Rev. 16, No. 1, Article ID 1440002, 37 p. (2014). MSC: 91A35 03B42 91A10 91A44 PDF BibTeX XML Cite \textit{M. Trost}, Int. Game Theory Rev. 16, No. 1, Article ID 1440002, 37 p. (2014; Zbl 1312.91022) Full Text: DOI OpenURL
Koldanov, Alexander P.; Koldanov, Petr A. Optimal multiple decision statistical procedure for inverse covariance matrix. (English) Zbl 1417.62151 Demyanov, Vladimir F. (ed.) et al., Constructive nonsmooth analysis and related topics. New York, NY: Springer. Springer Optim. Appl. 87, 205-216 (2014). MSC: 62H15 PDF BibTeX XML Cite \textit{A. P. Koldanov} and \textit{P. A. Koldanov}, Springer Optim. Appl. 87, 205--216 (2014; Zbl 1417.62151) Full Text: DOI OpenURL
Trzaskalik, Tadeusz; Sitarz, Sebastian; Dominiak, Cezary Unified procedure for bipolar method. (English) Zbl 1333.90063 Zadnik Stirn, Lidija (ed.) et al., SOR ’13 proceedings. The 12th international symposium on operational research in Slovenia, Dolenjske Toplice, Slovenia, September 25–27, 2013. Ljubljana: Slovenian Society Informatika (SDI), Section for Operational Research (SOR) (ISBN 978-961-6165-40-2/pbk). 213-218 (2013). MSC: 90B50 PDF BibTeX XML Cite \textit{T. Trzaskalik} et al., in: SOR '13 proceedings. The 12th international symposium on operational research in Slovenia, Dolenjske Toplice, Slovenia, September 25--27, 2013. Ljubljana: Slovenian Society Informatika (SDI), Section for Operational Research (SOR). 213--218 (2013; Zbl 1333.90063) OpenURL
Bickel, David R. Simple estimators of false discovery rates given as few as one or two \(p\)-values without strong parametric assumptions. (English) Zbl 1311.62109 Stat. Appl. Genet. Mol. Biol. 12, No. 4, 529-543 (2013); corrigendum ibid. 14, No. 2, 225 (2015). MSC: 62J15 62C12 62F15 PDF BibTeX XML Cite \textit{D. R. Bickel}, Stat. Appl. Genet. Mol. Biol. 12, No. 4, 529--543 (2013; Zbl 1311.62109) Full Text: DOI arXiv OpenURL
Traytel, Dmitriy; Nipkow, Tobias Verified decision procedures for MSO on words based on derivatives of regular expressions. (English) Zbl 1323.68346 Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 3-12 (2013). MSC: 68Q45 03B25 03D05 68N18 68T15 PDF BibTeX XML Cite \textit{D. Traytel} and \textit{T. Nipkow}, in: Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP '13, Boston, MA, USA, September 25--27, 2013. New York, NY: Association for Computing Machinery (ACM). 3--12 (2013; Zbl 1323.68346) Full Text: DOI Link OpenURL
Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. (English) Zbl 1296.03013 Theor. Comput. Sci. 493, 98-115 (2013). MSC: 03B44 68Q17 68Q25 PDF BibTeX XML Cite \textit{D. Bresolin} et al., Theor. Comput. Sci. 493, 98--115 (2013; Zbl 1296.03013) Full Text: DOI OpenURL
Gill, Amar Nath; Goyal, Anju; Singh, Parminder On a multiple three-decision problem for comparing several treatments with the best control. (English) Zbl 1462.62121 Commun. Stat., Theory Methods 42, No. 19, 3432-3454 (2013). MSC: 62F03 62F07 PDF BibTeX XML Cite \textit{A. N. Gill} et al., Commun. Stat., Theory Methods 42, No. 19, 3432--3454 (2013; Zbl 1462.62121) Full Text: DOI OpenURL
Balbiani, Philippe; Mikulás, Szabolcs Decidability and complexity via mosaics of the temporal logic of the lexicographic products of unbounded dense linear orders. (English) Zbl 1398.03078 Fontaine, Pascal (ed.) et al., Frontiers of combining systems. 9th international symposium, FroCoS 2013, Nancy, France, September 18–20, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40884-7/pbk). Lecture Notes in Computer Science 8152. Lecture Notes in Artificial Intelligence, 151-164 (2013). MSC: 03B44 03B25 68Q25 PDF BibTeX XML Cite \textit{P. Balbiani} and \textit{S. Mikulás}, Lect. Notes Comput. Sci. 8152, 151--164 (2013; Zbl 1398.03078) Full Text: DOI OpenURL
Goyal, Anju; Maurya, Vishal; Gill, Amar Nath A multiple three-decision procedures for comparing several treatments with a control under heteroscedasticity. (English) Zbl 1301.62027 Commun. Stat., Simulation Comput. 42, No. 8, 1763-1784 (2013). MSC: 62F03 62J15 PDF BibTeX XML Cite \textit{A. Goyal} et al., Commun. Stat., Simulation Comput. 42, No. 8, 1763--1784 (2013; Zbl 1301.62027) Full Text: DOI OpenURL
Ajspur, Mai; Goranko, Valentin; Shkatov, Dmitry Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge. (English) Zbl 1277.68254 Log. J. IGPL 21, No. 3, 407-437 (2013). MSC: 68T27 03B35 03B42 68T15 68T42 PDF BibTeX XML Cite \textit{M. Ajspur} et al., Log. J. IGPL 21, No. 3, 407--437 (2013; Zbl 1277.68254) Full Text: DOI arXiv OpenURL
Goyal, Anju; Maurya, Vishal; Gill, Amar Nath Mutiple three-decision procedure for comparing several exponential treatments with the best control. (English) Zbl 1349.62220 J. Stat. Comput. Simulation 83, No. 3, 472-485 (2013). MSC: 62H15 62J15 62F25 62F07 PDF BibTeX XML Cite \textit{A. Goyal} et al., J. Stat. Comput. Simulation 83, No. 3, 472--485 (2013; Zbl 1349.62220) Full Text: DOI OpenURL
Avrachenkov, Konstantin; Cottatellucci, Laura; Maggi, Lorenzo Cooperative Markov decision processes: time consistency, greedy players satisfaction, and cooperation maintenance. (English) Zbl 1282.90226 Int. J. Game Theory 42, No. 1, 239-262 (2013). MSC: 90C40 91A15 PDF BibTeX XML Cite \textit{K. Avrachenkov} et al., Int. J. Game Theory 42, No. 1, 239--262 (2013; Zbl 1282.90226) Full Text: DOI OpenURL
Bickel, David R. Empirical Bayes interval estimates that are conditionally equal to unadjusted confidence intervals or to default prior credibility intervals. (English) Zbl 1296.92018 Stat. Appl. Genet. Mol. Biol. 11, No. 3, Article No. 7, 31 p. (2012). MSC: 92B15 62C12 PDF BibTeX XML Cite \textit{D. R. Bickel}, Stat. Appl. Genet. Mol. Biol. 11, No. 3, Article No. 7, 31 p. (2012; Zbl 1296.92018) Full Text: DOI arXiv OpenURL
Hartung, René Computation with finitely \(L\)-presented groups. (English) Zbl 1298.20044 Göttingen: Univ. Göttingen (Diss.). 186 p. (2012). MSC: 20F05 20-04 20E07 68W30 20F14 20F10 PDF BibTeX XML Cite \textit{R. Hartung}, Computation with finitely \(L\)-presented groups. Göttingen: Univ. Göttingen (Diss.) (2012; Zbl 1298.20044) Full Text: Link OpenURL
Dashkov, E. V. On the positive fragment of the polymodal provability logic GLP. (English. Russian original) Zbl 1315.03113 Math. Notes 91, No. 3, 318-333 (2012); translation from Mat. Zametki 3, 331-346 (2012). MSC: 03F45 03B45 PDF BibTeX XML Cite \textit{E. V. Dashkov}, Math. Notes 91, No. 3, 318--333 (2012; Zbl 1315.03113); translation from Mat. Zametki 3, 331--346 (2012) Full Text: DOI OpenURL
Krauss, Alexander; Nipkow, Tobias Proof Pearl: regular expression equivalence and relation algebra. (English) Zbl 1269.68090 J. Autom. Reasoning 49, No. 1, 95-106 (2012). MSC: 68T15 03G15 68Q45 PDF BibTeX XML Cite \textit{A. Krauss} and \textit{T. Nipkow}, J. Autom. Reasoning 49, No. 1, 95--106 (2012; Zbl 1269.68090) Full Text: DOI OpenURL
Schaeffer, Luke; Shallit, Jeffrey The critical exponent is computable for automatic sequences. (English) Zbl 1285.68138 Int. J. Found. Comput. Sci. 23, No. 8, 1611-1626 (2012). MSC: 68R15 11B85 PDF BibTeX XML Cite \textit{L. Schaeffer} and \textit{J. Shallit}, Int. J. Found. Comput. Sci. 23, No. 8, 1611--1626 (2012; Zbl 1285.68138) Full Text: DOI arXiv OpenURL