Название: Software Testing Automation: Testability Evaluation, Refactoring, Test Data Generation and Fault Localization
Автор: Saeed Parsa
Издательство: Springer
Год: 2023
Страниц: 594
Язык: английский
Формат: pdf (true)
Размер: 19.1 MB

This book is about the design and development of tools for software testing. It intends to get the reader involved in software testing rather than simply memorizing the concepts. The source codes are downloadable from the book website. The book has three parts: software testability, fault localization, and test data generation. The ability to test software efficiently and thoroughly is a hallmark of high-quality software. For code to be tested thoroughly, it should be testable in the first place. Testers, in a sense, are customers of developers. Developers must undertake an approach that keeps the code clean and efficient. Clean and efficient code is highly testable. Refactoring techniques help develop testable code. As the testability improves, automatic test data generation tools can provide relatively more efficient and effective test data. This book offers a machine learning tool to measure software testability based on which a software development process, Testability-Driven Development (TsDD), in support of test-first approaches is suggested. The Chapter 3 gives the reader insights into the strengths and weaknesses of different tools support for different programming languages, Java, C#, and Python.

Название: Essentials of Excel VBA, Python, and R: Volume II: Financial Derivatives, Risk Management and Machine Learning, 2nd edition
Автор: John Lee, Jow-Ran Chang, Lie-Jane Kao
Издательство: Springer
Год: 2023
Страниц: 521
Язык: английский
Формат: pdf (true)
Размер: 36.4 MB

This advanced textbook for business statistics teaches, statistical analyses and research methods utilizing business case studies and financial data with the applications of Excel VBA, Python and R. Each chapter engages the reader with sample data drawn from individual stocks, stock indices, options, and futures. Now in its second edition, it has been expanded into two volumes, each of which is devoted to specific parts of the business analytics curriculum. To reflect the current age of Data Science and Machine Learning, the used applications have been updated from Minitab and SAS to Python and R, so that readers will be better prepared for the current industry. This second volume is designed for advanced courses in financial derivatives, risk management, and Machine Learning and financial management. In this volume we extensively use Excel, Python, and R to analyze the above-mentioned topics.

Название: Advances in Computers, Volume 130
Автор: Ali Hurson
Издательство: Academic Press
Год: 2023
Страниц: 216
Язык: английский
Формат: epub (true)
Размер: 47.3 MB

Traditionally, Advances in Computers, the oldest series to chronicle the rapid evolution of computing, annually publishes several volumes, each one typically comprising four to eight chapters, describing the latest developments in the theory and applications of computing. The 130th volume is an eclectic one that has been inspired by the recent interest in research and development in Computer Science and computer engineering. This volume is a collection of five chapters. In response to an increasing number of app downloads on mobile devices, Alhaddad et al. report and articulate their experiences of developing a black box, model-based testing approach to test mobile apps. Chapter 1, “FSMApp: Testing mobile apps,” introduces the FSMApp approach and compares it with the black box MBT approach. Several case studies are presented to explore the applicability, scalability, effectiveness, and efficiency of FSMApp.

Название: Computational Formalism: Art History and Machine Learning
Автор: Amanda Wasielewski
Издательство: The MIT Press
Год: 2023
Страниц: 201
Язык: английский
Формат: pdf (true)
Размер: 37.7 MB

How the use of Machine Learning to analyze art images has revived formalism in art history, presenting a golden opportunity for art historians and computer scientists to learn from one another. Though formalism is an essential tool for art historians, much recent art history has focused on the social and political aspects of art. But now art historians are adopting Machine Learning methods to develop new ways to analyze the purely visual in datasets of art images. Amanda Wasielewski uses the term “computational formalism” to describe this use of Machine Learning and Computer Vision technique in art historical research. At the same time that art historians are analyzing art images in new ways, computer scientists are using art images for experiments in Machine Learning and Computer Vision.

Название: Mastering ChatGPT Comprehensive Guide to Harnessing the Power of Conversational AI: ChatGPT For Beginners And Dummies
Автор: Harsha S.
Издательство: Independently published
Год: 2023
Страниц: 112
Язык: английский
Формат: pdf, epub (true), mobi
Размер: 10.2 MB

Mastering ChatGPT a comprehensive guide that explores the vast potential of Conversational AI and teaches readers how to harness it effectively. This eBook is designed to provide a thorough understanding of the ChatGPT language model and how it can be used to build advanced chatbots and virtual assistants. Through practical examples, readers will learn how to train ChatGPT to understand and respond to natural language queries, while also discovering techniques to optimize performance and improve user experience. Whether you're a developer, data scientist, or simply curious about the future of AI, "Mastering ChatGPT" is an essential resource for anyone looking to master the power of Conversational AI. ChatGPT is a language model developed by OpenAI that uses advanced natural language processing (NLP) techniques to generate human-like responses to text-based conversations. ChatGPT is based on the GPT (Generative Pretrained Transformer) architecture and is trained on a large corpus of text data, making it capable of understanding and responding to a wide range of topics and contexts.

Название: Program Proofs
Автор: K. Rustan M. Leino
Издательство: The MIT Press
Год: 2023
Страниц: 496
Язык: английский
Формат: epub (true)
Размер: 10.1 MB

This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny. Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs. Writing with clarity and humor, K. Rustan M. Leino first provides an overview of the basic theory behind reasoning about programs. He then gradually builds up to complex concepts and applications, until students are facing real programs using objects, data structures, and non-trivial recursion. To emphasize the practical nature of program proofs, all material and examples use the verification-aware programming language Dafny, but no previous knowledge of Dafny is assumed.

Название: TypeScript. Подробное Руководство (4.9 beta)
Автор: Nauchikus
Издательство: Интернет-издание
Год: 12/1/2022
Страниц: 631
Язык: русский
Формат: pdf
Размер: 10.3 MB

TypeScript — это язык программирования со статической типизацией, позиционирующий себя как язык, расширяющий возможности jаvascript. Typescript код компилируется в jаvascript код, который можно запускать как на клиентской стороне (браузер), так и на стороне сервера (Node.js). Качество сгенерированного кода сопоставимо с кодом, написанным профессиональным разработчиком с большим стажем. Хотя на текущий момент практически невозможно найти библиотеку, которая бы не была портирована на TypeScript. jаvascript код, оставшийся от предыдущих проектов, не стоит списывать со счетов, поскольку его совместное использование не вызовет никакой проблемы. Компилятор TypeScript отлично справляется с динамическим jаvascript кодом, включенным в свою типизированную среду, и даже выявляет в нем ошибки. TypeScript значительно сокращает время на устранение ошибок и выявление багов, которые порой не так просто определить в динамической среде jаvascript. В случае, если для разработчика TypeScript является первым типизированным языком, следует знать, что его изучение значительно ускорит процесс профессионального роста, поскольку типизированный мир открывает аспекты программирования, которые не проявляются в языках с динамической типизацией.

Название: Цифровая обработка изображений в OpenCV. Практикум: учебное пособие для вузов
Автор: Матвеев А.И.
Издательство: Лань
Год: 2022
Страниц: 103
Язык: русский
Формат: pdf
Размер: 12.1 MB

Компьютерное зрение находит все большее практическое применение в различных сферах деятельности человека. Дисциплина изучает алгоритмы цифровой обработки изображений, занимается реализацией на практике предложенных решений. В методическом пособии предлагаются задания, с помощью которых можно овладеть практическими навыками работы с библиотекой компьютерного зрения и машинного обучения с открытым исходным кодом OpenCV на языке Python. Учебное пособие предназначено для студентов бакалавров и магистров по таким специальностям, как мехатроника и робототехника, вычислительная техника, управление в технических системах, автоматизация технологических процессов в производстве. В учебном пособии даны задания, предназначенные для закрепления теоретических знаний по цифровой обработке изображений в OpenCV.

Название: The Art of Asking ChatGPT for High-Quality Answers: A Complete Guide to Prompt Engineering Techniques
Автор: Ibrahim John
Издательство: Nzunda Technologies Limited
Год: 2023
Язык: английский
Формат: pdf
Размер: 10.1 MB

This book is GPT-4 updated. A comprehensive guide to understanding and utilizing various prompt techniques to generate high-quality answers from ChatGPT. and How To Avoid & Bypass all A.I Content Detectors. This book is on point, I have used simple language with on-point practical explanations, together with examples and prompt formulas on every prompt technique. We don't want to waste your time with our stories. just on point. no stories. My aim is for you to understand the underlying principles, which will enable you to use any version of ChatGPT in an advanced way without memorizing any formulas. This eliminates the need for having thousands of formulas, which, in fact, are based on the same principles. Examples provided in this book are designed to help you comprehend these principles. After finishing this book, you won't need any lists, such as 1,000 prompt formulas.

Название: Программирование графики в Delphi (+CD)
Автор: Тюкачев Н., Илларионов И., Хлебостроев В.
Издательство: СПб.: БХВ-Петербург
Год: 2008
Страниц: 779
ISBN: 978-5-9775-0253-5
Формат: PDF
Размер: 25.3 Мб
Язык: русский

Книга написана на базе курса лекций, читаемых авторами. Рассмотрены основные классы и функции среды Delphi, которые используются для создания графических и мультимедийных приложений. Описаны цветовые модели, основные форматы графических файлов, а также методы построения кривых в задачах интерполяции, сглаживания, аппроксимации, методы Эрмита, Безье и В-сплайнов. Приведены алгоритмы триангуляции поверхностей в трехмерном пространстве.