Bensoussan, Alain; Li, Yiqun; Dinh Phan Cao Nguyen; Minh-Binh Tran; Yam, Sheung Chi Phillip; Zhou, Xiang Machine learning and control theory. (English) Zbl 1493.68292 Trélat, Emmanuel (ed.) et al., Numerical control. Part A. Amsterdam: Elsevier/North Holland. Handb. Numer. Anal. 23, 531-558 (2022). MSC: 68T05 68T07 90C15 90C40 93E20 68-02 93-02 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Duprat, C. Moisture in textiles. (English) Zbl 1491.76084 Moin, Parviz (ed.) et al., Annual review of fluid mechanics. Vol. 54. Palo Alto, CA: Annual Reviews. Annu. Rev. Fluid Mech. 54, 443-467 (2022). MSC: 76T30 76D45 74F10 76-02 × Cite Format Result Cite Review PDF Full Text: DOI
Gashkov, Sergeĭ Borisovich; Sergeev, Igor’ Sergeevich Multiplication. (Russian. English summary) Zbl 1455.68294 Chebyshevskiĭ Sb. 21, No. 1(73), 101-134 (2020). MSC: 68W40 11Y16 65T50 65Y04 × Cite Format Result Cite Review PDF Full Text: MNR
Horváth, Ákos G. On convex bodies that are characterizable by volume function. “Old and recent problems for a new generation”: a survey. (English) Zbl 1442.52007 Arnold Math. J. 6, No. 1, 1-20 (2020). Reviewer: George Stoica (Saint John) MSC: 52A40 52A38 26B15 52B11 52A15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Dyson, Benjamin J. Behavioural isomorphism, cognitive economy and recursive thought in non-transitive game strategy. (English) Zbl 1435.91048 Games 10, No. 3, Paper No. 32, 14 p. (2019). MSC: 91A70 91B06 91A10 91-02 × Cite Format Result Cite Review PDF Full Text: DOI
He, Yulin; Huang, Zhexue A review on clustering algorithms for large-scale data sets. (Chinese. English summary) Zbl 1438.68084 J. Shenzhen Univ., Sci. Eng. 36, No. 1, 4-17 (2019). MSC: 68T05 62H30 × Cite Format Result Cite Review PDF Full Text: DOI
Jauhiainen, Tommi; Lui, Marco; Zampieri, Marcos; Baldwin, Timothy; Lindén, Krister Automatic language identification in texts: a survey. (English) Zbl 1493.68364 J. Artif. Intell. Res. (JAIR) 65, 675-782 (2019). MSC: 68T50 68-02 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Jaehn, Florian; Juopperi, Raisa A description of supply chain planning problems in the paper industry with literature review. (English) Zbl 1412.90010 Asia-Pac. J. Oper. Res. 36, No. 1, Article ID 1950004, 39 p. (2019). MSC: 90B05 90B50 90-02 × Cite Format Result Cite Review PDF Full Text: DOI
Braverman, Mark Information complexity and applications. (English) Zbl 1417.68040 Jpn. J. Math. (3) 14, No. 1, 27-65 (2019). MSC: 68P30 68Q10 68Q17 94A15 94A24 94A29 × Cite Format Result Cite Review PDF Full Text: DOI
Friedman, Michael A history of folding in mathematics. Mathematizing the margins. (English) Zbl 1401.01003 Science Networks. Historical Studies 59. Cham: Birkhäuser (ISBN 978-3-319-72486-7/hbk; 978-3-319-72487-4/ebook). xv, 419 p. (2018). Reviewer: Thomas Sonar (Braunschweig) MSC: 01-02 01A05 51-03 × Cite Format Result Cite Review PDF Full Text: DOI
Macdonald, Alan A survey of geometric algebra and geometric calculus. (English) Zbl 1367.15038 Adv. Appl. Clifford Algebr. 27, No. 1, 853-891 (2017). MSC: 15A66 15-02 × Cite Format Result Cite Review PDF Full Text: DOI
Tomlinson, Martin; Tjhai, Cen Jung; Ambroze, Marcel A.; Ahmed, Mohammed; Jibril, Mubarak Error-correction coding and decoding. Bounds, codes, decoders, analysis and applications. (English) Zbl 1375.94005 Signals and Communication Technology. Cham: Springer Open (ISBN 978-3-319-51102-3/hbk; 978-3-319-51103-0/ebook). xx, 522 p., open access (2017). Reviewer: Fernando Hernando (Castellón) MSC: 94-02 94Bxx 94A60 11T71 11G20 × Cite Format Result Cite Review PDF Full Text: DOI Link
Orel, Marko Preserver problems over finite fields. (English) Zbl 1381.15022 Int. J. Math. Game Theory Algebra 25, No. 3, 233-272 (2016). Reviewer: Rabe von Randow (Bonn) MSC: 15A86 15B33 51Exx 15-02 05C50 × Cite Format Result Cite Review PDF
Amat, S.; Busquier, S.; Magreñán, Á. A.; Orcos, L. An overview on Steffensen-type methods. (English) Zbl 1353.65048 Amat, Sergio (ed.) et al., Advances in iterative methods for nonlinear equations. Cham: Springer (ISBN 978-3-319-39227-1/hbk; 978-3-319-39228-8/ebook). SEMA SIMAI Springer Series 10, 5-21 (2016). MSC: 65J15 47J25 65-02 65H05 34B15 65L10 × Cite Format Result Cite Review PDF Full Text: DOI
Moszner, Zenon Stability has many names. (English) Zbl 1351.39016 Aequationes Math. 90, No. 5, 983-999 (2016). MSC: 39B82 39-02 × Cite Format Result Cite Review PDF Full Text: DOI
Barrera, T.; Hast, A.; Bengtsson, E. A chronological and mathematical overview of digital circle generation algorithms – introducing efficient 4- and 8-connected circles. (English) Zbl 1343.65016 Int. J. Comput. Math. 93, No. 8, 1241-1253 (2016). MSC: 65D17 65-02 × Cite Format Result Cite Review PDF Full Text: DOI
Shen, Alexander Around Kolmogorov complexity: basic notions and results. (English) Zbl 1338.68130 Vovk, Vladimir (ed.) et al., Measures of complexity. Festschrift for Alexey Chervonenkis. Cham: Springer (ISBN 978-3-319-21851-9/hbk; 978-3-319-21852-6/ebook). 75-115 (2015). Reviewer: Liang Yu (Nanjing) MSC: 68Q30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Gander, Martin J. 50 years of time parallel time integration. (English) Zbl 1337.65127 Carraro, Thomas (ed.) et al., Multiple shooting and time domain decomposition methods. MuS-TDD, Heidelberg, Germany, May 6–8, 2013. Cham: Springer (ISBN 978-3-319-23320-8/hbk; 978-3-319-23321-5/ebook). Contributions in Mathematical and Computational Sciences 9, 69-113 (2015). MSC: 65M55 65Y05 65-02 35K05 × Cite Format Result Cite Review PDF Full Text: DOI
Benner, Peter; Losse, Philip; Mehrmann, Volker; Voigt, Matthias Numerical linear algebra methods for linear differential-algebraic equations. (English) Zbl 1343.65100 Ilchmann, Achim (ed.) et al., Surveys in differential-algebraic equations III. Cham: Springer (ISBN 978-3-319-22427-5/pbk; 978-3-319-22428-2/ebook). Differential-Algebraic Equations Forum, 117-175 (2015). Reviewer: Irina V. Konopleva (Ul’yanovsk) MSC: 65L80 15A21 15A22 34A09 65F15 93C05 93D09 65K10 93B05 93C15 93B36 93-02 65-02 49N10 × Cite Format Result Cite Review PDF Full Text: DOI
Butcher, J. C. Runge-Kutta methods for ordinary differential equations. (English) Zbl 1330.65109 Al-Baali, Mehiddin (ed.) et al., Numerical analysis and optimization. Selected papers based on the presentations at the 3rd international conference, NAO-III, Muscat, Oman, January 5–9, 2014. Cham: Springer (ISBN 978-3-319-17688-8/hbk; 978-3-319-17689-5/ebook). Springer Proceedings in Mathematics & Statistics 134, 37-58 (2015). MSC: 65L06 65-02 65L05 34A34 65L20 × Cite Format Result Cite Review PDF Full Text: DOI
Dick, Josef; Hinrichs, Aicke; Pillichshammer, Friedrich Proof techniques in quasi-Monte Carlo theory. (English) Zbl 1316.65002 J. Complexity 31, No. 3, 327-371 (2015). MSC: 65C05 65-02 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Wathen, A. J. Preconditioning. (English) Zbl 1316.65039 Acta Numerica 24, 329-376 (2015). MSC: 65F08 65-02 65F10 × Cite Format Result Cite Review PDF Full Text: DOI
Giles, Michael B. Multilevel Monte Carlo methods. (English) Zbl 1316.65010 Acta Numerica 24, 259-328 (2015). MSC: 65C30 60H15 60H35 65C05 35R60 65-02 65M75 65N75 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Fornberg, Bengt; Flyer, Natasha Solving PDEs with radial basis functions. (English) Zbl 1316.65073 Acta Numerica 24, 215-258 (2015). MSC: 65M06 65N06 35J05 35K57 35Q30 76B15 76M20 76D05 65-02 × Cite Format Result Cite Review PDF Full Text: DOI
Ding, Shusen; Shi, Peilin; Wang, Yong Recent advances in \(L^p\)-theory of homotopy operator on differential forms. (English) Zbl 1472.58001 Abstr. Appl. Anal. 2014, Article ID 596704, 20 p. (2014). MSC: 58A10 46E35 31C12 58-02 × Cite Format Result Cite Review PDF Full Text: DOI
Biles, Daniel C.; Federson, Márcia; Pouso, Rodrigo López A survey of recent results for the generalizations of ordinary differential equations. (English) Zbl 1476.34002 Abstr. Appl. Anal. 2014, Article ID 260409, 9 p. (2014). MSC: 34-02 34A06 34N05 34A36 × Cite Format Result Cite Review PDF Full Text: DOI
Chegini, Nabi G.; Dahlke, Stephan; Friedrich, Ulrich; Stevenson, Rob Piecewise tensor product wavelet bases by extensions and approximation rates. (English) Zbl 1317.65233 Dahlke, Stephan (ed.) et al., Extraction of quantifiable information from complex systems. Cham: Springer (ISBN 978-3-319-08158-8/hbk; 978-3-319-08159-5/ebook). Lecture Notes in Computational Science and Engineering 102, 69-81 (2014). MSC: 65N30 65-02 65T60 65M60 35J60 35K55 65N21 65M32 35R30 × Cite Format Result Cite Review PDF Full Text: DOI
Plonka, Gerlind; Tasche, Manfred Prony methods for recovery of structured functions. (English) Zbl 1311.65012 GAMM-Mitt. 37, No. 2, 239-258 (2014). MSC: 65D10 65F15 65F20 41A45 62M10 94A12 65-02 × Cite Format Result Cite Review PDF Full Text: DOI
Gau, Hwa-Long; Wu, Pei Yuan Excursions in numerical ranges. (English) Zbl 1302.15026 Bull. Inst. Math., Acad. Sin. (N.S.) 9, No. 3, 351-370 (2014). MSC: 15A60 × Cite Format Result Cite Review PDF Full Text: Link
Chong, C. T.; Li, Wei; Yang, Yue Nonstandard models in recursion theory and reverse mathematics. (English) Zbl 1341.03098 Bull. Symb. Log. 20, No. 2, 170-200 (2014). MSC: 03H05 03B30 03D45 03F35 03-02 × Cite Format Result Cite Review PDF Full Text: DOI Link
Chen, Yijia; Flum, Jörg On optimal inverters. (English) Zbl 1341.03052 Bull. Symb. Log. 20, No. 1, 1-23 (2014). MSC: 03D15 03D20 03F20 03-02 × Cite Format Result Cite Review PDF Full Text: DOI
Zdun, Marek Cezary; Solarz, Paweł Recent results on iteration theory: iteration groups and semigroups in the real case. (English) Zbl 1295.39015 Aequationes Math. 87, No. 3, 201-245 (2014). MSC: 39B12 39B82 39B52 37C15 37E10 26A18 26E25 57S05 × Cite Format Result Cite Review PDF Full Text: DOI
Podsiadło, Mariusz; Rybiński, Henryk Rough sets in economy and finance. (English) Zbl 1404.68171 Peters, James F. (ed.) et al., Transactions on Rough Sets XVII. Berlin: Springer (ISBN 978-3-642-54755-3/pbk). Lecture Notes in Computer Science 8375. Journal Subline, 109-173 (2014). MSC: 68T37 91B30 91G10 91G40 91G80 × Cite Format Result Cite Review PDF Full Text: DOI
Demkowicz, Leszek F.; Gopalakrishnan, Jay An overview of the discontinuous Petrov Galerkin method. (English) Zbl 1282.65152 Feng, Xiaobing (ed.) et al., Recent developments in discontinuous Galerkin finite element methods for partial differential equations. Papers based on the 2012 John H. Barrett memorial lectures, Knoxville, TN, USA, May 9–11, 2012. Cham: Springer (ISBN 978-3-319-01817-1/hbk; 978-3-319-01818-8/ebook). The IMA Volumes in Mathematics and its Applications 157, 149-180 (2014). MSC: 65N30 35J05 65-02 × Cite Format Result Cite Review PDF Full Text: DOI
Van Brummelen, Glen A survey of research in the mathematical sciences in medieval Islam from 1996 to 2011. (English) Zbl 1284.01025 Sidoli, Nathan (ed.) et al., From Alexandria, through Baghdad. Surveys and studies in the ancient Greek and medieval Islamic mathematical sciences in honor of J. L. Berggren. Berlin: Springer (ISBN 978-3-642-36735-9/hbk; 978-3-642-36736-6/ebook). 101-138 (2014). Reviewer: Teodora-Liliana Rădulescu (Craiova) MSC: 01A30 01A90 × Cite Format Result Cite Review PDF Full Text: DOI
Lunze, J.; Grüne, L. Introduction to networked control systems. (English) Zbl 1276.93013 Lunze, Jan (ed.), Control theory of digitally networked dynamic systems. Cham: Springer (ISBN 978-3-319-01130-1/hbk; 978-3-319-01131-8/ebook). 1-30 (2014). MSC: 93A30 93A13 93A14 93C55 93C65 × Cite Format Result Cite Review PDF Full Text: DOI
Dey, Aloke Orthogonal Latin squares and the falsity of Euler’s conjecture. (English) Zbl 1305.05030 Bhatia, Rajendra (ed.) et al., Connected at infinity II. A selection of mathematics by Indians. New Delhi: Hindustan Book Agency (ISBN 978-93-80250-51-9/hbk; 978-93-86279-56-9/ebook). Texts and Readings in Mathematics 67, 1-17 (2013). Reviewer: Julian Abel (Sydney) MSC: 05B15 05-03 × Cite Format Result Cite Review PDF
Brzdȩk, Janusz; Ciepliński, Krzysztof Hyperstability and superstability. (English) Zbl 1293.39013 Abstr. Appl. Anal. 2013, Article ID 401756, 13 p. (2013). MSC: 39B82 39-02 × Cite Format Result Cite Review PDF Full Text: DOI
Reich, Sebastian; Cotter, Colin J. Ensemble filter techniques for intermittent data assimilation. (English) Zbl 1291.65032 Cullen, Mike (ed.) et al., Large scale inverse problems. Computational methods and applications in the Earth sciences. Based on the invited talks of the workshop, Johann Radon Institute for Computational and Applied Mathematics (RICAM), Linz, Austria, October 24–28, 2011. Berlin: de Gruyter (ISBN 978-3-11-028222-1/hbk; 978-3-11-028226-9/ebook). Radon Series on Computational and Applied Mathematics 13, 91-134 (2013). MSC: 65C60 62M20 62F15 65C05 65C30 65-02 × Cite Format Result Cite Review PDF Full Text: arXiv
Füredi, Zoltán; Simonovits, Miklós The history of degenerate (bipartite) extremal graph problems. (English) Zbl 1296.05098 Lovász, László (ed.) et al., Erdős centennial. On the occasion of Paul Erdős 100th anniversary of his birth. Berlin: Springer; Budapest: János Bolyai Mathematical Society (ISBN 978-3-642-39285-6/hbk; 978-3-642-39286-3/ebook). Bolyai Society Mathematical Studies 25, 169-264 (2013). Reviewer: Ralph Faudree (Memphis) MSC: 05C35 05C38 05C70 05-02 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Stanimirović, Predrag S. Partitioning method: computations and applications. (English) Zbl 1308.65058 Int. J. Math. Game Theory Algebra 21(2012), No. 4-5, 393-450 (2013). Reviewer: Edgar Pereira (Natal) MSC: 65F20 15A09 68W30 65F30 65-02 × Cite Format Result Cite Review PDF
Camacho, Maximo; Perez-Quiros, Gabriel; Poncela, Pilar Short-term forecasting for empirical economists: a survey of the recently proposed algorithms. (English) Zbl 1292.91146 Found. Trends Econom. 6(2012), No. 2, 101-161 (2013). Reviewer: Romeo Negrea (Timisoara) MSC: 91B84 91B62 91B82 62P20 62M10 62M20 62H25 91-02 × Cite Format Result Cite Review PDF Full Text: DOI
You, Lihua; Shen, Jian A survey on bases of sign pattern matrices. (English) Zbl 1283.15095 Linear Algebra Appl. 439, No. 2, 346-357 (2013). MSC: 15B35 15A03 05C20 × Cite Format Result Cite Review PDF Full Text: DOI
Barmpalias, George Algorithmic randomness and measures of complexity. (English) Zbl 1348.03039 Bull. Symb. Log. 19, No. 3, 318-350 (2013). MSC: 03D32 68Q30 × Cite Format Result Cite Review PDF Full Text: DOI Link
Donatelli, Marco; Serra Capizzano, Stefano Multigrid methods for (multilevel) structured matrices associated with a symbol and related applications. (English) Zbl 1280.65033 Boll. Unione Mat. Ital. (9) 6, No. 2, 319-347 (2013). MSC: 65F10 65F08 65-02 × Cite Format Result Cite Review PDF
Benner, Peter; Saak, Jens Numerical solution of large and sparse continuous time algebraic matrix Riccati and Lyapunov equations: a state of the art survey. (English) Zbl 1279.65044 GAMM-Mitt. 36, No. 1, 32-52 (2013). MSC: 65F30 15A24 65F10 65-02 × Cite Format Result Cite Review PDF Full Text: DOI
Nordstrom, Jakob Pebble games, proof complexity, and time-space trade-offs. (English) Zbl 1285.03070 Log. Methods Comput. Sci. 9, No. 3, Paper No. 15, 63 p. (2013). MSC: 03F20 03-02 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Jürgensen, Helmut Automata for codes. (English) Zbl 1298.94071 Konstantinidis, Stavros (ed.), Implementation and application of automata. 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39273-3/pbk). Lecture Notes in Computer Science 7982, 2-15 (2013). MSC: 94A45 68Q45 94A05 94B35 × Cite Format Result Cite Review PDF Full Text: DOI
Hitzer, Eckhard; Nitta, Tohru; Kuroe, Yasuaki Applications of Clifford’s geometric algebra. (English) Zbl 1269.15022 Adv. Appl. Clifford Algebr. 23, No. 2, 377-404 (2013). MSC: 15A66 15-02 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Paoli, Francesco A paraconsistent and substructural conditional logic. (English) Zbl 1280.03031 Tanaka, Koji (ed.) et al., Paraconsistency. Logic and applications. Selected papers of the 4th world congress on paraconsistency, Melbourne, Australia, 2008. Berlin: Springer (ISBN 978-94-007-4437-0/hbk). Logic, Epistemology, and the Unity of Science 26, 173-198 (2013). Reviewer: Heinrich Wansing (Bochum) MSC: 03B53 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Plotkin, Boris; Aladova, Elena; Plotkin, Eugene Algebraic logic and logically-geometric types in varieties of algebras. (English) Zbl 1297.03022 J. Algebra Appl. 12, No. 2, Paper No. 1250146, 23 p. (2013). Reviewer: Anna Zamojska-Dzienio (Warsaw) MSC: 03C05 03C60 03G25 06A15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Pardo, David; Paszynski, Maciej; Collier, Nathan; Alvarez, Julen; Dalcin, Lisandro; Calo, Victor M. A survey on direct solvers for Galerkin methods. (English) Zbl 1311.65030 S\(\vec{\text{e}}\)MA J. 57, 107-134 (2012). MSC: 65F05 65-02 65Y05 65F35 65F50 65N30 65G50 × Cite Format Result Cite Review PDF Full Text: DOI
Serény, György Elements of cylindric algebraic model theory. (English) Zbl 1280.03062 Andréka, Hajnal (ed.) et al., Cylindric-like algebras and algebraic logic. Dordrecht: Springer; Budapest: János Bolyai Mathematical Society (ISBN 978-3-642-35024-5/hbk; 978-963-9453-15-9/hbk). Bolyai Society Mathematical Studies 22, 223-248 (2012). Reviewer: Jānis Cīrulis (Riga) MSC: 03G15 03C50 03C60 03-02 × Cite Format Result Cite Review PDF
Sayed Ahmed, Tarek Completions, complete representations and omitting types. (English) Zbl 1280.03061 Andréka, Hajnal (ed.) et al., Cylindric-like algebras and algebraic logic. Dordrecht: Springer; Budapest: János Bolyai Mathematical Society (ISBN 978-3-642-35024-5/hbk; 978-963-9453-15-9/hbk). Bolyai Society Mathematical Studies 22, 205-221 (2012). Reviewer: Miklós Ferenczi (Budapest) MSC: 03G15 03G27 03-02 × Cite Format Result Cite Review PDF
Downey, Rodney G.; Kach, Asher M.; Turetsky, Daniel Limitwise monotonic functions and their applications. (English) Zbl 1279.03063 Arai, Toshiyasu (ed.) et al., Proceedings of the 11th Asian logic conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, June 22–27, 2009. Hackensack, NJ: World Scientific (ISBN 978-981-4360-53-1/hbk; 978-981-4360-54-8/ebook). 59-85 (2012). Reviewer: Vadim Puzarenko (Novosibirsk) MSC: 03C57 03D20 03D25 03-02 × Cite Format Result Cite Review PDF Full Text: DOI
Knobloch, Eberhard Leibniz and the infinite. (English) Zbl 1267.01019 Doc. Math. Extra Vol., Optimization Stories, 19-23 (2012). Reviewer: R. W. van der Waall (Huizen) MSC: 01A45 28-03 × Cite Format Result Cite Review PDF Full Text: EMIS
Frič, Roman From probability to sequences and back. (English) Zbl 1271.60009 Rend. Ist. Mat. Univ. Trieste 44, 285-296 (2012). MSC: 60A10 03E72 06D35 28C15 54D55 × Cite Format Result Cite Review PDF
Meseguer, José Twenty years of rewriting logic. (English) Zbl 1267.03043 J. Log. Algebr. Program. 81, No. 7-8, 721-781 (2012). Reviewer: Johan Georg Granström (Zürich) MSC: 03B70 68Q42 × Cite Format Result Cite Review PDF Full Text: DOI
Tadmor, Eitan A review of numerical methods for nonlinear partial differential equations. (English) Zbl 1258.65073 Bull. Am. Math. Soc., New Ser. 49, No. 4, 507-554 (2012). MSC: 65Mxx 65-02 35K55 65L70 90B20 91G60 × Cite Format Result Cite Review PDF Full Text: DOI
Pinus, A. G. Algebraic and logical geometries of universal algebras (a unified approach). (English. Russian original) Zbl 1283.08003 J. Math. Sci., New York 185, No. 3, 473-483 (2012); translation from Fundam. Prikl. Mat. 17, No. 1, 189-204 (2012). MSC: 08A05 08-02 × Cite Format Result Cite Review PDF Full Text: DOI
Renner, Renato; Wolf, Stefan Ernst Specker and the hidden variables. (English) Zbl 1259.81004 Elem. Math. 67, No. 3, 122-133 (2012). Reviewer: Mirko Navara (Praha) MSC: 81-03 01A60 03G12 06C15 81P10 × Cite Format Result Cite Review PDF Full Text: DOI
Lewis, Andrew E. M. Properties of the jump classes. (English) Zbl 1258.03050 J. Log. Comput. 22, No. 4, 845-855 (2012). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 03D28 03D55 × Cite Format Result Cite Review PDF Full Text: DOI Link
Arslanov, Marat M. Model-theoretic properties of the \(n\)-c.e. degrees. (English) Zbl 1254.03079 J. Log. Comput. 22, No. 4, 669-677 (2012). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 03D28 03D30 03D55 × Cite Format Result Cite Review PDF Full Text: DOI
Lui, Lok Ming; Wong, Tsz Wai; Zeng, Wei; Gu, Xiangfeng; Thompson, Paul M.; Chan, Tony F.; Yau, Shing-Tung A survey on recent development in computational quasi-conformal geometry and its applications. (English) Zbl 1247.65023 Ji, Lizhen (ed.) et al., Fifth international congress of Chinese mathematicians. Proceedings of the ICCM ’10, Beijing, China, December 17–22, 2010. Part 2. Providence, RI: American Mathematical Society (AMS); Somerville, MA: International Press (ISBN 978-0-8218-7587-2/pbk; 978-0-8218-7555-1/set). AMS/IP Studies in Advanced Mathematics 51, pt.2, 697-717 (2012). MSC: 65D18 65E05 30F60 30C62 × Cite Format Result Cite Review PDF
Karátson, Janos Operator preconditioning with efficient applications for nonlinear elliptic problems. (English) Zbl 1247.65146 Cent. Eur. J. Math. 10, No. 1, 231-249 (2012). MSC: 65N30 65F08 35J60 65-02 × Cite Format Result Cite Review PDF Full Text: DOI
Hinman, Peter G. A survey of Mučnik and Medvedev degrees. (English) Zbl 1248.03063 Bull. Symb. Log. 18, No. 2, 161-229 (2012). Reviewer: Roland Sh. Omanadze (Tbilisi) MSC: 03D25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Euclid
Korshunov, A. D. Computational complexity of Boolean functions. (English. Russian original) Zbl 1257.94041 Russ. Math. Surv. 67, No. 1, 93-165 (2012); translation from Usp. Mat. Nauk 67, No. 1, 97-168 (2012). Reviewer: Ioan Tomescu (Bucureşti) MSC: 94C11 94D10 68Q06 × Cite Format Result Cite Review PDF Full Text: DOI
Gabbay, Murdoch J. Unity in nominal equational reasoning: the algebra of equality on nominal sets. (English) Zbl 1239.03019 J. Appl. Log. 10, No. 2, 199-217 (2012). MSC: 03B70 × Cite Format Result Cite Review PDF Full Text: DOI
Kolokolova, Antonina Expressing versus proving: relating forms of complexity in logic. (English) Zbl 1256.03045 J. Log. Comput. 22, No. 2, 267-280 (2012). Reviewer: Roman Murawski (Poznań) MSC: 03D15 03C13 03F20 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Ehrlich, Philip The absolute arithmetic continuum and the unification of all numbers great and small. (English) Zbl 1242.03065 Bull. Symb. Log. 18, No. 1, 1-45 (2012). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 03E10 03-03 05C05 12J15 26E30 × Cite Format Result Cite Review PDF Full Text: DOI Euclid Link
Bosek, Bartłomiej; Felsner, Stefan; Kloch, Kamil; Krawczyk, Tomasz; Matecki, Grzegorz; Micek, Piotr On-line chain partitions of orders: a survey. (English) Zbl 1259.06002 Order 29, No. 1, 49-73 (2012). Reviewer: Kolja Knauer (Montpellier) MSC: 06A07 68R05 68W27 91A05 91A80 × Cite Format Result Cite Review PDF Full Text: DOI
Jackson, Steve Projective ordinals. Introduction to Part IV. (English) Zbl 1279.03069 Kechris, Alexander S. (ed.) et al., Wadge degrees and projective ordinals. The Cabal Seminar, Vol. II. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-0-521-76203-8/hbk). Lecture Notes in Logic 37, 199-269 (2012). MSC: 03E15 03E60 03-02 × Cite Format Result Cite Review PDF
Wadge, William W. Early investigations of the degrees of Borel sets. (English) Zbl 1261.03144 Kechris, Alexander S. (ed.) et al., Wadge degrees and projective ordinals. The Cabal Seminar, Vol. II. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-0-521-76203-8/hbk). Lecture Notes in Logic 37, 166-195 (2012). MSC: 03E15 03E60 03-02 × Cite Format Result Cite Review PDF
Ando, Naoya Hartman-Wintner’s theorem and its applications. (English) Zbl 1235.53061 Calc. Var. Partial Differ. Equ. 43, No. 3-4, 389-402 (2012). Reviewer: Gabjin Yun (Yongin) MSC: 53C42 53A05 35J60 × Cite Format Result Cite Review PDF Full Text: DOI
Kumar, Manoj; Joshi, Pratibha Some numerical techniques for solving elliptic interface problems. (English) Zbl 1252.65190 Numer. Methods Partial Differ. Equations 28, No. 1, 94-114 (2012). MSC: 65N30 35J25 35R05 65-02 × Cite Format Result Cite Review PDF Full Text: DOI
Matiyasevich, Yu. V. What can and cannot be done with Diophantine problems. (English. Russian original) Zbl 1294.03016 Proc. Steklov Inst. Math. 275, 118-132 (2011); translation from Tr. Mat. Inst. Steklova 275, 128-143 (2011). MSC: 03B25 03D35 11U05 03-02 11-02 × Cite Format Result Cite Review PDF Full Text: DOI
Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido Interval temporal logics: a journey. (English) Zbl 1275.03087 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 105, 73-99 (2011). MSC: 03B44 68Q60 03-02 68-02 × Cite Format Result Cite Review PDF
Do, Minh N.; Lu, Yue M. Multidimensional filter banks and multiscale geometric representations. (English) Zbl 1256.94018 Found. Trends Signal Process. 5, No. 3, 157-264 (2011). MSC: 94A12 × Cite Format Result Cite Review PDF Full Text: DOI
Makowsky, Johann A. Model theory in computer science: my own recurrent themes. (English) Zbl 1247.03064 Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 553–567, electronic only (2011). MSC: 03C98 03B25 03B70 03C35 03C13 05C10 05C31 68P15 68Q25 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Kulpeshov, B. Sh. Binarity and \(\aleph_0\)-categoricity for variants of o-minimality. (English) Zbl 1261.03124 Eurasian Math. J. 2, No. 2, 89-107 (2011). Reviewer: Gareth Jones (Manchester) MSC: 03C64 03C35 × Cite Format Result Cite Review PDF
Silva, Rosemberg; Cayrel, Pierre-Louis; Buchmann, Johannes Post-quantum cryptography: lattice identification schemes. (English) Zbl 1249.94038 Publ. Math. Debr. 79, No. 3-4, 729-748 (2011). MSC: 94A60 × Cite Format Result Cite Review PDF Full Text: DOI
Landes, J.; Paris, J. B.; Vencovská, A. A survey of some recent results on spectrum exchangeability in polyadic inductive logic. (English) Zbl 1237.03016 Synthese 181, Suppl. 1, 19-47 (2011). Reviewer: Branislav Boričić (Beograd) MSC: 03B48 03B42 × Cite Format Result Cite Review PDF Full Text: DOI
Bodirsky, Manuel; Pinsker, Michael Reducts of Ramsey structures. (English) Zbl 1261.03118 Grohe, Martin (ed.) et al., Model theoretic methods in finite combinatorics. AMS-ASL joint special session, Washington, DC, USA, January 5–8, 2009. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4943-9/pbk). Contemporary Mathematics 558, 489-519 (2011). MSC: 03C40 08A35 05C55 03D15 × Cite Format Result Cite Review PDF Full Text: arXiv
Bell, Jason P.; Burris, Stanley N. Compton’s method for proving logical limit laws. (English) Zbl 1252.03082 Grohe, Martin (ed.) et al., Model theoretic methods in finite combinatorics. AMS-ASL joint special session, Washington, DC, USA, January 5–8, 2009. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4943-9/pbk). Contemporary Mathematics 558, 97-128 (2011). Reviewer: Vera Koponen (Uppsala) MSC: 03C13 05A16 11N45 11N80 11R45 11U09 60F20 × Cite Format Result Cite Review PDF
Fischer, Eldar; Kotek, Tomer; Makowsky, Johann A. Application of logic to combinatorial sequences and their recurrence relations. (English) Zbl 1282.03019 Grohe, Martin (ed.) et al., Model theoretic methods in finite combinatorics. AMS-ASL joint special session, Washington, DC, USA, January 5–8, 2009. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4943-9/pbk). Contemporary Mathematics 558, 1-42 (2011). Reviewer: Klaus D. Kiermeier (Berlin) MSC: 03C98 03C13 03D05 05A15 11B37 11B50 11B73 03-02 05-02 11-02 × Cite Format Result Cite Review PDF
Montagna, Franco An algebraic treatment of imprecise probabilities. (English) Zbl 1237.06006 Demonstr. Math. 44, No. 3, 497-509 (2011). Reviewer: Beloslav Riečan (Banská Bystrica) MSC: 06D35 60A86 × Cite Format Result Cite Review PDF Full Text: DOI
Jin, Shi; Markowich, Peter; Sparber, Christof Mathematical and computational methods for semiclassical Schrödinger equations. (English) Zbl 1233.65071 Acta Numerica 20, 121-209 (2011). Reviewer: Marius Ghergu (Dublin) MSC: 65M60 65M06 65M70 35Q41 65-02 × Cite Format Result Cite Review PDF Full Text: DOI Link
Indrzejczak, Andrzej Possible worlds in use. (English) Zbl 1248.03034 Stud. Log. 99, No. 1-3, 229-248 (2011). MSC: 03B45 03A05 03G25 × Cite Format Result Cite Review PDF Full Text: DOI
Bludov, V. V.; Glass, A. M. W. A survey of recent results in groups and orderings: word problems, embeddings and amalgamations. (English) Zbl 1239.06010 Campbell, C.M. (ed.) et al., Groups St. Andrews 2009. Vol. I. Selected papers of the conference, University of Bath, Bath, UK, August 2009. Cambridge: Cambridge University Press (ISBN 978-0-521-27903-1/pbk). London Mathematical Society Lecture Note Series 387, 150-160 (2011). Reviewer: Yichuan Yang (Beijing) MSC: 06F15 20F10 20F60 × Cite Format Result Cite Review PDF
Akhmetov, Denis R.; Lavrentiev, Mikhail M.; Spigler, Renato Singular perturbations of parabolic equations without boundary layers. (English) Zbl 1252.35028 Appl. Anal. 90, No. 11-12, 1803-1818 (2011). Reviewer: Daniel Ševčovič (Bratislava) MSC: 35B25 35K20 35K70 35Q84 × Cite Format Result Cite Review PDF Full Text: DOI
Nies, André Interactions of computability and randomness. (English) Zbl 1258.03053 Bhatia, Rajendra (ed.) et al., Proceedings of the international congress of mathematicians (ICM 2010), Hyderabad, India, August 19–27, 2010. Vol. II: Invited lectures. Hackensack, NJ: World Scientific; New Delhi: Hindustan Book Agency (ISBN 978-981-4324-32-8/hbk; 978-81-85931-08-3/hbk; 978-981-4324-30-4/set; 978-981-4324-35-9/ebook). 30-57 (2011). MSC: 03D32 03D15 × Cite Format Result Cite Review PDF Full Text: Link
Moore, Justin Tatch Logic and foundations the proper forcing axiom. (English) Zbl 1258.03075 Bhatia, Rajendra (ed.) et al., Proceedings of the international congress of mathematicians (ICM 2010), Hyderabad, India, August 19–27, 2010. Vol. II: Invited lectures. Hackensack, NJ: World Scientific; New Delhi: Hindustan Book Agency (ISBN 978-981-4324-32-8/hbk; 978-81-85931-08-3/hbk; 978-981-4324-30-4/set; 978-981-4324-35-9/ebook). 3-29 (2011). Reviewer: K. P. Hart (Delft) MSC: 03E57 03E35 03E55 03E75 × Cite Format Result Cite Review PDF
Otto, Martin Model theoretic methods for fragments of FO and special classes of (finite) structures. (English) Zbl 1248.03052 Esparza, Javier (ed.) et al., Finite and algorithmic model theory. Based on the workshop at the University of Durham, UK, January 9–13, 2006. Cambridge: Cambridge University Press (ISBN 978-0-521-71820-2/pbk). London Mathematical Society Lecture Note Series 379, 271-341 (2011). Reviewer: Vera Koponen (Uppsala) MSC: 03C13 03C07 × Cite Format Result Cite Review PDF
Kreutzer, Stephan Algorithmic meta-theorems. (English) Zbl 1262.03058 Esparza, Javier (ed.) et al., Finite and algorithmic model theory. Based on the workshop at the University of Durham, UK, January 9–13, 2006. Cambridge: Cambridge University Press (ISBN 978-0-521-71820-2/pbk). London Mathematical Society Lecture Note Series 379, 177-270 (2011). MSC: 03D05 03B25 03C13 05C83 68Q25 68W01 × Cite Format Result Cite Review PDF
Macpherson, Dugald; Steinhorn, Charles Definability in classes of finite structures. (English) Zbl 1248.03051 Esparza, Javier (ed.) et al., Finite and algorithmic model theory. Based on the workshop at the University of Durham, UK, January 9–13, 2006. Cambridge: Cambridge University Press (ISBN 978-0-521-71820-2/pbk). London Mathematical Society Lecture Note Series 379, 140-176 (2011). Reviewer: Vera Koponen (Uppsala) MSC: 03C13 × Cite Format Result Cite Review PDF
Macpherson, Dugald A survey of homogeneous structures. (English) Zbl 1238.03032 Discrete Math. 311, No. 15, 1599-1634 (2011). Reviewer: Isaac Goldbring (Los Angeles) MSC: 03C07 03C15 03C35 03C45 03C52 03E15 05D10 20B27 22F50 × Cite Format Result Cite Review PDF Full Text: DOI
Fine, Benjamin; Habeeb, Maggie; Kahrobaei, Delaram; Rosenberger, Gerhard Aspects of nonabelian group based cryptography: a survey and open problems. (English) Zbl 1251.94028 JP J. Algebra Number Theory Appl. 21, No. 1, 1-40 (2011). MSC: 94A60 11T71 20E05 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Gabbay, Murdoch J. Foundations of nominal techniques: logic and semantics of variables in abstract syntax. (English) Zbl 1253.03059 Bull. Symb. Log. 17, No. 2, 161-229 (2011). MSC: 03B70 03B40 68N30 × Cite Format Result Cite Review PDF Full Text: DOI
Doberkat, Ernst-Erich; Schubert, Christoph Coalgebraic logic over general measurable spaces – a survey. (English) Zbl 1235.03065 Math. Struct. Comput. Sci. 21, No. 2, 175-234 (2011). MSC: 03B70 03B45 03G30 × Cite Format Result Cite Review PDF Full Text: DOI
Garay, Juan; Givens, Clint; Ostrovsky, Rafail Secure message transmission by public discussion: a brief survey. (English) Zbl 1272.94003 Chee, Yeow Meng (ed.) et al., Coding and cryptology. Third international workshop, IWCC 2011, Qingdao, China, May 30 – June 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20900-0/pbk). Lecture Notes in Computer Science 6639, 126-141 (2011). MSC: 94A05 68M12 94A40 × Cite Format Result Cite Review PDF Full Text: DOI