Search Results

ENGLISH

On Raising A Digital Human - A Personal Evolution

by Norman I. Badler

~~47,30€~~ 33,11€ 30% OFF

free shipping

 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 own involvement and personal evolution.
ENGLISH

Advances In Human Activity Detection And Recognition (Hadr) Systems

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

~~47,30€~~ 33,11€ 30% OFF

free shipping

 This book provides a comprehensive overview of Human Activity Detection or Recognition (HADR) systems.
ENGLISH

Coding Examples From Simple To Complex - Applications In Javascriptâ„¢

by Paul A. Gagniuc

~~47,30€~~ 33,11€ 30% OFF

free shipping

 This book provides a comprehensive guide to JavaScript, which stands as the cornerstone of modern programming and is the main computer language driving the Internet.
ENGLISH

Coding Examples From Simple To Complex - Applications In Pythonâ„¢

by Paul A. Gagniuc

~~47,30€~~ 33,11€ 30% OFF

free shipping

 This book provides a comprehensive guide to Python, which stands as the cornerstone of modern programming and is the main computer language driving software prototyping in both industry and research.
ENGLISH

Coding Examples From Simple To Complex - Applications In Matlabâ®

by Paul A. Gagniuc

~~54,06€~~ 37,84€ 30% OFF

free shipping

 This book provides a comprehensive guide to Matlab, which stands as the cornerstone of modern education and is the main computer language driving development in science and engineering.
ENGLISH

Societal Impacts Of Artificial Intelligence And Machine Learning

by Carlo Lipizzi

~~54,06€~~ 37,84€ 30% OFF

free shipping

 This book goes beyond the current hype of expectations generated by the news on artificial intelligence and machine learning by analyzing realistic expectations for society, its limitations, and possible future scenarios for the use of this technology in our current society.
ENGLISH

Science Fiction Prototyping - Designing The Future With Science Fiction

by Johnson Brian David

~~24,32€~~ 17,02€ 30% OFF

free shipping

 Filled with history, real world examples and conversations with experts like best selling science fiction author Cory Doctorow, senior editor at Dark Horse Comics Chris Warner and Hollywood science expert Sidney Perkowitz, Science Fiction Prototyping will give you the tools you need tobegin designing the future with science fiction.
ENGLISH

Transforming Healthcare With Artificial Intelligence - Innovations And Applications

~~47,30€~~ 33,11€ 30% OFF

free shipping

 This book presents the groundbreaking ways artificial intelligence (AI) is revolutionizing the healthcare industry and delves into how AI technologies are enhancing patient care, improving diagnostic accuracy, and streamlining healthcare operations.
ENGLISH

A Beginnerâ€™S Guide To Generative Ai - An Introductory Path To Diffusion Models, Chatgpt, And Llms

by Aloysius Bathi Kasturiarachi, Angela Guercio, Deepshikha Bhati, Fnu Neha e Md Amiruzzaman

~~47,30€~~ 33,11€ 30% OFF

free shipping

 In addition, real-world applications of generative AI across various industries are explored including healthcare innovations, business analytics, and legal technology, and the authors provide practical insights and examples that show how generative AI is revolutionizing these fields.
ENGLISH

Human-Centric Ai With Common Sense

by Filip Ilievski

~~52,99€~~ 47,69€ 10% OFF

 This book enables readers to understand the challenges and opportunities of developing human-centered AI with commonsense reasoning abilities.
ENGLISH

Creating Autonomous Vehicle Systems

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

43,71€ + 10% CARD

 This book is the first technical overview of autonomous vehicles written for a general computing and engineering audience. The authors share their practical experiences of creating autonomous vehicle systems. These systems are complex, consisting of three major subsystems: (1) algorithms for localization, perception, and planning and control; (2) client systems, such as the robotics operating system and hardware platform; and (3) the cloud platform, which includes data storage, simulation, high-definition (HD) mapping, and deep learning model training. The algorithm subsystem extracts meaningful information from sensor raw data to understand its environment and make decisions about its actions. The client subsystem integrates these algorithms to meet real-time and reliability requirements. The cloud platform provides offline computing and storage capabilities for autonomous vehicles. Using the cloud platform, we are able to test new algorithms and update the HD map—plus, train better recognition, tracking, and decision models.</p>This book consists of nine chapters. Chapter 1 provides an overview of autonomous vehicle systems; Chapter 2 focuses on localization technologies; Chapter 3 discusses traditional techniques used for perception; Chapter 4 discusses deep learning based techniques for perception; Chapter 5 introduces the planning and control sub-system, especially prediction and routing technologies; Chapter 6 focuses on motion planning and feedback control of the planning and control subsystem; Chapter 7 introduces reinforcement learning-based planning and control; Chapter 8 delves into the details of client systems design; and Chapter 9 provides the details of cloud platforms for autonomous driving.</p>This book should be useful to students, researchers, and practitioners alike. Whether you are an undergraduate or a graduate student interested in autonomous driving, you will find herein a comprehensive overview of the whole autonomous vehicle technologystack. If you are an autonomous driving practitioner, the many practical techniques introduced in this book will be of interest to you. Researchers will also find plenty of references for an effective, deeper exploration of the various technologies.</p>
ENGLISH

Analytical Performance Modeling For Computer Systems, Second Edition

by Y.C. Tay

105,99€ + 10% CARD

 This book is an introduction to analytical performance modeling for computer systems, i.e., writing equations to describe their performance behavior. It is accessible to readers who have taken college-level courses in calculus and probability, networking and operating systems. This is not a training manual for becoming an expert performance analyst. Rather, the objective is to help the reader construct simple models for analyzing and understanding the systems that they are interested in.
ENGLISH

Introduction To Logic, Second Edition

by Eric Kao e Michael Genesereth

105,99€ + 10% CARD

 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 for advanced secondary school students, and it can be used at the start of graduate school for those who have not yet seen the material. The approach to teaching logic used here emerged from more than 20 years of teaching logic to students at Stanford University and from teaching logic to tens of thousands of others via online courses on the World Wide Web. The approach differs from that taken by other books in logic in two essential ways, one having to do with content, the other with form.Like many other books on logic, this one covers logical syntax and semantics and proof theory plus induction. However, unlike other books, this book begins with Herbrand semantics rather than the more traditional Tarskian semantics. This approach makes the material considerably easier for students to understand and leaves them with a deeper understanding of what logic is all about.In addition to this text, there are online exercises (with automated grading), online logic tools and applications, online videos of lectures, and an online forum for discussion. They are available at logic.stanford.edu/intrologic/
ENGLISH

Introduction To Logic

by Eric Kao e Michael Genesereth

37,09€ + 10% CARD

 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 for advanced secondary school students, and it can be used at the start of graduate school for those who have not yet seen the material. The approach to teaching logic used here emerged from more than 20 years of teaching logic to students at Stanford University and from teaching logic to tens of thousands of others via online courses on the World Wide Web. The approach differs from that taken by other books in logic in two essential ways, one having to do with content, the other with form.Like many other books on logic, this one covers logical syntax and semantics and proof theory plus induction. However, unlike other books, this book begins with Herbrand semantics rather than the more traditional Tarskian semantics. This approach makes the material considerably easier for students to understand and leaves them with a deeper understanding of what logic is all about.The primary content difference concerns the semantics of the logic that is taught. In addition to this text, there are online exercises (with automated grading), online logic tools and applications, online videos of lectures, and an online forum for discussion. They are available at logic.stanford.edu/intrologic/.Table of Contents: Introduction / Propositional Logic / Propositional Proofs / Propositional Resolution / Satisfiability / Herbrand Logic / Herbrand Logic Proofs / Resolution / Induction / First Order Logic
ENGLISH

Analytical Performance Modeling For Computer Systems

by Y.C. Tay

105,99€ + 10% CARD

 This book is an introduction to analytical performance modeling for computer systems, i.e., writing equations to describe their performance behavior. It is accessible to readers who have taken college-level courses in calculus and probability, networking, and operating systems. This is not a training manual for becoming an expert performance analyst. Rather, the objective is to help the reader construct simple models for analyzing and understanding the systems in which they are interested.Describing a complicated system abstractly with mathematical equations requires a careful choice of assumptions and approximations. These assumptions and approximations make the model tractable, but they must not remove essential characteristics of the system, nor introduce spurious properties.To help the reader understand the choices and their implications, this book discusses the analytical models in 20 research papers. These papers cover a broad range of topics: processors and disks, databasesand multimedia, worms and wireless, etc. An Appendix provides some questions for readers to exercise their understanding of the models in these papers.Table of Contents: Preliminaries / Concepts and Little''s Law / Single Queues / Open Systems / Markov Chains / Closed Systems / Bottlenecks and Flow Equivalence / Deterministic Approximations / Transient Analysis / Experimental Validation and Analysis / Analysis with an Analytical Model
ENGLISH

Theory Of Timed I/O Automata

by Dilsun K. Kaynar, Frits Vaandrager, Nancy Lynch e Roberto Segala

37,09€ + 10% CARD

 This monograph presents the timed input/output automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performance properties of the system depend on the timing of events, not just on the order of their occurrence. Timed systems are employed in a wide range of domains including communications, embedded systems, real-time operating systems, and automated control. Many applications involving timed systems have strong safety, reliability, and predictability requirements, which makes it important to have methods for systematic design of systems and rigorous analysis of timing-dependent behavior.An important feature of the TIOA framework is its support for decomposing timed system descriptions. In particular, the framework includes a notion of external behavior for a TIOA, which captures its discrete interactions with its environment. The framework alsodefines what it means for one TIOA to implement another, based on an inclusion relationship between their external behavior sets, and defines notions of simulations, which provide sufficient conditions for demonstrating implementation relationships. The framework includes a composition operation for TIOAs, which respects external behavior, and a notion of receptiveness, which implies that a TIOA does not block the passage of time.
ENGLISH

On Raising A Digital Human - A Personal Evolution

by Norman I. Badler

~~46,36€~~ 41,72€ 10% OFF

 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 own involvement and personal evolution.
ENGLISH

Coding Examples From Simple To Complex - Applications In Javascriptâ„¢

by Paul A. Gagniuc

~~47,30€~~ 33,11€ 30% OFF

free shipping

 This book provides a comprehensive guide to JavaScript, which stands as the cornerstone of modern programming and is the main computer language driving the Internet.
ENGLISH

Coding Examples From Simple To Complex - Applications In Pythonâ„¢

by Paul A. Gagniuc

~~47,30€~~ 33,11€ 30% OFF

free shipping

 This book provides a comprehensive guide to Python, which stands as the cornerstone of modern programming and is the main computer language driving software prototyping in both industry and research.
ENGLISH

Metareasoning For Robots - Adapting In Dynamic And Uncertain Environments

by Jeffrey W. Herrmann

~~74,34€~~ 52,04€ 30% OFF

free shipping

 Readers will be able to describe metareasoning, select an appropriate metareasoning approach, and synthesize metareasoning policies. This book introduces key concepts, discusses design options for metareasoning approaches and policies, and presents approaches for testing and evaluation of metareasoning policies.
ENGLISH

Adaptive And Learning-Based Control Of Safety-Critical Systems

by Calin Belta e Max Cohen

~~74,34€~~ 52,04€ 30% OFF

free shipping

 This book stems from the growing use of learning-based techniques, such as reinforcement learning and adaptive control, in the control of autonomous and safety-critical systems. This book contains recent results on provably correct control techniques from specifications that go beyond safety and stability, such as temporal logic formulas.
ENGLISH

Safe Autonomy With Control Barrier Functions - Theory And Applications

by Calin Belta, Christos G. Cassandras e Wei Xiao

~~74,34€~~ 52,04€ 30% OFF

free shipping

 This book presents the concept of Control Barrier Function (CBF), which captures the evolution of safety requirements during the execution of a system and can be used to enforce safety.
ENGLISH

Coding Examples From Simple To Complex - Applications In Matlabâ®

by Paul A. Gagniuc

~~54,06€~~ 37,84€ 30% OFF

free shipping

 This book provides a comprehensive guide to Matlab, which stands as the cornerstone of modern education and is the main computer language driving development in science and engineering.
ENGLISH

Societal Impacts Of Artificial Intelligence And Machine Learning

by Carlo Lipizzi

~~54,06€~~ 37,84€ 30% OFF

free shipping

 This book goes beyond the current hype of expectations generated by the news on artificial intelligence and machine learning by analyzing realistic expectations for society, its limitations, and possible future scenarios for the use of this technology in our current society.
Loading results...

View more results