Evolution of Thin Film Morphology
Thin film deposition is the most ubiquitous and critical of the processes used to manufacture high tech devices. Morphology ...
اقرأ المزيد
Explainable AI with Python
This book provides a full presentation of the current concepts and available techniques to make “machine learning” systems ...
اقرأ المزيد
Explainable Artificial Intelligence : An Introduction to Interpretable Machine Learning / Uday Kamath, Dr. John Liu
Offers a curriculum for introducing interpretability to machine learning at every stage. The authors provide compelling examples ...
اقرأ المزيد
Finding the Limits of the Limes
This book demonstrates the application of simulation modelling and network analysis techniques. The book shows the added ...
اقرأ المزيدFinite Difference Computing with Exponential Decay Models
This text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, ...
اقرأ المزيد
Finite Mixture and Markov Switching Models
The prominence of finite mixture modelling is greater than ever. Many important statistical topics like clustering data, ...
اقرأ المزيد
Finite Mixture and Markov Switching Models
The prominence of finite mixture modelling is greater than ever. Many important statistical topics like clustering data, ...
اقرأ المزيد
Forecasting and Assessing Risk of Individual Electricity Peaks
The overarching aim of this open access book is to present self-contained theory and algorithms for investigation and prediction ...
اقرأ المزيد
Forecasting with Exponential Smoothing : The State Space Approach
Exponential smoothing methods have been around since the 1950s, and are the most popular forecasting methods used in business ...
اقرأ المزيد
Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
اقرأ المزيد
Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
اقرأ المزيد
Formal Methods for Open Object-Based Distributed Systems (vol. # 3535)
This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...
اقرأ المزيد
Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...
اقرأ المزيد
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
اقرأ المزيد
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
اقرأ المزيدFoundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
اقرأ المزيد
From Data to Models and Back
This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, ...
اقرأ المزيد
Fundamental Approaches to Software Engineering
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
اقرأ المزيد
General Theory of Information Transfer and Combinatorics
This book constitutes the thoroughly refereed research papers contributed to a research project on the `General Theory of ...
اقرأ المزيد
Generalized Collocations Methods : Solutions to Nonlinear Problems
This book examines various mathematical tools—based on generalized collocation methods—to solve nonlinear problems related ...
اقرأ المزيد
