Название: Machine Learning Safety
Автор: Xiaowei Huang, Gaojie Jin, Wenjie Ruan
Издательство: Springer
Серия: Artificial Intelligence: Foundations, Theory, and Algorithms
Год: 2023
Страниц: 319
Язык: английский
Формат: pdf (true), epub
Размер: 40.3 MB

Machine Learning algorithms allow computers to learn without being explicitly programmed. Their application is now spreading to highly sophisticated tasks across multiple domains, such as medical diagnostics or fully autonomous vehicles. While this development holds great potential, it also raises new safety concerns, as Machine Learning has many specificities that make its behaviour prediction and assessment very different from that for explicitly programmed software systems. This book addresses the main safety concerns with regard to Machine Learning, including its susceptibility to environmental noise and adversarial attacks. Such vulnerabilities have become a major roadblock to the deployment of Machine Learning in safety-critical applications. The book presents up-to-date techniques for adversarial attacks, which are used to assess the vulnerabilities of Machine Learning models; formal verification, which is used to determine if a trained Machine Learning model is free of vulnerabilities; and adversarial training, which is used to enhance the training process and reduce vulnerabilities.

Название: Software: Ошибки и компромиссы при разработке ПО
Автор: Томаш Лелек, Джон Скит
Издательство: Питер
Год: 2023
Страниц: 465
Язык: русский
Формат: pdf
Размер: 10.7 MB

Создание программных продуктов всегда связано с определенными компромиссами. В попытках сбалансировать скорость, безопасность, затраты, время доставки, функции и многие другие факторы можно обнаружить, что вполне разумное решение разработчика на практике оказывается сомнительным. Советы экспертов и яркие примеры, представленные в этой книге, научат вас делать правильный выбор в дизайне и проектировании приложений. Мы будем рассматривать реальные сценарии, в которых были приняты неверные решения, а затем искать пути, позволяющие исправить подобную ситуацию. Томаш Лелек и Джон Скит делятся опытом, который они накопили за десятки лет разработки ПО, в том числе рассказывают о собственных весьма поучительных ошибках. Вы по достоинству оцените конкретные советы и практические методы, а также неустаревающие паттерны, которые изменят ваш подход к проектированию. Большинство примеров, паттернов и фрагментов кода написаны на Java, но сами решения не привязаны к этому языку.

Название: Practical Business Analytics Using R and Python: Solve Business Problems Using a Data-driven Approach, Second Edition
Автор: Umesh R. Hodeghatta, Umesha Nayak
Издательство: Apress
Год: 2023
Страниц: 716
Язык: английский
Формат: pdf (true)
Размер: 34.8 MB

This book illustrates how data can be useful in solving business problems. It explores various analytics techniques for using data to discover hidden patterns and relationships, predict future outcomes, optimize efficiency and improve the performance of organizations. You’ll learn how to analyze data by applying concepts of statistics, probability theory, and linear algebra. In this new edition, both R and Python are used to demonstrate these analyses. Practical Business Analytics Using R and Python also features new chapters covering databases, SQL, Neural networks, Text Analytics, and Natural Language Processing. The book concludes with an overview of Big Data analytics, R and Python essentials for analytics including libraries such as Pandas and NumPy. For software professionals and developers, managers, and executives who want to understand and learn the fundamentals of analytics using R and Python.

Название: Model Checking. Верификация параллельных и распределенных программных систем
Автор: Карпов Ю.Г.
Издательство: СПб.: БХВ-Петербург
Год: 2010
Cтраниц: 560
Формат: pdf
Размер: 15 мб
Язык: русский

В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях.

Название: Python QuickStart Guide: The Simplified Beginner's Guide to Python Programming Using Hands-On Projects
Автор: Robert Oliver
Издательство: ClydeBank Media
Год: 2023
Страниц: 396
Язык: английский
Формат: epub (true)
Размер: 46.2 MB

Learn Python fundamentals that can be used in any programming setting – use the guidance in this book to program your own game in a unique and practical Python learning experience. Learning Python opens the door to a world of programming possibilities. From AI and machine learning to video game, app, and web development, Python is a critical behind-the-scenes component of everyday technology. Python powers the services of household names like Google, Netflix, and Spotify along with tech pioneers like NASA, IBM, and Intel. Put simply, Python is the in-demand and easy-to-learn programming language that gets stuff done. In Python QuickStart Guide, senior developer and programmer Robert Oliver lays out the quickest and most accessible path yet to the mastery of Python fundamentals. Distilling his experience drawn from over two decades of working with Python and other programming languages, Robert’s clear voice and writing present a practical, hands-on approach that anyone, at any experience level, can use to become a Python programmer.

Название: No-Code Artificial Intelligence: The new way to build AI powered applications
Автор: Ambuj Agrawal
Издательство: BPB Publications
Год: 2023
Страниц: 232
Язык: английский
Формат: pdf (true), epub
Размер: 57.6 MB

A practical guide that will help you build AI and ML solutions faster with fewer efforts and no programming knowledge. “No-Code Artificial Intelligence” is a book that enables you to develop AI applications without any programming knowledge. Authored by the founder of AICromo (https://aicromo.com/), this book takes you through an array of examples that shows how to build AI solutions using No-code AI tools. The book starts by sharing insights on the evolution of No-code AI and the different types of No-code AI tools and platforms available in the market. The book then helps you start building applications of Machine Learning in Finance, Healthcare, Sales, and Cybersecurity. It will also teach you to create AI applications to perform sales forecasting, find fraudulent claims, and detect diseases in plants. Furthermore, the book will show how to build Machine Learning models for a variety of use cases in image recognition, video object recognition, and data prediction.

Название: Applications of Mathematical Modeling, Machine Learning, and Intelligent Computing for Industrial Development
Автор: Madhu Jain, Dinesh K. Sharma, Rakhee Kulshrestha
Издательство: CRC Press
Год: 2023
Страниц: 425
Язык: английский
Формат: pdf (true)
Размер: 53.4 MB

The text focuses on mathematical modeling and applications of advanced techniques of Machine Learning, and Artificial Intelligence, including artificial neural networks, evolutionary computing, data mining, and fuzzy systems to solve performance and design issues more precisely. Intelligent computing encompasses technologies, algorithms, and models in providing effective and efficient solutions to a wide range of problems, including the airport’s intelligent safety system. It will serve as an ideal reference text for senior undergraduate, graduate students, and academic researchers in fields that include industrial engineering, manufacturing engineering, computer engineering, and mathematics. The book is divided into three conceptual sections: Mathematical Modeling (MM), Machine Learning (ML), and Intelligent Computing (IC), with a total of 20 chapters.

Название: Developing Information Systems Accurately: A Wholistic Approach
Автор: Bert de Brock
Издательство: Springer
Год: 2023
Страниц: 265
Язык: английский
Формат: pdf (true)
Размер: 17.3 MB

This textbook shows how to develop the functional requirements of information systems. It emphasizes the importance to consider the complete development path of a functional requirement, i.e. not only the individual development steps but also their proper combination and their alignment. Even after decades of numerous bad experiences, many software development projects are still failing on at least one or even all three basic requirements for a project: - Too little (The project delivers inadequate functionality); - Too late (The project is not within time); - Too costly (The project is not within budget). Or, even worse, the project has been ended prematurely, usually after a lot of time and money have been spent, and without delivering any working functionality... The reasons for those failures usually lie at the very beginning: There is no clarity in what the customer really wants and needs, leading to incomplete and even wrong specifications, and subsequently programmers who fill in the functional gaps to the best of their own understanding. So, it is very important to get really clear what the customer wants and exactly needs and to make unambiguous, correct, and complete functional specifications. This book is written for (under)graduate students in software engineering or information systems who want to learn how to carry out adequate problem analysis, to make good system specifications, and/or to understand how to organize and manage an IS-development process.

Название: Software Engineering: Basic Principles and Best Practices
Автор: Sethi Ravi
Издательство: Cambridge University Press
Год: 2023
Страниц: 807
Язык: английский
Формат: pdf
Размер: 10.2 MB

Software engineering is as much about teamwork as it is about technology. This introductory textbook covers both. For courses featuring a team project, it offers tips and templates for aligning classroom concepts with the needs of the students' projects. Students will learn how software is developed in industry by adopting agile methods, discovering requirements, designing modular systems, selecting effective tests, and using metrics to track progress. The book also covers the 'why' behind the 'how-to', to prepare students for advances in industry practices. The chapters explore ways of eliciting what users really want, how clean architecture divides and conquers the inherent complexity of software systems, how test coverage is essential for detecting the inevitable defects in code, and much more. Ravi Sethi provides real-life case studies and examples to demonstrate practical applications of the concepts. Online resources include sample project materials for students, and lecture slides for instructors. This book is intended for a junior - or senior-level introductory course in software engineering. Students are expected to have enough programming maturity to engage in a team project.

Название: Mathematics of Deep Learning: An Introduction
Автор: Leonid Berlyand, Pierre-Emmanuel Jabin
Издательство: De Gruyter
Год: 2023
Страниц: 134
Язык: английский
Формат: pdf (true)
Размер: 10.8 MB

The goal of this book is to provide a mathematical perspective on some key elements of the so-called Deep Neural Networks (DNNs). Much of the interest in Deep Learning has focused on the implementation of DNN-based algorithms. Our hope is that this compact textbook will offer a complementary point of view that emphasizes the underlying mathematical ideas. We believe that a more foundational perspective will help to answer important questions that have only received empirical answers so far. Our goal is to introduce basic concepts from Deep Learning, e. g., mathematical definitions of DNNs, loss functions, the backpropagation algorithm, etc., in a rigorous mathematical fashion. We attempt to identify for each concept the simplest setting that minimizes technicalities but still contains the key mathematics.