-
Formal Semantics in Modern Type Theories
This book studies formal semantics in modern type theories (MTTsemantics). Compared with simple type theory, MTTs have much richer type structures and provide powerful means for adequate semantic constructions. This offers a serious alternative to the traditional settheoretical foundation for .... -
Author Clément Stenac , Léo Dreyfus-Schmidt , Kenji Lefevre
More than half of the analytics and machine learning (ML) models created by organizations today never make it into production. Instead, many of these ML models do nothing more than provide static insights in a slideshow. If they aren’t truly operational, these models can’....
Release Date 2021/02 -
Author Kerrie L. Holley , Siupo Becker
AI is poised to transform every aspect of healthcare, including the way we manage personal health from customer experience and clinical care to healthcare cost reductions. This practical book is one of the first to describe present and future use cases where AI can help s....
Release Date 2021/02 -
How Open Source Ate Software: Understand the Open Source Movement and So Much More
Learn how free software became open source and how you can sell open source software. This book provides a historical context of how open source has thoroughly transformed how we write software, how we cooperate, how we communicate, how we organize, and, ultimately, how we think about business value.... -
Computer Vision Using Deep Learning: Neural Network Architectures with Python and Keras
Organizations spend huge resources in developing software that can perform the way a human does. Image classification, object detection and tracking, pose estimation, facial recognition, and sentiment estimation all play a major role in solving computer vision problems. This book will bring int.... -
MATLAB Recipes: A Problem-Solution Approach
Learn from state-of-the-art examples in robotics, motors, detection filters, chemical processes, aircraft, and spacecraft. With this book you will review contemporary MATLAB coding including the latest MATLAB language features and use MATLAB as a software development environment including code organ.... -
Artificial Intelligence for Asset Management and Investment
Make AI technology the backbone of your organization to compete in the Fintech eraThe rise of artificial intelligence is nothing short of a technological revolution. AI is poised to completely transform asset management and investment banking, yet its current application within the financial sector .... -
IBM Spectrum Scale and IBM Elastic Storage System Network Guide
High-speed I/O workloads are moving away from the SAN to Ethernet and IBM® Spectrum Scale is pushing the network limits. The IBM Spectrum® Scale team discovered that many infrastructure Ethernet networks that were used for years to support various applications are not designed to provide a high-perf.... -
TensorFlow 2 Reinforcement Learning Cookbook
Discover recipes for developing AI applications to solve a variety of real-world business problems using reinforcement learningKey FeaturesDevelop and deploy deep reinforcement learning-based solutions to production pipelines, products, and servicesExplore popular reinforcement learning algorithms s.... -
Getting Started with Google BERT
Kickstart your NLP journey by exploring BERT and its variants such as ALBERT, RoBERTa, DistilBERT, VideoBERT, and more with Hugging Face's transformers libraryKey FeaturesExplore the encoder and decoder of the transformer modelBecome well-versed with BERT along with ALBERT, RoBERTa, and DistilBERTD.... -
Transformers for Natural Language Processing
Take your NLP knowledge to the next level and become an AI language understanding expert by mastering the quantum leap of Transformer neural network modelsKey FeaturesBuild and implement state-of-the-art language models, such as the original Transformer, BERT, T5, and GPT-2, using concepts that outp.... -
Machine Learning with TensorFlow, Second Edition
Machine Learning with TensorFlow, Second Edition is a fully revised guide to building machine learning models using Python and TensorFlow. You’ll apply core ML concepts to real-world challenges, such as sentiment analysis, text classification, and image recognition. Hands-on examples illustrate neur.... -
Deep Learning with Structured Data
Deep Learning with Structured Data teaches you powerful data analysis techniques for tabular data and relational databases. Get started using a dataset based on the Toronto transit system. As you work through the book, you’ll learn how easy it is to set up tabular data for deep learning, while solvi.... -
Python for Algorithmic Trading
Author Yves Hilpisch
Financial trading, once the exclusive domain of institutional players, is now open to small organizations and individual traders using online platforms. The tool of choice for many traders today is Python and its ecosystem of powerful packages. In this practical book, aut....
Release Date 2021/01 -
MySQL Concurrency: Locking and Transactions for MySQL Developers and DBAs
Know how locks work in MySQL and how they relate to transactions. This book explains the major role that locks play in database systems, showing how locks are essential in allowing high-concurrency workloads. You will learn about lock access levels and lock granularities from the user level as well .... -
TensorFlow 2.x in the Colaboratory Cloud: An Introduction to Deep Learning on Google’s Cloud Service
Use TensorFlow 2.x with Google's Colaboratory (Colab) product that offers a free cloud service for Python programmers. Colab is especially well suited as a platform for TensorFlow 2.x deep learning applications. You will learn Colab’s default install of the most current TensorFlow 2.x along w.... -
High Performance SQL Server: Consistent Response for Mission-Critical Applications
Design and configure SQL Server instances and databases in support of high-throughput, mission-critical applications providing consistent response times in the face of variations in numbers of users and query volumes. In this new edition, with over 100 pages of additional content, every original cha.... -
IBM Power Systems H922 and H924 Technical Overview and Introduction
This IBM® Redpaper™ publication is a comprehensive guide that covers the IBM Power System H922 (9223-22S), and IBM Power System H924 (9223-42S) servers that support memory-intensive workloads, such as SAP HANA, and deliver superior price and performance for mission-critical applications in IBM AIX®,.... -
Data Accelerator for AI and Analytics
This IBM® Redpaper publication focuses on data orchestration in enterprise data pipelines. It provides details about data orchestration and how to address typical challenges that customers face when dealing with large and ever-growing amounts of data for data analytics. While the amount of data incr....