Adaptive and Learning-Based Control of Safety-Critical Systems

Max Cohen, Calin Belta

• Paperback | Engels | Synthesis Lectures on Computer Science
• This book stems from the growing use of learning-based techniques, such as reinforcement learning and adaptive control, in the control of autonomous a... Lees meer

Coding Examples from Simple to Complex

Paul A Gagniuc

• Hardcover | Engels | Synthesis Lectures on Computer Science
• This book provides a comprehensive guide to JavaScript, which stands as the cornerstone of modern programming and is the main computer language drivin... Lees meer

Metareasoning for Robots

Jeffrey W Herrmann

• Hardcover | Engels | Synthesis Lectures on Computer Science
• This book is a state of the art resource that robotics researchers and engineers can use to make their robots and autonomous vehicles smarter. Readers... Lees meer

Introduction to the Development of Web Applications Using ASP .Net (Core) MVC

Razvan Alexandru Mezei

• Paperback | Engels | Synthesis Lectures on Computer Science
• This book introduces a simplified approach to web application development using the open-source ASP .Net Core MVC framework. Readers will learn to imp... Lees meer

Automated Verification of Concurrent Search Structures

Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies

• Paperback | Engels | Synthesis Lectures on Computer Science
• Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the valu... Lees meer

Societal Impacts of Artificial Intelligence and Machine Learning

Carlo Lipizzi

• Hardcover | Engels | Synthesis Lectures on Computer Science
• This book goes beyond the current hype of expectations generated by the news on artificial intelligence and machine learning by analyzing realistic ex... Lees meer

Advances in Human Activity Detection and Recognition (Hadr) Systems

Santosh Kumar Tripathy, Roshan Singh, Rajeev Srivastava, Akash Kumar Bhoi, Santosh Kumar Satapathy

• Hardcover | Engels | Synthesis Lectures on Computer Science
• This book provides a comprehensive overview of Human Activity Detection or Recognition (HADR) systems. Detection or recognition of human activities is... Lees meer

Creating Autonomous Vehicle Systems, Second Edition

Shaoshan Liu, Liyun Li, Jie Tang, Shuang Wu, Jean-Luc Gaudiot

• Paperback | Engels | Synthesis Lectures on Computer Science
• This book is one of the first technical overviews of autonomous vehicles written for a general computing and engineering audience. The authors share t... Lees meer

Introduction to Logic

Michael Genesereth

• Paperback | Engels | Synthesis Lectures on Computer Science
• This book is a gentle but rigorous introduction to Formal Logic. It is intended primarily for use at the college level. However, it can also be used f... Lees meer

Storing Clocked Programs Inside DNA

Jessica Chang, Dennis Shasha

• Paperback | Engels | Synthesis Lectures on Computer Science
• In the history of modern computation, large mechanical calculators preceded computers. A person would sit there punching keys according to a procedure... Lees meer

Dynamic Graph Learning for Dimension Reduction and Data Clustering

Lei Zhu, Jingjing Li, Zheng Zhang

• Hardcover | Engels | Synthesis Lectures on Computer Science
• This book illustrates how to achieve effective dimension reduction and data clustering. The authors explain how to accomplish this by utilizing the ad... Lees meer

Coding Examples from Simple to Complex

Paul A Gagniuc

• Hardcover | Engels | Synthesis Lectures on Computer Science
• This book provides a comprehensive guide to Matlab, which stands as the cornerstone of modern education and is the main computer language driving deve... Lees meer

An Introduction to Programming Languages: Simultaneous Learning in Multiple Coding Environments

Paul A Gagniuc

• Paperback | Engels | Synthesis Lectures on Computer Science
• After a short introduction on the history of programming languages, this book provides step-by-step examples that are mirrored in seven programming la... Lees meer

On Raising a Digital Human

Norman I Badler

• Hardcover | Engels | Synthesis Lectures on Computer Science
• This book tells the story of building digital virtual human models in the context of the background, choices, and occurrences that shaped the author's... Lees meer

Principles of Blockchain Systems

• Paperback | Engels | Synthesis Lectures on Computer Science
• This book is the first to present the state of the art and provide technical focus on the latest advances in the foundations of blockchain systems. It... Lees meer

Coding Examples from Simple to Complex

Paul A Gagniuc

• Hardcover | Engels | Synthesis Lectures on Computer Science
• This book provides a comprehensive guide to Python, which stands as the cornerstone of modern programming and is the main computer language driving so... Lees meer

Dynamic Graph Learning for Dimension Reduction and Data Clustering

Lei Zhu, Jingjing Li, Zheng Zhang

• Paperback | Engels | Synthesis Lectures on Computer Science
• This book illustrates how to achieve effective dimension reduction and data clustering. The authors explain how to accomplish this by utilizing the ad... Lees meer

Analytical Performance Modeling for Computer Systems

Y.C. Tay

• Paperback | Synthesis Lectures on Computer Science
• Provides an introduction to analytical performance modeling for computer systems. This book is accessible to readers who have taken college-level cour... Lees meer

Human-Centric AI with Common Sense

Filip Ilievski

• Hardcover | Engels | Synthesis Lectures on Computer Science
• This book enables readers to understand the challenges and opportunities of developing human-centered AI with commonsense reasoning abilities. Despite... Lees meer

Metareasoning for Robots

Jeffrey W Herrmann

• Paperback | Engels | Synthesis Lectures on Computer Science
• This book is a state of the art resource that robotics researchers and engineers can use to make their robots and autonomous vehicles smarter. Readers... Lees meer

Safe Autonomy with Control Barrier Functions

Wei Xiao, Christos G Cassandras, Calin Belta

• Hardcover | Engels | Synthesis Lectures on Computer Science
• This book presents the concept of Control Barrier Function (CBF), which captures the evolution of safety requirements during the execution of a system... Lees meer

Science Fiction for Prototyping

Brian David Johnson

• Paperback | Engels | Synthesis Lectures on Computer Science
• Science fiction is the playground of the imagination. If you are interested in science or fascinated with the future then science fiction is where you... Lees meer

Creating Autonomous Vehicle Systems

Shaoshan Liu

• Paperback | Engels | Synthesis Lectures on Computer Science
• This book is the first technical overview of autonomous vehicles written for a general computing and engineering audience. The authors share their pra... Lees meer

Analytical Performance Modeling for Computer Systems, Third Edition

Y C Tay

• Paperback | Engels | Synthesis Lectures on Computer Science
• This book is an introduction to analytical performance modeling for computer systems, i.e., writing equations to describe their performance behavior. ... Lees meer