- Table View
- List View
Fundamentals of Quantum Programming in IBM's Quantum Computers (Studies in Big Data #81)
by Weng-Long Chang Athanasios V. VasilakosThis textbook introduces major topics that include quantum bits, superposition, entanglement, logic gates, quantum search algorithm, quantum Fourier transform, inverse quantum Fourier transform, Shor’s order-finding algorithm and phase estimation. Everyone can write algorithms and programs in the cloud making using IBM’s quantum computers that support IBM Q Experience which contains the composer, open quantum assembly language, simulators and real quantum devices. Furthermore, this book teaches you how to use open quantum assembly language to write quantum programs for dealing with complex problems. Through numerous examples and exercises, readers will learn how to write a quantum program with open quantum assembly language for solving any problem from start to complete. This book includes six main chapters: ·Quantum Bits and Quantum Gates—learn what quantum bits are, how to declare and measure them, what quantum gates are and how they work on a simulator or a real device in the cloud. ·Boolean Algebra and its Applications—learn how to decompose CCNOT gate into six CNOT gates and nine gates of one bit and how to use NOT gates, CNOT gates and CCNOT gates to implement logic operations including NOT, OR, AND, NOR, NAND, Exclusive-OR (XOR) and Exclusive-NOR (XNOR). ·Quantum Search Algorithm and its Applications—learn core concepts of quantum search algorithm and how to write quantum programs to implement core concepts of quantum search algorithm for solving two famous NP-complete problems that are the satisfiability problem in n Boolean variables and m clauses and the clique problem in a graph with n vertices and q edges. ·Quantum Fourier Transform and its Applications—learn core concepts of quantum Fourier transform and inverse quantum Fourier transform and how to write quantum programs to implement them for solving two real applications that are to compute the period and the frequency of two given oracular functions. ·Order-Finding and Factoring—learn core concepts of Shor’s order-finding algorithm and how to write quantum programs to implement Shor’s order-finding algorithm for completing the prime factorization to 15. Phase Estimation and its Applications—learn core concepts of phase estimation and quantum counting and how to write quantum programs to implement them to compute the number of solution(s) in the independent set problem in a graph with two vertices and one edge.
Fundamentals of Reinforcement Learning
by Rafael Ris-AlaArtificial intelligence (AI) applications bring agility and modernity to our lives, and the reinforcement learning technique is at the forefront of this technology. It can outperform human competitors in strategy games, creative compositing, and autonomous movement. Moreover, it is just starting to transform our civilization.This book provides an introduction to AI, specifies machine learning techniques, and explores various aspects of reinforcement learning, approaching the latest concepts in a didactic and illustrated manner. It is aimed at students who want to be part of technological advances and professors engaged in the development of innovative applications, helping with academic and industrial challenges.Understanding the Fundamentals of Reinforcement Learning will allow you to:Understand essential AI conceptsGain professional experienceInterpret sequential decision problems and solve them with reinforcement learningLearn how the Q-Learning algorithm worksPractice with commented Python codeFind advantageous directions
Fundamentals of Reliability Engineering: Applications in Multistage Interconnection Networks
by Indra GunawanThis book presents fundamentals of reliability engineering with its applications in evaluating reliability of multistage interconnection networks. In the first part of the book, it introduces the concept of reliability engineering, elements of probability theory, probability distributions, availability and data analysis. The second part of the book provides an overview of parallel/distributed computing, network design considerations, and more. The book covers a comprehensive reliability engineering methods and its practical aspects in the interconnection network systems. Students, engineers, researchers, managers will find this book as a valuable reference source.
Fundamentals of Robust Machine Learning: Handling Outliers and Anomalies in Data Science
by Resve A. Saleh Sohaib Majzoub A. K. SalehAn essential guide for tackling outliers and anomalies in machine learning and data science. In recent years, machine learning (ML) has transformed virtually every area of research and technology, becoming one of the key tools for data scientists. Robust machine learning is a new approach to handling outliers in datasets, which is an often-overlooked aspect of data science. Ignoring outliers can lead to bad business decisions, wrong medical diagnoses, reaching the wrong conclusions or incorrectly assessing feature importance, just to name a few. Fundamentals of Robust Machine Learning offers a thorough but accessible overview of this subject by focusing on how to properly handle outliers and anomalies in datasets. There are two main approaches described in the book: using outlier-tolerant ML tools, or removing outliers before using conventional tools. Balancing theoretical foundations with practical Python code, it provides all the necessary skills to enhance the accuracy, stability and reliability of ML models. Fundamentals of Robust Machine Learning readers will also find: A blend of robust statistics and machine learning principlesDetailed discussion of a wide range of robust machine learning methodologies, from robust clustering, regression and classification, to neural networks and anomaly detectionPython code with immediate application to data science problems Fundamentals of Robust Machine Learning is ideal for undergraduate or graduate students in data science, machine learning, and related fields, as well as for professionals in the field looking to enhance their understanding of building models in the presence of outliers.
Fundamentals of Scientific Computing
by Bertil GustafssonThe book of nature is written in the language of mathematics -- Galileo Galilei How is it possible to predict weather patterns for tomorrow, with access solely to today's weather data? And how is it possible to predict the aerodynamic behavior of an aircraft that has yet to be built? The answer is computer simulations based on mathematical models - sets of equations - that describe the underlying physical properties. However, these equations are usually much too complicated to solve, either by the smartest mathematician or the largest supercomputer. This problem is overcome by constructing an approximation: a numerical model with a simpler structure can be translated into a program that tells the computer how to carry out the simulation. This book conveys the fundamentals of mathematical models, numerical methods and algorithms. Opening with a tutorial on mathematical models and analysis, it proceeds to introduce the most important classes of numerical methods, with finite element, finite difference and spectral methods as central tools. The concluding section describes applications in physics and engineering, including wave propagation, heat conduction and fluid dynamics. Also covered are the principles of computers and programming, including MATLAB®.
Fundamentals of Server Administration
by Chris KinnairdFundamentals of Server Administration equips students and professionals with the essential skills to manage both on-premise and cloud-based server environments, addressing the growing knowledge gap as organizations adopt platforms like Amazon AWS and Microsoft Azure while continuing to deploy and manage critical infrastructure on local servers. This comprehensive resource covers key topics and concepts for Windows and Linux server environments and includes graphical and console-based administration activities. It provides practical knowledge and supports industry-recognized credentials needed to succeed in today’s evolving IT landscape, aligning with the CompTIA Server+ (SK0-005) certification and the CompTIA Network Infrastructure Professional stackable certification for students who also obtain the Network+ certification.
Fundamentals of Sketch-Based Passwords
by Benjamin S. Riggan Wesley E. Snyder Cliff WangThis SpringerBrief explores graphical password systems and examines novel drawing-based methods in terms of security, usability, and human computer-interactions. It provides a systematic approach for recognizing, comparing, and matching sketch-based passwords in the context of modern computing systems. The book offers both a security and usability analysis of the accumulative framework used for incorporating handwriting biometrics and a human computer-interaction performance analysis. The chapters offer new perspectives and experimental results regarding model uniqueness, recognition tolerance, and the human-computer interaction. The results demonstrate that biometrics reduce the equal error rate (EER) by more than 10%, and show that people are capable of accurately reproducing a sketch-based password. Fundamentals of Sketch-based Passwords: A General Framework targets computer scientists and engineers focused on computer security, biometrics, and human factors. Advanced-level students in computer science and electrical engineering will find this material useful as a study guide for their classes.
Fundamentals of Software Architecture: An Engineering Approach
by Mark Richards Neal FordSalary surveys worldwide regularly place software architect in the top 10 best jobs, yet no real guide exists to help developers become architects. Until now. This book provides the first comprehensive overview of software architecture’s many aspects. Aspiring and existing architects alike will examine architectural characteristics, architectural patterns, component determination, diagramming and presenting architecture, evolutionary architecture, and many other topics.Mark Richards and Neal Ford—hands-on practitioners who have taught software architecture classes professionally for years—focus on architecture principles that apply across all technology stacks. You’ll explore software architecture in a modern light, taking into account all the innovations of the past decade.This book examines:Architecture patterns: The technical basis for many architectural decisionsComponents: Identification, coupling, cohesion, partitioning, and granularitySoft skills: Effective team management, meetings, negotiation, presentations, and moreModernity: Engineering practices and operational approaches that have changed radically in the past few yearsArchitecture as an engineering discipline: Repeatable results, metrics, and concrete valuations that add rigor to software architecture
Fundamentals of Software Architecture
by Mark Richards Neal FordSalary surveys worldwide regularly place software architect in the top 10 best jobs, yet no real guide exists to help developers become architects. Until now. This updated edition provides a comprehensive overview of software architecture's many aspects, with five new chapters covering the latest insights from the field. Aspiring and existing architects alike will examine architectural characteristics, architectural patterns, component determination, diagramming architecture, governance, data, generative AI, team topologies, and many other topics. Mark Richards and Neal Ford—hands-on practitioners who have taught software architecture classes professionally for years—focus on architecture principles that apply across all technology stacks. You'll explore software architecture in a modern light, taking into account all the innovations of the past decade. This book examines:Architecture styles and patterns: Microservices, modular monoliths, microkernels, layered architectures, and many moreComponents: Identification, coupling, cohesion, partitioning, and granularitySoft skills: Effective team management, collaboration, business engagement models, negotiation, presentations, and moreModernity: Engineering practices and operational approaches that have changed radically in the past few years, including cloud considerations and generative AIArchitecture as an engineering discipline: Repeatable results, metrics, and concrete valuations that add rigor to software architecture
Fundamentals of Software Culture
by Zheng Qin Huidi Zhang Xin Qin Kaiping Xu Kouemo Ngayo Dimitrov Guolong Wang Wenhui YuAs the first book about software culture, this book discusses software culture from three perspectives including historical perspective, the classification of software and software applications. This book takes credit from the view of science and technology development. It analyzed scientific innovations and the social areas promoted following the growth of technology. And according to the fact that information helps to build human cultural form, we proposed the concept and researching method of software culture. The aim of writing this book is to strengthen the connection between software and culture, to replenish knowledge system in the subject of software engineering, and to establish a new area of study that is the culture of software.
Fundamentals of Software Engineering
by Farhad Arbab Marjan SirjaniThis book constitutes the proceedings of the 5th IPM International Conference on Fundamentals of Software Engineering, FSEN 2013, held in Tehran, Iran, in April 2013. The 17 full papers presented in this volume were carefully reviewed and selected from 65 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.
Fundamentals of Software Engineering
by Mehdi Dastani Marjan SirjaniThis book constitutes the thoroughly refereed post-conference proceedings of the 6th IPM International Conference on Fundamentals of Software Engineering, FSEN 2015, held in Tehran, Iran, in April 2015. The 21 full papers presented in this volume were carefully reviewed and selected from 64 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.
Fundamentals of Software Engineering: 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers (Lecture Notes in Computer Science #14155)
by Hossein Hojjat Erika ÁbrahámThis book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering, FSEN 2023, held Tehran, Iran in May 4-5, 2023.The 9 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 19 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on coordination, logic, networks, parallel computation, and testing.
Fundamentals of Software Engineering: 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7–8, 2025, Proceedings (Lecture Notes in Computer Science #15593)
by Hossein Hojjat Georgiana CaltaisThis book constitutes the proceedings of the 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025, held in Västerås, Sweden during April 7–8, 2025. The 11 full papers and 1 short paper included in this book were carefully reviewed and selected from 30 submissions. They deal with all aspects of formal methods, with a strong emphasis on promoting their industrial applications and integrating them with practical engineering practices.
Fundamentals of Software Engineering: 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers (Lecture Notes in Computer Science #12818)
by Hossein Hojjat Mieke MassinkThis book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021.The 12 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 38 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on coordination, logic, networks, parallel computation, and testing.
Fundamentals of Software Engineering: 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers (Lecture Notes in Computer Science #11761)
by Mieke Massink Hossein HojjatThis book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on agent based systems, theorem proving, learning, verification, distributed algorithms, and program analysis.
Fundamentals of Software Testing
by Bernard HomèsThe testing market is growing at a fast pace and ISTQB certifications are being increasingly requested, with more than 180,000 persons currently certified throughout the world. The ISTQB Foundations level syllabus was updated in 2011, and this book provides detailed course study material including a glossary and sample questions to help adequately prepare for the certification exam.The fundamental aspects of testing are approached, as is testing in the lifecycles from Waterfall to Agile and iterative lifecycles. Static testing, such as reviews and static analysis, and their benefits are examined as well as techniques such as Equivalence Partitioning, Boundary Value Analysis, Decision Table Testing, State Transitions and use cases, along with selected white box testing techniques. Test management, test progress monitoring, risk analysis and incident management are covered, as are the methods for successfully introducing tools in an organization. Contents 1. Fundamentals of Testing.2. Testing Throughout the Software Life Cycle.3. Static Techniques (FL 3.0).4. Test Design Techniques (FL 4.0).5. Test Management (FL 5.0).6. Tools support for Testing (FL 6.0).7. Mock Exam.8. Templates and Models.9. Answers to the Questions.
Fundamentals of Software Testing
by Bernard HomèsSoftware testing has greatly evolved since the first edition of this book in 2011. Testers are now required to work in "agile" teams and focus on automating test cases. It has thus been necessary to update this work, in order to provide fundamental knowledge that testers should have to be effective and efficient in today's world. This book describes the fundamental aspects of testing in the different lifecycles, and how to implement and benefit from reviews and static analysis. Multiple other techniques are approached, such as equivalence partitioning, boundary value analysis, use case testing, decision tables and state transitions. This second edition also covers test management, test progress monitoring and incident management, in order to ensure that the testing information is correctly provided to the stakeholders. This book provides detailed course-study material for the 2023 version of the ISTQB Foundation level syllabus, including sample questions to help prepare for exams.
Fundamentals of Stream Processing
by Henrique C. M. Andrade Bu Ra Gedik Deepak S. TuragaStream processing is a novel distributed computing paradigm that supports the gathering, processing, and analysis of high-volume, heterogeneous, continuous data streams, to extract insights and actionable results in real time. This comprehensive, hands-on guide combining the fundamental building blocks and emerging research in stream processing is ideal for application designers, system builders, analytic developers, as well as students and researchers in the field. This book introduces the key components of the stream computing paradigm, including the distributed system infrastructure, the programming model, design patterns, and streaming analytics. The explanation of the underlying theoretical principles, illustrative examples and implementations using the IBM InfoSphere Streams SPL language, and real-world case studies provide students and practitioners with a comprehensive understanding of such applications and the middleware that supports them.
Fundamentals of Supervised Machine Learning: With Applications in Python, R, and Stata (Statistics and Computing)
by Giovanni CerulliThis book presents the fundamental theoretical notions of supervised machine learning along with a wide range of applications using Python, R, and Stata. It provides a balance between theory and applications and fosters an understanding and awareness of the availability of machine learning methods over different software platforms.After introducing the machine learning basics, the focus turns to a broad spectrum of topics: model selection and regularization, discriminant analysis, nearest neighbors, support vector machines, tree modeling, artificial neural networks, deep learning, and sentiment analysis. Each chapter is self-contained and comprises an initial theoretical part, where the basics of the methodologies are explained, followed by an applicative part, where the methods are applied to real-world datasets. Numerous examples are included and, for ease of reproducibility, the Python, R, and Stata codes used in the text, along with the related datasets, are available online.The intended audience is PhD students, researchers and practitioners from various disciplines, including economics and other social sciences, medicine and epidemiology, who have a good understanding of basic statistics and a working knowledge of statistical software, and who want to apply machine learning methods in their work.
The Fundamentals of Tabletop Miniatures Game Design: A Designer’s Handbook
by Glenn Ford Mike HutchinsonThis book presents a much-needed framework for the critical examination of miniatures games and their design. It provides the reader with both a conceptual model for understanding how these games work as well as a toolbox of mechanical approaches to achieving a range of design outcomes and assessing the fit of any given approach within a specific design.Though dating back to the 1820s, tabletop miniatures games have been little explored critically and lack a conceptual vocabulary for their discussion. Active practitioners in the miniature games design community, Glenn Ford and Mike Hutchinson explore what defines these games, proposing the term ‘non-discrete miniatures games’ to encapsulate the essence of these open and immersive hobby gaming experiences. Discarding the term ‘wargame’, they argue against limiting conceptions of these games to direct armed conflict, and champion their diverse narrative potential.The book provides a fresh conceptual framework for miniatures games, abstracting the concepts of positioning and moving markers non-discretely across scale-modelled environments into inclusive and generalised terminology, untethering them from their roots as military simulations and providing the foundations for a fresh consideration of miniatures games design.Written for game designers, and with a foreword by Gav Thorpe, The Fundamentals of Tabletop Miniatures Game Design is a handbook for those that wish to design better miniatures games.
Fundamentals of the Insurance Business (Springer Texts in Business and Economics)
by Massimiliano Maggioni Giuseppe TurchettiThis textbook presents the fundamental economic dimensions of insurance companies and links them to managerial issues. Combining academic rigour and a strongly practice-oriented approach, it addresses both the competitive environment and the management of the insurance business. Further, it provides a general overview of insurance undertakings and technical topics are explained in depth. Filling an important gap in the market for textbooks on the insurance business, it is divided into four parts and 35 chapters. Part I (chapters 1 to 10) describes the fundamentals of the business, how the industry works, the Authorities and the regulations. It presents the insurance products (for life, non-life retail, and non-life commercial lines). Part II (chapters 11 to 17) explains the pricing and reserving for life and non-life insurance. Reinsurance business is also illustrated. Part III (chapters 18 to 25) describes business models in the industry and the organizational structures. The main processes of an insurance company (product development, underwriting, claims settlement, investments) are presented. Marketing and distribution are also described. Part IV (chapters 26 to 35) defines the financial statement and introduces IFRS principles. Solvency II calculation, ALM model, and Embedded Value are explained in detail. This part also describes management accounting, performance indicators, and the Business Plan in the insurance industry. The book offers a valuable resource for lower and upper undergraduate students, graduate students, professionals/practitioners working at insurance companies, insurance agents, brokers, bankers, and consultants.
Fundamentals of Trace and Log Analysis: A Pattern-Oriented Approach to Monitoring, Diagnostics, and Debugging
by Dmitry VostokovThis book will help you analyze traces and logs from different software environments and communicate analysis results using a pattern language that covers everything from a small debugging log to a distributed trace with billions of messages from hundreds of computers, thousands of software components, threads, and processes. The book begins with the basic terminology of operating systems and programming, the foundation for understanding trace and log analysis. It then talks about patterns that help describe problems from a user’s view and patterns for errors and failures. Then, the book covers a range of trace patterns that group messages, and explores how logs depict software activities. It even examines specific message patterns and how they connect in a single trace. Moving forward, you’ll review patterns for multiple traces and logs and how to evaluate them. In this way, you can use similar methods to find problems across a wide variety of software. The book also provides guidance for analyzing issues on systems such as Windows, macOS, Linux, Android, iOS, and other types of computers, including those in networks and the Internet of Things, regardless of their system differences. Upon completing this book, you will be able to navigate the complexities of trace and log analysis and apply uniform diagnostics and anomaly detection pattern language across diverse software environments to help you troubleshoot, debug, and fix issues. What You Will Learn Understand pattern language for trace and log analysisGain a pattern-oriented methodology for trace and log analysis applicable to various domains, including cybersecurityMaster the fundamentals of operating systems and programming related to trace and log analysisUnderstand observed behavior in traces and logs, which aids incident response, diagnostics, root cause analysis, troubleshooting, and debugging Who This Book Is For Software technical support engineers, system and network administrators, software developers, testers, DevOps and DevSecOps, digital forensics and malware analysts, security incident response engineers, data analysts, and data mining practitioners.
Fundamentals of User-Centered Design: A Practical Approach
by Brian Still Kate CraneThere has been some solid work done in the area of User-Centered Design (UCD) over the last few years. What’s been missing is an in-depth, comprehensive textbook that connects UCD to usability and User Experience (UX) principles and practices. This new textbook discusses a theoretical framework in relation to other design theories. It provides a repeatable, practical process for implementation, offering numerous examples, methods, and case studies for support, and it emphasizes best practices in specific environments, including mobile and web applications, print products, as well as hardware.
The Fundamentals of Video Game Literacy: Theory, Practice, and Aesthetics
by Ryan ZhaoThis book posits a novel framework for sense‑making and meaning‑making in the play of video games. Extending a modern, process‑oriented, audience‑inclusive philosophy of artistic meaning generation, this book grapples with the question of how to personally and critically examine video games as artistic artifacts that do not have set, predetermined, standardized forms until live play is enacted. The resulting artistic product, live gameplay, expresses both the game’s developers and its players.This book argues that players hold three separate, concurrent perspectives during play: the embodied avatar within the simulated space, the role‑playing participant in the narrative fantasy, and the external strategist manipulating the game’s software affordances. The exciting dynamics that arise from live gameplay are the result of the tensions and harmonies between these three parallel layers of play.Video games are systems with designed behaviors capable of a great diversity of instantiated expressions. Players are brought into that system of instantiated generation to produce truly emergent and personal gameplay. As such, players directly impact the shape and form of the gameplay artifact itself. This creates a relationship between the art, the player, and its meaning radically different from all previous art forms.This book builds around this central premise with examinations of related subjects pertaining to video game meaning‑making, such as the ways in which video games facilitate play that is expressive of their players and the ways in which it is appropriate to compare and contextualize the differences in players’ instantiated play activities. These subjects are designed to give readers an in‑depth understanding of the dynamics of gameplay in order to facilitate richer, more meaningful encounters with video games as cultural artifacts.This book: Provides a useful framework for enriching players’ experiences with video game play. Helps players identify and distinguish aspects of their own and game developers’ expression in gameplay. Posits a novel framework examining the role of player as embodied avatar, role‑player, and strategist. Gives players appropriate questions to better interrogate the generation of meaning from within and surrounding the system of gameplay.