Lee, Homin Global rigidity of higher rank lattice actions with dominated splitting. (English) Zbl 07806752 Ergodic Theory Dyn. Syst. 44, No. 3, 799-828 (2024). MSC: 37C85 22E40 PDFBibTeX XMLCite \textit{H. Lee}, Ergodic Theory Dyn. Syst. 44, No. 3, 799--828 (2024; Zbl 07806752) Full Text: DOI
Brown, Aaron Lattice subgroups acting on manifolds. (English) Zbl 07823070 Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 5. Sections 9–11. Berlin: European Mathematical Society (EMS). 3388-3411 (2023). MSC: 37C85 57M60 22E40 37D20 37D25 PDFBibTeX XMLCite \textit{A. Brown}, in: International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6--14, 2022. Volume 5. Sections 9--11. Berlin: European Mathematical Society (EMS). 3388--3411 (2023; Zbl 07823070) Full Text: DOI OA License
Bubuianu, Laurenţiu; Vacaru, Sergiu I.; Veliev, Elşen Veli Nonassociative Ricci flows, star product and R-flux deformed black holes, and swampland conjectures. (English) Zbl 07784366 Fortschr. Phys. 71, No. 12, Article ID 2200140, 54 p. (2023). MSC: 81-XX PDFBibTeX XMLCite \textit{L. Bubuianu} et al., Fortschr. Phys. 71, No. 12, Article ID 2200140, 54 p. (2023; Zbl 07784366) Full Text: DOI arXiv
Vaidya, Anagha Vijay; Mujumdar, Shilpa Bhaskar; Shirwaikar, Shailaja; Kulkarni, Aradhana Statistical analysis of KMM program – an educational intervention. (English) Zbl 1504.90004 Kulkarni, Anand J. (ed.), Multiple criteria decision making. Techniques, analysis and applications. Singapore: Springer. Stud. Syst. Decis. Control 407, 223-242 (2022). MSC: 90-10 91C05 91D15 PDFBibTeX XMLCite \textit{A. V. Vaidya} et al., Stud. Syst. Decis. Control 407, 223--242 (2022; Zbl 1504.90004) Full Text: DOI
Brown, Aaron; Hertz, Federico; Wang, Zhiren Invariant measures and measurable projective factors for actions of higher-rank lattices on manifolds. (English) Zbl 1510.22006 Ann. Math. (2) 196, No. 3, 941-981 (2022). Reviewer: Thilo Kuessner (Eichstätt) MSC: 22E40 37C40 37C85 37D25 57M60 PDFBibTeX XMLCite \textit{A. Brown} et al., Ann. Math. (2) 196, No. 3, 941--981 (2022; Zbl 1510.22006) Full Text: DOI arXiv
Brown, Aaron; Fisher, David; Hurtado, Sebastian Zimmer’s conjecture: subexponential growth, measure rigidity, and strong property (T). (English) Zbl 1508.22013 Ann. Math. (2) 196, No. 3, 891-940 (2022). Reviewer: Thilo Kuessner (Eichstätt) MSC: 22F05 22E40 37D25 37C85 PDFBibTeX XMLCite \textit{A. Brown} et al., Ann. Math. (2) 196, No. 3, 891--940 (2022; Zbl 1508.22013) Full Text: DOI arXiv
Bhattacharya, Vivek An empirical model of R&D procurement contests: an analysis of the DOD SBIR program. (English) Zbl 1514.91073 Econometrica 89, No. 5, 2189-2224 (2021). MSC: 91B38 PDFBibTeX XMLCite \textit{V. Bhattacharya}, Econometrica 89, No. 5, 2189--2224 (2021; Zbl 1514.91073) Full Text: DOI
Triestino, Michele Zimmer’s conjecture (from Brown, Fisher and Hurtado). (La conjecture de Zimmer (d’après Brown, Fisher et Hurtado).) (French) Zbl 1498.22019 Gaz. Math., Soc. Math. Fr. 169, 8-21 (2021). Reviewer: Thilo Kuessner (Augsburg) MSC: 22F05 22E40 37C85 PDFBibTeX XMLCite \textit{M. Triestino}, Gaz. Math., Soc. Math. Fr. 169, 8--21 (2021; Zbl 1498.22019)
Blanc, Jérémy; Lamy, Stéphane; Zimmermann, Susanna Quotients of higher-dimensional Cremona groups. (English) Zbl 1476.14031 Acta Math. 226, No. 2, 211-318 (2021). Reviewer: Shengyuan Zhao (Stony Brook) MSC: 14E05 14E07 14E30 14J45 20F05 20L05 PDFBibTeX XMLCite \textit{J. Blanc} et al., Acta Math. 226, No. 2, 211--318 (2021; Zbl 1476.14031) Full Text: DOI arXiv
Dinur, Itai Tight time-space lower bounds for finding multiple collision pairs and their applications. (English) Zbl 1479.94156 Canteaut, Anne (ed.) et al., Advances in cryptology – EUROCRYPT 2020. 39th annual international conference on the theory and applications of cryptographic techniques, Zagreb, Croatia, May 10–14, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12105, 405-434 (2020). MSC: 94A60 PDFBibTeX XMLCite \textit{I. Dinur}, Lect. Notes Comput. Sci. 12105, 405--434 (2020; Zbl 1479.94156) Full Text: DOI
King, Marvin L.; Galbreath, David R.; Newman, Alexandra M.; Hering, Amanda S. Combining regression and mixed-integer programming to model counterinsurgency. (English) Zbl 1455.91209 Ann. Oper. Res. 292, No. 1, 287-320 (2020). MSC: 91F10 90C11 62P25 PDFBibTeX XMLCite \textit{M. L. King} et al., Ann. Oper. Res. 292, No. 1, 287--320 (2020; Zbl 1455.91209) Full Text: DOI
Hajdu, Ákos; Micskei, Zoltán Efficient strategies for CEGAR-based model checking. (English) Zbl 1468.68131 J. Autom. Reasoning 64, No. 6, 1051-1091 (2020). MSC: 68Q60 68V15 PDFBibTeX XMLCite \textit{Á. Hajdu} and \textit{Z. Micskei}, J. Autom. Reasoning 64, No. 6, 1051--1091 (2020; Zbl 1468.68131) Full Text: DOI
Fu, Zhihui; Wu, Jian; Ma, Mingyue Application of Rstan package in parameter estimation of four-parameter logistic model. (Chinese. English summary) Zbl 1449.62167 J. Shenyang Norm. Univ., Nat. Sci. 37, No. 4, 309-314 (2019). MSC: 62J12 68N15 62-08 PDFBibTeX XMLCite \textit{Z. Fu} et al., J. Shenyang Norm. Univ., Nat. Sci. 37, No. 4, 309--314 (2019; Zbl 1449.62167) Full Text: DOI
Brown, Aaron Triestino, Michele (ed.) [Malicet, Dominique; Obata, Davi; Santiago, Bruno; Alvarez, Sébastien; Roldán, Mario] Entropy, Lyapunov exponents, and rigidity of group actions. Based on the workshop for young researchers: groups acting on manifolds, Teresópolis, Brazil, June 2016. Edited by Michele Triestino. With appendices by Dominique Malicet, Davi Obata, Bruno Santiago, Michele Triestino, Sébastien Alvarez and Mario Roldán. (English) Zbl 1435.22015 Ensaios Matemáticos 33. Rio de Janeiro: Sociedade Brasileira de Matemática (SBM) (ISBN 978-85-8337-159-5/pbk). 197 p., open access (2019). Reviewer: Ivan Podvigin (Novosibirsk) MSC: 22F05 22E40 37D25 37C85 PDFBibTeX XMLCite \textit{A. Brown} and \textit{M. Triestino} (ed.), Entropy, Lyapunov exponents, and rigidity of group actions. Based on the workshop for young researchers: groups acting on manifolds, Teresópolis, Brazil, June 2016. Edited by Michele Triestino. With appendices by Dominique Malicet, Davi Obata, Bruno Santiago, Michele Triestino, Sébastien Alvarez and Mario Roldán. Rio de Janeiro: Sociedade Brasileira de Matemática (SBM) (2019; Zbl 1435.22015) Full Text: Link
Thongsook, Saranya Using the GA package in R program and desirability function to develop a multiple response optimization procedure in case of two responses. (English) Zbl 1428.62367 Thail. Stat. 16, No. 1, 64-76 (2018). MSC: 62K20 62J15 62-08 PDFBibTeX XMLCite \textit{S. Thongsook}, Thail. Stat. 16, No. 1, 64--76 (2018; Zbl 1428.62367)
Conn, Paul B.; Alisauskas, Ray T. Simultaneous modelling of movement, measurement error, and observer dependence in mark-recapture distance sampling: an application to arctic bird surveys. (English) Zbl 1393.62122 Ann. Appl. Stat. 12, No. 1, 96-122 (2018). MSC: 62P12 62D05 PDFBibTeX XMLCite \textit{P. B. Conn} and \textit{R. T. Alisauskas}, Ann. Appl. Stat. 12, No. 1, 96--122 (2018; Zbl 1393.62122) Full Text: DOI Euclid
Kimura, Keiji; Waki, Hayato Minimization of Akaike’s information criterion in linear regression analysis via mixed integer nonlinear program. (English) Zbl 1398.90111 Optim. Methods Softw. 33, No. 3, 633-649 (2018). MSC: 90C11 90C57 62J05 PDFBibTeX XMLCite \textit{K. Kimura} and \textit{H. Waki}, Optim. Methods Softw. 33, No. 3, 633--649 (2018; Zbl 1398.90111) Full Text: DOI arXiv
Champion, Magali; Picheny, Victor; Vignes, Matthieu Inferring large graphs using \(\ell_1\)-penalized likelihood. (English) Zbl 1384.62177 Stat. Comput. 28, No. 4, 905-921 (2018). MSC: 62H12 62J05 62J07 68T05 90C90 PDFBibTeX XMLCite \textit{M. Champion} et al., Stat. Comput. 28, No. 4, 905--921 (2018; Zbl 1384.62177) Full Text: DOI arXiv
Yanagida, Takuya Seqtest: an R package for sequential triangular tests. (English) Zbl 1426.62009 J. Stat. Theory Pract. 11, No. 3, 402-406 (2017). MSC: 62-04 62L10 62H20 PDFBibTeX XMLCite \textit{T. Yanagida}, J. Stat. Theory Pract. 11, No. 3, 402--406 (2017; Zbl 1426.62009) Full Text: DOI
Katok, Anatole; Rodriguez Hertz, Federico Non-uniform measure rigidity for \(\mathbb{Z}^k\) actions of symplectic type. (English) Zbl 1388.37032 Katok, Anatole (ed.) et al., Modern theory of dynamical systems. A tribute to Dmitry Victorovich Anosov. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2560-9/pbk; 978-1-4704-4119-7/ebook). Contemporary Mathematics 692, 195-208 (2017). Reviewer: Marta Macho Stadler (Leioa) MSC: 37C85 53C24 37C40 37D25 37A35 PDFBibTeX XMLCite \textit{A. Katok} and \textit{F. Rodriguez Hertz}, Contemp. Math. 692, 195--208 (2017; Zbl 1388.37032) Full Text: DOI
Mishra, Manish Generic representations in \(L\)-packets. (English) Zbl 1347.22015 Int. J. Number Theory 12, No. 6, 1613-1624 (2016). Reviewer: Eugene Kryachko (Liège) MSC: 22E50 20G25 20F55 20E42 11R39 PDFBibTeX XMLCite \textit{M. Mishra}, Int. J. Number Theory 12, No. 6, 1613--1624 (2016; Zbl 1347.22015) Full Text: DOI arXiv
Yokoyama, Tetsuo; Axelsen, Holger Bock; Glück, Robert Fundamentals of reversible flowchart languages. (English) Zbl 1332.68028 Theor. Comput. Sci. 611, 87-115 (2016). MSC: 68N30 68N15 68Q05 68Q10 PDFBibTeX XMLCite \textit{T. Yokoyama} et al., Theor. Comput. Sci. 611, 87--115 (2016; Zbl 1332.68028) Full Text: DOI
McCrea, Rachel S.; Morgan, Byron J. T. Analysis of capture-recapture data. (English) Zbl 1331.92001 Chapman & Hall/CRC Interdisciplinary Statistics Series. Boca Raton, FL: CRC Press (ISBN 978-1-4398-3659-0/hbk; 978-1-4398-3660-6/ebook). xxii, 292 p. (2015). MSC: 92-01 62-01 62-07 92B15 62P10 62F15 92D40 PDFBibTeX XMLCite \textit{R. S. McCrea} and \textit{B. J. T. Morgan}, Analysis of capture-recapture data. Boca Raton, FL: CRC Press (2015; Zbl 1331.92001) Full Text: Link
Dong, Jin Song; Liu, Yang; Sun, Jun; Zhang, Xian Towards verification of computation orchestration. (English) Zbl 1342.68209 Formal Asp. Comput. 26, No. 4, 729-759 (2014). MSC: 68Q60 68M11 68N17 68Q45 68Q55 PDFBibTeX XMLCite \textit{J. S. Dong} et al., Formal Asp. Comput. 26, No. 4, 729--759 (2014; Zbl 1342.68209) Full Text: DOI Link
Laake, Jeffrey L.; Johnson, Devin S.; Diefenbach, Duane R.; Ternent, Mark A. Hidden Markov model for dependent mark loss and survival estimation. (English) Zbl 1314.62261 J. Agric. Biol. Environ. Stat. 19, No. 4, 522-538 (2014). MSC: 62P12 PDFBibTeX XMLCite \textit{J. L. Laake} et al., J. Agric. Biol. Environ. Stat. 19, No. 4, 522--538 (2014; Zbl 1314.62261) Full Text: DOI
Bachmaier, Martin Graphs, tables and R functions for a nearly unbiased test for two-sided relevant difference. (English) Zbl 1307.62042 Far East J. Theor. Stat. 46, No. 1, 41-62 (2014). MSC: 62F03 PDFBibTeX XMLCite \textit{M. Bachmaier}, Far East J. Theor. Stat. 46, No. 1, 41--62 (2014; Zbl 1307.62042) Full Text: Link
McClintock, Brett T.; Bailey, Larissa L.; Dreher, Brian P.; Link, William A. Probit models for capture-recapture data subject to imperfect detection, individual heterogeneity and misidentification. (English) Zbl 1454.62364 Ann. Appl. Stat. 8, No. 4, 2461-2484 (2014). MSC: 62P10 PDFBibTeX XMLCite \textit{B. T. McClintock} et al., Ann. Appl. Stat. 8, No. 4, 2461--2484 (2014; Zbl 1454.62364) Full Text: DOI arXiv Euclid
Hou, Ping; Zheng, Hao Quantified differential temporal dynamic logic for verifying properties of distributed hybrid systems. (English) Zbl 1437.68116 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7734, 234-251 (2013). MSC: 68Q60 03B44 68M14 PDFBibTeX XMLCite \textit{P. Hou} and \textit{H. Zheng}, Lect. Notes Comput. Sci. 7734, 234--251 (2013; Zbl 1437.68116) Full Text: DOI arXiv
Higgs, Megan D.; Link, William A.; White, Gary C.; Haroldson, Mark A.; Bjornlie, Daniel D. Insights into the latent multinomial model through mark-resight data on female grizzly bears with cubs-of-the-year. (English) Zbl 1303.62074 J. Agric. Biol. Environ. Stat. 18, No. 4, 556-577 (2013). MSC: 62P12 PDFBibTeX XMLCite \textit{M. D. Higgs} et al., J. Agric. Biol. Environ. Stat. 18, No. 4, 556--577 (2013; Zbl 1303.62074) Full Text: DOI
Stoklosa, Jakub; Dann, Peter; Huggins, Richard Inference on partially observed quasi-stationary Markov chains with applications to multistate population models. (English) Zbl 1302.62280 J. Agric. Biol. Environ. Stat. 17, No. 1, 52-67 (2012). MSC: 62P12 PDFBibTeX XMLCite \textit{J. Stoklosa} et al., J. Agric. Biol. Environ. Stat. 17, No. 1, 52--67 (2012; Zbl 1302.62280) Full Text: DOI
Platzer, André A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems. (English) Zbl 1261.03113 Log. Methods Comput. Sci. 8, No. 4, Paper No. 17, 44 p. (2012). MSC: 03B70 34A38 68M14 68Q60 PDFBibTeX XMLCite \textit{A. Platzer}, Log. Methods Comput. Sci. 8, No. 4, Paper No. 17, 44 p. (2012; Zbl 1261.03113) Full Text: DOI arXiv
Laake, J. L.; Collier, B. A.; Morrison, M. L.; Wilkins, R. N. Point-based mark-recapture distance sampling. (English) Zbl 1306.62303 J. Agric. Biol. Environ. Stat. 16, No. 3, 389-408 (2011). MSC: 62P12 PDFBibTeX XMLCite \textit{J. L. Laake} et al., J. Agric. Biol. Environ. Stat. 16, No. 3, 389--408 (2011; Zbl 1306.62303) Full Text: DOI
Pullen, Geetha Antony; Kumaran, M. Application of multinomial-Dirichlet conjugate in MCMC estimation: a breast cancer study. (English) Zbl 1279.62220 Int. J. Math. Anal., Ruse 4, No. 41-44, 2043-2049 (2010). MSC: 62P10 92C50 PDFBibTeX XMLCite \textit{G. A. Pullen} and \textit{M. Kumaran}, Int. J. Math. Anal., Ruse 4, No. 41--44, 2043--2049 (2010; Zbl 1279.62220) Full Text: Link
Guan, Ruoxi; Zhao, Xiaobo On contracts for VMI program with continuous review \((r, Q)\) policy. (English) Zbl 1205.91104 Eur. J. Oper. Res. 207, No. 2, 656-667 (2010). MSC: 91B40 90B05 PDFBibTeX XMLCite \textit{R. Guan} and \textit{X. Zhao}, Eur. J. Oper. Res. 207, No. 2, 656--667 (2010; Zbl 1205.91104) Full Text: DOI
Katok, Anatole; Hertz, Federico Rodriguez Rigidity of real-analytic actions of \(SL(n,\mathbb Z)\) on \(\mathbb T^n\): a case of realization of Zimmer program. (English) Zbl 1192.37025 Discrete Contin. Dyn. Syst. 27, No. 2, 609-615 (2010). Reviewer: Vladimir P. Kostov (Nice) MSC: 37C15 37C85 22F05 PDFBibTeX XMLCite \textit{A. Katok} and \textit{F. R. Hertz}, Discrete Contin. Dyn. Syst. 27, No. 2, 609--615 (2010; Zbl 1192.37025) Full Text: DOI arXiv
Lee, Hakyeon; Park, Yongtae; Choi, Hoogon Comparative evaluation of performance of national R& D programs with heterogeneous objectives: a DEA approach. (English) Zbl 1176.90400 Eur. J. Oper. Res. 196, No. 3, 847-855 (2009). MSC: 90C05 PDFBibTeX XMLCite \textit{H. Lee} et al., Eur. J. Oper. Res. 196, No. 3, 847--855 (2009; Zbl 1176.90400) Full Text: DOI
Surathanee, Sutipon; Chaimongkol, Saengla The functionality of a hierarchical generalized linear model used for detecting differential item functioning with a Fisher-Tippett ability distribution. (English) Zbl 1361.62042 Thail. Stat. 6, No. 1, 65-74 (2008). MSC: 62J12 62P15 PDFBibTeX XMLCite \textit{S. Surathanee} and \textit{S. Chaimongkol}, Thail. Stat. 6, No. 1, 65--74 (2008; Zbl 1361.62042)
Ng, Pin; Maechler, Martin A fast and efficient implementation of qualitatively constrained quantile smoothing splines. (English) Zbl 1486.62118 Stat. Model. 7, No. 4, 315-328 (2007). MSC: 62G08 62-08 PDFBibTeX XMLCite \textit{P. Ng} and \textit{M. Maechler}, Stat. Model. 7, No. 4, 315--328 (2007; Zbl 1486.62118) Full Text: DOI
Kisil, Vladimir V. Starting with the group \(\mathrm{SL}_2(\mathbb R)\). (English) Zbl 1137.22006 Notices Am. Math. Soc. 54, No. 11, 1458-1465 (2007). Reviewer: Evelyn Weimar-Woods (Berlin) MSC: 22E20 22E15 51N30 PDFBibTeX XMLCite \textit{V. V. Kisil}, Notices Am. Math. Soc. 54, No. 11, 1458--1465 (2007; Zbl 1137.22006)
Greenacre, Michael Tying up the loose ends in simple, multiple, joint correspondence analysis. (English) Zbl 1437.62022 Rizzi, Alfredo (ed.) et al., COMPSTAT. Proceedings in computational statistics. 17th symposium held in Rome, Italy, August 28 – September 1, 2006. With CD-Rom. Heidelberg: Physica-Verlag. 163-185 (2006). MSC: 62-08 62H25 62P25 PDFBibTeX XMLCite \textit{M. Greenacre}, in: COMPSTAT. Proceedings in computational statistics. 17th symposium held in Rome, Italy, August 28 -- September 1, 2006. With CD-Rom. Heidelberg: Physica-Verlag. 163--185 (2006; Zbl 1437.62022) Full Text: DOI
Sunderland, A. G.; Noble, C. J.; Burke, V. M.; Burke, P. G. A parallel R-matrix program PRMAT for electron-atom and electron-ion scattering calculations. (English) Zbl 1008.81512 Comput. Phys. Commun. 145, No. 3, 311-340 (2002). MSC: 81U05 81-08 PDFBibTeX XMLCite \textit{A. G. Sunderland} et al., Comput. Phys. Commun. 145, No. 3, 311--340 (2002; Zbl 1008.81512) Full Text: DOI
Katsanevas, Stavros; Morawitz, Peter SUSYGEN 2. 2 – a Monte Carlo event generator for MSSM sparticle production at \(e^+e^-\) colliders. (English) Zbl 0940.81023 Comput. Phys. Commun. 112, No. 2-3, 227-269 (1998). MSC: 81Q60 81R40 81-08 PDFBibTeX XMLCite \textit{S. Katsanevas} and \textit{P. Morawitz}, Comput. Phys. Commun. 112, No. 2--3, 227--269 (1998; Zbl 0940.81023) Full Text: DOI arXiv
Rvachev, V. L.; Shevchenko, A. N.; Shejko, T. I.; Uicker, J. J.; Shapiro, V. Mathematical modeling of the temperature fields during solidification of metal in molds of complicated profile. (English. Russian original) Zbl 0922.73006 J. Math. Sci., New York 88, No. 3, 374-379 (1998); translation from Mat. Metody Fiz.-Mekh. Polya 40 No. 1, 59-65 (1997). Reviewer: A.A.Martynyuk (Kyïv) MSC: 74A15 74S30 80A22 80A20 PDFBibTeX XMLCite \textit{V. L. Rvachev} et al., Mat. Metody Fiz.-Mekh. Polya 40, No. 1, 59--65 (1997; Zbl 0922.73006); translation from Mat. Metody Fiz.-Mekh. Polya 40 No. 1, 59--65 (1997)
Nguyen Manh Hung; Nguyen, Van Quyen Dynamic timing decisions under uncertainty. Essays on invention, innovation and exploration in resource economics. (English) Zbl 0807.90041 Lecture Notes in Economics and Mathematical Systems. 406. Berlin: Springer-Verlag. 194 p. (1994). Reviewer: T.Cipra (Praha) MSC: 91B76 90-02 91B62 93C95 91A40 49L20 PDFBibTeX XMLCite \textit{Nguyen Manh Hung} and \textit{V. Q. Nguyen}, Dynamic timing decisions under uncertainty. Essays on invention, innovation and exploration in resource economics. Berlin: Springer-Verlag (1994; Zbl 0807.90041)
Downey, Rod; Stob, Michael Splitting theorems in recursion theory. (English) Zbl 0792.03028 Ann. Pure Appl. Logic 65, No. 1, 1-106 (1993). Reviewer: L.Harkleroad (Ithaca) MSC: 03D25 PDFBibTeX XMLCite \textit{R. Downey} and \textit{M. Stob}, Ann. Pure Appl. Logic 65, No. 1, 1--106 (1993; Zbl 0792.03028) Full Text: DOI
Chen, Peter P. S.; Knöll, Heinz-Dieter The entity relationship approach to logical database design. The entity relationship approach to logical program design. (Der Entity-Relationship-Ansatz zum logischen Systementwurf. Datenbank- und Programmentwurf.) (German) Zbl 0757.68033 Mannheim etc.: BI-Wissenschaftsverlag. 201 p. (1991). Reviewer: J.Pokorny (Praha) MSC: 68P05 68-01 PDFBibTeX XMLCite \textit{P. P. S. Chen} and \textit{H.-D. Knöll}, Der Entity-Relationship-Ansatz zum logischen Systementwurf. Datenbank- und Programmentwurf. Mannheim etc.: BI-Wissenschaftsverlag (1991; Zbl 0757.68033)
Kotov, Sergey V. Operational interpretation of \(\Sigma^ +\)-programs. \(r\)-programs and their semantics. (Russian) Zbl 0792.68097 Vychisl. Sist. 135, 160-184 (1990). MSC: 68Q60 03B70 68Q55 68Q10 PDFBibTeX XMLCite \textit{S. V. Kotov}, Vychisl. Sist. 135, 160--184 (1990; Zbl 0792.68097)
Kotov, Sergey V. Operational interpretation of \(\Sigma^ +\)-programs. The language of \(r\)-procedures. (Russian) Zbl 0792.68098 Vychisl. Sist. 135, 131-159 (1990). MSC: 68Q60 03B70 PDFBibTeX XMLCite \textit{S. V. Kotov}, Vychisl. Sist. 135, 131--159 (1990; Zbl 0792.68098)
Roth, P. N. A fast pointer-based solver for simultaneous linear equations. (English) Zbl 0715.73067 Comput. Struct. 36, No. 4, 585-612 (1990). MSC: 74S05 74-04 68-04 PDFBibTeX XMLCite \textit{P. N. Roth}, Comput. Struct. 36, No. 4, 585--612 (1990; Zbl 0715.73067) Full Text: DOI
Christaller, Thomas (ed.); Hein, Hans-Werner (ed.); Richter, Michael M. (ed.) Künstliche Intelligenz. Theoretische Grundlagen und Anwendungsfelder. (Artificial intelligence. Theoretical foundations and fields of applications). (Frühjahrsschulen, Dassel, 8.-16. März 1985 und 8.-16. März 1986). (German) Zbl 0663.68007 Informatik-Fachberichte, 159. Berlin etc.: Springer-Verlag. 339 p.; DM 47.50 (1988). Reviewer: E.Melis MSC: 68-06 68T99 68-01 PDFBibTeX XMLCite \textit{T. Christaller} (ed.) et al., Künstliche Intelligenz. Theoretische Grundlagen und Anwendungsfelder. (Artificial intelligence. Theoretical foundations and fields of applications). (Frühjahrsschulen, Dassel, 8.-16. März 1985 und 8.-16. März 1986). Berlin etc.: Springer-Verlag (1988; Zbl 0663.68007)
Papadopoulos, Panagis G.; Karayannis, Christos G. Seismic analysis of R/C frames by network models. (English) Zbl 0629.73077 Comput. Struct. 28, No. 4, 481-494 (1988). MSC: 74S30 74E30 74H45 74-04 PDFBibTeX XMLCite \textit{P. G. Papadopoulos} and \textit{C. G. Karayannis}, Comput. Struct. 28, No. 4, 481--494 (1988; Zbl 0629.73077) Full Text: DOI
Drobushevich, L. F. Estimating structural complexity of programs. (English. Russian original) Zbl 0622.68022 Program. Comput. Software 13, 42-48 (1987); translation from Programmirovanie 1987, No. 1, 81-89 (1987). MSC: 68Q60 PDFBibTeX XMLCite \textit{L. F. Drobushevich}, Program. Comput. Softw. 13, 42--48 (1987; Zbl 0622.68022); translation from Programmirovanie 1987, No. 1, 81--89 (1987)
Kayurov, V. Yu. Algebraic interpretation of R-graphs. (English. Russian original) Zbl 0637.68021 Cybernetics 22, 554-559 (1986); translation from Kibernetika 1986, No. 5, 17-21 (1986). Reviewer: G.Ciobanu MSC: 68Q60 PDFBibTeX XMLCite \textit{V. Yu. Kayurov}, Cybernetics 22, 554--559 (1986; Zbl 0637.68021); translation from Kibernetika 1986, No. 5, 17--21 (1986) Full Text: DOI
Ehrig, H.; Fey, W.; Parisi-Presicce, F.; Blum, E. K. Algebraic theory of module specifications with constraints. (English) Zbl 0602.68021 Mathematical foundations of computer science, Proc. 12th Symp., Bratislava/Czech. 1986, Lect. Notes Comput. Sci. 233, 59-77 (1986). MSC: 68P05 68Q60 PDFBibTeX XML
Wechler, Wolfgang R-fuzzy computation. (English) Zbl 0587.68014 J. Math. Anal. Appl. 115, 225-232 (1986). MSC: 68Q60 PDFBibTeX XMLCite \textit{W. Wechler}, J. Math. Anal. Appl. 115, 225--232 (1986; Zbl 0587.68014) Full Text: DOI
Rvachev, V. L.; Kurpa, L. V.; Fedotova, E. A. Structure of the solution of plate theory problems with mixed attaching conditions. (Russian) Zbl 0573.73062 Mat. Metody Fiz.-Mekh. Polya 21, 57-62 (1985). Reviewer: O.Dumbrajs MSC: 74K20 74H45 74B99 74H99 PDFBibTeX XMLCite \textit{V. L. Rvachev} et al., Mat. Metody Fiz.-Mekh. Polya 21, 57--62 (1985; Zbl 0573.73062)
Chung, Chia-Shin A note on the number of invariant capital stocks. (English) Zbl 0562.90020 SIAM J. Algebraic Discrete Methods 6, 242-244 (1985). MSC: 90B05 PDFBibTeX XMLCite \textit{C.-S. Chung}, SIAM J. Algebraic Discrete Methods 6, 242--244 (1985; Zbl 0562.90020) Full Text: DOI
Harel, David; Kozen, Dexter A programming language for the inductive sets, and applications. (English) Zbl 0591.68037 Inf. Control 63, 118-139 (1984). MSC: 68Q65 03D70 68Q60 68P20 03B45 PDFBibTeX XMLCite \textit{D. Harel} and \textit{D. Kozen}, Inf. Control 63, 118--139 (1984; Zbl 0591.68037) Full Text: DOI
Emerson, E. Allen Alternative semantics for temporal logics. (English) Zbl 0559.68050 Theor. Comput. Sci. 26, 121-130 (1983). Reviewer: J.Zlatuška MSC: 68Q65 68Q60 03B45 PDFBibTeX XMLCite \textit{E. A. Emerson}, Theor. Comput. Sci. 26, 121--130 (1983; Zbl 0559.68050) Full Text: DOI
Burgess, John R. What are R-sets? (English) Zbl 0529.03025 Patras Logic Symposion, Proc., Patras/Greece 1980, Stud. Logic Found. Math. 109, 307-324 (1982). MSC: 03E15 54H05 PDFBibTeX XML
Artemenko, V. Yi.; Sergyijenko, Yi. V. On a solution method for linear programming problems with Boolean variables. (Ukrainian) Zbl 0433.90049 Dopov. Akad. Nauk Ukr. RSR, Ser. A 1980, No. 4, 68-71 (1980). MSC: 90C09 90C05 65K05 68Q60 PDFBibTeX XMLCite \textit{V. Yi. Artemenko} and \textit{Yi. V. Sergyijenko}, Dopov. Akad. Nauk Ukr. RSR, Ser. A 1980, No. 4, 68--71 (1980; Zbl 0433.90049)