Название: 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.

Название: Privacy-Preserving Machine Learning (Final Release)
Автор: J. Morris Chang, Di Zhuang, G. Dumindu Samaraweera
Издательство: Manning Publications
Год: 2023
Страниц: 335
Язык: английский
Формат: pdf (true)
Размер: 26.4 MB

Keep sensitive user data safe and secure without sacrificing the performance and accuracy of your Machine Learning models. Privacy Preserving Machine Learning is a comprehensive guide to avoiding data breaches in your Machine Learning projects. You’ll get to grips with modern privacy-enhancing techniques such as differential privacy, compressive privacy, and synthetic data generation. Based on years of DARPA-funded cybersecurity research, ML engineers of all skill levels will benefit from incorporating these privacy-preserving practices into their model development. By the time you’re done reading, you’ll be able to create Machine Learning systems that preserve user privacy without sacrificing data quality and model performance. For machine learning engineers and developers. Examples in Python and Java.

Название: Causal Inference in Python: Applying Causal Inference in the Tech Industry (3rd Early Release)
Автор: Matheus Facurer
Издательство: O’Reilly Media, Inc.
Год: 2023-03-24
Страниц: 399
Язык: английский
Формат: epub
Размер: 10.2 MB

This book is an introduction to Causal Inference in Python, but it is not an introductory book in general. It’s introductory because I’ll focus on application, rather than rigorous proofs and theorems of causal inference; additionally, when forced to choose, I’ll opt for a simpler and intuitive explanation, rather than a complete and complex one. It is not introductory in general because I’ll assume some prior knowledge about Machine Learning (ML), statistics and programming in Python. It is not too advanced either, but I will be throwing in some terms that you should know beforehand. In this book, author Matheus Facure, senior data scientist at Nubank, explains the largely untapped potential of causal inference for estimating impacts and effects. Managers, data scientists, and business analysts will learn classical causal inference methods like randomized control trials (A/B tests), linear regression, propensity score, synthetic controls, and difference-in-differences. Each method is accompanied by an application in the industry to serve as a grounding example.

Название: Head First Python: A Learner’s Guide to the Fundamentals of Python Programming, A Brain-Friendly Guide, 3rd Edition (Second Early Release)
Автор: Paul Barry
Издательство: O’Reilly Media
Год: 2023-03-24
Язык: английский
Формат: epub
Размер: 31.6 MB

Want to learn the Python language without slogging your way through how-to manuals? With Head First Python, you'll quickly grasp Python's fundamentals, working with the built-in data structures and functions. Then you'll move on to building your very own webapp, exploring database management, exception handling, and data wrangling. If you're intrigued by what you can do with context managers, decorators, comprehensions, and generators, it's all here. This third edition is a complete learning experience that will help you become a bonafide Python programmer in no time. In order to explore, experiment, and learn about Python, you need to install a runtime back-end called Jupyter into your Python.