مشخصات کتاب

Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers

ویرایش: 1 
نویسندگان: R. Baker Kearfott,  John Pryce,  Nathalie Revol (auth.),  Annie Cuyt,  Walter Krämer,  Wolfram Luther,  Peter Markstein (eds.)  
سری: Lecture Notes in Computer Science 5492 Theoretical Computer Science and General Issues 
ISBN (شابک) : 9783642015908, 9783642015915 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2009 
تعداد صفحات: 271 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 مگابایت 

کلمات کلیدی مربوط به کتاب اعتبارسنجی عددی در معماریهای سخت افزاری فعلی: سمینار بین المللی Dagstuhl ، قلعه Dagstuhl ، آلمان ، 6-11 ژانویه ، 2008. مقالات اصلاح شده: علوم کامپیوتر، عمومی

در صورت تبدیل فایل کتاب Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب اعتبارسنجی عددی در معماریهای سخت افزاری فعلی: سمینار بین المللی Dagstuhl ، قلعه Dagstuhl ، آلمان ، 6-11 ژانویه ، 2008. مقالات اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب اعتبارسنجی عددی در معماریهای سخت افزاری فعلی: سمینار بین المللی Dagstuhl ، قلعه Dagstuhl ، آلمان ، 6-11 ژانویه ، 2008. مقالات اصلاح شده

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

Front Matter....Pages -
Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021....Pages 1-6
Complete Interval Arithmetic and Its Implementation on the Computer....Pages 7-26
Continued Fractions for Special Functions: Handbook and Software....Pages 27-40
A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range....Pages 41-67
C-XSC and Closely Related Software Packages....Pages 68-102
Extending the Range of C-XSC: Some Tools and Applications for the Use in Parallel and Other Environments....Pages 103-116
 Mathematica Connectivity to Interval Libraries filib ++ and C-XSC....Pages 117-132
Some Applications of Interval Arithmetic in Hierarchical Solid Modeling....Pages 133-144
Numerical Verification Assessment in Computational Biomechanics....Pages 145-160
Robustness of Boolean Operations on Subdivision-Surface Models....Pages 161-174
Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering....Pages 175-188
Distributed Bounded-Error Parameter and State Estimation in Networks of Sensors....Pages 189-202
Error Bounds for Lanczos Approximations of Rational Functions of Matrices....Pages 203-216
Error-Free Transformation in Rounding Mode toward Zero....Pages 217-229
Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS....Pages 230-249
A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC....Pages 250-261
Back Matter....Pages -

نظرات کاربران

کتاب های تصادفی

دانلود کتاب The Complete Instant Pot Cookbook For Holidays: 600+ Delicious Whole-Food Recipes For You And Your Whole Family 1

دانلود کتاب Coronal Magnetic Energy Releases: Proceedings of the CESRA Workshop Held in Caputh/Potsdam, Germany 16–20 May 1994

دانلود کتاب Progress in Spatial Analysis: Methods and Applications

دانلود کتاب 1200 Great Sales Tips for Real Estate Pros

دانلود کتاب The Behavior of Organisms