Название: Formal Methods in Computer Science
Автор: Jiacun Wang, William Tepfenhart
Издательство: CRC Press
Год: 2020
Страниц: 313
Язык: английский
Формат: pdf (true)
Размер: 10.2 MB

Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It covers propositional logic, predicate logic, temporal logic, and model checking. The third part presents Petri nets, the most popular formal language in system behavior modeling. In additional to regular Petri nets, this part also examines timed Petri nets and high-level Petri nets. The textbook is ideal for undergraduate or graduate courses in computer engineering, software engineering, computer science, and information technology programs.

Название: Command-Line Rust: A Project-Based Primer for Writing Rust CLIs (Final)
Автор: Ken Youens-Clark
Издательство: O’Reilly Media, Inc.
Год: 2022
Страниц: 399
Язык: английский
Формат: pdf (true), epub (true)
Размер: 10.05 MB

В течение нескольких лет подряд Rust был признан "самым любимым языком программирования" в ежегодном опросе разработчиков Stack Overflow. Этот язык системного программирования с открытым исходным кодом сегодня используется во всем - от игровых движков и операционных систем до компонентов браузеров и движков для моделирования виртуальной реальности. Но Rust также является невероятно сложным языком с печально известной кривой обучения. Вместо того, чтобы сосредоточиться на языке в целом, это руководство обучает Rust с помощью одной небольшой, полной, сфокусированной программы в каждой главе. Автор Кен Юенс-Кларк покажет вам, как начать, написать и протестировать каждую из этих программ, чтобы создать законченный продукт. Вы узнаете, как обрабатывать ошибки в Rust, читать и записывать файлы, использовать регулярные выражения, типы Rust, структуры и многое другое.

Название: SSD for R: An R Package for Analyzing Single-Subject Data, 2nd Edition
Автор: Charles Auerbach, Wendy Zeitlin
Издательство: Oxford University Press
Год: 2022
Страниц: 225
Язык: английский
Формат: pdf (true)
Размер: 22.0 MB

Single-subject research designs have been used to build evidence to the effective treatment of problems across various disciplines including social work, psychology, psychiatry, medicine, allied health fields, juvenile justice, and special education. SSD for R serves as a guide for those desiring to conduct single-subject data analysis and introduces readers to the various functions available in SSD for R, a new, free, and innovative software package written in R--the open-source statistical programming language that was written by the book's authors. SSD for R is the only book of its kind to describe single-subject data analysis while providing free statistical software to do so.

Название: Machine Learning and Optimization Models for Optimization in Cloud
Автор: Punit Gupta, Mayank Kumar Goyal
Издательство: CRC Press
Год: 2022
Страниц: 219
Язык: английский
Формат: pdf (true)
Размер: 15.1 MB

Machine Learning and Models for Optimization in Cloud’s main aim is to meet the user requirement with high quality of service, least time for computation and high reliability. With increase in services migrating over cloud providers, the load over the cloud increases resulting in fault and various security failure in the system results in decreasing reliability. To fulfill this requirement cloud system uses intelligent metaheuristic and prediction algorithm to provide resources to the user in an efficient manner to manage the performance of the system and plan for upcoming requests. Intelligent algorithm helps the system to predict and find a suitable resource for a cloud environment in real time with least computational complexity taking into mind the system performance in under loaded and over loaded condition.

Название: C++ Software Interoperability for Windows Programmers: Connecting to C#, R, and Python Clients
Автор: Adam Gladstone
Издательство: Apress
Год: 2022
Страниц: 235
Язык: английский
Формат: pdf (true)
Размер: 16.4 MB

Get up-to-speed quickly and connect modern code written in C#, R, and Python to an existing codebase written in C++. This book for practitioners is about software interoperability in a Windows environment from C++ to languages such as C#, R, and Python. Using a series of example projects, the book demonstrates how to connect a simple C++ codebase packaged as a static or dynamic library to modern clients written in C#, R, and Python. The book shows you how to develop the in-between components that allow disparate languages to communicate. This book addresses a fundamental question in software design: given an existing C++ codebase, how does one go about connecting that codebase to clients written in C#, R, and Python? How is the C++ functionality exposed to these clients? One answer may be to rewrite the existing codebase in the target language.

Название: Beginning Deep Learning with TensorFlow: Work with Keras, MNIST Data Sets, and Advanced Neural Networks
Автор: Liangqu Long, Xiangming Zeng
Издательство: Apress
Год: 2022
Страниц: 727
Язык: английский
Формат: pdf (true)
Размер: 19.4 MB

Incorporate deep learning into your development projects through hands-on coding and the latest versions of deep learning software, such as TensorFlow 2 and Keras. The materials used in this book are based on years of successful online education experience and feedback from thousands of online learners. You’ll start with an introduction to AI, where you’ll learn the history of neural networks and what sets deep learning apart from other varieties of machine learning. Discovery the variety of deep learning frameworks and set-up a deep learning development environment. Next, you’ll jump into simple classification programs for hand-writing analysis. Once you’ve tackled the basics of deep learning, you move on to TensorFlow 2 specifically.

Название: Using XLWings, BeautifulSoup, Python 3.9 and Microsoft Excel 365 VBA To Web Scrape Market Index Data and Historical Company Earnings
Автор: John Lee
Издательство: John Lee
Год: January 01,2022
Страниц: 94
Язык: английский
Формат: epub
Размер: 10.1 MB

In this book, we will use Python to retrieve market index data and historical company earnings We will use Microsoft Excel 365 to report the market index and company earnings. We will use a Python library called Xlwings so Excel 365 can communicate with Python. The target audience for this book is for people who are interested in getting Dow Jones Industrial Average, S&P 500, Nasdaq and historical company earnings data from the internet. People who read this book will need a good working knowledge of Microsoft Excel, Excel VBA and Python.

Название: Machine Learning and Data Analytics for Predicting, Managing, and Monitoring Disease
Автор: Manikant Roy, Lovi Raj Gupta
Издательство: IGI Global, Medical Information Science Reference
Год: 2021
Страниц: 259
Язык: английский
Формат: pdf (true), epub
Размер: 35.8 MB

Data analytics is proving to be an ally for epidemiologists as they join forces with data scientists to address the scale of crises. Analytics examined from many sources can derive insights and be used to study and fight global outbreaks. Pandemic analytics is a modern way to combat a problem as old as humanity itself: the proliferation of disease. Machine Learning and Data Analytics for Predicting, Managing, and Monitoring Disease explores different types of data and discusses how to prepare data for analysis, perform simple statistical analyses, create meaningful data visualizations, predict future trends from data, and more by applying cutting edge technology such as Machine Learning (ML) and data analytics. Covering a range of topics such as mental health analytics, data analysis and Machine Learning using Python, and statistical model development and deployment, it is ideal for researchers, academicians, data scientists, technologists, data analysts, diagnosticians, healthcare professionals, computer scientists, and students.

Название: Data Visualization with Python and jаvascript: Scrape, Clean, Explore, and Transform Your Data, 2nd Edition (Third Early Release)
Автор: Kyran Dale
Издательство: O’Reilly Media, Inc.
Год: 2022-01-26
Страниц: 138
Язык: английский
Формат: epub
Размер: 10.2 MB

How do you turn raw, unprocessed, or malformed data into dynamic, interactive web visualizations? In this practical book, author Kyran Dale shows data scientists and analysts—as well as Python and jаvascript developers—how to create the ideal toolchain for the job. By providing engaging examples and stressing hard-earned best practices, this guide teaches you how to leverage the power of best-of-breed Python and jаvascript libraries. Python provides accessible, powerful, and mature libraries for scraping, cleaning, and processing data. And while jаvascript is the best language when it comes to programming web visualizations, its data processing abilities can't compare with Python's. Together, these two languages are a perfect complement for creating a modern web-visualization toolchain. This book gets you started.

Название: Большая книга Roblox. Как создавать свои миры и делать игру незабываемой
Автор: Жаньо Давид
Издательство: Бомбopa
Год: 2020
Формат: PDF
Страниц: 227
Размер: 11 Mb
Язык: Русский

Roblox – компьютерная платформа, набирающая все большую и большую популярность. В ней можно создавать свои уникальные миры и играть в огромное количество различных игр. "Большая книга Roblox" станет отличным помощником в деле освоения платформы. Здесь вы найдете все – от инструкций о том, как играть до основ программирования и советов по созданию различных миров своими руками. Наше руководство поможет вам достичь небывалых высот и стать крутым разработчиком в Roblox.