Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic)
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic)
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior...
Cells and Robots: Modeling and Control of Large-Size Agent Populations (Springer Tracts in Advanced Robotics)
Cells and Robots: Modeling and Control of Large-Size Agent Populations (Springer Tracts in Advanced Robotics)
From the reviews:

"This interesting monograph is devoted to the study of multi-agent, populations of biological cells and robot teams. … The main objective of the approach is to provide solutions to the problem of how dynamics of an individual agent propagates to the population dynamics. … This original monograph has a wide...

Hybrid Imaging and Visualization: Employing Machine Learning with Mathematica - Python
Hybrid Imaging and Visualization: Employing Machine Learning with Mathematica - Python
The book introduces the latest methods and algorithms developed in machine and deep learning (hybrid symbolic-numeric computations, robust statistical techniques for clustering and eliminating data as well as convolutional neural networks) dealing not only with images and the use of computers, but also their applications to visualization tasks...
Understanding Azure Data Factory: Operationalizing Big Data and Advanced Analytics Solutions
Understanding Azure Data Factory: Operationalizing Big Data and Advanced Analytics Solutions
Improve your analytics and data platform to solve major challenges, including operationalizing big data and advanced analytics workloads on Azure. You will learn how to monitor complex pipelines, set alerts, and extend your organization's custom monitoring requirements.

This book starts with an overview
...
Windows 10 Troubleshooting (Windows Troubleshooting Series)
Windows 10 Troubleshooting (Windows Troubleshooting Series)

Learn how to troubleshoot Windows 10 the way the experts do, whatever device or form-factor you’re using. Focus on the problems that most commonly plague PC users and fix each one with a step-by-step approach that helps you understand the cause, the solution, and the tools required. Discover the connections between the...

Applied Cryptography in .NET and Azure Key Vault: A Practical Guide to Encryption in .NET and .NET Core
Applied Cryptography in .NET and Azure Key Vault: A Practical Guide to Encryption in .NET and .NET Core
Benefit from Microsoft's robust suite of security and cryptography primitives to create a complete, hybrid encryption scheme that will protect your data against breaches. This highly practical book teaches you how to use the .NET encryption APIs and Azure Key Vault, and how they can work together to produce a robust...
Foundations of Neural Networks, Fuzzy Systems, and Knowledge Engineering
Foundations of Neural Networks, Fuzzy Systems, and Knowledge Engineering
Here we have a comprehensive, problem-oriented, engineering perspective on the uses of neural nets, fuzzy systems, and hybrids that emphasizes practical solutions to everyday artificial intelligence (AI) problems over abstract theoretical noodling. Intended for upper-division students and postgraduates who need a...
Small-Scale Renewable Energy Systems: Independent Electricity for Community, Business and Home
Small-Scale Renewable Energy Systems: Independent Electricity for Community, Business and Home

A revolution is ongoing in the field of small-scale energy solutions, which can enable lower impact on the environment, more robust supply and self-determination. Solar power and other forms of renewable energy sources, which you can implement to generate your own electricity, are growing quickly. Electromobility is transforming the...

JavaScript Data Structures and Algorithms: An Introduction to Understanding and Implementing Core Data Structure and Algorithm Fundamentals
JavaScript Data Structures and Algorithms: An Introduction to Understanding and Implementing Core Data Structure and Algorithm Fundamentals
The motivation for writing this book was the lack of resources available about data structures and algorithms written in JavaScript. This was strange to me because today many of the job opportunities for software development require knowledge of JavaScript; it is the only language that can be used to write the entire stack, including the...
Data-Driven Modeling: Using MATLAB® in Water Resources and Environmental Engineering (Water Science and Technology Library)
Data-Driven Modeling: Using MATLAB® in Water Resources and Environmental Engineering (Water Science and Technology Library)

“Data-Driven Modeling: Using MATLAB® in Water Resources and Environmental Engineering” provides a systematic account of major concepts and methodologies for data-driven models and presents a unified framework that makes the subject more accessible to and applicable for researchers and practitioners. It integrates important...

Computational Intelligence: Engineering of Hybrid Systems
Computational Intelligence: Engineering of Hybrid Systems

Hybrid Intelligent Systems has become an important research topic in computer science and a key application field in science and engineering. This book offers a gentle introduction to the engineering aspects of hybrid intelligent systems, also emphasizing the interrelation with the main intelligent technologies such as genetic algorithms –...

How Do Hybrid Cars Work? (Science in the Real World)
How Do Hybrid Cars Work? (Science in the Real World)

In recent years, there has been much concern about the world's reliance on nonrenewable resources, such as oil. Scientists are attempting to decrease our dependency on oil - something cars require to work. Hybrid cars, which run on alternative energy sources like sunlight, corn, and biofuels, may be the key to using less oil. "How Do Hybrid...

Result Page: 29 28 27 26 25 24 23 22 21 20 
©2020 LearnIT (support@pdfchm.net) - Privacy Policy