Verification and Validation in Scientific Computing

Verification and Validation in Scientific Computing Review

See more picture

Verification and Validation in Scientific Computing Feature

Advances in scientific computing have made modelling and simulation an important part of the decision-making process in engineering, science, and public policy. This book provides a comprehensive and systematic development of the basic concepts, principles, and procedures for verification and validation of models and simulations. The emphasis is placed on models that are described by partial differential and integral equations and the simulations that result from their numerical solution. The methods described can be applied to a wide range of technical fields, from the physical sciences, engineering and technology and industry, through to environmental regulations and safety, product and plant safety, financial investing, and governmental regulations. This book will be genuinely welcomed by researchers, practitioners, and decision makers in a broad range of fields, who seek to improve the credibility and reliability of simulation results. It will also be appropriate either for university courses or for independent study.

Check price now

Rerate Products

Customer Review

Self-Stabilizing Systems: 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings (Lecture Notes in Computer Science)

Self-Stabilizing Systems: 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings (Lecture Notes in Computer Science) Review

See more picture

Self-Stabilizing Systems: 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings (Lecture Notes in Computer Science) Feature

This book constitutes the refereed proceedings of the 5th International Workshop on Self-Stabilizing Systems, WSS 2001, held in Lisbon, Portugal, in October 2001. The 14 revised full papers presented together with one invited paper were carefully reviewed and selected from 27 submissions. Self-stabilizing software offers a unique, non-traditional approach to the problem of transient fault tolerance. The papers presented explore self-stabilization issues for various different manners of systems and software including communication protocols, cooperating mobile agents, routing in directed networks, crash-affected systems, security, and various other distributed systems and applications.

Check price now

Rerate Products

Customer Review

UX Best Practices How to Achieve More Impact with User Experience

UX Best Practices How to Achieve More Impact with User Experience Review

See more picture

UX Best Practices How to Achieve More Impact with User Experience Feature

Significantly increase your impact on product development with tested and validated User Experience (UX) techniques

About the Book
UX Best Practices, Processes, & Techniques is a compendium of proven UX strategies, based on the real experiences of a global set of UX gurus. Each chapter focuses on specific or collections of UX practices implemented in real-world scenarios within global companies such as SAP, Siemens (Germany), Lenovo, Ping An, Tencent, Changhong (China), Intuit (US), Swiss Federal Railways (Switzerland). This definitive guide is filled with tested, validated, authentic best practices, processes, and methods for successfully implementing and integrating UX in any development initiative.

UX Best Practices, Processes, & Techniques

• Features more than 20 global contributors who present cutting-edge approaches
• Focuses on a unique practice or set of practices in each chapter implemented in an actual organization
• Includes real-world examples that demonstrate how moving UX up front in the development cycle can improve quality in measurable ways and positively impact the bottom line
• Contains techniques you can easily apply to your own development initiatives

In-depth coverage:
Integrated & Established UX Process; Utilizing IBM’s IPD Process; Becoming More User Experience Focused; UX Process with UI Widgets & Systematic Localization Capabilities; UX for Product Innovation for Medical Devices; Maintaining the Vision from Start to Finish—Front-End Solution Process; User Experience & Agile Development; Design Thinking; UX Targets & UX Priorities; UX Brief; UX Prototyping; UX Patterns; UX KPIs for Product Improvements; Setting Up & Sustaining User Experience’s Impact

Check price now

Rerate Products

Customer Review

Enterprise Systems Integration, Second Edition (Best Practices)

Enterprise Systems Integration, Second Edition (Best Practices) Review

See more picture

Enterprise Systems Integration, Second Edition (Best Practices) Feature

The convergence of knowledge, technology, and human performance which comprises today's enterprise allows creative business process design. Thus, an organization can create new and innovative ways to service customers or to do business with suppliers and make itself a leader in its field. This capability relies on a successful strategy that integrates the enterprise. Enterprise Systems Integration, Second Edition continues to provide you with the business insight and the technical know-how that ensures successful systems integration.
The book combines the perspectives, knowledge, and experience of more than 70 experts in the various areas that involve enterprise integration. Their expertise ranges from hands-on experience with technology and project management to the higher-level issues of business and management strategy. Each chapter examines an issue or technology relevant to today's enterprise. Collectively, these chapters span the range of enterprise computing and systems integration.
Once armed with the strategy and technologies, you must successfully deploy ERP systems within budget and on time. In addition, you must be able to integrate them into the rest of the enterprise. Still, ERP software does not make up the full picture of today's enterprise. Legacy systems, e-commerce and other Web-based systems, client/server applications, networks and communications systems, data warehousing, and integrated databases enter into the mix. Enterprise Systems Integration, Second Edition paints a comprehensive picture of the technologies that comprise today's enterprise and shows you how to make them work together.

Check price now

Rerate Products

Customer Review

Evaluation of uncertainty propagation into river water quality predictions to guide future monitoring campaigns [An article from: Environmental Modelling and Software]

Evaluation of uncertainty propagation into river water quality predictions to guide future monitoring campaigns [An article from: Environmental Modelling and Software] Review

See more picture

Evaluation of uncertainty propagation into river water quality predictions to guide future monitoring campaigns [An article from: Environmental Modelling and Software] Feature

This digital document is a journal article from Environmental Modelling and Software, published by Elsevier in 2007. The article is delivered in HTML format and is available in your Amazon.com Media Library immediately after purchase. You can view it with any web browser.

Description:
To evaluate the future state of river water in view of actual pollution loading or different management options, water quality models are a useful tool. However, the uncertainty on the model predictions is sometimes too high to draw proper conclusions. Because of the complexity of process based river water quality models, it is best to investigate this problem according to the origin of the uncertainty. If the uncertainty stems from input data or parameter uncertainty, more reliable results are obtained by performing specific measurement campaigns. The aim of the research reported in this paper is to guide these measurement campaigns based on an uncertainty analysis. The practical case study is the river Dender in Flanders, Belgium. First an overview of different techniques that give valuable information for the reduction of input and parameter uncertainty is given. A global sensitivity analysis shows the importance of the different uncertainty sources. Further an analysis of the uncertainty bands is performed to find differences in uncertainty between certain periods or locations. This shows that the link between periods with high uncertainty and specific circumstances (climatological, eco-regional, etc.) can help in gathering data for the calibration of submodels (e.g. diffuse pollution vs. point pollution).

Check price now

Rerate Products

Customer Review

Fundamentals of Data Warehouses

Fundamentals of Data Warehouses Review

See more picture

Fundamentals of Data Warehouses Feature

This book presents the first comparative review of the state of the art and the best current practices of data warehouses. It covers source and data integration, multidimensional aggregation, query optimization, metadata management, quality assessment, and design optimization. A conceptual framework is presented by which the architecture and quality of a data warehouse can be assessed and improved using enriched metadata management combined with advanced techniques from databases, business modeling, and artificial intelligence.

Check price now

Rerate Products

Customer Review

Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European ... Computer Science and General Issues)

Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European ... Computer Science and General Issues) Review

See more picture

Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European ... Computer Science and General Issues) Feature

This book constitutes the refereed proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held in Edinburgh, UK in April 2005 as part of ETAPS. The 33 revised full research papers and 8 revised tool demonstration papers presented together with an invited paper were carefully reviewed and selected from a total of 161 submissions. The papers are organized in topical sections on regular model-checking, infinite state machines, abstract interpretation, automata and logics, probabilistic systems and probabilistic model checking, satisfiability, testing, abstraction and reduction, specification and program synthesis, and model-checking.

Check price now

Rerate Products

Customer Review