دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers
دانلود کتاب محاسبات علمی ، حساب های رایانه ای و اعداد معتبر: شانزدهمین سمپوزیوم بین المللی ، SCAN 2014 ، Würzburg ، آلمان ، 21-26 سپتامبر ، 2014. نسخه های تجدید نظر شده
مشخصات کتاب
Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers
ویرایش: 1 نویسندگان: Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker (eds.) سری: Lecture Notes in Computer Science 9553 ISBN (شابک) : 9783319317687, 9783319317694 ناشر: Springer International Publishing سال نشر: 2016 تعداد صفحات: 295 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 58,000
کلمات کلیدی مربوط به کتاب محاسبات علمی ، حساب های رایانه ای و اعداد معتبر: شانزدهمین سمپوزیوم بین المللی ، SCAN 2014 ، Würzburg ، آلمان ، 21-26 سپتامبر ، 2014. نسخه های تجدید نظر شده: علوم کامپیوتر، عمومی
در صورت تبدیل فایل کتاب Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبات علمی ، حساب های رایانه ای و اعداد معتبر: شانزدهمین سمپوزیوم بین المللی ، SCAN 2014 ، Würzburg ، آلمان ، 21-26 سپتامبر ، 2014. نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبات علمی ، حساب های رایانه ای و اعداد معتبر: شانزدهمین سمپوزیوم بین المللی ، SCAN 2014 ، Würzburg ، آلمان ، 21-26 سپتامبر ، 2014. نسخه های تجدید نظر شده
این کتاب مجموعه مقالات پس از داوری شانزدهمین سمپوزیوم بین المللی، SCAN 2014، برگزار شده در وورزبورگ، آلمان، در سپتامبر 2014 است.
22 مقاله کامل ارائه شده با دقت بررسی و انتخاب شدند. 60 ارسال نگرانی های اصلی تحقیقاتی که توسط کنفرانس های SCAN مورد توجه قرار می گیرد اعتبار سنجی، تأیید یا اظهارات قابل اعتماد محاسبات عددی است. حساب بازه‌ای و سایر درمان‌های عدم قطعیت به عنوان ابزار مناسب توسعه داده می‌شوند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed post proceedings of the 16th International Symposium, SCAN 2014, held in Würzburg, Germany, in September 2014.
The 22 full papers presented were carefully reviewed and selected from 60 submissions. The main concerns of research addressed by SCAN conferences are validation, verification or reliable assertions of numerical computations. Interval arithmetic and other treatments of uncertainty are developed as appropriate tools.
فهرست مطالب
Front Matter....Pages I-XIII
Front Matter....Pages 1-1
Hausdorff Continuous Interval Functions and Approximations....Pages 3-13
Replacing Branches by Polynomials in Vectorizable Elementary Functions....Pages 14-22
The Forthcoming IEEE Standard 1788 for Interval Arithmetic....Pages 23-39
Front Matter....Pages 41-41
Numerical Probabilistic Approach for Optimization Problems....Pages 43-53
Towards the Possibility of Objective Interval Uncertainty....Pages 54-65
How Much for an Interval? a Set? a Twin Set? a p-Box? A Kaucher Interval? Towards an Economics-Motivated Approach to Decision Making Under Uncertainty....Pages 66-76
Sliding Mode Approaches Considering Uncertainty for Reliable Control and Computation of Confidence Regions in State and Parameter Estimation....Pages 77-96
Front Matter....Pages 97-97
Efficiency of Reproducible Level 1 BLAS....Pages 99-108
Tight Bounds on the Radius of Nonsingularity....Pages 109-115
Optimal Preconditioning for the Interval Parametric Gauss–Seidel Method....Pages 116-125
Reproducible and Accurate Matrix Multiplication....Pages 126-137
Outer Bounds for the Parametric Controllable Solution Set with Linear Shape....Pages 138-147
Reserve of Characteristic Inclusion as Recognizing Functional for Interval Linear Systems....Pages 148-167
Front Matter....Pages 169-169
Convergence and Inclusion Isotonicity of the Tensorial Rational Bernstein Form....Pages 171-179
The Bernstein Branch-and-Bound Unconstrained Global Optimization Algorithm for MINLP Problems....Pages 180-198
Front Matter....Pages 199-199
Interval Regularization Approach to the Firordt Method of the Spectrophotometric Analysis of the Non-separated Mixtures....Pages 201-208
Computing Capture Tubes....Pages 209-224
Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators....Pages 225-235
Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides....Pages 236-246
Exponential Enclosure Techniques for Initial Value Problems with Multiple Conjugate Complex Eigenvalues....Pages 247-256
Front Matter....Pages 257-257
Curve Veering for the Parameter-dependent Clamped Plate....Pages 259-268
Back Matter....Pages 269-279
....Pages 281-291
