Validated Numerics

A Short Introduction to Rigorous Computations

Author: Warwick Tucker

Publisher: Princeton University Press

ISBN: 9781400838974

Category: Mathematics

Page: 152

View: 5987

DOWNLOAD NOW »
This textbook provides a comprehensive introduction to the theory and practice of validated numerics, an emerging new field that combines the strengths of scientific computing and pure mathematics. In numerous fields ranging from pharmaceutics and engineering to weather prediction and robotics, fast and precise computations are essential. Based on the theory of set-valued analysis, a new suite of numerical methods is developed, producing efficient and reliable solvers for numerous problems in nonlinear analysis. Validated numerics yields rigorous computations that can find all possible solutions to a problem while taking into account all possible sources of error--fast, and with guaranteed accuracy. Validated Numerics offers a self-contained primer on the subject, guiding readers from the basics to more advanced concepts and techniques. This book is an essential resource for those entering this fast-developing field, and it is also the ideal textbook for graduate students and advanced undergraduates needing an accessible introduction to the subject. Validated Numerics features many examples, exercises, and computer labs using MATLAB/C++, as well as detailed appendixes and an extensive bibliography for further reading. Provides a comprehensive, self-contained introduction to validated numerics Requires no advanced mathematics or programming skills Features many examples, exercises, and computer labs Includes code snippets that illustrate implementation Suitable as a textbook for graduate students and advanced undergraduates

The Princeton Companion to Applied Mathematics

Author: Nicholas J. Higham

Publisher: Princeton University Press

ISBN: 1400874475

Category: Mathematics

Page: 1016

View: 4892

DOWNLOAD NOW »
This is the most authoritative and accessible single-volume reference book on applied mathematics. Featuring numerous entries by leading experts and organized thematically, it introduces readers to applied mathematics and its uses; explains key concepts; describes important equations, laws, and functions; looks at exciting areas of research; covers modeling and simulation; explores areas of application; and more. Modeled on the popular Princeton Companion to Mathematics, this volume is an indispensable resource for undergraduate and graduate students, researchers, and practitioners in other disciplines seeking a user-friendly reference book on applied mathematics. Features nearly 200 entries organized thematically and written by an international team of distinguished contributors Presents the major ideas and branches of applied mathematics in a clear and accessible way Explains important mathematical concepts, methods, equations, and applications Introduces the language of applied mathematics and the goals of applied mathematical research Gives a wide range of examples of mathematical modeling Covers continuum mechanics, dynamical systems, numerical analysis, discrete and combinatorial mathematics, mathematical physics, and much more Explores the connections between applied mathematics and other disciplines Includes suggestions for further reading, cross-references, and a comprehensive index

Numerical Software Verification

10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Author: Alessandro Abate,Sylvie Boldo

Publisher: Springer

ISBN: 3319635018

Category: Computers

Page: 115

View: 9361

DOWNLOAD NOW »
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 Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event.The 3 full papers presented together with 3 short papers, 2 keynote abstracts and 4 invited abstracts were carefully reviewed and selected from numerous submissions.The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

Principles of Modeling

Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Author: Marten Lohstroh,Patricia Derler,Marjan Sirjani

Publisher: Springer

ISBN: 3319952463

Category: Computers

Page: 539

View: 6331

DOWNLOAD NOW »
This Festschrift is published in honor of Edward A. Lee, Robert S. Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, USA, on the occasion of his 60th birthday. The title of this Festschrift is “Principles of Modeling" because Edward A. Lee has long been devoted to research that centers on the role of models in science and engineering. He has been examining the use and limitations of models, their formal properties, their role in cognition and interplay with creativity, and their ability to represent reality and physics. The Festschrift contains 29 papers that feature the broad range of Edward A. Lee’s research topics; such as embedded systems; real-time computing; computer architecture; modeling and simulation, and systems design.

Interactive Theorem Proving

7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Author: Jasmin Christian Blanchette,Stephan Merz

Publisher: Springer

ISBN: 3319431447

Category: Mathematics

Page: 502

View: 2769

DOWNLOAD NOW »
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

Compiler

Prinzipien, Techniken und Werkzeuge

Author: Alfred V. Aho

Publisher: Pearson Deutschland GmbH

ISBN: 9783827370976

Category: Compiler

Page: 1253

View: 6207

DOWNLOAD NOW »

Die Kunst der JavaScript-Programmierung

Eine moderne Einführung in die Sprache des Web

Author: Marijn Haverbeke

Publisher: dpunkt.verlag

ISBN: 3864911915

Category: Computers

Page: 240

View: 1532

DOWNLOAD NOW »
Das Buch ist eine Einführung in JavaScript, die sich auf gute Programmiertechniken konzentriert. Der Autor lehrt den Leser, wie man die Eleganz und Präzision von JavaScript nutzt, um browserbasierte Anwendungen zu schreiben. Das Buch beginnt mit den Grundlagen der Programmierung - Variablen, Kontrollstrukturen, Funktionen und Datenstrukturen -, dann geht es auf komplexere Themen ein, wie die funktionale und objektorientierte Programmierung, reguläre Ausdrücke und Browser-Events. Unterstützt von verständlichen Beispielen wird der Leser rasch die Sprache des Web fließend 'sprechen' können.

Entwurfsmuster

Elemente wiederverwendbarer objektorientierter Software

Author: N.A

Publisher: Pearson Deutschland GmbH

ISBN: 9783827328243

Category:

Page: 479

View: 3158

DOWNLOAD NOW »

Versionskontrolle mit Subversion

Author: C. Michael Pilato,Ben Collins-Sussman,Brian W. Fitzpatrick

Publisher: O'Reilly Germany

ISBN: 3897218984

Category: Computers

Page: 496

View: 5522

DOWNLOAD NOW »
Ganz klar: Das Schöne am Open Source-Code ist natürlich der freie Zugriff auf ihn, doch gerade deshalb will die Code-Entwicklung besonders gut organisiert sein. Versionskontrollsysteme ermöglichen es jedem Projektmitglied, zunächst unabhängig zu arbeiten und seine Änderungen am Quellcode dann in ein Repository einzufügen, mit dem die unterschiedlichen Versionen überwacht und verwaltet werden. Intelligente Verwaltung mit Subversion Wer bei Software-Projekten bisher das bewährte CVS benutzt hat, dem steht mit Subversion eine stabilere und flexiblere Alternative zur Verfügung. Versionskontrolle mit Subversion, geschrieben von Mitgliedern des Subversion-Entwicklerteams, stellt dieses mächtige Open Source-Tool vor und beschreibt, wie Sie es fachgerecht installieren und konfigurieren. Die Autoren zeigen Ihnen, wie Sie durch die intelligente Verwaltung und Dokumentation mit Subversion Konflikte und Datenverlust vermeiden können. Für Programmierer und für Systemadministratoren Das Buch eignet sich für Leser mit ganz unterschiedlichem Hintergrundwissen: Sowohl Programmierer ohne Kenntnisse der Versionskontrolle als auch erfahrene Systemadministratoren kommen hier auf ihre Kosten. Und CVS-Kennern wird mit diesem Buch ein problemloser Wechsel zu Subversion ermöglicht.

UML 2 und Patterns angewendet - objektorientierte Softwareentwicklung

Author: Craig Larman

Publisher: mitp Verlags GmbH & Co. KG

ISBN: 9783826614538

Category:

Page: 716

View: 8919

DOWNLOAD NOW »
Dieses Lehrbuch des international bekannten Autors und Software-Entwicklers Craig Larman ist ein Standardwerk zur objektorientierten Analyse und Design unter Verwendung von UML 2.0 und Patterns. Das Buch zeichnet sich insbesondere durch die Fahigkeit des Autors aus, komplexe Sachverhalte anschaulich und praxisnah darzustellen. Es vermittelt grundlegende OOA/D-Fertigkeiten und bietet umfassende Erlauterungen zur iterativen Entwicklung und zum Unified Process (UP). Anschliessend werden zwei Fallstudien vorgestellt, anhand derer die einzelnen Analyse- und Designprozesse des UP in Form einer Inception-, Elaboration- und Construction-Phase durchgespielt werden

Clean Code - Refactoring, Patterns, Testen und Techniken für sauberen Code

Deutsche Ausgabe

Author: Robert C. Martin

Publisher: MITP-Verlags GmbH & Co. KG

ISBN: 3826696387

Category: Computers

Page: 480

View: 5741

DOWNLOAD NOW »
h2> Kommentare, Formatierung, Strukturierung Fehler-Handling und Unit-Tests Zahlreiche Fallstudien, Best Practices, Heuristiken und Code Smells Clean Code - Refactoring, Patterns, Testen und Techniken für sauberen Code Aus dem Inhalt: Lernen Sie, guten Code von schlechtem zu unterscheiden Sauberen Code schreiben und schlechten Code in guten umwandeln Aussagekräftige Namen sowie gute Funktionen, Objekte und Klassen erstellen Code so formatieren, strukturieren und kommentieren, dass er bestmöglich lesbar ist Ein vollständiges Fehler-Handling implementieren, ohne die Logik des Codes zu verschleiern Unit-Tests schreiben und Ihren Code testgesteuert entwickeln Selbst schlechter Code kann funktionieren. Aber wenn der Code nicht sauber ist, kann er ein Entwicklungsunternehmen in die Knie zwingen. Jedes Jahr gehen unzählige Stunden und beträchtliche Ressourcen verloren, weil Code schlecht geschrieben ist. Aber das muss nicht sein. Mit Clean Code präsentiert Ihnen der bekannte Software-Experte Robert C. Martin ein revolutionäres Paradigma, mit dem er Ihnen aufzeigt, wie Sie guten Code schreiben und schlechten Code überarbeiten. Zusammen mit seinen Kollegen von Object Mentor destilliert er die besten Praktiken der agilen Entwicklung von sauberem Code zu einem einzigartigen Buch. So können Sie sich die Erfahrungswerte der Meister der Software-Entwicklung aneignen, die aus Ihnen einen besseren Programmierer machen werden – anhand konkreter Fallstudien, die im Buch detailliert durchgearbeitet werden. Sie werden in diesem Buch sehr viel Code lesen. Und Sie werden aufgefordert, darüber nachzudenken, was an diesem Code richtig und falsch ist. Noch wichtiger: Sie werden herausgefordert, Ihre professionellen Werte und Ihre Einstellung zu Ihrem Beruf zu überprüfen. Clean Code besteht aus drei Teilen:Der erste Teil beschreibt die Prinzipien, Patterns und Techniken, die zum Schreiben von sauberem Code benötigt werden. Der zweite Teil besteht aus mehreren, zunehmend komplexeren Fallstudien. An jeder Fallstudie wird aufgezeigt, wie Code gesäubert wird – wie eine mit Problemen behaftete Code-Basis in eine solide und effiziente Form umgewandelt wird. Der dritte Teil enthält den Ertrag und den Lohn der praktischen Arbeit: ein umfangreiches Kapitel mit Best Practices, Heuristiken und Code Smells, die bei der Erstellung der Fallstudien zusammengetragen wurden. Das Ergebnis ist eine Wissensbasis, die beschreibt, wie wir denken, wenn wir Code schreiben, lesen und säubern. Dieses Buch ist ein Muss für alle Entwickler, Software-Ingenieure, Projektmanager, Team-Leiter oder Systemanalytiker, die daran interessiert sind, besseren Code zu produzieren. Über den Autor: Robert C. »Uncle Bob« Martin entwickelt seit 1970 professionell Software. Seit 1990 arbeitet er international als Software-Berater. Er ist Gründer und Vorsitzender von Object Mentor, Inc., einem Team erfahrener Berater, die Kunden auf der ganzen Welt bei der Programmierung in und mit C++, Java, C#, Ruby, OO, Design Patterns, UML sowie Agilen Methoden und eXtreme Programming helfen.

Matlab für Dummies

Author: Jim Sizemore

Publisher: John Wiley & Sons

ISBN: 352780871X

Category: Computers

Page: 416

View: 6171

DOWNLOAD NOW »
Ob Naturwissenschaftler, Mathematiker, Ingenieur oder Datenwissenschaftler - mit MATLAB haben Sie ein mächtiges Tool in der Hand, das Ihnen die Arbeit mit Ihren Daten erleichtert. Aber wie das mit manch mächtigen Dingen so ist - es ist auch ganz schön kompliziert. Aber keine Sorge! Jim Sizemore führt Sie in diesem Buch Schritt für Schritt an das Programm heran - von der Installation und den ersten Skripten bis hin zu aufwändigen Berechnungen, der Erstellung von Grafiken und effizienter Fehlerbehebung. Sie werden begeistert sein, was Sie mit MATLAB alles anstellen können.

Code Complete - Deutsche Ausgabe

Author: Steve McConnell

Publisher: Microsoft Press Deutschland

ISBN: 9783860635933

Category: Computer software

Page: 909

View: 4936

DOWNLOAD NOW »
Dieses Buch ist die deutsche Ubersetzung eines Klassikers der Programmierliteratur von Steve McConnell. Seine mit vielen Preisen ausgezeichneten Bucher helfen Programmierern seit Jahren, besseren und effizienteren Code zu schreiben. Das Geheimnis dieses Buches liegt in der Art, wie der Autor das vorhandene Wissen uber Programmiertechniken aus wissenschaftlichen Quellen mit den Erfahrungen aus der taglichen praktischen Arbeit am Code zusammenfuhrt und daraus die wesentlichen Grundvoraussetzungen der Softwareentwicklung und die effektivsten Arbeitstechniken ableitet. Verstandliche Beispiele und klare Anleitungen vermitteln dem Leser dieses Wissen auf unkomplizierte Weise. Dieses Buch informiert und stimuliert, ganz gleich, wie viel sie bereits uber Programmierung wissen, welche Entwicklungsumgebung und Sprache sie bevorzugen und welche Arten von Anwendungen sie normalerweise programmieren.

Rotordynamik

Eine Einführung

Author: R. Gasch,H. Pfützner

Publisher: Springer-Verlag

ISBN: 3662097869

Category: Technology & Engineering

Page: 188

View: 411

DOWNLOAD NOW »
Während noch vor wenigen Jahrzehnten die Forschung auf dem Gebiet der Maschinendynamik hauptsächlich den Kolbenmaschinen galt, ist mittlerweile eine Akzentverschiebung zu den Maschinen mit ausschließlich rotierenden Teilen, wie Turbomaschinen und Elektro motoren eingetreten. Das hängt einmal damit zusammen, daß Gas turbinen, Turbopumpen, Turboverdichter und Elektromotoren Anwen dungsgebiete erobert haben, die früher Kolbenmaschinen vorbehalten waren. Außerdem sind durch das Bestreben, die Leistungsgewichte durch Drehzahlerhöhungen zu verringern, Probleme aufgetreten, wie beispiels weise Fragen der Laufstabilität, die früher ohne Bedeutung für die Praxis waren. Daher wurde die Forschung auf diesem Gebiet in den letzten Jahren intensiviert. In dieser Einführung in die Dynamik biegeelastischer Läufer haben wir versucht, die Fülle interessanter, oft sogar verblüffender Phänomene am einfachsten Rotormodell darzustellen. Wir haben uns auf die Behand lung des Laval-Läufers - der elastischen Welle mit aufgesetzter Scheibe - beschränkt, an dem sich bereits die wichtigsten Erscheinungen auf zeigen lassen. Da die Zahl der Freiheitsgrade niedrig ist, ist meist noch eine geschlossene Lösung der Bewegungsgleichungen möglich. Mit diesem Buch wenden wir uns an Studenten der Hochschulen und an Ingenieure in der Praxis. Wir hoffen, daß durch den sparsamen Ge brauch der höheren Mathematik das Verständnis auch dem Anfänger wesentlich erleichtert wird. Verbesserungsvorschläge und Hinweise auf Fehler nehmen wir gern entgegen.

Vom Lösen numerischer Probleme

Ein Streifzug entlang der "SIAM 10x10-Digit Challenge"

Author: Folkmar Bornemann,Dirk Laurie,Stan Wagon,Jörg Waldvogel

Publisher: Springer-Verlag

ISBN: 3540341153

Category: Mathematics

Page: 381

View: 684

DOWNLOAD NOW »
Packender Streifzug durch die numerische Mathematik. Die Route orientiert sich an der "SIAM 10 x 10-Digit Challenge". 2002 forderte Nick Trefethen (Oxford) damit Kollegen und Doktoranden weltweit heraus: jede, der in wenigen Sätzen formulierten Aufgaben verlangt dabei nach der Berechnung der ersten zehn Ziffern einer reellen Zahl. Für jede Aufgabe werden vielfältige Lösungen diskutiert. Viele praktische Hinweise helfen Lesern, numerische Probleme zu lösen und lehren sie, die Wahl zwischen konkurrierenden Methoden wohl zu überlegen. Auf der Website: der vollständige lauffähige Programmtext aller Verfahren, Beispiele, Tabellen und Figuren.

Operations Research

Einführung

Author: Frederick S. Hillier,Gerald J. Liebermann

Publisher: Walter de Gruyter GmbH & Co KG

ISBN: 3486792083

Category: Business & Economics

Page: 868

View: 3632

DOWNLOAD NOW »
Aus dem Inhalt: Was ist Operations Research? Überblick über die Modellierungsgrundsätze des Operations Research. Einführung in die lineare Programmierung. Die Lösung linearer Programmierungsprobleme: Das Simplexverfahren. Stochastische Prozesse. Warteschlangentheorie. Lagerhaltungstheorie. Prognoseverfahren. Markov-Entscheidungsprozesse. Reliabilität. Entscheidungstheorie. Die Theorie des Simplexverfahrens Qualitätstheorie und Sensitivitätsanalyse Spezialfälle linearer Programmierungsprobleme. Die Formulierung linearer Programmierungsmodelle und Goal-Programmierung. Weitere Algorithmen der linearen Programmierung. Netzwerkanalyse einschließlich PERT-CPM. Dynamische Optimierung. Spieltheorie. Ganzzahlige Programmierung. Nichtlineare Programmierung Simulation. Anhang. Lösungen für ausgewählte Übungsaufgaben.

Das UML-Benutzerhandbuch

aktuell zur Version 2.0

Author: Grady Booch,James Rumbaugh,Ivar Jacobson

Publisher: Pearson Deutschland GmbH

ISBN: 9783827322951

Category:

Page: 543

View: 6431

DOWNLOAD NOW »