×

Found 144 Documents (Results 1–100)

Extrapolation and rational approximation. The works of the main contributors. (English) Zbl 1477.65006

Cham: Springer (ISBN 978-3-030-58417-7/hbk; 978-3-030-58420-7/pbk; 978-3-030-58418-4/ebook). viii, 406 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

Multilevel Monte Carlo method for statistical model checking of hybrid systems. (English) Zbl 1420.68126

Bertrand, Nathalie (ed.) et al., Quantitative evaluation of systems. 14th international conference, QEST 2017, Berlin, Germany, September 5–7, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10503, 351-367 (2017).
MSC:  68Q60 65C05 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Regularization method for nonlinear integro-differential systems of Fredholm type with rapidly varying kernels. (English. Russian original) Zbl 1323.65124

Differ. Equ. 51, No. 2, 255-267 (2015); translation from Differ. Uravn. 51, No. 2, 251-262 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Zélus: a synchronous language with ODEs. (English) Zbl 1361.68026

Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8–11, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1567-8). 113-118 (2013).
MSC:  68N15 34A38 65C20 68Q45 93A30
PDFBibTeX XMLCite
Full Text: DOI

Hybridization domain construction using curvature estimation. (English) Zbl 1362.93014

Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12–14, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0629-4). 123-132 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Convergence thresholds of Newton’s method for monotone polynomial equations. (English) Zbl 1259.65225

Albers, Susanne (ed.) et al., STACS 2008. 25th international symposium on theoretical aspects of computer science, Bordeaux, France, February 21–23, 2008. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-06-4). LIPIcs – Leibniz International Proceedings in Informatics 1, 289-300, electronic only (2008).
MSC:  65Y20 65H04 65H10
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

On the convergence of Newton’s method for monotone systems of polynomial equations. (English) Zbl 1232.65076

STOC’07. Proceedings of the 39th annual ACM symposium on theory of computing, San Diego, CA, USA, June 11–13, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-631-8). 217-226 (2007).
PDFBibTeX XMLCite

Does “chaos” exist mostly in computing machinery? (English) Zbl 0958.65082

Corduneanu, C. (ed.) et al., Volterra equations and applications. Proceedings of the Volterra centennial symposium, University of Texas, Arlington, TX, USA, May 23-25, 1996. London: Gordon and Breach Science Publishers. Stab. Control Theory Methods Appl. 10, 403-410 (2000).
PDFBibTeX XMLCite

A numerical comparison of look-ahead Levinson and Schur algorithms for non-Hermitian Toeplitz systems. (English) Zbl 0932.65026

Arbenz, Peter (ed.) et al., High performance algorithms for structured matrix problems. Commack, NY: Nova Science Publishers. Advanced in the Theory of Computation and Computational Mathematics. 2, 127-148 (1998).
MSC:  65F05 41A21
PDFBibTeX XMLCite

New facets of DFI, a DE solver for all seasons. (English) Zbl 0901.65045

Constanda, C. (ed.) et al., Integral methods in science and engineering. Vol. II: Approximation methods. Proceedings of the 4th international conference, IMSE ’96, Oulu, Finland, June 17–20, 1996. Harlow: Longman. Pitman Res. Notes Math. Ser. 375, 176-180 (1997).
PDFBibTeX XMLCite

Maximally exact calculation of expressions of scalar products and highly exact evaluation of parts of programs. (Maximal genaue Berechnung von Skalarproduktausdrücken und hochgenaue Auswertung von Programmteilen.) (German) Zbl 0847.68023

Karlsruhe: Math. Fak., Univ. Karlsruhe, vi, 171 S. (1992).
Reviewer: S.Meyer (Berlin)
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software