Rebner, Gabor; Auer, Ekaterina; Luther, Wolfram A verified realization of a Dempster-Shafer based fault tree analysis. (English) Zbl 1238.65038 Computing 94, No. 2-4, 313-324 (2012). MSC: 65G20 60A99 65G40 PDFBibTeX XMLCite \textit{G. Rebner} et al., Computing 94, No. 2--4, 313--324 (2012; Zbl 1238.65038) Full Text: DOI
Dyllong, Eva; Kiel, Stefan A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure. (English) Zbl 1238.65037 Computing 94, No. 2-4, 281-296 (2012). MSC: 65G20 PDFBibTeX XMLCite \textit{E. Dyllong} and \textit{S. Kiel}, Computing 94, No. 2--4, 281--296 (2012; Zbl 1238.65037) Full Text: DOI
Berthé, V. Numeration and discrete dynamical systems. (English) Zbl 1269.11009 Computing 94, No. 2-4, 369-387 (2012). Reviewer: Michel Rigo (Liège) MSC: 11A63 11J70 37B10 11K16 PDFBibTeX XMLCite \textit{V. Berthé}, Computing 94, No. 2--4, 369--387 (2012; Zbl 1269.11009) Full Text: DOI
Rauh, Andreas; Kersten, Julia; Auer, Ekaterina; Aschemann, Harald Sensitivity-based feedforward and feedback control for uncertain systems. (English) Zbl 1236.93047 Computing 94, No. 2-4, 357-367 (2012). MSC: 93B35 65G30 93B52 PDFBibTeX XMLCite \textit{A. Rauh} et al., Computing 94, No. 2--4, 357--367 (2012; Zbl 1236.93047) Full Text: DOI
Griewank, Andreas; Kulshreshtha, Kshitij; Walther, Andrea On the numerical stability of algorithmic differentiation. (English) Zbl 1238.65013 Computing 94, No. 2-4, 125-149 (2012). MSC: 65D25 65G50 65Y04 PDFBibTeX XMLCite \textit{A. Griewank} et al., Computing 94, No. 2--4, 125--149 (2012; Zbl 1238.65013) Full Text: DOI
Jaulin, Luc Solving set-valued constraint satisfaction problems. (English) Zbl 1282.62008 Computing 94, No. 2-4, 297-311 (2012). Reviewer: Frank Uhlig (Auburn) MSC: 62-07 65G40 65G30 PDFBibTeX XMLCite \textit{L. Jaulin}, Computing 94, No. 2--4, 297--311 (2012; Zbl 1282.62008) Full Text: DOI
Auer, Ekaterina; Rauh, Andreas VERICOMP: A system to compare and assess verified IVP solvers. (English) Zbl 1238.65064 Computing 94, No. 2-4, 163-172 (2012). MSC: 65L05 34A34 65G20 65G40 PDFBibTeX XMLCite \textit{E. Auer} and \textit{A. Rauh}, Computing 94, No. 2--4, 163--172 (2012; Zbl 1238.65064) Full Text: DOI
Bouissou, Olivier; Goubault, Eric; Goubault-Larrecq, Jean; Putot, Sylvie A generalization of \(p\)-boxes to affine arithmetic. (English) Zbl 1247.60006 Computing 94, No. 2-4, 189-201 (2012). Reviewer: Wolfgang Näther (Freiberg) MSC: 60A86 65G30 PDFBibTeX XMLCite \textit{O. Bouissou} et al., Computing 94, No. 2--4, 189--201 (2012; Zbl 1247.60006) Full Text: DOI
Nehmeier, M.; Siegel, S.; Wolff von Gudenberg, J. Specification of hardware for interval arithmetic. (English) Zbl 1234.68051 Computing 94, No. 2-4, 243-255 (2012). MSC: 68M99 68-04 94C99 PDFBibTeX XMLCite \textit{M. Nehmeier} et al., Computing 94, No. 2--4, 243--255 (2012; Zbl 1234.68051) Full Text: DOI
Nehmeier, Marco Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard. (English) Zbl 1238.65040 Computing 94, No. 2-4, 215-228 (2012). MSC: 65G30 65Y04 68N19 68W30 65D25 PDFBibTeX XMLCite \textit{M. Nehmeier}, Computing 94, No. 2--4, 215--228 (2012; Zbl 1238.65040) Full Text: DOI
Patil, Bhagyesh V.; Nataraj, P. S. V.; Bhartiya, Sharad Global optimization of mixed-integer nonlinear (polynomial) programming problems: The Bernstein polynomial approach. (English) Zbl 1236.90084 Computing 94, No. 2-4, 325-343 (2012). MSC: 90C11 90C26 65G30 PDFBibTeX XMLCite \textit{B. V. Patil} et al., Computing 94, No. 2--4, 325--343 (2012; Zbl 1236.90084) Full Text: DOI
Rauh, Andreas; Auer, Ekaterina; Dötschel, Thomas; Aschemann, Harald Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances. (English) Zbl 1246.93122 Computing 94, No. 2-4, 345-356 (2012). MSC: 93E15 93C41 93C73 93B52 93C10 PDFBibTeX XMLCite \textit{A. Rauh} et al., Computing 94, No. 2--4, 345--356 (2012; Zbl 1246.93122) Full Text: DOI
Garloff, Jürgen Pivot tightening for direct methods for solving symmetric positive definite systems of linear interval equations. (English) Zbl 1238.65019 Computing 94, No. 2-4, 97-107 (2012). MSC: 65F05 65G20 65G30 PDFBibTeX XMLCite \textit{J. Garloff}, Computing 94, No. 2--4, 97--107 (2012; Zbl 1238.65019) Full Text: DOI
Zimmer, Michael; Krämer, Walter; Popova, Evgenija D. Solvers for the verified solution of parametric linear systems. (English) Zbl 1238.65021 Computing 94, No. 2-4, 109-123 (2012). MSC: 65F05 65F50 65G20 65G99 65Y05 65Y20 PDFBibTeX XMLCite \textit{M. Zimmer} et al., Computing 94, No. 2--4, 109--123 (2012; Zbl 1238.65021) Full Text: DOI
Krämer, Walter Multiple/arbitrary precision interval computations in C-XSC. (English) Zbl 1238.65042 Computing 94, No. 2-4, 229-241 (2012). MSC: 65G40 65Y04 65H05 65G20 65D25 PDFBibTeX XMLCite \textit{W. Krämer}, Computing 94, No. 2--4, 229--241 (2012; Zbl 1238.65042) Full Text: DOI
Nava, Jaime; Kreinovich, Vladik Towards interval techniques for model validation. (English) Zbl 1238.65043 Computing 94, No. 2-4, 257-269 (2012). MSC: 65G40 65G20 90C05 65K05 PDFBibTeX XMLCite \textit{J. Nava} and \textit{V. Kreinovich}, Computing 94, No. 2--4, 257--269 (2012; Zbl 1238.65043) Full Text: DOI Link
Araya, Ignacio; Neveu, Bertrand; Trombettoni, Gilles An interval extension based on occurrence grouping. (English) Zbl 1238.65039 Computing 94, No. 2-4, 173-188 (2012). MSC: 65G30 65H10 90C05 PDFBibTeX XMLCite \textit{I. Araya} et al., Computing 94, No. 2--4, 173--188 (2012; Zbl 1238.65039) Full Text: DOI
Kubica, Bartłomiej Jacek A class of problems that can be solved using interval algorithms. (English) Zbl 1235.65043 Computing 94, No. 2-4, 271-280 (2012). MSC: 65G40 65H10 65K05 65Y05 68T15 90C57 PDFBibTeX XMLCite \textit{B. J. Kubica}, Computing 94, No. 2--4, 271--280 (2012; Zbl 1235.65043) Full Text: DOI
Nakao, Mitsuhiro T.; Kinoshita, Takehiko; Kimura, Takuma On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems. (English) Zbl 1246.65173 Computing 94, No. 2-4, 151-162 (2012). MSC: 65M15 35K20 65G99 65M20 65M60 PDFBibTeX XMLCite \textit{M. T. Nakao} et al., Computing 94, No. 2--4, 151--162 (2012; Zbl 1246.65173) Full Text: DOI
Revol, Nathalie (ed.); Alefeld, Goetz (ed.) Special issue: Scientific computation and numerical analysis (SCAN 2010). Selected papers based on the presentations at the conference, Lyon, France, September 27–30, 2010. (English) Zbl 1255.65007 Computing 94, No. 2-4, 95-387 (2012). MSC: 65-06 65D20 65K05 65K10 00B25 PDFBibTeX XML