Название: Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings
Автор: Fairouz Kamareddine, Claudio Sacerdoti Coen
Издательство: Springer
Серия: Lecture Notes in Artificial Intelligence
Год: 2021
Страниц: 263
Язык: английский
Формат: pdf (true)
Размер: 10.7 MB

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021. We present a comparison of several online Machine Learning techniques for tactical learning and proving in the Coq proof assistant. This work builds on top of Tactician, a plugin for Coq that learns from proofs written by the user to synthesize new proofs. Learning happens in an online manner, meaning that Tactician’s Machine Learning model is updated immediately every time the user performs a step in an interactive proof.

Название: Machine Learning Control by Symbolic Regression
Автор: Askhat Diveev, Elizaveta Shmalko
Издательство: Springer
Год: 2021
Формат: ePUB, PDF
Страниц: 162
Размер: 14 Mb
Язык: English

This book provides comprehensive coverage on a new direction in computational mathematics research: automatic search for formulas. Formulas must be sought in all areas of science and life: these are the laws of the universe, the macro and micro world, fundamental physics, engineering, weather and natural disasters forecasting; the search for new laws in economics, politics, sociology.

Название: Learning Test-Driven Development
Автор: Saleem Siddiqui
Издательство: O’Reilly Media
Год: 2022
Формат: True PDF, ePUB
Страниц: 277
Размер: 10 Mb
Язык: English

Your code is a testament to your skills as a developer. No matter what language you use, code should be clean, elegant, and uncluttered. By using test-driven development (TDD), you'll write code that's easy to understand, retains its elegance, and works for months, even years, to come. With this indispensable guide, you'll learn how to use TDD with three different languages: Go, jаvascript, and Python.

Название: Машинное обучение без лишних слов
Автор: Бурков Андрей
Издательство: Питер
Год: 2020
Формат: pdf, epub
Страниц: 192
Размер: 23,8 Мб
Язык: русский

Все, что вам действительно нужно знать о машинном обучении, может уместиться на паре сотен страниц. Начнем с простой истины: машины не учатся. Типичное «машинное обучение» заключается в поиске математической формулы, которая при применении к набору входных данных (называемых «обучающими данными») даст желаемые результаты. Андрей Бурков постарался дать все необходимое, чтобы каждый мог стать отличным современным аналитиком или специалистом по машинному обучению. То, что удалось вместить в пару сотен страниц, в других книгах растянуто на тысячи. Типичные книги по машинному обучению консервативны и академичны, здесь же упор сделан на алгоритмах и методах, которые пригодятся в повседневной работе.

Название: Application of Machine Learning and Deep Learning Methods to Power System Problems
Автор: Morteza Nazari-Heris, Somayeh Asadi
Издательство: Springer
Год: 2022
Страниц: 390
Язык: английский
Формат: pdf (true), epub
Размер: 48.9 MB

This book evaluates the role of innovative Machine Learning (ML) and Deep Learning (DL) methods in dealing with power system issues, concentrating on recent developments and advances that improve planning, operation, and control of power systems. Cutting-edge case studies from around the world consider prediction, classification, clustering, and fault/event detection in power systems, providing effective and promising solutions for many novel challenges faced by power system operators. Accordingly, the application of various Machine Learning and Deep Learning methods such as artificial neural networks (ANNs), expert systems, fuzzy systems, evolutionary-based methods, deep neural network (DNN), convolutional neural network (CNN), and long short-term memory (LSTM) has been introduced as effective methods to handle the decision-making process of modeling power systems.

Название: Java 17 Quick Syntax Reference, 3rd Edition
Автор: Mikael Olsson
Издательство: Apress
Год: 2022
Формат: ePUB, PDF
Страниц: 131
Размер: 10 Mb
Язык: English

Quickly gain the insight necessary to address a multitude of Java coding challenges using this succinct reference guide, Java 17 Quick Syntax Reference, Third Edition. Short, focused code examples will help you learn and master various existing and new Java source code elements.

Название: Android Studio Arctic Fox Essentials - Kotlin Edition
Автор: Neil Smyth
Издательство: Payload Media
Год: 2021
Формат: True PDF, ePUB
Страниц: 1209
Размер: 52 Mb, 11,7 Mb
Язык: English

Fully updated for Android Studio Arctic Fox, the goal of this book is to teach the skills necessary to develop Android-based applications using the Kotlin programming language.
Beginning with the basics, this book provides an outline of the steps necessary to set up an Android development and testing environment followed by an introduction to programming in Kotlin including data types, flow control, functions, lambdas, and object-oriented programming.

Название: jаvascript: Syntax and Practices
Автор: Ravi Tomar, Sarishma Dangi
Издательство: CRC Press
Год: 2022
Формат: PDF
Страниц: 281
Размер: 10 Mb
Язык: English

jаvascript is an easy-to-use, flexible, dynamic, prototype-based programming language predominantly used over the web. Although the initial focus of the language was to assist in the generation of dynamic web content, it soon found its way into numerous other applications. This book aims to cover the fundamentals of the language by providing a strong start for people who wish to start their journey to the jаvascript programming language. It provides the mandatory theoretical background, which is much needed for implementation of the exhaustive hands-on exercises and includes over 4000 lines of code for grasping a maximum understanding of the material.

Название: Ransomware Protection Playbook
Автор: Roger A. Grimes
Издательство: Wiley
Год: 2022
Страниц: 323
Язык: английский
Формат: pdf (true), epub
Размер: 20.7 MB

Avoid becoming the next ransomware victim by taking practical steps today. Colonial Pipeline. CWT Global. Brenntag. Travelex. The list of ransomware victims is long, distinguished, and sophisticated. And it’s growing longer every day. In Ransomware Protection Playbook, computer security veteran and expert penetration tester Roger A. Grimes delivers an actionable blueprint for organizations seeking a robust defense against one of the most insidious and destructive IT threats currently in the wild. You’ll learn about concrete steps you can take now to protect yourself or your organization from ransomware attacks.

Название: Metaheuristics for Finding Multiple Solutions
Автор: Mike Preuss, Michael G. Epitropakis
Издательство: Springer
Год: 2021
Страниц: 322
Язык: английский
Формат: pdf (true)
Размер: 15.9 MB

This book presents the latest trends and developments in multimodal optimization and niching techniques. Most existing optimization methods are designed for locating a single global solution. However, in real-world settings, many problems are “multimodal” by nature, i.e., multiple satisfactory solutions exist. It may be desirable to locate several such solutions before deciding which one to use. Multimodal optimization has been the subject of intense study in the field of population-based meta-heuristic algorithms, e.g., evolutionary algorithms (EAs), for the past few decades. These multimodal optimization techniques are commonly referred to as “niching” methods, because of the nature-inspired “niching” effect that is induced to the solution population targeting at multiple optima.