|
 |
|
 |
|
|
 |
|  |
|
 Название: 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. | |
Разместил: Ingvar16 26-03-2023, 15:25 | Комментарии: 0 | Подробнее
| | | |
 |
|  |
|
|
|
|
|
|
| |
|
 Название: 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 является первым типизированным языком, следует знать, что его изучение значительно ускорит процесс профессионального роста, поскольку типизированный мир открывает аспекты программирования, которые не проявляются в языках с динамической типизацией. | |
Разместил: Ingvar16 26-03-2023, 06:59 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Цифровая обработка изображений в OpenCV. Практикум: учебное пособие для вузов
Автор: Матвеев А.И.
Издательство: Лань
Год: 2022
Страниц: 103
Язык: русский
Формат: pdf
Размер: 12.1 MB
Компьютерное зрение находит все большее практическое применение в различных сферах деятельности человека. Дисциплина изучает алгоритмы цифровой обработки изображений, занимается реализацией на практике предложенных решений. В методическом пособии предлагаются задания, с помощью которых можно овладеть практическими навыками работы с библиотекой компьютерного зрения и машинного обучения с открытым исходным кодом OpenCV на языке Python. Учебное пособие предназначено для студентов бакалавров и магистров по таким специальностям, как мехатроника и робототехника, вычислительная техника, управление в технических системах, автоматизация технологических процессов в производстве. В учебном пособии даны задания, предназначенные для закрепления теоретических знаний по цифровой обработке изображений в OpenCV. | |
Разместил: Ingvar16 26-03-2023, 00:56 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: 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. | |
Разместил: Ingvar16 25-03-2023, 20:57 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: 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. | |
Разместил: Ingvar16 25-03-2023, 16:47 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: 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. | |
Разместил: Ingvar16 25-03-2023, 15:10 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: 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. | |
Разместил: Ingvar16 25-03-2023, 07:25 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Foundations of Computing: Essential for Computing Studies, Profession And Entrance Examinations, 5th edition
Автор: Pradeep K. Sinha, Priti Sinha
Издательство: BPB Publications
Год: 2023
Страниц: 1097
Язык: английский
Формат: epub (true)
Размер: 32.7 MB
If you wish to have a bright future in any profession today, you cannot ignore having sound foundation in Information Technology (IT). Hence, you cannot ignore to have this book because it provides comprehensive coverage of all important topics in IT. Foundations of Computing is designed to introduce through a single book the important concepts of the Foundation Courses in Computer Science (CS), Computer Applications (CA), and Information Technology (IT) programs taught at undergraduate and postgraduate levels. | |
Разместил: Ingvar16 25-03-2023, 06:04 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Artificial Intelligence for Capital Markets
Автор: Syed Hasan Jafar, Hemachandran K, Hani El-Chaarani
Издательство: CRC Press
Год: 2023
Страниц: 183
Язык: английский
Формат: pdf (true)
Размер: 11.2 MB
Artificial Intelligence for Capital Market throws light on the application of AI/ML techniques in the financial capital markets. This book discusses the challenges posed by the AI/ML techniques as these are prone to "black box" syndrome. The complexity of understanding the underlying dynamics for results generated by these methods is one of the major concerns which is highlighted in this book. AI in Finance presents and explores the most recent advances in the application of innovative and emerging AI/ML models in the financial industry. The main contribution of this book is to provide new theoretical and applied AI perspectives to find solutions to unsolved finance questions. This volume presents the applicability of various Machine Learning models such as Support Vector Regression, Regression trees and Markov Switching Models in asset pricing and portfolio theory, Artificial Neural Networks (ANNs) in asset pricing, stock market forecasting utilizing a deep learning model, credit and risk analysis of borrowers using Random Forest Algorithms, examining market efficiency using news-driven sentiment, employing LSTM and RNNs for technical analysis, and price forecasting using deep learning and additive models in financial markets. | |
Разместил: Ingvar16 25-03-2023, 05:34 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: The Complete Python Coding Manual - 17th Edition, 2023
Автор: Papercut Limited
Издательство: Papercut Limited
Год: 2023
Страниц: 164
Язык: английский
Формат: pdf
Размер: 72.8 MB
Python - это универсальный язык, и рост его популярности, конечно, неудивителен. Его схожесть с повседневным языком сделала его идеальным компаньоном для Raspberry Pi, который часто является первым шагом в практическое программирование. Но пусть вас не обманывает его дружелюбие к новичкам - в Python есть множество более продвинутых функций. В этом новом издании вы узнаете, как программировать на Python, откроете для себя удивительные проекты для улучшения вашего понимания и найдете способы использования Python для расширения ваших возможностей в области вычислений. Вы также создадите увлекательные проекты, включая программирование клона Space Invaders и обучение Raspberry Pi многозадачности. Давайте начнем программировать! | |
Разместил: Ingvar16 25-03-2023, 05:15 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
Навигация
Вход на сайт
Реклама
