×

zbMATH — the first resource for mathematics

Found 1,147 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Bastl, Bohumír; Brandner, Marek; Egermaier, Jiří; Horníková, Hana; Michálková, Kristýna; Turnerová, Eva
Gradient-free and gradient-based methods for shape optimization of water turbine blade. (English) Zbl 07236950
Chleboun, J. (ed.) et al., Programs and algorithms of numerical mathematics 19. Proceedings of the 19th seminar (PANM), Hejnice, Czech Republic, June 24–29, 2018. Prague: Academy of Sciences of the Czech Republic, Institute of Mathematics (ISBN 978-80-85823-69-1). 15-26 (2019).
Reviewer: Jan Chleboun (Praha)
MSC:  76D55 76-04 76D05 90C26 65K10 65M60
PDF BibTeX XML Cite
\textit{B. Bastl} et al., in: Programs and algorithms of numerical mathematics 19. Proceedings of the 19th seminar (PANM), Hejnice, Czech Republic, June 24--29, 2018. Prague: Academy of Sciences of the Czech Republic, Institute of Mathematics. 15--26 (2019; Zbl 07236950)
Full Text: DOI
Stoffelen, Ko
Efficient cryptography on the RISC-V architecture. (English) Zbl 1453.94116
Schwabe, Peter (ed.) et al., Progress in cryptology – LATINCRYPT 2019. 6th international conference on cryptology and information security in Latin America, Santiago de Chile, Chile, October 2–4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11774, 323-340 (2019).
MSC:  94A60
PDF BibTeX XML Cite
\textit{K. Stoffelen}, Lect. Notes Comput. Sci. 11774, 323--340 (2019; Zbl 1453.94116)
Full Text: DOI
Díaz-Viera, Martín; Ortiz-Tapia, Arturo; Hernández-Pérez, Joaquín R.; Castorena-Cortés, Gladys; Roldán-Carrillo, Teresa; Olguín-Lora, Patricia
A flow and transport model for simulation of microbial enhanced oil recovery processes at core scale and laboratory conditions. (English) Zbl 1409.76030
Int. J. Numer. Anal. Model. 16, No. 1, 63-96 (2019).
MSC:  76D45 76D55 49Q12 93C20 86-04
PDF BibTeX XML Cite
\textit{M. Díaz-Viera} et al., Int. J. Numer. Anal. Model. 16, No. 1, 63--96 (2019; Zbl 1409.76030)
Full Text: Link
Gupta, Kavita; Deep, Kusum; Nagar, Atulya K.
Application of constrained spider monkey optimization to solve portfolio optimization problem. (English) Zbl 1405.91554
Deep, Kusum (ed.) et al., Decision science in action. Theory and applications of modern decision analytic optimisation. Singapore: Springer (ISBN 978-981-13-0859-8/hbk; 978-981-13-0860-4/ebook). Asset Analytics. Performance and Safety Management, 175-191 (2019).
MSC:  91G10 91-04 93E20
PDF BibTeX XML Cite
\textit{K. Gupta} et al., in: Decision science in action. Theory and applications of modern decision analytic optimisation. Singapore: Springer. 175--191 (2019; Zbl 1405.91554)
Full Text: DOI
Garg, Apoorv; Ranade, Abhiram G.
Train scheduling on a unidirectional path. (English) Zbl 07278101
Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-055-2). LIPIcs – Leibniz International Proceedings in Informatics 93, Article 29, 14 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
\textit{A. Garg} and \textit{A. G. Ranade}, LIPIcs -- Leibniz Int. Proc. Inform. 93, Article 29, 14 p. (2018; Zbl 07278101)
Full Text: DOI
Davy, Guillaume; Feron, Eric; Garoche, Pierre-Loic; Henrion, Didier
Experiments in verification of linear model predictive control: automatic generation and formal verification of an interior point method algorithm. (English) Zbl 1415.68143
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 290-306 (2018).
MSC:  68Q60 90C51
PDF BibTeX XML Cite
\textit{G. Davy} et al., EPiC Ser. Comput. 57, 290--306 (2018; Zbl 1415.68143)
Full Text: DOI
Cai, Zhennao; Gu, Jianhua; Wen, Caiyun; Zhao, Dong; Huang, Chunyu; Huang, Hui; Tong, Changfei; Li, Jun; Chen, Huiling
An intelligent Parkinson’s disease diagnostic system based on a chaotic bacterial foraging optimization enhanced fuzzy KNN approach. (English) Zbl 1411.92131
Comput. Math. Methods Med. 2018, Article ID 2396952, 24 p. (2018).
MSC:  92C50 92C20 68T05 62P10 92-04
PDF BibTeX XML Cite
\textit{Z. Cai} et al., Comput. Math. Methods Med. 2018, Article ID 2396952, 24 p. (2018; Zbl 1411.92131)
Full Text: DOI
Ma, Ding; Judd, Kenneth L.; Orban, Dominique; Saunders, Michael A.
Stabilized optimization via an NCL algorithm. (English) Zbl 06987056
Al-Baali, Mehiddin (ed.) et al., Numerical analysis and optimization. Selected papers based on the presentations at the 4th international conference, NAO-IV, Muscat, Oman, January 2–5, 2017. Cham: Springer (ISBN 978-3-319-90025-4/hbk; 978-3-319-90026-1/ebook). Springer Proceedings in Mathematics & Statistics 235, 173-191 (2018).
MSC:  65K05 49M37 90-04 90C30
PDF BibTeX XML Cite
\textit{D. Ma} et al., in: Numerical analysis and optimization. Selected papers based on the presentations at the 4th international conference, NAO-IV, Muscat, Oman, January 2--5, 2017. Cham: Springer. 173--191 (2018; Zbl 06987056)
Full Text: DOI
Sequeira, Adélia; Tiago, Jorge; Guerra, Telma
Boundary control problems in hemodynamics. (English) Zbl 1404.92074
Mondaini, Rubem P. (ed.), Trends in biomathematics: modeling, optimization and computational problems. Selected works from the 17th BIOMAT consortium lectures, Moscow, Russia, October 30 – November 3, 2017. Cham: Springer; Rio de Janeiro: BIOMAT Consortium, International Institute for Interdisciplinary Sciences (ISBN 978-3-319-91091-8/hbk; 978-3-319-91092-5/ebook). 27-48 (2018).
MSC:  92C35 92-04 92C50 49N90
PDF BibTeX XML Cite
\textit{A. Sequeira} et al., in: Trends in biomathematics: modeling, optimization and computational problems. Selected works from the 17th BIOMAT consortium lectures, Moscow, Russia, October 30 -- November 3, 2017. Cham: Springer; Rio de Janeiro: BIOMAT Consortium, International Institute for Interdisciplinary Sciences. 27--48 (2018; Zbl 1404.92074)
Full Text: DOI
Bánhelyi, Balázs; Csendes, Tibor; Lévai, Balázs; Pál, László; Zombori, Dániel
The GLOBAL optimization algorithm. Newly updated with Java implementation and parallelization. (English) Zbl 06967802
SpringerBriefs in Optimization. Cham: Springer (ISBN 978-3-030-02374-4/pbk; 978-3-030-02375-1/ebook). ix, 111 p. (2018).
MSC:  90-04 90C26 68N15
PDF BibTeX XML Cite
\textit{B. Bánhelyi} et al., The GLOBAL optimization algorithm. Newly updated with Java implementation and parallelization. Cham: Springer (2018; Zbl 06967802)
Full Text: DOI
Peshkichev, I. V.; Makeeva, I. R.; Shults, O. V.; Pugachev, V. Yu.; Dubosarskiĭ, V. G.; Paukova, A. E.; Kuznetsova, O. V.; Darina, L. N.; Bochkareva, A. A.
Software tedy for thermodynamical modelling. (Russian. English summary) Zbl 1400.80003
Vestn. Yuzhno-Ural. Gos. Univ., Ser. Mat. Model. Program. 11, No. 1, 84-94 (2018).
MSC:  80-04 80A32 80M50
PDF BibTeX XML Cite
\textit{I. V. Peshkichev} et al., Vestn. Yuzhno-Ural. Gos. Univ., Ser. Mat. Model. Program. 11, No. 1, 84--94 (2018; Zbl 1400.80003)
Full Text: DOI MNR
Barany, Gergö
Liveness-driven random program generation. (English) Zbl 06932826
Fioravanti, Fabio (ed.) et al., Logic-based program synthesis and transformation. 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10–12, 2017. Revised selected papers. Cham: Springer (ISBN 978-3-319-94459-3/pbk; 978-3-319-94460-9/ebook). Lecture Notes in Computer Science 10855, 112-127 (2018).
MSC:  68N30
PDF BibTeX XML Cite
\textit{G. Barany}, Lect. Notes Comput. Sci. 10855, 112--127 (2018; Zbl 06932826)
Full Text: DOI
Papathanasiou, Jason; Ploskas, Nikolaos
Multiple criteria decision aid. Methods, examples and Python implementations. (English) Zbl 1408.90151
Springer Optimization and Its Applications 136. Cham: Springer (ISBN 978-3-319-91646-0/hbk; 978-3-319-91648-4 /ebook). xvii, 173 p. (2018).
Reviewer: Efstratios Rappos (Aubonne)
MSC:  90B50 90C29 90-02 90-04 91B06 68N15 90C08
PDF BibTeX XML Cite
\textit{J. Papathanasiou} and \textit{N. Ploskas}, Multiple criteria decision aid. Methods, examples and Python implementations. Cham: Springer (2018; Zbl 1408.90151)
Full Text: DOI
Almeida, José Carlos jun.; Pereira, Felipe de C.; Reis, Marina V. A.; Piva, Breno
The next release problem: complexity, exact algorithms and computations. (English) Zbl 1403.90626
Lee, Jon (ed.) et al., Combinatorial optimization. 5th international symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018. Revised selected papers. Cham: Springer (ISBN 978-3-319-96150-7/pbk; 978-3-319-96151-4/ebook). Lecture Notes in Computer Science 10856, 26-38 (2018).
MSC:  90C35 90C27 90C10
PDF BibTeX XML Cite
\textit{J. C. Almeida jun.} et al., Lect. Notes Comput. Sci. 10856, 26--38 (2018; Zbl 1403.90626)
Full Text: DOI
Jansen, Kenneth E.; Rasquin, Michel; Brown, Jed; Smith, Cameron; Shephard, Mark S.; Carothers, Chris
Extreme scale unstructured adaptive CFD for aerodynamic flow control. (English) Zbl 1395.76002
Straatsma, Tjerk P. (ed.) et al., Exascale scientific applications: scalability and performance portability. Boca Raton, FL: CRC Press (ISBN 978-1-138-19754-1/hbk; 978-1-351-99924-3/ebook). Chapman & Hall/CRC Computational Science Series, 315-344 (2018).
MSC:  76-04 76D55 76Mxx
PDF BibTeX XML Cite
\textit{K. E. Jansen} et al., in: Exascale scientific applications: scalability and performance portability. Boca Raton, FL: CRC Press. 315--344 (2018; Zbl 1395.76002)
Huin, Nicolas; Tomassilli, Andrea; Giroire, Frédéric; Jaumard, Brigitte
Energy-efficient service function chain provisioning. (English) Zbl 1392.90045
Gouveia, Luís (ed.) et al., Proceedings of the 8th international network optimization conference (INOC 2017), Lisbon, Portugal, February 26–28, 2017. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 64, 265-274 (2018).
MSC:  90B18 91B76
PDF BibTeX XML Cite
\textit{N. Huin} et al., Electron. Notes Discrete Math. 64, 265--274 (2018; Zbl 1392.90045)
Full Text: DOI
Conte, S. D.; de Boor, Carl
Elementary numerical analysis. An algorithmic approach. Updated with MATLAB. Reprint of the third edition 1980. (English) Zbl 1392.65002
Classics in Applied Mathematics 78. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-1-61197-519-2/pbk; 978-1-61197-520-8/ebook). xxiv, 456 p. (2018).
Reviewer: Adhemar Bultheel (Leuven)
MSC:  65-01 65G50 65Dxx 41A05 41A15 41A55 65Hxx 65F05 65F10 65F15 65L05 65L10 65L20 65-04
PDF BibTeX XML Cite
\textit{S. D. Conte} and \textit{C. de Boor}, Elementary numerical analysis. An algorithmic approach. Updated with MATLAB. Reprint of the third edition 1980. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (2018; Zbl 1392.65002)
Full Text: DOI
Leblebici, Erhan; Anjorin, Anthony; Schürr, Andy
Inter-model consistency checking using triple graph grammars and linear optimization techniques. (English) Zbl 1430.68028
Huisman, Marieke (ed.) et al., Fundamental approaches to software engineering. 20th international conference, FASE 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10202, 191-207 (2017).
MSC:  68N30 68Q42
PDF BibTeX XML Cite
\textit{E. Leblebici} et al., Lect. Notes Comput. Sci. 10202, 191--207 (2017; Zbl 1430.68028)
Full Text: DOI
Bourdache, Nadjet; Perny, Patrice
Anytime algorithms for adaptive robust optimization with OWA and WOWA. (English) Zbl 1398.91167
Rothe, Jörg (ed.), Algorithmic decision theory. 5th international conference, ADT 2017, Luxembourg, Luxembourg, October 25–27, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-67503-9/pbk; 978-3-319-67504-6/ebook). Lecture Notes in Computer Science 10576. Lecture Notes in Artificial Intelligence, 93-107 (2017).
MSC:  91B06 91-04 49N90
PDF BibTeX XML Cite
\textit{N. Bourdache} and \textit{P. Perny}, Lect. Notes Comput. Sci. 10576, 93--107 (2017; Zbl 1398.91167)
Full Text: DOI
Chiang, Wei-Fan; Baranowski, Mark; Briggs, Ian; Solovyev, Alexey; Gopalakrishnan, Ganesh; Rakamarić, Zvonimir
Rigorous floating-point mixed-precision tuning. (English) Zbl 1380.68116
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 300-315 (2017).
MSC:  68N30 68N20
PDF BibTeX XML Cite
\textit{W.-F. Chiang} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 300--315 (2017; Zbl 1380.68116)
Full Text: DOI
Singh, Gagandeep; Püschel, Markus; Vechev, Martin
Fast polyhedra abstract domain. (English) Zbl 1380.68131
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 46-59 (2017).
MSC:  68N30
PDF BibTeX XML Cite
\textit{G. Singh} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 46--59 (2017; Zbl 1380.68131)
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
Biographic Reference
all top 3
Software