Bootstrapping Service Mesh Implementations with Istio
A step-by-step guide to Istio Service Mesh implementation, with examples of complex and distributed workloads built using microservices architecture and deployed in KubernetesPurchase of the print or Kindle book includes a free PDF eBookKey Features: Learn the design, implementation, and troubleshooting of Istio in a clear and concise formatGrasp concepts, ideas, and solutions that can be readily applied in real work environmentsSee Istio in action through examples that cover Terraform, GitOps, AWS, Kubernetes, and GoBook Description: Istio is a game-changer in managing connectivity and operational efficiency of microservices, but implementing and using it in applications can be challenging. This book will help you overcome these challenges and gain insights into Istio's features and functionality layer by layer with the help of easy-to-follow examples. It will let you focus on implementing and deploying Istio on the cloud and in production environments instead of dealing with the complexity of demo apps. You'll learn the installation, architecture, and components of Istio Service Mesh, perform multi-cluster installation, and integrate legacy workloads deployed on virtual machines. As you advance, you'll understand how to secure microservices from threats, perform multi-cluster deployments on Kubernetes, use load balancing, monitor application traffic, implement service discovery and management, and much more. You'll also explore other Service Mesh technologies such as Linkerd, Consul, Kuma, and Gloo Mesh. In addition to observing and operating Istio using Kiali, Prometheus, Grafana and Jaeger, you'll perform zero-trust security and reliable communication between distributed applications.After reading this book, you'll be equipped with the practical knowledge and skills needed to use and operate Istio effectively.What You Will Learn: Get an overview of Service Mesh and the problems it solvesBecome well-versed with the fundamentals of Istio, its architecture, installation, and deploymentExtend the Istio data plane using WebAssembly (Wasm) and learn why Envoy is used as a data planeUnderstand how to use OPA Gatekeeper to automate Istio's best practicesManage communication between microservices using IstioExplore different ways to secure the communication between microservicesGet insights into traffic flow in the Service MeshLearn best practices to deploy and operate Istio in production environmentsWho this book is for: The book is for DevOps engineers, SREs, cloud and software developers, sysadmins, and architects who have been using microservices in Kubernetes-based environments. It addresses challenges in application networking during microservice communications. Working experience on Kubernetes, along with knowledge of DevOps, application networking, security, and programming languages like Golang, will assist with understanding the concepts covered.
Software Quality: Higher Software Quality Through Zero Waste Development
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Manuel received his Ph.D. degree in Computer Science and Engineering from the University of Texas at Austin, and among various positions he was an endowed chair in Information Science and Technology at the University of New Mexico. In 2007 he became the founding director of the IMDEA Software Institute, where he is now a Distinguished Professor, while also a full professor at Universidad Polit矇cnica de Madrid (UPM).He has published more than 300 scientific publications, given numerous keynotes and invited talks at major conferences, coordinated many national and international projects, and served the community in major conference roles, on journal boards, and on funding, scientific, and research committees. Among his awards are the Julio Rey Pastor prize in Mathematics and Information Science and Technologyand the Aritmel prize in Computer Science; he is an elected member of the Academia Europaea; and in 2022 he was elected a Fellow of the ACM for contributions to program analysis, verification, parallelism, logic programming, and the IMDEA Software Institute.Throughout his career, Manuel has been at the forefront of the fields of logic programming, constraint programming, parallel programming, program analysis, program transformation, and programming environment design. The contributions in this volume reflect the quality and the scope of his personal and collaborative successes.
Effective Concurrency in Go
Gain a deep understanding of concurrency and learn how to leverage concurrent algorithms to build high-throughput data processing applications, network servers and clients that scale.Key Features: Learn about the Go concurrency primitives, Go memory model, and common concurrency patternsDevelop the insights on how to model solutions to real-life problems using concurrencyExplore practical techniques to analyze how concurrent programs behaveBook Description: The Go language has been gaining momentum due to its treatment of concurrency as a core language feature, making concurrent programming more accessible than ever. However, concurrency is still an inherently difficult skill to master, since it requires the development of the right mindset to decompose problems into concurrent components correctly. This book will guide you in deepening your understanding of concurrency and show you how to make the most of its advantages.You'll start by learning what guarantees are offered by the language when running concurrent programs. Through multiple examples, you will see how to use this information to develop concurrent algorithms that run without data races and complete successfully. You'll also find out all you need to know about multiple common concurrency patterns, such as worker pools, asynchronous pipelines, fan-in/fan-out, scheduling periodic or future tasks, and error and panic handling in goroutines.The central theme of this book is to give you, the developer, an understanding of why concurrent programs behave the way they do, and how they can be used to build correct programs that work the same way in all platforms.By the time you finish the final chapter, you'll be able to develop, analyze, and troubleshoot concurrent algorithms written in Go.What You Will Learn: Understand basic concurrency concepts and problemsLearn about Go concurrency primitives and how they workLearn about the Go memory model and why it is importantUnderstand how to use common concurrency patternsSee how you can deal with errors in a concurrent programDiscover useful techniques for troubleshootingWho this book is for: If you are a developer with basic knowledge of Go and are looking to gain expertise in highly concurrent backend application development, then this book is for you. Intermediate Go developers who want to make their backend systems more robust and scalable will also find plenty of useful information. Prior exposure Go is a prerequisite.
Open Source Projects - Beyond Code
Accelerate your career and make an impact by launching and running a successful open source projectPurchase of the print or Kindle book includes a free PDF eBookKey Features: Understand the method and rationale for launching an open source projectExplore best practices and insights for running an open source projectLeverage open source projects to advance your careerBook Description: Open source is ubiquitous in our society, with countless existing projects, and new ones emerging every day. It follows a "scratch-your-own-itch" model where contributors and maintainers drive the project forward. Through Open Source Projects - Beyond Code, you'll learn what it takes to develop a successful, scalable, and sustainable open source project.In this book, you'll explore the full life cycle of open source projects, from inception, through launch, to maturity, and then discover how to sunset an open source project responsibly. Along the way, you'll learn the concepts of licensing, governance, community building, ecosystem management, and growing maintainers and contributors, as well as understand how other open source projects have been successful or might have struggled in some areas. You can use this book as an end-to-end guide or reference material for the future.By the end of this book, you'll be able to accelerate your career in open source. Your newly acquired skills will help you stay ahead of the curve even with the ever-evolving nature of technology.What You Will Learn: Explore what is open source and how you can use it to accelerate your careerStart an open source project while exploring its key considerationsGrow, support, and manage a vast community of developers and usersBuild and maintain a mature and sustainable projectEnable mass users and developers to downstream productization and outreachUse open source as a portfolio to build your careerUnderstand when to end a project and conduct it responsiblyWho this book is for: This book is for software developers, product managers, project managers, business leaders, or general enthusiasts looking to start an open source project or currently maintaining one.
Azure SQL Hyperscale Revealed
Take a deep dive into the Azure SQL Database Hyperscale Service Tier and discover a new form of cloud architecture from Microsoft that supports massive databases. The new horizontally scalable architecture, formerly code-named Socrates, allows you to decouple compute nodes from storage layers. This radically different approach dramatically increases the scalability of the service. This book shows you how to leverage Hyperscale to provide next-level scalability, high throughput, and fast performance from large databases in your environment.The book begins by showing how Hyperscale helps you eliminate many of the problems of traditional high-availability and disaster recovery architecture. You'll learn how Hyperscale overcomes storage capacity limitations and issues with scale-up times and costs. With Hyperscale, your costs do not increase linearly with database size and you can manage more data than ever at a lower cost.The book teaches you how todeploy, configure, and monitor an Azure SQL Hyperscale database in a production environment. The book also covers migrating your current workloads from traditional architecture to Azure SQL Hyperscale. What You Will LearnUnderstand the advantages of Hyperscale over traditional architectureDeploy a Hyperscale database on the Azure cloud (interactively and with code)Configure the advanced features of the Hyperscale database tierMonitor and scale database performance to suit your needsBack up and restore your Azure SQL Hyperscale databasesImplement disaster recovery and failover capabilityCompare performance of Hyperscale vs traditional architectureMigrate existing databases to the Hyperscale service tierWho This Book Is ForSQL architects, data engineers, and DBAs who want the most efficient and cost-effective cloud technologies to run their critical data workloads, and those seeking rapid scalability and high performance and throughput while utilizing large databases
Structured Object-Oriented Formal Language and Method
This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022.The 12 revised full papers included in the volume were carefully reviewed and selected from 26 submissions. They are organized in the following topical sections: Model Checking & Markov Decision Process; Model Analysis & Tool Implementation; Formal Specification & Testing; Algorithms & Verification. .
Customizing Microsoft Teams
Build customized apps quickly using real-world business scenarios and proven techniques with this all-inclusive guide for Microsoft Teams professionalsPurchase of the print or Kindle book includes a free PDF eBookKey Features: Customize and extend Microsoft Teams using Power Apps, Power Automate, SharePoint framework, PowerShell, and Microsoft Graph APIsIntegrate Microsoft-certified third-party and Dynamics 365 apps with Microsoft TeamsUnderstand the low-code capabilities of Microsoft Teams provided by Dataverse for TeamsBook Description: In the evolving remote working arrangement, the demand for custom Microsoft Teams apps is increasing rapidly across businesses. If you are someone who aims to provide users with an exceptional experience through custom-built apps that adhere to industry standards and good governance, Customizing Microsoft Teams is for you!The book starts with an overview of Microsoft Teams customization and configuration prerequisites. It then shows you how to expose functionalities from various solutions through tabs, connectors, messaging extensions, and more before you move on to explore how the PowerShell module can manage multiple aspects of administration and how to use the SharePoint Framework for creating custom Microsoft Teams apps. You'll be able to work with Microsoft Dataverse for Teams to build custom apps, bots, and flows using Power Apps, Power Virtual Agents, and Power Automate. As you publish your production-ready apps on the Teams store and Microsoft AppSource, you'll also understand Teams app analytics and reporting functionalities.By the end of this book, you'll have learned how to develop custom solutions to solve critical business problems and extend the power of Microsoft Teams to develop high-value use cases in the remote working culture.What You Will Learn: Understand Microsoft Teams app architecture and configuration for custom appsPersonalize the Teams compose box with your app and develop rich interactive cardsExplore the diverse Teams capabilities using Microsoft Graph APIsManage multiple aspects of Teams administration, including users, policies, and configurationBuild custom apps and bots using Power Apps, Power Virtual Agents, and Power AutomateUse community-driven, open source app templates for Microsoft Teams extensibilityPublish your app on Microsoft AppSource for global subscribersWho this book is for: If you are a business user, Microsoft Teams developer, citizen developer, or Microsoft Teams admin working with Microsoft 365 apps and want to develop custom solutions with Microsoft Teams for multiple business use cases, this book is for you. It is recommended that you have a fundamental understanding of Microsoft 365 technologies to fully benefit from this book.
Visual Studio Code Distilled
Use Visual Studio Code to write and debug code quickly and efficiently on any platform, for any device, using any programming language, and on the operating system of your choice. Visual Studio Code is an open source and cross-platform development tool that focuses on code editing across a variety of development scenarios, including web, mobile, and cloud development. This third edition has been updated to match the latest releases of the environment. Additional updates relate to .NET 7 and explain how to consume AI services from code you write in Visual Studio Code. This new edition is also refreshed with the latest updates, such as enhanced merge editor, creating extensions, support for the Julia language, and much more.The book teaches you how to be immediately productive with Visual Studio Code, from the basics to some of the more complex topics. You will learn how to work on individual code files, complete projects, and come away with an understandingof advanced code-editing features that will help you focus on productivity, and source code collaboration with Git.What You Will Learn Get started with practical guidance on Visual Studio Code, including expansive guidance on writing apps with C# and PythonUnderstand how to edit individual files and how to work with folders by working on the latest workspace trust and multi-root workspacesDebug code on multiple platforms through real-world guidance, such as working under corporate networksPackage code into Docker containers and deploy these to AzureAcquire valuable tips, tricks, and suggestions from hard-earned, real-world experience to be more productiveWho This Book Is ForAll developers (including JavaScript, Java, NodeJS), not just those with a Microsoft background, who will benefit from learning and using VS code as a cross-platform and cross-language tool
Introduction to Dependent Types with Idris
Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming language that supports dependent types. This book will teach you the mathematical foundations of Idris as well as how to use it to write software and mathematically prove properties.The first part of the book serves as an introduction to the language's underlying theories. It starts by reviewing formal systems and mathematical logical systems as foundational building blocks, then gradually builds up to dependent types. Next, you'll learn type theory for dependent types. Following this, you'll explore the Idris programming language and conclude by exploring the depths of formal systems and type checkers by implementing them.Introduction to Dependent Types with Idris will walk you through simple examples through more advanced techniques, stepping up the difficulty as you gain more knowledge. Every chapter includes a set of exercises based on what it covered to further cement your learning. No specialized knowledge of mathematics is expected beyond the basics, so it is perfect for novices.What You Will Learn Understand Lambda calculus and dependent types Gain insight into functional programmingWrite mathematical proofs with IdrisWho This Book Is ForProgrammers, mathematicians, academics, and anyone else interested learning dependent types and lambda calculus.
Rust In Practice
Learn to Build Rust Programs, Test Applications and Create Your Own Cargo Packages in RustRust In Practice is an ultimate fast-paced guide for anyone looking to become a practitioner of the rust programming from day 1. This book covers everything from the basics of Rust programming to building robust and efficient applications. Starting with the fundamentals, this book guides you through the syntax and semantics of the Rust language, including its unique ownership model and type system. You'll learn about common data types, control flow, error handling, and more. As you progress through the book, you'll dive deeper into advanced topics such as building programs, rust libraries and crates, using the standard library, and working with external crates. You'll also learn how to write concurrent and parallel code, take advantage of Rust's built-in testing features, and use popular Rust frameworks and libraries. The book also provides hands-on examples and exercises to help you practice and apply the concepts you've learned. By the end of this book, you'll have a solid understanding of Rust programming and be well-equipped to start building your own robust and efficient applications. With clear explanations, practical examples, and expert advice, this book will help you get an edge on Rust programming and become proficient in building and testing Rust applications, right from day one.Key LearningsGet well versed with cargo, different cargo commandsUnderstanding data types, ownership, and borrowingWrite flexible, efficient code with traits and genericsMake use of closures, iterators, and asynchronous programming to write multi-threaded programsUtilizing collections, strings, text, input and output, macros, and avoiding unsafe codesRun code testing on different types of rust programs and applications50+ examples covered to demonstrate every feature and functionality of rustTable of ContentsUnderstanding Why Rust!Getting Ready with Rust EnvironmentMost Essentials of RustStructsEnums and Pattern MatchingExploring Ownership and BorrowingCargo, Crates and PackagesCargo CommandsUsing Rust Standard LibraryMy First Command Line App (CLI)Code Testing of ApplicationsSmart Pointers and Reference CyclesAudienceThis book is for both, newbies and programmers who wants a combined knowledge of concepts and practical guidance of using Rust in developing programs and applications. This book is written by a team of Rust professionals with an intent to contribute and return back to both industry and academic research communities. [Do not forget to check out 'Look Inside' on thumbnail for accessing the topics and subtopics covered in this book]
Web Development with Blazor - Second Edition
Develop modern web UIs with Blazor Server and Blazor WebAssemblyPurchase of the print or Kindle book includes a free eBook in PDF format.Key Features: Create a production-ready Blazor application from start to finishLearn Blazor fundamentals, gain actionable insights, and discover best practicesFind out how, when, and why to use Blazor Server and Blazor WebAssembly, as well as Blazor HybridBook Description: Blazor is an essential tool if you want to build interactive web apps without JavaScript, but it has a learning curve. Updated with the latest code in .NET 7 and C# 11 and written by someone who adopted Blazor early, this book will help you overcome the challenges associated with being a beginner with Blazor and teach you the best coding practices.You'll start by learning how to leverage the power of Blazor and exploring the full capabilities of both Blazor Server and Blazor WebAssembly. Then you'll move on to the practical part, centered around a sample project - a blog engine. You'll apply all your newfound knowledge about creating Blazor projects, the inner workings of Razor syntax, validating forms, and creating your own components.This new edition also looks at source generators, dives deeper into Blazor WebAssembly with ahead-of-time, and includes a dedicated new chapter demonstrating how to move components of an existing JavaScript (Angular, React) or MVC-based website to Blazor or combine the two. You'll also see how to use Blazor (Hybrid) together with .NET MAUI to create cross-platform desktop and mobile applications.When you reach the end of this book, you'll have the confidence you need to create and deploy production-ready Blazor applications, and you'll have a big-picture view of the Blazor landscape.What You Will Learn: Understand the different technologies that can be used with Blazor, such as Blazor Server, Blazor WebAssembly, and Blazor HybridFind out how to build simple and advanced Blazor componentsExplore the differences between Blazor Server and Blazor WebAssembly projectsDiscover how Minimal APIs work and build your own APIExplore existing JavaScript libraries in Blazor and JavaScript interoperabilityLearn techniques to debug your Blazor Server and Blazor WebAssembly applicationsTest Blazor components using bUnitWho this book is for: This book is for .NET web developers and software developers who want to use their existing C# skills to build interactive SPA applications running either inside the web browser using Blazor WebAssembly, or on the server using Blazor Server.You'll need intermediate-level web-development skills, basic knowledge of C#, and prior exposure to .NET web development before you get started; the book will guide you through the rest.
Practical Rust 1.x Cookbook
100s of Solutions across Command Line, CI/CD, Kubernetes, Networking, Code Performance and MicroservicesPractical Rust 1.x Cookbook is an in-depth guide for experienced Rust programmers looking to create robust and efficient applications. This solution-focused book covers a wide range of topics, including command-line, webassembly, networking, kubernetes, microservices, and system programming.This book includes over 100 real-world practical exercises that will teach you how to use the Rust compiler and command-line programming across every stage of software development. Each exercise is intended to reinforce Rust's potential for outperforming legacy applications and bridging the high performance gap. You'll learn about advanced solutions like asynchronous functions, API testing, CI/CD pipelines, Fuzz testing, and microservices architecture as you read the book. You'll also have the chance to put your knowledge to use by solving complex concurrent and parallel code challenges. You'll also get hands-on experience with many of Rust's built-in frameworks and libraries.Practical Rust 1.x Cookbook is a must-have for both experienced and inexperienced Rust programmers looking to create high-performance and robust applications. This book will help you stay ahead of the curve in Rust programming by providing clear explanations, practical examples, and step-by-step illustrations. Get your copy today and start making the apps you've always wanted to make! Key LearningsEmploying declarative and procedural macros, pattern matching, and enumsCreate and test asynchronous code, error handling, and communication patterns.Working with deadlocks and livelocks, as well as implementing hash maps and parallel algorithmsSOAP and REST API development, API orchestration, and performance monitoringAPI layering, middleware programming, and end-to-end API testingCI/CD, Docker registry, Kubernetes cluster, YAML files, and load balancers configurationWorking with fuzz testing, checking syntax, and identifying code vulnerabilities Table of ContentSetting Up and Configuring Rust EnvironmentHands-on Traits, Enums and StructPattern Matching, Concurrency, Pointers and ModulesUsing Declarative and Procedural MacrosImplementing Concurrency and MultithreadingAsynchronous ProgrammingDeveloping REST and SOAP APIsBuilding Microservices and ArchitecturesWorking around CI/CDWorking around KubernetesFuzz Testing and Static AnalysisCode Performance Optimization
Getting Started with Forex Trading Using Python
Discover the inner workings of today's forex market, the essential risks in forex algo trading, and how to mitigate themKey Features: Build trading applications with research and without advanced Python programming skillsDive into professional fx trading while enhancing your trading apps to be more accurateDevelop simple yet efficient backtesting applications to help keep your expectations realisticBook Description: Algorithm-based trading is a popular choice for Python programmers due to its apparent simplicity. However, very few traders get the results they want, partly because they aren't able to capture the complexity of the factors that influence the market. Getting Started with Forex Trading Using Python helps you understand the market and build an application that reaps desirable results.The book is a comprehensive guide to everything that is market-related: data, orders, trading venues, and risk. From the programming side, you'll learn the general architecture of trading applications, systemic risk management, de-facto industry standards such as FIX protocol, and practical examples of using simple Python codes. You'll gain an understanding of how to connect to data sources and brokers, implement trading logic, and perform realistic tests. Throughout the book, you'll be encouraged to further study the intricacies of algo trading with the help of code snippets.By the end of this book, you'll have a deep understanding of the fx market from the perspective of a professional trader. You'll learn to retrieve market data, clean it, filter it, compress it into various formats, apply trading logic, emulate the execution of orders, and test the trading app before trading live.What You Will Learn: Explore the forex market organization and operationsUnderstand the sources of alpha and the concept of algo tradingGet a grasp on typical risks and ways to mitigate themUnderstand fundamental and technical analysisConnect to data sources and check the integrity of market dataUse API and FIX protocol to send ordersTranslate trading ideas into codeRun reliable backtesting emulating real-world market conditionsWho this book is for: This book is for financial traders and python developers who are interested in forex trading. Academic researchers looking to focus on practical applications will find this book useful. This book can also help established fx market professionals who want to take the first steps in algo trading. Familiarity with Python and object-oriented programming within the scope of an online course or self-study is a must. Knowledge of network protocols and interfaces is a plus but not a prerequisite, as is specific knowledge about markets and trading.
Algorithms and Complexity
This book constitutes the refereed proceedings of the 13th International Conference on Algorithms and Complexity, CIAC 2023, which took place in Larnaca, Cyprus, during June 13-16, 2023. The 25 full papers included in this book were carefully reviewed and selected from 49 submissions. They cover all important areas of research on algorithms and complexity such as algorithm design and analysis; sequential, parallel and distributed algorithms; data structures; computational and structural complexity; lower bounds and limitations of algorithms; randomized and approximation algorithms; parameterized algorithms and parameterized complexity classes; smoothed analysis of algorithms; alternatives to the worst-case analysis of algorithms (e.g., algorithms with predictions), on-line computation and competitive analysis, streaming algorithms, quantum algorithms and complexity, algorithms in algebra, geometry, number theory and combinatorics, computational geometry, algorithmic game theory and mechanism design, algorithmic economics (including auctions and contests), computational learning theory, computational biology and bioinformatics, algorithmic issues in communication networks, algorithms for discrete optimization (including convex optimization) and algorithm engineering.
Parallel Processing and Applied Mathematics
This two-volume set, LNCS 13826 and LNCS 13827, constitutes the proceedings of the 14th International Conference on Parallel Processing and Applied Mathematics, PPAM 2022, held in Gdansk, Poland, in September 2022.The 77 regular papers presented in these volumes were selected from 132 submissions. For regular tracks of the conference, 33 papers were selected from 62 submissions.The papers were organized in topical sections named as follows: Part I: numerical algorithms and parallel scientific computing; parallel non-numerical algorithms; GPU computing; performance analysis and prediction in HPC systems; scheduling for parallel computing; environments and frameworks for parallel/cloud computing; applications of parallel and distributed computing; soft computing with applications and special session on parallel EVD/SVD and its application in matrix computations.Part II: 9th Workshop on Language-Based Parallel Programming (WLPP 2022); 6th Workshop on Models, Algorithms and Methodologies for Hybrid Parallelism in New HPC Systems (MAMHYP 2022); first workshop on quantum computing and communication; First Workshop on Applications of Machine Learning and Artificial Intelligence in High Performance Computing (WAML 2022); 4th workshop on applied high performance numerical algorithms for PDEs; 5th minisymposium on HPC applications in physical sciences; 8th minisymposium on high performance computing interval methods; 7th workshop on complex collective systems.
Exact and Heuristic Methods in Combinatorial Optimization
In the last decades, algorithmic advances as well as hardware and software improvements have provided an excellent environment to create and develop solving methods to hard optimization problems. Modern exact and heuristic techniques are dramatically enhancing our ability to solve significant practical problems. This monograph sets out state-of-the-art methodologies for solving combinatorial optimization problems, illustrating them with two well-known problems.This second edition of the book extends the first one by adding to the 'linear ordering problem' (LOP), included in the first edition, the 'maximum diversity problem' (MDP). In this way, we provide the reader with the background, elements and strategies to tackle a wide range of different combinatorial optimization problems. The exact and heuristic techniques outlined in these pages can be put to use in any number of combinatorial optimization problems. While the authors employ the LOP and the MDP to illustrate cutting-edge optimization technologies, the book is also a tutorial on how to design effective and successful implementations of exact and heuristic procedures alike. This monograph provides the basic principles and fundamental ideas that will enable students and practitioners to create valuable applications based on both exact and heuristic technologies. Specifically, it is aimed at engineers, scientists, operations researchers, and other applications specialists who are looking for the most appropriate and recent optimization tools to solve particular problems. The book provides a broad spectrum of advances in search strategies with a focus on its algorithmic and computational aspects.
Build Your Own Test Framework
Learn to write better automated tests that will dramatically increase your productivity and have fun while doing so. This book is a build-your-own adventure designed for individual reading and for collaborative workshops. You will build an xUnit automated test framework using JavaScript: initially a clone of Jest, but adding a couple of neat features borrowed from RSpec, the genre-defining tool for behavior-driven development (BDD). Along the way, you will explore the philosophy behind automated testing best practices. The automated test runner is one of the most important innovations within software engineering. But for many programmers, automated testing remains a mystery, and knowing how to write good tests is akin to sorcery.As the chapters of this book unfold, you will see how the humble test runner is an elegant and simple piece of software. Each chapter picks a single feature to build, like the "it" function or the "beforeEach" block. It picks apart the theory of why the feature needs to exist, and how to use it effectively in your own test suites. Every chapter ends with a set of ideas for extension points should you wish to explore further, alone or in groups. The book culminates in an implementation of test doubles and mocks--one of the most difficult and misunderstood concepts within automated testing.By the end of the book, you will have gained a solid understanding of automated testing principles that you can immediately apply to your work projects. What You'll LearnBuild an xUnit automated test frameworkSee how an automated test runner worksUnderstand the best practices for automated unit testingEffectively use test doubles and mocksWho This Book Is ForSoftware developers with JavaScript experience who are seeking to master the art of automated testing.
Simple SysML for Beginners
Overview Simple SysML for Beginners: Using CATIA No Magic Products is for beginners. This book is for beginning modelers who have just purchased a CATIA No Magic product that supports SysML modeling and are anxious to get started, but otherwise don't know too much about SysML and don't have much experience using SysML tools. The purpose of this book is to help the reader get through the initial learning curve and start the reader on the way to becoming proficient at SysML modeling. The book is designed to be a tool companion for two of the more comprehensive books on SysML: - SysML Distilled: A Brief Guide to the Systems Modeling Language by Lenny Delligatti.- A Practical Guide to SysML, Third Edition: The Systems Modeling Language by Sanford Friedenthal et al.. The techniques shown in this book will work for any of the Dassault Syst癡mes CATIA Magic and CATIA No Magic products that support SysML modeling, including: - MagicDraw with the SysML plugin.- Cameo Systems Modeler.- Cameo Enterprise Architecture.- CATIA Magic System of Systems Architect.- CATIA Magic Cyber-Systems Engineer. CATIA(R), NoMagic(R), and Cameo(R) are trademarks of Dassault Syst癡mes. LimitationsRequirements Engineering - This book is not an exhaustive text on requirements engineering. However, the "Further Reading" appendix does list a number of excellent books for deeper understanding of this topic. Tool Version - The first edition of this book was authored primarily on Cameo Systems Modeler version 19. There may be minor differences in the procedures for later versions of the tool. Tool Manual - This is a beginner's introduction and is not a comprehensive reference for every feature of the tool.
Property Testing
This book introduces important results and techniques in property testing, where the goal is to design algorithms that decide whether their input satisfies a predetermined property in sublinear time, or even in constant time - that is, time is independent of the input size. This book consists of three parts. The first part provides an introduction to the foundations of property testing. The second part studies the testing of specific properties on strings, graphs, functions, and constraint satisfaction problems. Vectors and matrices over real numbers are also covered. The third part is more advanced and explains general conditions, including full characterizations, under which properties are constant-query testable. The first and second parts of the book are intended for first-year graduate students in computer science. They should also be accessible to undergraduate students with the adequate background. The third part can be used by researchers or ambitious graduate students who want to gain a deeper theoretical understanding of property testing.
Industrial Iot Application Architectures and Use Cases
As the number of Internet of Things (IoT) elements grows exponentially, their interactions can generate a massive amount of raw and multi-structured data. The challenge with this data explosion is to transform any raw data into information and knowledge, which can be used by people and systems to make intelligent decisions. Industrial IoT Application Architectures and Use Cases explores how artificial intelligence (AI), data analytics, and IoT technology combine to promote intelligent decision-making and automation in a range of industries. With faster, more stable AI algorithms and approaches, knowledge discovery and dissemination from IoT-device data can be simplified and streamlined. An era of powerful cognitive technology is beginning due to cloud-based cognitive systems that are forming the foundation of game-changing intelligent applications. This book presents next-generation use cases of IoT and IoT data analytics for a variety of industrial verticals as given below: An Intelligent IoT framework for smart water management An IoT-enabled smart traffic control system for congestion control and smart traffic management An intelligent airport system for airport management and security surveillance An IoT framework for healthcare to integrate and report patient information Fuzzy scheduling with IoT for tracking and monitoring hotel assets An IoT system for designing drainage systems and monitoring drainage pipes Predictive maintenance of plant equipment to decide the actual mean time to malfunction Integrated neural networks and IoT systems for predictive equipment maintenance IoT integration in blockchain for smart waste management This book also includes a chapter on the IoT paradigm and an overview of uses cases for personal, social, and industrial applications.
Practical Graph Structures in SQL Server and Azure SQL
Use the graph table features in Azure SQL that were introduced in SQL Server 2017 and further refined in SQL Server 2019. This book shows you how to create data structures to capture complex connections between items in your data. These connections will help you analyze and draw insights from connections in your data that go beyond classic relationships. The graph examples in the book are useful for analyzing social media relationships, complex product-to-customer relationships, and any other type of data analysis in which indirect connections that otherwise might be missed using conventional techniques can be mined for their insight and business value. Tree structures are covered, with emphasis on a structure commonly used by organizations to aggregate data at different levels of an organization. The book provides code examples of SQL Graph objects as well as an alternate tree implementation technique. Included is sample data (and data generators) for you to test for performance and choose the implementation approach that best suits your needs and that of your application.If your job involves analyzing or storage of data elements that are connected in a networked topology, then this is the book that will help you bring the power of SQL Server to bear on that data and take advantage of your existing knowledge. What You Will LearnUnderstand the graph model and the associated terms used in graph analysisStore highly connected data in SQL Server and Azure SQL alongside existing relational dataMake full use of the graph table feature that is refined and enhanced in SQL Server 2019Implement high performance tree structures that will make storing and querying tree data possibleReport on data associated with a tree structure to aggregate results at different levelsWho This Book Is For
Formal Verification of Floating-Point Hardware Design
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design, Second Edition advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to the formal verification of commercial floating-point units over the course of more than two decades, during which the author was employed by several major microprocessor design companies. The theory is extended to the analysis of several algorithms and optimization techniques that are commonly used in commercial implementations of elementary arithmetic operations. As a basis for the formal verification of such implementations, high-level specifications of the basic arithmetic instructions of several major industry-standard floating-point architectures are presented, including all details pertaining to the handling of exceptional conditions. The methodology is illustrated in the comprehensive verification of a variety of state-of-the-art commercial floating-point designs developed by Arm Holdings. This revised edition reflects the evolving microarchitectures and increasing sophistication of Arm processors, and the variation in the design goals of execution speed, hardware area requirements, and power consumption. Many new results have been added to Parts I--III (Register-Transfer Logic, Floating-Point Arithmetic, and Implementation of Elementary Operations), extending the theory and describing new techniques. These were derived as required in the verification of the new RTL designs described in Part V.
Formal Methods
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in L羹beck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.
Beginning Azure Functions
Start creating highly scalable apps and monitoring your Azure functions in production using Azure Functions 4.0. This book thoroughly explains durable functions for statefulness, covering the basics all the way through how to create bindings in durable functions. It's a deep dive into the Azure Functions serverless API and will guide you through the process of converting monolithic applications to use Azure Functions.This updated edition is revised to cover changes to Azure Portal and delves into Azure Functions runtime versions, the Isolated Process model, and offers a comparison of Azure Functions and Azure Logic Apps. You'll also learn how to register binding extensions and gain an introduction to Azure Functions binding expression patterns, along with best practices for using Azure Functions. Beginning Azure Functions will provide you with the foundational knowledge to work with Azure Functions and teach you practical skills, such as how tocreate Azure Functions using different triggers and bindings. You'll also see how to monitor your Azure Functions in production with live monitoring, and how to perform remote debugging and how to secure your functions.Upon completing this book, you'll understand Azure Functions and how to create them using the Azure portal and Visual Studio. What You Will LearnUse triggers and bindings in an Azure function Create a serverless API using Azure Functions Understand durable Azure functions, including scalability, disaster recovery, and geo-distributionDeploy Azure Function and monitor it in productionWho This Book Is For Developers who want to get started with Azure Functions, as well as DevOps developers, who are looking for guidance in how to deploy and monitor functions.
Commodore 64 Exposed
First published in 1983, this outstanding reference work about the Commodore 64 helped many owners of the much-loved home computer understand their machine to a whole new level. The details within the book enabled users to perfect their coding skills in both BASIC and advanced machine code. To this day it remains a highly useful guide for those interested in retro games programming on the classic machine.* * *As the original publisher Melbourne House wrote: Here is the definitive book for the Commodore owner.A complete and comprehensive guide to make you total master of your Commodore 64.Commodore 64 Exposed is an encyclopedia of solutions from Basic programming through to machine language, and includes vital tables of memory locations and system variables.The step-by-step format is designed to ensure that every owner will understand exactly how their Commodore 64 works. Every feature and program variable is carefully explained with the aid of simple demonstration programs that can be entered in minutes.Whether you are a first-time computer user or a serious programmer, if you want to take full advantage of your Commodore 64's impressive capabilities, then this is the book for you.* * *Acorn Books is proud to present its Retro Reproduction Series, a collection of classic computing works from the 1980s and 90s, lovingly reproduced in the 21st century. From standards of programming reference no self-respecting microcomputer programmer would be without, to obscure works not found in print anywhere else, these modern reprints are perfect for any connoisseur of retro computing.
Requirements Engineering: Foundation for Software Quality
This book constitutes the refereed proceedings of the 29th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2023, which took place in Barcelona, Spain, during April 17-20, 2023.The 12 full technical design and scientific evaluation papers, 8 short research previews and vision papers, and 5 experience reports presented in this volume were carefully reviewed and selected from 78 submissions. They were organized in topical sections as follows: Requirements communication and conceptualization; NLP and machine learning for AI; RE for artificial intelligence; crowd RE; and RE in practice.
Microsoft Power Bi Data Analyst Certification Companion
Use this book to study for the PL-300 Microsoft Power BI Data Analyst exam. The book follows the "Skills Measured" outline provided by Microsoft to help focus your study. Each topic area from the outline corresponds to an area covered by the exam, and the book helps you build a good base of knowledge in each area. Each topic is presented with a blend of practical explanations, theory, and best practices.Power BI is more than just the Power BI Desktop or the Power BI Service. It is two distinct applications and an online service that, together, enable business users to gather, shape, and analyze data to generate and present insights. This book clearly delineates the purpose of each component and explains the key concepts necessary to use each component effectively. Each chapter provides best practices and tips to help an inexperienced Power BI practitioner develop good habits that will support larger or more complex analyses. Manybusiness analysts come to Power BI with a wealth of experience in Excel and particularly with pivot tables. Some of this experience translates readily into Power BI concepts. This book leverages that overlap in skill sets to help seasoned Excel users overcome the initial learning curve in Power BI, but no prior knowledge of any kind is assumed, terminology is defined in non-technical language, and key concepts are explained using analogies and ideas from experiences common to any reader. After reading this book, you will have the background and capability to learn the skills and concepts necessary both to pass the PL-300 exam and become a confident Power BI practitioner. What You Will LearnCreate user-friendly, responsive reports with drill-throughs, bookmarks, and tool tipsConstruct a star schema with relationships, ensuring that your analysis will be both accurate and responsivePublish reports and datasets to the Power BI Service, enabling the report (and the dataset) to be viewed and used by your colleagues Extract data from a variety of sources, enabling you to leverage the data that your organization has collected and stored in a variety of sourcesSchedule data refreshes for published datasets so your reports and dashboards stay up to dateDevelop dashboards with visuals from different reports and streaming content Who This Book Is ForPower BI users who are planning to take the PL-300 exam, Power BI users who want help studying the topic areas listed in Microsoft's outline for the PL-300 exam, and those who are not planning to take the exam but want to close any knowledge gaps they might have
Numerical Methods with Python
Introduces students to appropriate use of computer programming within the scientific disciplines using Python. Discusses several common applications of programming and implementation using real world examples and hands on programming exercises. Students learn how to model situations such as image recognition, medical diagnosis, spread of disease, and others. The text could be used by students and lecturers for courses in Python, Numerical Methods, or as a first course in Data Science.
Apple Device Management
Working effectively with Apple platforms at a corporate or business level includes not only infrastructure, but a mode of thinking that administrators have to adopt to find success. A mode of thinking that forces you to leave 30 years of IT dogma at the door. This book is a guide through how to integrate Apple products in your environment with a minimum of friction. Because the Apple ecosystem is not going away.You'll start by understanding where Apple, third-party software vendors, and the IT community is taking us. What is Mobile Device Management and how does it work under the hood. By understanding how MDM works, you will understand what needs to happen on your networks in order to allow for MDM, as well as the best way to give the least amount of access to the servers or services that's necessary. You'll then look at management agents that do not include MDM, as well as when you will need to use an agent as opposed to when to use other options. Once you can install a management solution, you can deploy profiles on a device or you can deploy profiles on Macs using scripts. With Apple Device Management as your guide, you'll customize and package software for deployment and lock down devices so they're completely secure. You'll also work on getting standard QA environments built out, so you can test more effectively with less effort. This thoroughly revised and expanded Second Edition provides new coverage and updates on daemons and agents, declarative management, Gatekeeper, script options, SSO tools, Azure/Apple Business Essentials integrations and much more.You willDeploy profiles across devices effectively and securelyInstall apps remotely both from the app store and through custom solutionsWork natively with Apple environments rather than retrofitting older IT solutions Who This Book Is ForMac administrators within organizations that want to integrate with the current Apple ecosystem, including Windows administrators learning how to use/manage Macs, mobile administrators working with iPhones and iPads, and mobile developers tasked with creating custom apps for internal, corporate distribution.
Python Programming
Are you brand new to machine learning and Python?Do you want to learn good coding techniques quickly and easily?Then Python Programming is the book for you!Python is one of the best platforms for those new to programming. The book will introduce you to the basic concepts of Machine Learning, Python programming language, various program libraries, and supporting platforms.This guide will help you with your journey into the world of Python Machine Learning and help you navigate your way from a newbie to an intermediate level. You'll learn: - Getting Started with Python- The Basic Principles of Python Machine Learning- Getting Started With Data Visualization- The Use of Predictive Analytics- How to start writing an
Algorithm- Everything about Decision Tree- How to work with Data- Neural Networks, Big Data, the Internet of Things (IoT), and
Cloud Computing- And more...Even if you've never looked at a computer program before and have always thought that learning a computer language would be too difficult, this book can help.With it's easy-to-understand and simple language, you could soon wonder why you never thought about trying computer programming before.
Building with Ethereum
Build products on top of Ethereum's new and expansive technological stack. Writing any good web application requires planning, care, and deft technical skills, but Ethereum's execution model presents its own challenges for engineers wishing to build applications on top of its smart contract layer. Building performant and engaging product experiences is one of the most important - and often underappreciated - roles in any company. This book looks at the full product stack needed to build such experiences on top of Ethereum smart contracts, weaving tutorials and case studies through more conversational discussions of the various constraints, trade-offs, and complexities involved in doing so. You'll learn about the fundamentals of Ethereum from a new perspective, developing a strong understanding of how the Ethereum Virtual Machine (EVM) works and how it affects product engineering, as well as all the pieces of technology that go into decentralized apps (dapps) behindthe front end: RPC nodes, wallets, indexers, application hosts, and more. You'll be exposed to plenty of UI, JavaScript code, and idiomatic ways to bring on-chain data into your front ends. And you'll be given up-to-date knowledge of the best practices and future possibilities that decentralized computation might offer the product engineer. What You Will LearnUnderstand the EVM and how it worksGain insight into smart contracts and how apps connect to themUnderstand the difference between live data and indexed dataHow decentralization affects the UI of applicationsBuild engaging, tasteful product experiences on top of EthereumWho This Book Is ForA confident - mid-level or senior - software engineer or web developer who hasn't properly branched out into Ethereum; someone who might have scratched the surface, but wants adeeper understanding of the principles behind dapps, and who wants a head start on the hurdles faced while building them.
IOS Architecture Patterns
Develop well-structured applications using tested techniques and patterns. When you start to develop an application, you not only have to think about the idea of the finished application, but also about how it will evolve as it is built. This book shows you how to plan for changes, scope creep, and for the possibility of other developers joining in. Start by learning what architecture patterns for an application are. You'll find out why it's important for your applications to be based on these patterns and which ones are the most common. Then you'll look at the MVC as one of the best known and used patterns. You'll see how and when it can be implemented in your applications, as well as its advantages and disadvantages. From there, you'll discover the first evolution of the MVC model: the MVP, which introduces a new layer (Presenter) to better manage views. The next evolution after that is the MVVM, which introduces the ViewModel layer and its connection withthe views through Data Binding. With those prominent patterns covered, you'll read about VIPER and VIP, Architecture Patterns that seeks to make applications easily maintainable, modularized, and highly scalable. All of which are hallmarks of Clean Architecture. Architecture patterns have developed and evolved to give your applications solid foundations. Understanding these patterns, you will reduce the problems that may arise when modifying existing functions, adding new ones, or correcting errors that may arise in the development process.What You'll LearnCode cleanly with solid foundations Start your project ready to adapt and evolve as features and other developers are added Find and apply the right patterns for the best results Who This Book Is ForDevelopers with some programming knowledge who want to learn different architecturepatterns, those who already have more experience and are looking for a starting point on complex patterns such as VIPER or VIP, and beginner programmers
The Rust Programming Language, 2nd Edition
With over 50,000 copies sold, The Rust Programming Language is the quintessential guide to programming in Rust. Thoroughly updated to Rust's latest version, this edition is considered the language's official documentation. The Rust Programming Language "covers everything you could want to know about the language."--Stack Overflow Rust has been repeatedly voted "Most Loved Language" on the StackOverflow Developer Survey. The Rust Programming Language, 2nd Edition is the official guide to Rust 2021: an open source systems programming language that will help you write faster, more reliable software. Rust provides control of low-level details along with high-level ergonomics, allowing you to improve productivity and eliminate the hassle traditionally associated with low-level languages. Klabnik and Nichols, alumni of the Rust Core Team, share their knowledge to help you get the most out of Rust's features so that you can create robust and scalable programs. You'll begin with basics like creating functions, choosing data types, and binding variables, then move on to more advanced concepts, such as: Ownership and borrowing, lifetimes, generics, traits, and trait objects to communicate your program's constraints to the compilerSmart pointers and multithreading, and how ownership interacts with them to enable fearless concurrencyHow to use Cargo, Rust's built-in package manager, to build, document your code, and manage dependenciesThe best ways to test, handle errors, refactor, and take advantage of expressive pattern matchingIn addition to the countless code examples, you'll find three chapters dedicated to building complete projects: a number-guessing game, a Rust implementation of a command line tool, and a multithreaded server.
Search Algorithm
Algorithms, particularly those embedded in search engines, social media platforms, recommendation systems, and information databases, play an increasingly important role in selecting what information is most relevant to us, which is a crucial feature of our participation in public life. These algorithms are not just helpful in our daily lives but are also one of the unavoidable necessities of modern living. This book discusses advances and applications of various types of search algorithms, such as quantum search, harmony search, cognitive search, genetic search, and many others. It is a valuable resource and provides a solid technical base for frontline investigations of search algorithms for scientists and students interested in search and optimization methods.
Aws for Public and Private Sectors
Assess, plan, develop, implement, and manage AWS EC2 Instances, Cloud Formation using JSON Template with Bash programming language, and Cloud Watch monitoring. This book helps the public and private sectors comprehend how to assess and evaluate AWS cloud software as a service (SaaS), infrastructure as a service (IaaS), and platform as a service (PaaS).Government and business sector entities are looking for strategies to upgrade on-premises information systems to virtual cloud infrastructure orchestration and automation. You'll gain a step-by-step approach to planning, developing, implementing, and managing cloud infrastructure, services, and platforms that help reduce cost increases, scalability, and improves security. Outline your strategy to research how cloud infrastructure is planned and developed before being deployed and managed by on-premises IT team members. This book also supports cloud services for AWS and helps you understand why supporting and usingAWS for cloud services is beneficial both short and long-term.Once you complete this book, you'll be able to make logical decisions regarding AWS use cases for public and private sector entities, including disaster recovery and backup, IT self-service, Web applications, and messaging. What You'll LearnAssess different cloud services provided by AmazonLook at Cloud as a Service (CAAS)Understand internet protocol, packet switching, authoritative, recursive, and open-flowReview cloud infrastructure planning methodsExamine Cloud orchestration and automationWork with the AWS total cost of ownership calculatorWho This book Is For This book is aimed at business, government, non-profit organizations, academic institutions, and financial institutions interested in upgrading to AWS cloud architect infrastructure as a primary mode of data transmission, storage, and security at a scalable and economical annual cost.
Practical Programming 6 in 1
If you want to discover how to become a software developer using Angular with TypeScript, Python for Machine Learning, React.JS or JavaScript, this book is for you!6 BOOKS IN 1 DEAL!- BOOK 1: ANGULAR FRAMEWORK ESSENTIALS - OPEN SOURCE WEB APP DEVELOPMENT USING ANGULAR & TYPESCRIPT- BOOK 2: PYTHON MACHINE LEARNING - ALGORITHM DESIGN & PRACTICAL CODE EXECUTION- BOOK 3: REACT JAVASCRIPT VULNERABILITIES - CONSTRUCTING SECURE REACTJS CODE- BOOK 4: JAVASCRIPT SECURITY DESIGN - CODE EXECUTION & VULNERABILITY EXPLOITATION- BOOK 5: JAVASCRIPT EXPRESSIONS - OPERATORS, LOOPS, & SWITCH STATEMENTS- BOOK 6: JAVASCRIPT WEB DEVELOPMENT - BUILDING REST APIS WITH NODE AND EXPRESS JS BUY THIS BOOK NOW AND GET STARTED TODAY!
Learn to Code
As the title suggests, "Learn To Code: The Beginner's Guide to Computer Programming" will help you learn how to code and possibly try to make a career out of it. Programming can be difficult to learn, but once you get a good grasp of it, you will never stop. If you are wondering why many programmers stay at night and even work countless hours, it is because programming can be really exciting. You can learn how to see programming that way through this book. This will help you to: ● Understand why programming is a highly-valued skill in today's world ● Know the fundamental theories behind programming ● Learn Python - the easiest programming language yet ● Identify the skills and the tools you need to help you learn how to code ● And most importantly how to find a job as a programmer with no experience and with no Computer Science degree
The Complete Guide to Arduino Programming
Are you ready to explore the exciting world of physical computing and programming? Look no further than Arduino, the user-friendly platform that has captured the hearts of hobbyists, makers, and professionals alike.In this comprehensive guide, you will delve into the history and basics of Arduino, learn about different boards and how to set them up, and gain a solid understanding of the syntax and coding involved in creating with Arduino. From data types and sensors to cracking codes and operations, you will discover all the secrets to success with this innovative platform.Whether you are a complete beginner or an experienced programmer, this book has everything you need to start creating your own projects and exploring your creativity. Say goodbye to expensive tools and complicated processes - with Arduino, you can bring your ideas to life with ease.
Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops
This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022. The 19 full papers presented together with 9 short papers in this volume were carefully reviewed and selected from a total of 39 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: AI4EA 2022: First Berlin Workshop on Artificial Intelligence for Engineering Applications; F-IDE 2022: 7th Workshop on Formal Integrated Development Environment; CoSim-CPS 2022: 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems; CIFMA 2022: 4th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.
Electronic Music and Sound Design - Theory and Practice with Max 8 - volume 3
This is the third volume of an organic educational system that includes an extensive online component consisting of hundreds of interactive sound examples, videos, theory and practice glossaries, tests, programs written in Max, a Max object library created specifically for these volumes, and many practical activities (often with Gen and Jitter). TOPICSReverberation and creative uses of reverb - Spatialization with two or more channels - AM, RM, SSB, FM, and PM - Nonlinear distortion - Wave terrain synthesis - Split synthesis - Granular and particle synthesis - Granulation and segmentation of sampled sounds - Vocoder - Analysis and resynthesis - Cross-synthesis - Convolution - Jitter for audio - Gen programming "There is no shortage of books in the world that seek to demonstrate the erudition of their authors. It is harder, however, to find books that focus on the readers - taking them on a journey that will ultimately change them. The books by Cipriani and Giri belong to this rare category: they are books that explain. (...) The third volume of Electronic Music and Sound Design is a kaleidoscopic catalog of ideas and applications for analyzing, synthesizing, and transforming signals in a wide variety of ways. (...) Cipriani and Giri succeed in addressing everyone without weakening the theoretical basis and without unnecessary specializations - achieving a masterful balance of comprehensibility, functionality, and breadth." (From the foreword by Carmine-Emanuele Cella, Assistant Professor in Music and Technology, CNMAT - University of California, Berkeley).
Creating Software with Modern Diagramming Techniques
Diagrams communicate relationships more directly and clearly than words ever can. Using only text-based markup, create meaningful and attractive diagrams to document your domain, visualize user flows, reveal system architecture at any desired level, or refactor your code. With the tools and techniques this book will give you, you'll create a wide variety of diagrams in minutes, share them with others, and revise and update them immediately on the basis of feedback. Adding diagrams to your professional vocabulary will enable you to work through your ideas quickly when working on your own code or discussing a proposal with colleagues. Expand your professional vocabulary by learning to communicate with diagrams as easily and naturally as speaking or writing. This book will provide you with the skills and tools to turn ideas into clear, meaningful, and attractive diagrams in mere minutes, using nothing more complicated than text-based markup. You'll learn what kinds of diagrams are suited to each of a variety of use cases, from documenting your domain to understanding how complex code pieces together. Model your software's architecture, creating diagrams focused broadly or narrowly, depending on the audience. Visualize application and user flows, design database schemas, and use diagrams iteratively to design and refactor your application. You'll be able to use technical diagramming to improve your day-to-day workflow. You will better understand the codebase you work in, communicate ideas more effectively and immediately with others, and more clearly document the architecture with C4 diagrams. Manually creating diagrams is cumbersome and time-consuming. You'll learn how to use text-based tools like Mermaid to rapidly turn ideas into diagrams. And You'll learn how to keep your diagrams up to date and seamlessly integrated into your engineering workflow. You'll be better at visualizing and communicating when you add diagrams to your standard vocabulary. What You Need: A Mac or PC A GitHub account
Developing Sustainable and Energy-Efficient Software Systems
This open access book provides information how to choose and collect the appropriate metrics for a software project in an organization. There are several kinds of metrics, based on the analysis of source code and developed for different programming paradigms such as structured programming and object-oriented programming (OOP). This way, the book follows three main objectives: (i) to identify existing and easily-collectible measures, if possible in the early phases of software development, for predicting and modeling both the traditional attributes of software systems and attributes specifically related to their efficient use of resources, and to create new metrics for such purposes; (ii) to describe ways to collect these measures during the entire lifecycle of a system, using minimally-invasive monitoring of design-time processes, and consolidate them into conceptual frameworks able to support model building by using a variety of approaches, including statistics, data mining and computational intelligence; and (iii) to present models and tools to support design time evolution of systems based on design-time measures and to empirically validate them. The book provides researchers and advanced professionals with methods for understanding the full implications of alternative choices and their relative attractiveness in terms of enhancing system resilience. It also explores the simultaneous use of multiple models that reflect different system interpretations or stakeholder perspectives.
Artificial Intelligence and Blockchain in Digital Forensics
Digital forensics is the science of detecting evidence from digital media like a computer, smartphone, server, or network. It provides the forensic team with the most beneficial methods to solve confused digital-related cases. AI and blockchain can be applied to solve online predatory chat cases and photo forensics cases, provide network service evidence, custody of digital files in forensic medicine, and identify roots of data scavenging. The increased use of PCs and extensive use of internet access, have meant easy availability of hacking tools. Over the past two decades, improvements in the information technology landscape have made the collection, preservation, and analysis of digital evidence extremely important. The traditional tools for solving cybercrimes and preparing court cases are making investigations difficult. We can use AI and blockchain design frameworks to make the digital forensic process efficient and straightforward. AI features help determine the contents of a picture, detect spam email messages and recognize swatches of hard drives that could contain suspicious files. Blockchain-based lawful evidence management schemes can supervise the entire evidence flow of all of the court data. This book provides a wide-ranging overview of how AI and blockchain can be used to solve problems in digital forensics using advanced tools and applications available on the market.
Uml-Based Software Product Line Engineering with Smarty
This book is about software product lines (SPLs) designed and developed taking UML diagrams as the primary basis, modeled according to a rigorous approach composed of an UML profile and a systematic process for variability management activities, forming the Stereotype-based Management of Variability (SMarty) approach. The book consists of five parts. Part I provides essential concepts on SPL in terms of the first development methodologies. It also introduces variability concepts and discusses SPL architectures finishing with the SMarty approach. Part II is focused on the design, verification and validation of SMarty SPLs, and Part III concentrates on the SPL architecture evolution based on ISO/IEC metrics, the SystEM-PLA method, optimization with the MOA4PLA method, and feature interaction prevention. Next, Part IV presents SMarty as a basis for SPL development, such as, the M-SPLearning SPL for mobile learning applications, the PLeTs SPL for testing tools, the PlugSPL plugin environment for supporting the SPL life cycle, the SyMPLES approach for designing embedded systems with SysML, the SMartySPEM approach for software process lines (SPrL), and re-engineering of class diagrams into an SPL. Eventually, Part V promotes controlled experimentation in UML-based SPLs, presenting essential concepts on how to plan, conduct, and document experiments, as well as showing several experiments carried out with SMarty. This book aims at lecturers, graduate students and experienced practitioners. Lecturers might use the book for graduate level courses about SPL fundamentals and tools; students will learn about the SPL engineering process, variability management, and mass customization; and practitioners will see how to plan the transition from single-product development to an SPL-based process, how to document inherent variability in a given domain, or how to apply controlled experiments to SPLs.
An Introduction to Software Design
This textbook provides a balanced coverage on software design, including design principles, methodologies, and techniques in contexts of designing modules of small and larger sizes with a multi-paradigm viewpoint emphasizing design trade-off. Commonly used design diagrams and patterns are also covered in terms of the design ideas behind and their effective use. The book also explores what (software) design thinking is, the role it plays in a design process, and ways to promote it. Despite object orientation being still the center of attention, there is a strong promotion throughout the book that software design should consider all appropriate design paradigms and methodologies.The book is organized in 10 chapters. Chapter 1 is dedicated to an exploration of what software design may be and entail. Next, chapters 2 and 3 are designed to help readers better understand object orientation, and the essentials of object-oriented design. Chapter 4 is then dedicated to the design of methods, while chapters 5, 6, and 8 respectively include topics about the design of objects, modeling with the Unified Modeling Language, and the use of design patterns. Larger software elements are often directly responsible for the formation of software architecture, thus chapter 7 covers four kinds of larger software elements: libraries, components, frameworks, and microservices, and their architectural implications. Chapter 9 finally brings the presentation of software design to an end with a coverage on software architecture focusing on software architectural views. Case studies are important in learning how to design software, hence chapter 10 then gathers some small design case studies that can be used in earlier chapters as appropriate. These case studies can be extended in different ways to provide additional design opportunities.This textbook book is intended for a junior level undergraduate course on software design, yet the depth of the book makes it also appropriate for a design course at beginning graduate level. Professionals may also find the book useful in their professional development.
Quick Start Guide to Ffmpeg
Create, edit, modify and convert multimedia files using FFmpeg, the most versatile open source audio and video processing tool available for Linux, Mac and Windows users. After reading this book, you will be able to work with video and audio files, images, text, animations, fonts, subtitles and metadata like a pro. It begins with a simple introduction to FFmpeg executables -- ffmpeg, ffprobe and ffplay, and explains how you can use them to process multimedia containers, streams, audio channels, maps and metadata. It then describes how you can easily edit, enhance and convert audio, video, image and text files. There are dedicated chapters for filters, audio, subtitles and metadata, as well as FFmpeg tips and tricks. Sample lists of FFmpeg filters, encoders, decoders, formats and codecs are also available as appendices. Quick Start Guide to FFmpeg is for anyone who needs to edit or process multimedia files including studio professionals, broadcast personnel, content creators, podcasters, librarians, archivists and webmasters. It will be indispensable for those wanting to process a variety of multimedia files from the command line and inside shell scripts or custom-built software. You Will Learn To: Convert from one format to another e.g. video-to-video, video-to-audio, video-to-image, image-to-video, video-to-animation, animation-to-video, text-to-audio, text-to-videoEdit video files by cutting them with and without re-encoding, appending, resizing, changing frame rate and aspect ratio, mixing in audioUse filters to rotate, flip, crop, overlay (side-by-side or inset), remove logos, blur, smooth and sharpen, apply transitions as well as speed up or down playbackEdit audio files by changing, normalizing or compressing volume, mixing and splitting channels and detecting silence. Also, learn to generate waveforms as video or imagesAdd subtitles, place them anywhere on the screen, use custom fonts and colors, and use different languagesLearn how to import, export and remove metadata, add MP3 tags (including album art), set global and stream-specific metadata, export and remove metadata This Book For: Content creators and bloggers from professional studio employees to Youtubers and hobbyists who need to process their own multimedia content; multimedia archivists and librarians; regular Linux desktop users
Automating DevOps with GitLab CI/CD Pipelines
Use GitLab CI/CD pipelines for automating and deploying different steps of your software development lifecycle using best practices and troubleshooting methods.Key FeaturesReap the power of GitLab CI/CD pipelines at every stage of your software development lifecycleLearn how GitLab makes Git easier to use and more powerful when committing and reviewing codeCement your understanding using hands-on tutorials and extensive self-assessment exercisesPurchase of the print or Kindle book includes a free eBook in the PDF formatBook DescriptionDevelopers and release engineers understand the high stakes involved in building, packaging, and deploying code correctly. Ensuring that your code is functionally correct, fast, and secure is a time-consuming and complex task. Code implementation, development, and deployment can be conducted efficiently using GitLab CI/CD pipelines.Automating DevOps with GitLab CI/CD Pipelines begins with the basics of Git and GitLab, showing how to commit and review code. You'll learn to set up GitLab Runners for executing and autoscaling CI/CD pipelines and creating and configuring pipelines for many software development lifecycle steps. You'll also discover where to find pipeline results in GitLab, and how to interpret those results. Through the course of the book, you'll become well-equipped with deploying code to different environments, advancing CI/CD pipeline features such as connecting GitLab to a Kubernetes cluster and using GitLab with Terraform, triggering pipelines and improving pipeline performance and using best practices and troubleshooting tips for uncooperative pipelines. In-text examples, use cases, and self-assessments will reinforce the important CI/CD, GitLab, and Git concepts, and help you prepare for interviews and certification exams related to GitLab.By the end of this book, you'll be able to use GitLab to build CI/CD pipelines that automate all the DevOps steps needed to build and deploy high-quality, secure code.What you will learnGain insights into the essentials of Git, GitLab, and DevOpsUnderstand how to create, view, and run GitLab CI/CD pipelinesExplore how to verify, secure, and deploy code with GitLab CI/CD pipelinesConfigure and use GitLab Runners to execute CI/CD pipelinesExplore advanced GitLab CI/CD pipeline features like DAGs and conditional logicFollow best practices and troubleshooting methods of GitLab CI/CD pipelinesImplement end-to-end software development lifecycle workflows using examplesWho this book is forThis book is for DevOps/DevSecOps engineers, application developers, release engineers, quality assurance engineers, security engineers, SREs, and sysadmins looking to implement fast, secure and automated software development lifecycle tasks using continuous integration and continuous delivery (CI/CD) pipelines in GitLab. Basic knowledge of major stages of the software development life cycle and DevOps processes will be helpful.Table of ContentsExploring the Life Before DevOpsPracticing Basic Git CommandsUnderstanding GitLab ComponentsUnderstanding GitLab CI/CD Pipeline StructureInstalling and Configuring GitLab RunnersVerifying Your CodeSecuring Your CodePackaging and Deploying Your CodeEnhancing Speed and Maintainability of CI/CD PipelinesExtending the Reach of CI/CD PipelinesEnd-to-End ExampleTroubleshooting and Moving Ahead with GitLabAppendix: Self-Assessment Questions and Answers
