Moerman, Joshua; Rot, Jurriaan Separation and renaming in nominal sets. (English) Zbl 07650844 Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 31, 17 p. (2020). MSC: 68-XX 03B70 PDFBibTeX XMLCite \textit{J. Moerman} and \textit{J. Rot}, LIPIcs -- Leibniz Int. Proc. Inform. 152, Article 31, 17 p. (2020; Zbl 07650844) Full Text: DOI arXiv
Ayala-Rincón, Mauricio; Fernández, Maribel; Silva, Gabriel Ferreira; Nantes-Sobrinho, Daniele A certified functional nominal C-unification algorithm. (English) Zbl 1502.68145 Gabbrielli, Maurizio (ed.), Logic-based program synthesis and transformation. 29th international symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12042, 123-138 (2020). MSC: 68Q42 68Q60 PDFBibTeX XMLCite \textit{M. Ayala-Rincón} et al., Lect. Notes Comput. Sci. 12042, 123--138 (2020; Zbl 1502.68145) Full Text: DOI
Moerman, Joshua; Sammartino, Matteo Residual nominal automata. (English) Zbl 07559500 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 44, 21 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Moerman} and \textit{M. Sammartino}, LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 44, 21 p. (2020; Zbl 07559500) Full Text: DOI
Ding, Hao; Su, Ziwei; Liu, Xiaoqian A modified multinomial baseline logit model with logit functions having different covariates. (English) Zbl 1489.62345 Commun. Stat., Simulation Comput. 49, No. 11, 2861-2875 (2020). MSC: 62P10 62J12 62J07 62H12 PDFBibTeX XMLCite \textit{H. Ding} et al., Commun. Stat., Simulation Comput. 49, No. 11, 2861--2875 (2020; Zbl 1489.62345) Full Text: DOI
Hashimoto, E. M.; Ortega, E. M. M.; Cordeiro, G. M.; Suzuki, A. K.; Kattan, M. W. The multinomial logistic regression model for predicting the discharge status after liver transplantation: estimation and diagnostics analysis. (English) Zbl 1521.62353 J. Appl. Stat. 47, No. 12, 2159-2177 (2020). MSC: 62-XX PDFBibTeX XMLCite \textit{E. M. Hashimoto} et al., J. Appl. Stat. 47, No. 12, 2159--2177 (2020; Zbl 1521.62353) Full Text: DOI
Kutsia, Temur Unification modulo \(\alpha\)-equivalence in a mathematical assistant system. (English) Zbl 1508.68164 Appl. Math. Inform. Mech. 25, No. 2, 66-93 (2020). MSC: 68Q42 68V15 PDFBibTeX XMLCite \textit{T. Kutsia}, Appl. Math. Inform. Mech. 25, No. 2, 66--93 (2020; Zbl 1508.68164) Full Text: Link
Duarte, Diogo; Prieto, Rodolfo Equilibrium implications of interest rate smoothing. (English) Zbl 1466.91356 Quant. Finance 20, No. 3, 409-423 (2020). MSC: 91G30 91B64 PDFBibTeX XMLCite \textit{D. Duarte} and \textit{R. Prieto}, Quant. Finance 20, No. 3, 409--423 (2020; Zbl 1466.91356) Full Text: DOI
Crole, R. L. The nominal/FM Yoneda lemma. (English) Zbl 1472.03065 Math. Struct. Comput. Sci. 30, No. 9, 1011-1024 (2020). MSC: 03E70 18B05 18D20 PDFBibTeX XMLCite \textit{R. L. Crole}, Math. Struct. Comput. Sci. 30, No. 9, 1011--1024 (2020; Zbl 1472.03065) Full Text: DOI
Luo, Sheng; Miao, Duoqian; Zhang, Zhifei; Zhang, Yuanjian; Hu, Shengdan A neighborhood rough set model with nominal metric embedding. (English) Zbl 1457.68266 Inf. Sci. 520, 373-388 (2020). MSC: 68T37 68T05 PDFBibTeX XMLCite \textit{S. Luo} et al., Inf. Sci. 520, 373--388 (2020; Zbl 1457.68266) Full Text: DOI
Urciuoli, Sebastián; Tasistro, Álvaro; Szasz, Nora Strong normalization for the simply-typed lambda calculus in constructive type theory using Agda. (English) Zbl 1498.03044 Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 351, 187-203 (2020). MSC: 03B40 03F05 PDFBibTeX XMLCite \textit{S. Urciuoli} et al., Electron. Notes Theor. Comput. Sci. 351, 187--203 (2020; Zbl 1498.03044) Full Text: DOI
Beckenbach, Lukas; Osinenko, Pavel; Streif, Stefan A Q-learning predictive control scheme with guaranteed stability. (English) Zbl 1455.93049 Eur. J. Control 56, 167-178 (2020). MSC: 93B45 93D20 93C55 93C10 PDFBibTeX XMLCite \textit{L. Beckenbach} et al., Eur. J. Control 56, 167--178 (2020; Zbl 1455.93049) Full Text: DOI
Ayala-Rincón, Mauricio; Fernández, Maribel; Sobrinho, Daniele Nantes; Vale, Deivid On solving nominal disunification constraints. (English) Zbl 1495.03048 Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 3-22 (2020). MSC: 03B70 03B40 68Q55 PDFBibTeX XMLCite \textit{M. Ayala-Rincón} et al., Electron. Notes Theor. Comput. Sci. 348, 3--22 (2020; Zbl 1495.03048) Full Text: DOI
Åman Pohjola, Johannes Psi-calculi revisited: connectivity and compositionality. (English) Zbl 1509.68180 Log. Methods Comput. Sci. 16, No. 4, Paper No. 16, 28 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Åman Pohjola}, Log. Methods Comput. Sci. 16, No. 4, Paper No. 16, 28 p. (2020; Zbl 1509.68180) Full Text: arXiv Link
Kutz, Yunus; Schmidt-Schauß, Manfred Rewriting with generalized nominal unification. (English) Zbl 1495.68115 Math. Struct. Comput. Sci. 30, No. 6, 710-735 (2020). MSC: 68Q42 03B70 68Q25 PDFBibTeX XMLCite \textit{Y. Kutz} and \textit{M. Schmidt-Schauß}, Math. Struct. Comput. Sci. 30, No. 6, 710--735 (2020; Zbl 1495.68115) Full Text: DOI
Arnas, David; Casanova, Daniel Nominal definition of satellite constellations under the Earth gravitational potential. (English) Zbl 1448.70061 Celest. Mech. Dyn. Astron. 132, No. 3, Paper No. 19, 20 p. (2020). MSC: 70M20 PDFBibTeX XMLCite \textit{D. Arnas} and \textit{D. Casanova}, Celest. Mech. Dyn. Astron. 132, No. 3, Paper No. 19, 20 p. (2020; Zbl 1448.70061) Full Text: DOI Link
Keshvardoost, Khadijeh; Mahmoudi, Mojgan Separated finitely supported \(Cb\)-sets. (English) Zbl 1451.18011 Categ. Gen. Algebr. Struct. Appl. 13, No. 1, 55-82 (2020). Reviewer: Peeter Normak (Tallinn) MSC: 18B99 08A30 18C40 20M30 20M50 18A40 PDFBibTeX XMLCite \textit{K. Keshvardoost} and \textit{M. Mahmoudi}, Categ. Gen. Algebr. Struct. Appl. 13, No. 1, 55--82 (2020; Zbl 1451.18011) Full Text: Link
Harman, Radoslav; Müller, Werner G. A design criterion for symmetric model discrimination based on flexible nominal sets. (English) Zbl 1441.62367 Biom. J. 62, No. 4, 1090-1104 (2020). MSC: 62P10 PDFBibTeX XMLCite \textit{R. Harman} and \textit{W. G. Müller}, Biom. J. 62, No. 4, 1090--1104 (2020; Zbl 1441.62367) Full Text: DOI arXiv
Andrés, Antonio Martín; Hernández, María Álvarez Hubert’s multi-rater kappa revisited. (English) Zbl 1440.62222 Br. J. Math. Stat. Psychol. 73, No. 1, 1-22 (2020). MSC: 62H20 62P15 62H30 PDFBibTeX XMLCite \textit{A. M. Andrés} and \textit{M. Á. Hernández}, Br. J. Math. Stat. Psychol. 73, No. 1, 1--22 (2020; Zbl 1440.62222) Full Text: DOI
Grigoriu, M. Data-based importance sampling estimates for extreme events. (English) Zbl 1436.65007 J. Comput. Phys. 412, Article ID 109429, 20 p. (2020). MSC: 65C05 65C30 60H15 60H10 PDFBibTeX XMLCite \textit{M. Grigoriu}, J. Comput. Phys. 412, Article ID 109429, 20 p. (2020; Zbl 1436.65007) Full Text: DOI
Dennery, Charles Monopsony with nominal rigidities: an inverted Phillips curve. (English) Zbl 1442.91051 Econ. Lett. 191, Article ID 109124, 4 p. (2020). MSC: 91B39 91B24 PDFBibTeX XMLCite \textit{C. Dennery}, Econ. Lett. 191, Article ID 109124, 4 p. (2020; Zbl 1442.91051) Full Text: DOI Link
Giulietti, Monica; Otero, Jesús; Waterson, Michael Rigidities and adjustments of daily prices to costs: evidence from supermarket data. (English) Zbl 1517.91020 J. Econ. Dyn. Control 116, Article ID 103927, 26 p. (2020). MSC: 91B24 62P20 PDFBibTeX XMLCite \textit{M. Giulietti} et al., J. Econ. Dyn. Control 116, Article ID 103927, 26 p. (2020; Zbl 1517.91020) Full Text: DOI Link
Gabbay, Murdoch Equivariant ZFA and the foundations of nominal techniques. (English) Zbl 1515.03203 J. Log. Comput. 30, No. 2, 525-548 (2020). MSC: 03E35 03E25 03B70 PDFBibTeX XMLCite \textit{M. Gabbay}, J. Log. Comput. 30, No. 2, 525--548 (2020; Zbl 1515.03203) Full Text: DOI arXiv
Meng, Zeng; Zhang, Zhuohui; Zhou, Huanlin A novel experimental data-driven exponential convex model for reliability assessment with uncertain-but-bounded parameters. (English) Zbl 1443.90157 Appl. Math. Modelling 77, Part 1, 773-787 (2020). MSC: 90B25 PDFBibTeX XMLCite \textit{Z. Meng} et al., Appl. Math. Modelling 77, Part 1, 773--787 (2020; Zbl 1443.90157) Full Text: DOI
Gheri, Lorenzo; Popescu, Andrei A formalized general theory of syntax with bindings: extended version. (English) Zbl 1468.68073 J. Autom. Reasoning 64, No. 4, 641-675 (2020). MSC: 68N30 68Q60 68V20 PDFBibTeX XMLCite \textit{L. Gheri} and \textit{A. Popescu}, J. Autom. Reasoning 64, No. 4, 641--675 (2020; Zbl 1468.68073) Full Text: DOI
Stefanovski, Jovan; Juričić, Ðani Fault-tolerant control in presence of disturbances based on fault estimation. (English) Zbl 1436.93041 Syst. Control Lett. 138, Article ID 104646, 10 p. (2020). MSC: 93B36 93E10 93B52 PDFBibTeX XMLCite \textit{J. Stefanovski} and \textit{Ð. Juričić}, Syst. Control Lett. 138, Article ID 104646, 10 p. (2020; Zbl 1436.93041) Full Text: DOI
Stefanovski, Jovan; Juričić, Ðani FTC in presence of disturbances and un-estimable faults. (English) Zbl 1436.93040 Automatica 115, Article ID 108876, 5 p. (2020). MSC: 93B36 PDFBibTeX XMLCite \textit{J. Stefanovski} and \textit{Ð. Juričić}, Automatica 115, Article ID 108876, 5 p. (2020; Zbl 1436.93040) Full Text: DOI
Ayala-Rincón, Mauricio; Fernández, Maribel; Nantes-Sobrinho, Daniele On nominal syntax and permutation fixed points. (English) Zbl 1528.68152 Log. Methods Comput. Sci. 16, No. 1, Paper No. 19, 36 p. (2020). MSC: 68Q42 68N30 PDFBibTeX XMLCite \textit{M. Ayala-Rincón} et al., Log. Methods Comput. Sci. 16, No. 1, Paper No. 19, 36 p. (2020; Zbl 1528.68152) Full Text: arXiv