×

Found 499 Documents (Results 1–100)

Computing topological and metrical invariants. (English) Zbl 1339.37033

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. 598-613, electronic only (2004).

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).
MSC:  65N30 65D25 65T60

Topological entropy of the tangent map. (English) Zbl 1339.37010

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. 56-64, electronic only (2004).

Robust bootstrapping neural networks. (English) Zbl 1198.68185

Monroy, Raúl (ed.) et al., MICAI 2004: Advances in artificial intelligence. Third Mexican international conference on artificial intelligence, Mexico City, Mexico, April 26–30, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21459-3/pbk). Lecture Notes in Computer Science 2972. Lecture Notes in Artificial Intelligence, 813-822 (2004).
MSC:  68T05
Full Text: DOI

Intuistionistic fuzzy events and their probabilities. (English) Zbl 1157.60004

Atanassov, Krassimir (ed.) et al., International workshop on intuitionistic fuzzy sets and generalized nets, Warsaw, Poland, November 6–7, 2001. Selected papers. Warszawa: Wyższa Szkoła Informatyki Stosowannej i Zarządzania (ISBN 83-88311-72-7/pbk). Issues in Intuitionistic Fuzzy Sets and Generalized Nets 1, 117-123 (2004).
MSC:  60A99 03E72

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).
MSC:  68N20 65G30
Full Text: DOI

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).
MSC:  68N30 65G40
Full Text: DOI

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).
MSC:  65G30 65G20 68U05
Full Text: DOI

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).
Full Text: DOI

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).
MSC:  93B30 93B40 92-08 65G20 65G30
Full Text: DOI

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).
MSC:  93B40 93B30 65G20 65G30
Full Text: DOI

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).
MSC:  65Y15 65G30
Full Text: DOI

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).
MSC:  65Y15 65G30
Full Text: DOI

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).
MSC:  65Y15 65G20
Full Text: DOI

Rigorous modeling of hybrid systems using interval arithmetic constraints. (English) Zbl 1135.93341

Alur, Rajeev (ed.) et al., Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25–27, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21259-0/pbk). Lecture Notes in Computer Science 2993, 402-416 (2004).
MSC:  93C30 93A30
Full Text: DOI

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).
MSC:  65G99 65Y99
Full Text: DOI

On the algebra of unharmonic quantum oscillator. (English) Zbl 1096.46030

Nikitin, A.G.(ed.) et al., Proceedings of the fifth international conference on symmetry in nonlinear mathematical physics, Kyïv, Ukraine, June 23–29, 2003. Part 3. Kyïv: Institute of Mathematics of NAS of Ukraine (ISBN 966-02-3227-6). Proceedings of the Institute of Mathematics of the National Academy of Sciences of Ukraine. Mathematics and its Applications. 50(3), 1131-1138 (2004).

Description of anti-Fock representation set of \(\ast\)-algebras generated by the relation \(XX^*=f(X^*X)\). (English) Zbl 1096.37004

Nikitin, A.G.(ed.) et al., Proceedings of the fifth international conference on symmetry in nonlinear mathematical physics, Kyïv, Ukraine, June 23–29, 2003. Part 3. Kyïv: Institute of Mathematics of NAS of Ukraine (ISBN 966-02-3227-6). Proceedings of the Institute of Mathematics of the National Academy of Sciences of Ukraine. Mathematics and its Applications. 50(3), 1053-1060 (2004).

Coupled tent and logistic maps: Lyapunov exponents, stability and bifurcations of invariant set belonging to the map diagonal. (English) Zbl 1085.37032

Bergman, David J. (ed.) et al., Continuum models and discrete systems. Proceedings of the Nato Advanced Research Workshop, Shoresh, Israel, 30 June – 4 July, 2003. With CD-ROM. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-2315-4/pbk; 1-4020-2314-6/hbk). NATO Science Series II: Mathematics, Physics and Chemistry 158, 5-12 (2004).

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

all top 3

Software