Found 148 Documents (Results 1–100)
Solving nonlinear systems via preprocessing and interval method. (Chinese. English summary) Zbl 1480.65121
Endpoint values of wavelets on an interval. (English) Zbl 1339.65221
Akça, Haydar (ed.) et al., Proceedings of the international conference: 2004 – Dynamical systems and applications. Papers based on talks given at the conference, Antalya, Turkey, July 5–10, 2004. Dhahran: King Fahd University of Petroleum and Minerals, Department of Mathematical Sciences. 538-546, electronic only (2004).
A minimization method for computing parameter bounds in an interval valued linear regression model using interval analysis. (English) Zbl 1261.62064
Interval representations. (English) Zbl 1208.65061
Sufficient conditions for the exponential stability ”in the large” of an interval dynamical system with a nonlinearity of quadratic type. (Russian) Zbl 1133.34338
On range evaluation of polynomials by applying interval arithmetic. (English) Zbl 1151.65322
Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 4th international conference, LSSC 2003, Sozopol, Bulgaria, June 4–8, 2003. Revised papers. Berlin: Springer (ISBN 3-540-21090-3/pbk). Lecture Notes in Computer Science 2907, 254-261 (2004).
MSC:
65G30
Widening integer arithmetic. (English) Zbl 1125.68357
Duesterwald, Evelyn (ed.), Compiler construction. 13th international conference, CC 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21297-3/pbk). Lecture Notes in Computer Science 2985, 232-249 (2004).
Relational abstract domains for the detection of floating-point run-time errors. (English) Zbl 1126.68353
Schmidt, David (ed.), Programming languages and systems. 13th European symposium on programming, ESOP 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21313-9/pbk). Lecture Notes in Computer Science 2986, 3-17 (2004).
On singular interval systems. (English) Zbl 1126.65310
Alt, René (ed.) et al., Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19–24, 2003. Revised papers. Berlin: Springer (ISBN 3-540-21260-4/pbk). Lecture Notes in Computer Science 2991, 191-197 (2004).
MSC:
65G30
Reliable distance and intersection computation using finite precision geometry. (English) Zbl 1126.65312
Alt, René (ed.) et al., Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19–24, 2003. Revised papers. Berlin: Springer (ISBN 3-540-21260-4/pbk). Lecture Notes in Computer Science 2991, 160-190 (2004).
Interval algorithms in modeling of multibody systems. (English) Zbl 1126.65311
Alt, René (ed.) et al., Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19–24, 2003. Revised papers. Berlin: Springer (ISBN 3-540-21260-4/pbk). Lecture Notes in Computer Science 2991, 132-159 (2004).
Guaranteed numerical computation as an alternative to computer algebra for testing models for identifiability. (English) Zbl 1126.93329
Alt, René (ed.) et al., Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19–24, 2003. Revised papers. Berlin: Springer (ISBN 3-540-21260-4/pbk). Lecture Notes in Computer Science 2991, 124-131 (2004).
Nonlinear parameter and state estimation for cooperative systems in a bounded-error context. (English) Zbl 1126.93339
Alt, René (ed.) et al., Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19–24, 2003. Revised papers. Berlin: Springer (ISBN 3-540-21260-4/pbk). Lecture Notes in Computer Science 2991, 107-123 (2004).
Interval testing strategies applied to COSY’s interval and Taylor model arithmetic. (English) Zbl 1126.65326
Alt, René (ed.) et al., Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19–24, 2003. Revised papers. Berlin: Springer (ISBN 3-540-21260-4/pbk). Lecture Notes in Computer Science 2991, 91-106 (2004).
Multiple precision interval packages: comparing different approaches. (English) Zbl 1126.65327
Alt, René (ed.) et al., Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19–24, 2003. Revised papers. Berlin: Springer (ISBN 3-540-21260-4/pbk). Lecture Notes in Computer Science 2991, 64-90 (2004).
Libraries, tools, and interactive systems for verified computations four case studies. (English) Zbl 1126.65329
Alt, René (ed.) et al., Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19–24, 2003. Revised papers. Berlin: Springer (ISBN 3-540-21260-4/pbk). Lecture Notes in Computer Science 2991, 36-63 (2004).
Implementation aspects of a recovery-based error estimator in finite element analysis. (English) Zbl 1128.65306
Wyrzykowski, Roman (ed.) et al., Parallel processing and applied mathematics. 5th international conference, PPAM 2003, Czȩstochowa, Poland, September 7–10, 2003. Revised papers. Berlin: Springer (ISBN 3-540-21946-3/pbk). Lecture Notes in Computer Science 3019, 722-729 (2004).
Complete search in continuous global optimization and constraint satisfaction. (English) Zbl 1113.90124
Estimating blood vessel areas in ultrasound images using a deformable template model. (English) Zbl 1117.62493
Laguerre-like methods with corrections for the inclusion of polynomial zeros. (English) Zbl 1109.65048
Reviewer: Ljiljana Petković (Niš)
Computing the sign of a dot product sum. (English) Zbl 1117.65324
Zhang, Jun (ed.) et al., Computational and information science. First international symposium, CIS 2004, Shanghai, China, December 16–18, 2004. Proceedings. Berlin: Springer (ISBN 3-540-24127-2/pbk). Lecture Notes in Computer Science 3314, 1086-1092 (2004).
On convergence of one iterative interval method of solution of nonlinear systems of equations. (Ukrainian. English summary) Zbl 1091.65047
Subdivision of interval Bézier curves. (Chinese. English summary) Zbl 1087.65515
MSC:
65D17
Determining integral intervals in triple integral by projection. (Chinese. English summary) Zbl 1086.65509
Interval estimation of the expected coverage of the prediction intervals in small sample nonlinear models. (English) Zbl 1250.97024
A convergence analysis and applications for two-step Newton methods in Banach spaces. (English) Zbl 1082.65001
Interval characteristics of chaotic sequences. (English. Russian original) Zbl 1081.65119
Cybern. Syst. Anal. 40, No. 5, 678-688 (2004); translation from Kibern. Sist. Anal. 2004, No. 5, 58-71 (2004).
Deterministic global optimization using interval constraint propagation techniques. (English) Zbl 1114.90156
A full function-based calculus of directed and undirected intervals: Markov’s interval arithmetic revisited. (English) Zbl 1079.65058
Reviewer: Jiří Rohn (Praha)
A multidimensional branch-and-prune method for interval global optimization. (English) Zbl 1090.90182
Proposal for a standardization of mathematical function implementation in floating-point arithmetic. (English) Zbl 1074.65053
A complex mean value form for curves. (English) Zbl 1077.65045
Reviewer: Aurelian Bejancu (Safat)
Interval arithmetic, affine arithmetic, Taylor series methods: Why, what next? (English) Zbl 1078.65035
Reviewer: Jiří Rohn (Praha)
Interval approach to phase measurements can lead to arbitrarily complex sets – a theorem and ways around it. (English) Zbl 1074.65047
On quasivector spaces of convex bodies and zonotopes. (English) Zbl 1092.52001
Reviewer: Rolf Schneider (Freiburg i. Br.)
A feasible algorithm for locating concave and convex zones of interval data and its use in statistics-based clustering. (English) Zbl 1114.91091
Solving linear systems whose elements are nonlinear functions of intervals. (English) Zbl 1076.65028
Reviewer: R. P. Tewarson (Stony Brook)
Interval computations and their categorification. (English) Zbl 1074.65051
MSC:
65G30
18B30
Generalized subinterval selection criteria for interval global optimization. (English) Zbl 1090.90177
On an efficient use of gradient information for accelerating interval global optimization algorithms. (English) Zbl 1078.65053
Reviewer: Jiří Rohn (Praha)
ICTM: an interval tessellation-based model for reliable topographic segmentation. (English) Zbl 1114.65040
A fast bilinear optimization algorithm. (English) Zbl 1151.90548
Takahashi, Wataru (ed.) et al., Nonlinear analysis and convex analysis. Proceedings of the 3rd international conference
(NACA2003), Tokyo, Japan, August 25–29, 2003. Yokohama: Yokohama Publishers (ISBN 4-946552-15-4/hbk). 17-27 (2004).
(NACA2003), Tokyo, Japan, August 25–29, 2003. Yokohama: Yokohama Publishers (ISBN 4-946552-15-4/hbk). 17-27 (2004).
Comparison of interval numbers and optimization of interval-parameter systems. (English. Russian original) Zbl 1115.90402
Autom. Remote Control 65, No. 4, 625-633 (2004); translation from Avtom. Telemekh. 2004, No. 4, 133-142 (2004).
An interval linear tolerance problem. (English. Russian original) Zbl 1081.65042
Autom. Remote Control 65, No. 10, 1653-1666 (2004); translation from Avtom. Telemekh. 2004, No. 10, 147-162 (2004).
MSC:
65G40
Design of optimal digital control algorithms for data with interval uncertainty. (Russian) Zbl 1072.93511
Computer technology of interval-set analysis in MATLAB. (English. Russian original) Zbl 1124.65301
Cybern. Syst. Anal. 40, No. 1, 102-114 (2004); translation from Kibern. Sist. Anal. 2004, No. 1, 122-138 (2004).
Solving tied interval linear systems. (Russian. English summary) Zbl 1068.65058
MSC:
65F30
65G30
Numerical modeling of temperature fields with interval uncertainties. (Russian) Zbl 1067.65093
Reviewer: V. Grebenev (Novosibirsk)
An algorithm for checking the practical regularity of symmetric interval matrices. (Russian. English summary) Zbl 1060.65046
An interval branch-and-prune algorithm for discrete minimax problems. (English) Zbl 1060.65607
Simos, T. E. (ed.) et al., ICNAAM 2004. International conference on numerical analysis and applied mathematics 2004, Chalkis, Greece, September 10–14, 2004. Official conference of the European Society of Computational Methods in Science and Engineering (ESCMSE). Weinheim: Wiley-VCH (ISBN 3-527-40563-1/hbk). 352-355 (2004).
Challenges in numerical computation. (English) Zbl 1060.65570
Simos, T. E. (ed.) et al., ICNAAM 2004. International conference on numerical analysis and applied mathematics 2004, Chalkis, Greece, September 10–14, 2004. Official conference of the European Society of Computational Methods in Science and Engineering (ESCMSE). Weinheim: Wiley-VCH (ISBN 3-527-40563-1/hbk). 232-234 (2004).
MSC:
65D20
Quadratic regular reversal maps. (English) Zbl 1077.37029
Reviewer: Steve Pederson (Atlanta)
Robust normal forms for saddles of analytic vector fields. (English) Zbl 1081.37028
Reviewer: Natalia Medvedeva (Chelyabinsk)
Uncertainty modeling using fuzzy arithmetic based on sparse grids: applications to dynamic systems. (English) Zbl 1076.70004
Is the tolerable solution set bounded? (Russian. English summary) Zbl 1065.65061
MSC:
65F30
65G30
Constraint reasoning with differential equations. (English) Zbl 1060.65614
Psihoyios, G. (ed.), NACoM-2003 extended abstracts. Proceedings of the international conference on numerical analysis and computational mathematics, Cambridge, UK, May 23–26, 2003. (Contained as No. 2 in the journal ANACM 1, No. 1-2, 524 p. (2004)). Weinheim: Wiley-VCH (ISBN 3-527-40462-7). 38-41 (2004).
Exact distributions of \(R^2\) and adjusted \(R^2\) in a linear regression model with multivariate \(t\) error terms. (English) Zbl 1061.62101
Numerical solutions of fuzzy partial differential equations and its applications in computational mechanics. (English) Zbl 1124.74308
Nikravesh, Masoud (ed.) et al., Fuzzy partial differential equations and relational equations. Reservoir characterization and modeling. Berlin: Springer (ISBN 3-540-20322-2/hbk). Studies in Fuzziness and Soft Computing 142, 308-347 (2004).
Advances in interval methods for deterministic global optimization in chemical engineering. (English) Zbl 1065.65076
Probabilities, intervals, what next? Optimization problems related to extension of interval computations to situations with partial information about probabilities. (English) Zbl 1067.65014
Reviewer: Günter Mayer (Rostock)
A class of interval methods for global optimization. (Chinese. English summary) Zbl 1076.90055
Reviewer: Lai-Jiu Lin (Changhua)
An interval algorithm for univariate Lipschitz global optimization. (English) Zbl 1067.65061
Reviewer: Günter Mayer (Rostock)
A method for solutions of linear complementarity problems. (English) Zbl 1068.65077
Reviewer: Hans Benker (Merseburg)
A theorem of the alternatives for the equation \(Ax+B|x|=b\). (English) Zbl 1070.15002
Reviewer: Nicholas Karampetakis (Thessaloniki)
Randomization of quasi-Monte Carlo methods for error estimation: survey and normal approximation. (English) Zbl 1066.65011
MSC:
65C05
The convergence of a family of parallel zero-finding methods. (English) Zbl 1069.65052
Reviewer: Przemyslaw Stpiczynski (Lublin)
Eigenvalues estimation for interval Hamiltonian systems in \(H_\infty\) robust filtering. (English) Zbl 1064.65077
Exclusion regions for systems of equations. (English) Zbl 1080.65041
Reviewer: Svetoslav Markov (Sofia)
Chaotic root-finding for a small class of polynomials. (English) Zbl 1066.39018
Reviewer: Antonio Linero Bas (Murcia)
Interval analysis and dioid: application to robust controller design for timed event graphs. (English) Zbl 1075.93011
Reviewer: Tiit Riismaa (Tallinn)
The new nonprobabilistic criterion of failure for dynamical systems based on convex models. (English) Zbl 1112.93038
On the convergence to zero of infinite products of interval matrices. (English) Zbl 1070.15021
Reviewer: H. Ratschek (Düsseldorf)
Fast quantum algorithms for handling probabilistic and interval uncertainty. (English) Zbl 1063.65036
Operator splitting and commutativity analysis in the Danish Eulerian model. (English) Zbl 1063.92051
Uniqueness and computation of Gaussian interval quadrature formula for Jacobi weight function. (English) Zbl 1063.65022
Reviewer: Dan Bārbosu (Baia Mare)
Set membership state and parameter estimation for systems described by nonlinear differential equations. (English) Zbl 1067.93019
Reviewer: Yves Cherruault (Paris)
Discrete optimization problems with interval data: Pareto set of solutions or set of weak solutions? (English) Zbl 1075.65083
Reviewer: Jiří Rohn (Praha)
Ostrowski-like method with corrections for the inclusion of polynomial zeros. (English) Zbl 1075.65070
Reviewer: Jiří Rohn (Praha)
Filter Results by …
Document Type
- Journal Articles (124)
- Collection Articles (21)
- Books (3)
all
top 5
Author
- Kreinovich, Vladik Yakovlevich (9)
- Neumaier, Arnold (4)
- Barahona, Pedro (3)
- Cruz, Jorge T. M. (3)
- Kieffer, Michel (3)
- Kolev, Lubomir V. (3)
- Markov, Svetoslav Marinovich (3)
- Petković, Miodrag S. (3)
- Walter, Eric (3)
- Alefeld, Götz E. (2)
- Bornemann, Folkmar A. (2)
- Cao, Dexin (2)
- Ceberio, Martine (2)
- da Rocha Costa, Antônio Carlos (2)
- Dimuro, Graçaliz Pereira (2)
- Dyllong, Eva (2)
- Frommer, Andreas (2)
- García, Inmaculada F. (2)
- Gazdag-Tóth, Boglárka (2)
- Granvilliers, Laurent (2)
- Hansen, Eldon Robert (2)
- Jansson, Christian (2)
- Jaulin, Luc (2)
- Kearfott, Baker (2)
- Lang, Bruno (2)
- Laurie, Dirk P. (2)
- Longpré, Luc (2)
- Luther, Wolfram Jérôme (2)
- Lychak, M. M. (2)
- Mayer, Günter (2)
- Milošević, Dušan M. (2)
- Neher, Markus (2)
- Pu, Zhiqin (2)
- Qiu, Zhiping (2)
- Revol, Nathalie (2)
- Schäfer, Uwe (2)
- Sharyĭ, Sergeĭ Petrovich (2)
- van Emden, Maarten H. (2)
- Wagon, Stan (2)
- Waldvogel, Jörg (2)
- Walster, G. William (2)
- Wang, Cheng (2)
- Wang, Guozhao (2)
- Wei, Yongwei (2)
- Zimmermann, Paul (2)
- Acióly, Benedito Melo (1)
- Akkas, Ahmet (1)
- Alt, René (1)
- Anile, Angelo Marcello (1)
- Argyros, Ioannis Konstantinos (1)
- Arndt, Hans-Robert (1)
- Auer, Ekaterina (1)
- Aydin, Kemal (1)
- Bailey, David Harold (1)
- Basu, Hironmay (1)
- Bedregal, Benjamín René Callejas (1)
- Benhamou, Frédéric (1)
- Bondia, Jorge (1)
- Bouleau, Nicolas (1)
- Bozkurt, Durmuş (1)
- Braems, Isabelle (1)
- Brattka, Vasco (1)
- Bühler, Katja (1)
- Candau, Yves (1)
- Casado, Leocadio G. (1)
- Chang, Chin-Chen (1)
- Chen, Chien-Yuan (1)
- Chen, Falai (1)
- Christie, Marc (1)
- Corliss, George F. (1)
- Cottenceau, Bertrand (1)
- Csendes, Tibor (1)
- Cvetković, Aleksandar S. (1)
- Danielson, Mats (1)
- De Aguiar, Marilton Sanchotene (1)
- de Figueiredo, Luiz Henrique (1)
- Defour, David (1)
- Deng, Kazhong (1)
- Deng, Lin (1)
- Dimov, Ivan Todor (1)
- Ding, Xiaosong (1)
- Dobronets, Boris S. (1)
- Ekenberg, Love (1)
- Faragó, István (1)
- Feng, Yong (1)
- Ferson, Scott A. (1)
- Gijbels, Irène (1)
- Ginzburg, Lev R. (1)
- Glazunov, Mykola Mykhaĭlovych (1)
- Gnatyshyn, M. (1)
- Goualard, Frédéric (1)
- Grapsa, Theodoula N. (1)
- Grimmer, Markus (1)
- Hall, Peter Gavin (1)
- Hanrot, Guillaume (1)
- Hardouin, Laurent (1)
- Havasi, Ágnes (1)
- Heesch, Daniel C. (1)
- Hermoso-Carazo, Aurora (1)
- Husby, Oddvar K. (1)
- and 142 more Authors
all
top 5
Serial
- Numer. Algorithms (25)
- Reliab. Comput. (13)
- Appl. Math. Comput. (4)
- J. Comput. Appl. Math. (4)
- J. Nanjing Univ., Math. Biq. (3)
- J. Glob. Optim. (3)
- Vychisl. Tekhnol. (3)
- Automatica (2)
- Math. Comput. Simul. (2)
- Autom. Remote Control (2)
- Int. J. Comput. Math. (2)
- Linear Algebra Appl. (2)
- Cybern. Syst. Anal. (2)
- Monte Carlo Methods Appl. (2)
- Sib. Zh. Vychisl. Mat. (2)
- Sib. Zh. Ind. Mat. (2)
- Comput. Math. Appl. (1)
- Linear Multilinear Algebra (1)
- Menemui Mat. (1)
- Nonlinearity (1)
- Computing (1)
- J. Appl. Probab. (1)
- J. Stat. Plann. Inference (1)
- Numer. Math. (1)
- SIAM J. Numer. Anal. (1)
- SIGSAM Bull. (1)
- Theor. Comput. Sci. (1)
- J. Jpn. Stat. Soc. (1)
- Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. (1)
- Prilozi, Makedonska Akad. Nauk. Umet., Odd. Mat.-Tekh. Nauki (1)
- Comput. Aided Geom. Des. (1)
- Appl. Numer. Math. (1)
- Math. Comput. Modelling (1)
- SIAM J. Matrix Anal. Appl. (1)
- Math. Appl. (1)
- J. Jpn. Soc. Comput. Stat. (1)
- J. Phys. A, Math. Gen. (1)
- J. Stat. Comput. Simulation (1)
- SIAM Rev. (1)
- Math. Program. (1)
- SIAM J. Optim. (1)
- SIAM J. Sci. Comput. (1)
- Appl. Math., Ser. A (Chin. Ed.) (1)
- Appl. Math., Ser. B (Engl. Ed.) (1)
- Commun. Numer. Methods Eng. (1)
- Math. Log. Q. (1)
- Stat. Sin. (1)
- J. Difference Equ. Appl. (1)
- Adv. Nonlinear Var. Inequal. (1)
- Novi Sad J. Math. (1)
- ZAMM, Z. Angew. Math. Mech. (1)
- Discrete Dyn. Nat. Soc. (1)
- RAIRO, Oper. Res. (1)
- Int. J. Uncertain. Fuzziness Knowl.-Based Syst. (1)
- J. Sichuan Univ., Eng. Sci. Ed. (1)
- Visn. L’viv. Univ., Ser. Prykl. Mat. Inform. (1)
- J. Zhejiang Univ., Sci. Ed. (1)
- Stat. Model. (1)
- C. R., Math., Acad. Sci. Paris (1)
- Vestn. Kemer. Gos. Univ., Ser. Mat. (1)
- ACM Trans. Comput. Log. (1)
- TEMA, Tend. Mat. Apl. Comput. (1)
- ANACM, Appl. Numer. Anal. Comput. Math. (1)
- Acta Numerica (1)
- Int. J. Appl. Math. Mech. (1)
- J. Zhejiang Norm. Univ., Nat. Sci. (1)
- Mat. Zh. (1)
- De Gruyter Expo. Math. (1)
- Pure Appl. Math., Marcel Dekker (1)
all
top 3
Main Field
- 65-XX (148)
- 90-XX (31)
- 68-XX (14)
- 93-XX (13)
- 34-XX (12)
- 62-XX (11)
- 37-XX (7)
- 92-XX (6)
- 15-XX (5)
- 26-XX (5)
- 60-XX (5)
- 94-XX (4)
- 12-XX (3)
- 30-XX (3)
- 35-XX (3)
- 41-XX (3)
- 49-XX (3)
- 52-XX (3)
- 70-XX (3)
- 74-XX (3)
- 03-XX (2)
- 33-XX (2)
- 81-XX (2)
- 91-XX (2)
- 06-XX (1)
- 11-XX (1)
- 18-XX (1)
- 39-XX (1)
- 40-XX (1)
- 42-XX (1)
- 47-XX (1)
- 54-XX (1)
- 82-XX (1)
- 86-XX (1)
- 97-XX (1)
all
top 3
Software
- INTOPT_90 (19)
- PROFIL/BIAS (5)
- INTLAB (4)
- BARON (3)
- Matlab (3)
- C-XSC 2.0 (2)
- CADNA (2)
- CPLEX (2)
- GlobSol (2)
- Global Optimization Toolbox For Maple (2)
- ISOLATE (2)
- MPFI (2)
- Maple (2)
- Mathematica (2)
- filib++ (2)
- mctoolbox (2)
- ACETAF (1)
- AMIGO (1)
- Algorithm 524 (1)
- COCONUT (1)
- CoStLy (1)
- Cosy (1)
- DICOPT (1)
- Eigensolve (1)
- Genocop (1)
- INTBIS (1)
- INTPAK (1)
- KernSmooth (1)
- LEDA (1)
- MOBILE (1)
- MPFR (1)
- MPSolve (1)
- MuPAD (1)
- NEOS (1)
- Neweul (1)
- Numerica (1)
- PNM (1)
- PPL (1)
- SNOPT (1)
- SeDuMi (1)
- Sostools (1)
- TADIFF (1)
- Traits (1)
- dde23 (1)
- gaol (1)
- intpakX (1)
- minpack (1)
