Informatik (15.755 Artikel)

Invited Papers.- Forgivable Variational Crimes.- An Introduction to the Theory of Plausible and Paradoxical Reasoning.- Comparison of Ten Methods for the Solution of Large and Sparse Linear Algebra...

9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers

12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings

This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International W...

This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the...

Since the dawn of computing, the quest for a better understanding of Nature has been a driving force for technological development. Groundbreaking achievements by great scientists have paved the wa...

To our sons, Mike, Andrew, Alex, who did not inherit their fathers' level of interest in applied mechanics, but who became sophisticated in software development and in this regard surpassed their p...

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2...

1. Rechnen auf dem Computer.- Gleitpunktzahlen.- Konversion.- Anzahl und Verteilung.- Rundung.- Relative Maschinengenauigkeit.- Gleitpunktoperationen.- Summation.- Verletzung der Körperaxiome.- Aus...

Dieses Lehrbuch behandelt in kompakter und übersichtlicher Form die grundlegenden Themen der numerischen Mathematik. Es vermittelt ein solides Basiswissen der wichtigen Algorithmen und dazugehörige...

1 Einführung.- 2 Iterationsverfahren zur Lösung nichtlinearer Gleichungen.- 2.1 Fixpunktsatz.- 2.2 Fehlerschranken.- 2.3 Newtonverfahren.- 2.4 Regula falsi.- 2.5 Konvergenzordnung.- 2.6 Übertragung...

Bei der Entwicklung moderner Triebwerke steht neben aerodynamischen und wirtschaftlichen Aspekten in zunehmendem Maße die Reduktion der Lärmemissionen im Vordergrund. Der Lärm eines Mantelstromtrie...

Informationsstrahler sind in ihren unterschiedlichen Ausprägungen ubiquitär und nicht mehr aus dem täglichen Leben wegzudenken. Welchen Einfluss Awareness auf den Nutzen solcher Systeme hat, bleibt...

Software muss nicht nur technische Definitionen, Standards und Normen erfüllen, sondern von ihren Benutzern auch entsprechend wahrgenommen werden. Nutzer und Käufer erwarten eine bestimmte Leistung...

Interaktion mit dynamischen Bildinhalten ist für Systemnutzer herausfordernd bezüglich Wahrnehmung, Kognition und Motorik. Die vorliegende Arbeit identifiziert geeignete blickbasierte Interaktionst...