×

Found 697 Documents (Results 1–100)

On the simultaneous identification of the volumetric heat capacity and the thermal conductivity of a substance. (English) Zbl 1528.80001

Olenev, Nicholas (ed.) et al., Optimization and applications. 13th international conference, OPTIMA 2022, Petrovac, Montenegro, September 26–30, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13781, 207-220 (2023).
MSC:  80A19 35R30
PDFBibTeX XMLCite
Full Text: DOI

Application of second-order optimization methods to solving the inverse coefficient problems. (English) Zbl 1523.35295

Olenev, Nicholas N. (ed.) et al., Optimization and applications. 12th international conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13078, 351-364 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Determination of hydrological model parameters by Newton method. (English) Zbl 1507.90179

Olenev, Nicholas N. (ed.) et al., Advances in optimization and applications. 12th international conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021. Revised selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 1514, 273-285 (2021).
MSC:  90C33 90C90
PDFBibTeX XMLCite
Full Text: DOI

Automatic differentiation with higher infinitesimals, or computational smooth infinitesimal analysis in Weil algebra. (English) Zbl 1495.68250

Boulier, François (ed.) et al., Computer algebra in scientific computing. 23rd international workshop, CASC 2021, Sochi, Russia, September 13–17, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12865, 174-191 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

On one approach to the numerical solution of a coefficient inverse problem. (English. Russian original) Zbl 1530.65107

Dokl. Math. 104, No. 1, 208-211 (2021); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 499, 58-62 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Reverse AD at higher types: pure, principled and denotationally correct. (English) Zbl 1473.68058

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 607-634 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Reverse derivative categories. (English) Zbl 07650831

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 18, 16 p. (2020).
MSC:  68-XX 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the versatility of open logical relations. Continuity, automatic differentiation, and a containment theorem. (English) Zbl 1508.68055

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 56-83 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Application of the fast automatic differentiation technique for solving inverse coefficient problems. (English. Russian original) Zbl 1455.80007

Comput. Math. Math. Phys. 60, No. 1, 15-25 (2020); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 1, 18-28 (2020).
PDFBibTeX XMLCite
Full Text: DOI

On the effectiveness of the fast automatic differentiation methodology. (English) Zbl 1473.65018

Evtushenko, Yury (ed.) et al., Optimization and applications. 9th international conference, OPTIMA 2018, Petrovac, Montenegro, October 1–5, 2018. Revised selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 974, 264-276 (2019).
MSC:  65D25 68W30
PDFBibTeX XMLCite
Full Text: DOI

Gradient-free and gradient-based methods for shape optimization of water turbine blade. (English) Zbl 1463.76026

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. 15-26 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Computing invariant manifolds for libration point missions. (English) Zbl 1428.70023

Baù, Giulio (ed.) et al., Satellite dynamics and space missions. Collected papers of the summer school “Satellite dynamics and space missions: theory and applications of celestial mechanics”, San Martino al Cimino, Viterbo, Italy, August 28 – September 2, 2017. Cham: Springer. Springer INdAM Ser. 34, 159-223 (2019).
PDFBibTeX XMLCite
Full Text: DOI Link

ZpL: a \(p\)-adic precision package. (English) Zbl 1467.68227

Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM). 119-126 (2018).
MSC:  68W30 11Y16 68-04
PDFBibTeX XMLCite
Full Text: DOI arXiv

Identification of the thermal conductivity coefficient using a given surface heat flux. (English. Russian original) Zbl 1421.80008

Comput. Math. Math. Phys. 58, No. 12, 2031-2042 (2018); translation from Zh. Vychisl. Mat. Mat. Fiz. 58, No. 12, 2112-2126 (2018).
MSC:  80A23 80A20 80M50 35R30 65M32 49J20 68W30
PDFBibTeX XMLCite
Full Text: DOI

Identification of thermal conductivity coefficient using a given temperature field. (English. Russian original) Zbl 1412.80002

Comput. Math. Math. Phys. 58, No. 10, 1585-1599 (2018); translation from Zh. Vychisl. Mat. Mat. Fiz. 58, No. 10 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software