Search Results

ENGLISH

Turing'S Children - How His Ideas Have Shaped The Modern World

by Alessandro Panconesi, Devdatt Dubhashi e Gerardo Schneider

~~34,53€~~ 31,08€ 10% OFF

 This book explores the profound legacy of Alan Turing, and how his five great ideas have been developed by the winners of the Turing Prize to shape the digital world we live in today. These five groundbreaking concepts—universal computability and insolvability, cryptography, electronic digital computers and software, artificial intelligence (AI), and computational biology—serve as the pillars of the narrative.Turing’s Children makes the complex ideas in the work of the Turing prize winners accessible to a broad audience. It traces the evolution of these ideas from abstract mathematical principles to their real-world applications, demonstrating their influence on everyday life. Readers will discover how Turing’s legacy is woven into the fabric of modern technology: from the smartphones in our pockets and secure online banking, to the development of life-saving drugs and the conversational abilities of AI systems like ChatGPT.The book weaves together historical anecdotes, profiles of pioneering scientists, and vivid examples of current innovations. It offers a comprehensive view of how Turing’s vision continues to inspire breakthroughs across science and technology. Turing’s Children reveals the enduring relevance of Turing’s ideas and the ongoing quest to push the boundaries of what machines—and humanity—can achieve.Advance Praise for Turing’s Children"In Turing’s Children, the authors offer a bird’s eye view of computer science in a compact and accessible way... the lay reader will have a broad picture as computer science and a field of science and engineering." - Moshe Vardi, the Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University and former Editor in Chief of the Communications of the ACM"An engrossing tour de force of the greatest ideas in modern computer science." -Prabhakar Raghavan, Chief Technologist, Google
ENGLISH

Turning Points In The Analog And Digital World

by Herbert Bruderer

~~68,85€~~ 61,97€ 10% OFF

 This book presents "the digital age" as a central theme, covering digital transformation, social media, artificial intelligence, autonomous drones and mobile robots as well as self-driving vehicles. Among many other topics, the author also discusses quantum computers, DNA data storage, 3D printing, and the power and influence of technology giants. Amid the wave of digitization and the fascination with generative artificial intelligence, it is easy to overlook the compelling world of analog technology. Hence the book also describes an extraordinary array of largely forgotten objects: magnificent musical automatons, amazing picture clocks (with and without musical movements), mysterious automaton figures, historical surveying instruments, superb astronomical clocks, elaborate astrolabes and armillary spheres, instructive terrestrial and celestial globes, mechanical looms, speaking and chess-playing machines, bead frames, counting boards, reckoning cloths, jetons, numbering rods, pocket calculators, cylindrical slide rules, sectors and proportional compasses, cash registers, differential analyzers, the German Enigma cipher machine and the Turing Bombe, the Colossus computer, clay tablets, notched bones, tally sticks, knotted cords, and finger numbers.The work includes more than 500 illustrations (90% in color) from the fields of mathematics, computing, astronomy, surveying, time measurement, and the construction of automatons. The objects under discussion derive from Africa, America, Asia, Australia and Europe, in total from more than 20 countries. This universally understandable book is accessible to anyone interested in the history of technology and culture.
ENGLISH

Science Of Software Product Lines

by Don Batory

~~42,22€~~ 38,00€ 10% OFF

 This text is about compositional programming, where programs are constructed by composing prewritten software building blocks. Three modern compositional paradigms are covered, listed in order of decreasing emphasis:A Software Product Line is a design for a family of programs. Each program is composed from predefined increments of program functionality. The Linux Kernel is the largest known product line whose family size exceeds 102000 distinct programs.Model Driven Engineering is a general-purpose engineering methodology to support system design, analysis, construction, and evolution. Software designs are expressed as models. Transformations are composed to convert models into other models for analysis, to produce documentation and/or source.Streaming Applications are dataflow graphs whose nodes (called boxes) are computations with input and output data streams; boxes are wired/composed together to produce a custom program (aka software circuit). Examples are Unix pipe-and-filters and distributed stream processing.The book is aimed at both practitioners and advanced students, assuming some familiarity with programming in Java. It draws on the author’s unique personal insights from over four decades of experience as an academic at a leading research university as well as a hands-on developer of software tools. Written in an engaging style, the text highlights important contributions toward principled software engineering and composable designs made by researchers in diverse areas such as formal methods, programming languages, software system development, testing and deployment, databases, and networks. Parts of the book can be read and enjoyed as a historical narrative, while others can be studied more deeply to reflect on open research challenges and opportunities. In a world where AI and machine learning offer seductive yet untapped opportunities to generate software automatically, this book is a reminder of how and why the mathematical foundations of software construction still matter.
ENGLISH

Biomedical Embedded Systems - From Design To Security

by Hammond Pearce, Nathan Allen e Partha Roop

~~58,25€~~ 52,43€ 10% OFF

 Biomedical systems—such as pacemakers and automated insulin pumps—are Cyber-Physical Systems (CPSs) that must operate safely and reliably at all times. This book introduces a systematic design methodology for Medical CPSs (MCPSs) using the synchronous approach, which ensures deterministic and reactive execution—key to safety-critical performance.Through a detailed case study of a pacemaker and a modeled human heart, this book demonstrates how the synchronous approach enables accurate modeling, verification, and automated code generation. Using the SCCharts language, readers learn how to model the cardiac conduction system and a DDD-mode pacemaker, derive embedded implementations, and validate them via a synchronous heart simulator.The book then covers formal verification using the UPPAAL model checker, followed by run-time verification methods that form the foundation for preventing adversarial attacks. It concludes with references to open-source tools and future research directions relevant to the CPS community.This is a clear, practical guide to designing safe and verifiable medical cyber-physical systems.
ENGLISH

Functional Data Structures And Algorithms - A Proof Assistant Approach

by Tobias Nipkow

~~58,25€~~ 52,43€ 10% OFF

 This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic programming, amortized analysis, splay trees, skew heaps and pairing heaps. The final part of the book covers a number of selected fun topics: graph algorithms, string search, Huffman's algorithm for generating optimal codes and alpha-beta pruning of game trees.The book covers both correctness (does the algorithm do what it is supposed to do?) and running time analysis (does the algorithm terminate within a specified number of steps?). It does so in a unified manner with inductive proofs about functional programs and their running time functions. What sets this book apart from existing books on algorithms is that all proofs have been machine-checked, by the proof assistant Isabelle. That is, in addition to the text in the book, which requires no knowledge of proof assistants!, the Isabelle definitions and proofs are available online. The structured nature of Isabelle proofs permits even novices to follow the high-level arguments.This book is aimed at teachers and students (it has been classroom-tested for a number of years) but is also a reference work for programmers and researchers who are interested in the (verified!) details of some algorithm or proof.
ENGLISH

Thinking About Programs

by Gavin Lowe

~~63,55€~~ 57,20€ 10% OFF

 This book describes how to think about computer programs, and how to use mathematics as part of that thinking. Many books and on-line tutorials teach the basics of coding: the syntax of the language, and how to translate an algorithm into code. But how do you come up with that algorithm? And how can you be confident that the algorithm is correct?The first part of the book considers small programs that use a loop, and how to demonstrate their correctness using loop invariants. It also covers some algorithms and algorithmic techniques that every programmer should know. The second half of the book considers slightly larger programs. It teaches the basics of modularisation, splitting up a program into manageable chunks. It teaches about abstract datatypes, values within a program that can be treated as mathematical values: how to specify their behaviours formally; and how to treat them as abstract mathematical objects when programming. It also teaches how to use data structures to represent abstract datatypes, and what it means for such a representation to be correct. And it presents some abstract datatypes and data structures that every programmer should know.The book is aimed at those who want to obtain a better understanding of programs they work on, and so become better programmers. The target audience ranges from those who are just starting out, to professional programmers. The book aims to be pragmatic: the philosophy is to include enough formality to be convincing and to guide the programmer towards correct code, without getting bogged down in the mathematics.
ENGLISH

Multi-Llm Agent Collaborative Intelligence - The Path To Artificial General Intelligence

by Edward Chang

~~95,35€~~ 85,82€ 10% OFF

 Today's large language models excel at pattern recall yet falter on long-range planning, self-critique, context loss, and the tendency of maximum-likelihood training to reward popularity over quality. MACI offers a promising route to AGI by orchestrating specialized LLM agents through explicit protocols rather than enlarging a single model. Several modules remedy complementary weaknesses: adversarial-collaborative debate surfaces hidden assumptions; critical-reading rubrics filter incoherent arguments; information-theoretic signals steer dialogue quantitatively; transactional memory enables reliable long-horizon execution; and a dual-agent ethical court adjudicates outputs. Crucially, MACI also modulates linguistic behavior, tuning each agent's contentiousness and emotional tone, so the collective explores ideas from contrasting, affect-aware perspectives before converging.Fourteen aphorisms distill the framework's philosophy, including "Intelligence emerges from regulated collaboration, not isolated brilliance" and "Exploration must remain in tension with exploitation." Across healthcare diagnosis, investment support, scheduling, supply-chain management, and news-bias mitigation, MACI ensembles deliver significant improvements in reasoning depth, planning horizon, and reliability compared with similar-sized single models. By uniting structured debate, information-theoretic coordination, persistent memory, affect-aware discourse, and deliberative ethics, MACI demonstrates that rigorously validated multi-agent collaboration provides a practical, interpretable path toward robust general intelligence.
ENGLISH

Formal Verification Of Just-In-Time Compilation

by Aurèle Barrière

~~58,25€~~ 52,43€ 10% OFF

 This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. Most modern web browsers today use Just-in-Time compilation to speed up the execution of the JavaScript programs they execute.However, the techniques used in Just-in-Time compilers can be particularly complex. This complexity can be a source of bugs and vulnerabilities. How can you make sure that your Just-in-Time compiler is bug-free? For traditional ahead-of-time compilers, many techniques have been developed to prevent compilation bugs. One such technique is formally verified compilation, where the compiler itself comes with proof that the semantics of the compiled program correspond to the semantics of the source program. But Just-in-Time compilers are more recent, less understood, and have been the target of far fewer verification efforts.To bring formal verification to Just-in-Time compilation, the book identifies a set of specific verification challenges and presents novel solutions for each of them. Such challenges include dynamic optimizations, speculative optimizations, deoptimizations, and the interleaving of interpretation and machine code generation. The author repurposes proof techniques from formally verified ahead-of-time compilers like CompCert. Following this methodology, readers can develop Just-in-Time compilers and formally prove that they behave as prescribed by the semantics of the program they execute. All proofs within the book have been mechanized in the Coq proof assistant.
ENGLISH

Seymour Cray Era Of Supercomputers - From Fast Machines To Fast Codes

by Boelie Elzen e Donald Mackenzie

~~38,68€~~ 34,81€ 10% OFF

 This book describes the development and use of supercomputers in the period 1960-1996, a time that can be called the Seymour Cray Era. For more than three decades, Cray’s computer designs were seen as the yardstick against which all other efforts were measured. Initially, this yardstick was sheer computing speed. However, the supercomputer world gradually became more complex and other factors became equally important.The initial development of supercomputers was commissioned and financed by the Los Alamos and Lawrence Livermore National Laboratories, which had huge computational needs in connection with nuclear weapons development. The computers designed by Cray satisfied those needs, while these computers were also sold to a few dozen other big research organizations and weather agencies. From the 1980s, a variety of companies started to compete with the Cray designs by offering supercomputers that used a new architectural approach, MPP: massively parallel processing. This new architecture, based on using tens of thousands of relatively simple microprocessors, subsequently began to dominate high-performance computing and marked the end of the Seymour Cray Era.This book is important reading for anyone working in the area of high-performance computing, providing essential historical context for the work of a legendary pioneer and the computers he became famous for designing. It will also be valuable to students of computing history and, more generally, to readers interested in the history of science and technology. For advanced students, the book illustrates how innovation in its very essence is a socio-technical process: not just a matter of developing the "best technology," but also of making appropriate choices concerning the interaction of human and technical factors in product design.
ENGLISH

Indistinguishability Obfuscation From Well-Studied Assumptions

by Aayush Jain

~~58,25€~~ 52,43€ 10% OFF

 Software obfuscation is used in cryptography to transform source code to make it unintelligible without altering what it computes. As a software security mechanism, it is essential that software obfuscation have a firm mathematical foundation.The research described in this book, for which the author won the ACM Dissertation Award, establishes the feasibility of mathematically rigorous software obfuscation from well-studied hardness conjectures. The mathematical object that the author constructs, indistinguishability obfuscation, is considered a theoretical "master tool" in the context of cryptography: not only in helping to achieve long-desired cryptographic goals such as functional encryption, but also in expanding the scope of the field of cryptography itself. For example, indistinguishability obfuscation aids in goals related to software security that were previously entirely in the domain of software engineering.
ENGLISH

Calculated Imagery - A History Of Computer Graphics In Hollywood Cinema

by Mark J.P. Wolf

~~95,35€~~ 85,82€ 10% OFF

 This is a comprehensive history of computer graphics in Hollywood cinema. As the first such work of its kind, it is an essential reference for anyone interested in the history of cinema, visual effects, or computer graphics, and the industries of which they are a part.The book begins with a look at the history behind the calculation of images, from weaving to screen imaging, and the faux computer graphics used in movies before real computer graphics were available or affordable. Next, the author examines the rise of computer graphics and computer-animated films, and the gradual introduction of computer-generated imagery into the cinema. The narrative moves chronologically through the development of computer-generated animation and its use both for cartoonlike imagery and for photorealistic imagery. The author discusses behind-the-scenes uses of computer graphics in the film industry, and how these uses have impacted the kinds of imagery made and the technologies by which they are made. The book also looks at how computer animation is combined with approaches such as procedural generation and simulation, and the ways in which computers automate imagery.Throughout the book, the histories of individuals, companies, films, and computer graphics techniques are explored in detail, as well as changes in the visual effects (VFX) industry itself over time. Calculated Imagery: A History of Computer Graphics in Hollywood Cinema is for anyone interested in how CG changed the VFX industry, film history, and filmmaking overall, and the people, companies, and techniques that made it happen.
ENGLISH

Societal Impacts Of Algorithmic Decision-Making

by Manish Raghavan

63,55€ + 10% CARD

 This book demonstrates the need for and the value of interdisciplinary research in addressing important societal challenges associated with the widespread use of algorithmic decision-making. Algorithms are increasingly being used to make decisions in various domains such as criminal justice, medicine, and employment. While algorithmic tools have the potential to make decision-making more accurate, consistent, and transparent, they pose serious challenges to societal interests. For example, they can perpetuate discrimination, cause representational harm, and deny opportunities.The Societal Impacts of Algorithmic Decision-Making presents several contributions to the growing body of literature that seeks to respond to these challenges, drawing on techniques and insights from computer science, economics, and law. The author develops tools and frameworks to characterize the impacts of decision-making and incorporates models of behavior to reason about decision-making in complex environments. These technical insights are leveraged to deepen the qualitative understanding of the impacts of algorithms on problem domains including employment and lending.The social harms of algorithmic decision-making are far from being solved. While easy solutions are not presented here, there are actionable insights for those who seek to deploy algorithms responsibly. The research presented within this book will hopefully contribute to broader efforts to safeguard societal values while still taking advantage of the promise of algorithmic decision-making.
ENGLISH

Linking The World'S Information - Essays On Tim Berners-Lee''S Invention Of The World Wide Web

32,40€ + 10% CARD

 When Sir Tim Berners-Lee first proposed the foundations of the World Wide Web at CERN in 1989, his manager called it "vague, but exciting." How things have changed since then! Twenty-six years later, Berners-Lee won the ACM Turing Award "for inventing the World Wide Web, the first Web browser, and the fundamental protocols and algorithms allowing the Web to scale." This book is a compilation of articles on the original ideas of a true visionary and the subsequent research and development work he has led, helping to realize the Web’s full potential. It is intended for readers interested in the Web’s original technical development, how it has changed over time, and the social impacts of the Web as steered by Berners-Lee since the very beginning.The book covers Berners-Lee’s development of the key protocols, naming schemes, and markup languages that led to his "world wide web" program and ultimately to the Web as we know it today. His early efforts were refined as Web technology spread around the world, and he was further guided by the work of the World Wide Web Consortium, which he founded and still directs. He was instrumental in the conceptualization and realization of the Semantic Web, a field that is gaining momentum in the age of big data and knowledge graphs; was a driving force for the field of Web Science, a new and growing research area dedicated to the study of both the engineering and the impacts of the Web; and he continues to innovate through his research work at MIT on open and decentralized information. Berners-Lee is also known for his contributions to keeping the Web open and ubiquitous via his work with the World Wide Web Foundation, the UK’s Open Data Institute and his recent call for a crowdsourced magna carta for the Web. This book will help the reader to understand how Sir Tim’s invention of the World Wide Web has revolutionized not just Computer Science, but global society itself.
ENGLISH

Geospatial Data Science - A Hands-On Approach For Building Geospatial Applications Using Linked Data Technologies

41,78€ + 10% CARD

 This introductory textbook teaches the simple development of geospatial applications based on the principles and software tools of geospatial data science. It introduces a new generation of geospatial technologies that have emerged from the development of the Semantic Web and the linked data paradigm, and shows how data scientists can use them to build environmental applications easily. Geospatial data science is the science of collecting, organizing, analyzing, and visualizing geospatial data. Since around 2010, there has been extensive work in the area of geospatial data science using semantic technologies and linked data, from researchers in the areas of the Semantic Web, Geospatial Databases and Geoinformatics. The main results of this research have been the publication of the OGC standard GeoSPARQL and the implementation of a number of linked data tools supporting this standard. Up to now, there has been no textbook that enables someone to teach this material to undergraduate or graduate students.The material of the book is developed in a tutorial style and it is appropriate for an introductory course on the subject. This can be an advanced undergraduate course or a graduate course offered by Computer Science or GIS faculty. It is a hands-on approach and every chapter contains exercises that help students master the material.The book is accompanied by a Web site: https://ai.di.uoa.gr/geospatial-data-science-book/index.html where solutions to some of the exercises are given together with supplementary material such as datasets and code. Most of the material in the book has been tried in the "Knowledge Technologies" course taught by the first author in the Department of Informatics and Telecommunications of the National and Kapodistrian University of Athens since 2012.
ENGLISH

Calculated Imagery - A History Of Computer Graphics In Hollywood Cinema

by Mark J.P. Wolf

~~95,35€~~ 85,82€ 10% OFF

 This is a comprehensive history of computer graphics in Hollywood cinema. As the first such work of its kind, it is an essential reference for anyone interested in the history of cinema, visual effects, or computer graphics, and the industries of which they are a part.The book begins with a look at the history behind the calculation of images, from weaving to screen imaging, and the faux computer graphics used in movies before real computer graphics were available or affordable. Next, the author examines the rise of computer graphics and computer-animated films, and the gradual introduction of computer-generated imagery into the cinema. The narrative moves chronologically through the development of computer-generated animation and its use both for cartoonlike imagery and for photorealistic imagery. The author discusses behind-the-scenes uses of computer graphics in the film industry, and how these uses have impacted the kinds of imagery made and the technologies by which they are made. The book also looks at how computer animation is combined with approaches such as procedural generation and simulation, and the ways in which computers automate imagery.Throughout the book, the histories of individuals, companies, films, and computer graphics techniques are explored in detail, as well as changes in the visual effects (VFX) industry itself over time. Calculated Imagery: A History of Computer Graphics in Hollywood Cinema is for anyone interested in how CG changed the VFX industry, film history, and filmmaking overall, and the people, companies, and techniques that made it happen.
ENGLISH

Indistinguishability Obfuscation From Well-Studied Assumptions

by Aayush Jain

~~58,25€~~ 52,43€ 10% OFF

 Software obfuscation is used in cryptography to transform source code to make it unintelligible without altering what it computes. As a software security mechanism, it is essential that software obfuscation have a firm mathematical foundation.The research described in this book, for which the author won the ACM Dissertation Award, establishes the feasibility of mathematically rigorous software obfuscation from well-studied hardness conjectures. The mathematical object that the author constructs, indistinguishability obfuscation, is considered a theoretical "master tool" in the context of cryptography: not only in helping to achieve long-desired cryptographic goals such as functional encryption, but also in expanding the scope of the field of cryptography itself. For example, indistinguishability obfuscation aids in goals related to software security that were previously entirely in the domain of software engineering.
ENGLISH

Formal Verification Of Just-In-Time Compilation

by Aurèle Barrière

~~58,25€~~ 52,43€ 10% OFF

 This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. Most modern web browsers today use Just-in-Time compilation to speed up the execution of the JavaScript programs they execute.However, the techniques used in Just-in-Time compilers can be particularly complex. This complexity can be a source of bugs and vulnerabilities. How can you make sure that your Just-in-Time compiler is bug-free? For traditional ahead-of-time compilers, many techniques have been developed to prevent compilation bugs. One such technique is formally verified compilation, where the compiler itself comes with proof that the semantics of the compiled program correspond to the semantics of the source program. But Just-in-Time compilers are more recent, less understood, and have been the target of far fewer verification efforts.To bring formal verification to Just-in-Time compilation, the book identifies a set of specific verification challenges and presents novel solutions for each of them. Such challenges include dynamic optimizations, speculative optimizations, deoptimizations, and the interleaving of interpretation and machine code generation. The author repurposes proof techniques from formally verified ahead-of-time compilers like CompCert. Following this methodology, readers can develop Just-in-Time compilers and formally prove that they behave as prescribed by the semantics of the program they execute. All proofs within the book have been mechanized in the Coq proof assistant.
ENGLISH

The Seymour Cray Era Of Supercomputers - From Fast Machines To Fast Codes

by Boelie Elzen e Donald Mackenzie

~~38,68€~~ 34,81€ 10% OFF

 This book describes the development and use of supercomputers in the period 1960-1996, a time that can be called the Seymour Cray Era. For more than three decades, Cray’s computer designs were seen as the yardstick against which all other efforts were measured. Initially, this yardstick was sheer computing speed. However, the supercomputer world gradually became more complex and other factors became equally important.The initial development of supercomputers was commissioned and financed by the Los Alamos and Lawrence Livermore National Laboratories, which had huge computational needs in connection with nuclear weapons development. The computers designed by Cray satisfied those needs, while these computers were also sold to a few dozen other big research organizations and weather agencies. From the 1980s, a variety of companies started to compete with the Cray designs by offering supercomputers that used a new architectural approach, MPP: massively parallel processing. This new architecture, based on using tens of thousands of relatively simple microprocessors, subsequently began to dominate high-performance computing and marked the end of the Seymour Cray Era.This book is important reading for anyone working in the area of high-performance computing, providing essential historical context for the work of a legendary pioneer and the computers he became famous for designing. It will also be valuable to students of computing history and, more generally, to readers interested in the history of science and technology. For advanced students, the book illustrates how innovation in its very essence is a socio-technical process: not just a matter of developing the "best technology," but also of making appropriate choices concerning the interaction of human and technical factors in product design.
ENGLISH

Information Retrieval: Advanced Topics And Techniques

~~108,05€~~ 97,25€ 10% OFF

 In the last decade, deep learning and word embeddings have made significant impacts on information retrieval (IR) by adding techniques based in neural networks and language models. At the same time, certain search modalities such as neural IR and conversational search have become more popular. This book, written by international academic and industry experts, brings the field up to date with detailed discussions of these new approaches and techniques. The book is organized in three sections: Foundations, Adaptations and Concerns, and Verticals.Under Foundations, we address topics that form the basic structure of any modern IR system, including recommender systems. These new techniques are developed to augment indexing, retrieval, and ranking. Neural IR, recommender systems, evaluation, query-driven functionality, and knowledge graphs are covered in this section.IR systems need to adapt to specific user characteristics and preferences, and techniques that were considered too niche a few years ago are now a matter of system design consideration. The Adaptations and Concerns section covers the following topics: conversational search, cross-language retrieval, temporal extraction and retrieval, bias in retrieval systems, and privacy in search.While web search engines are the most popular information access point, there are cases where specific verticals provide a better experience in terms of content and relevance. The Verticals section describes eCommerce, professional search, personal collections, music retrieval, and biomedicine as examples.
ENGLISH

Formal Methods For Safe Autonomy - Data-Driven Verification, Synthesis, And Applications

by Chuchu Fan

~~44,75€~~ 40,28€ 10% OFF

 There are significant financial and legal implications for ensuring design correctness and safety in autonomous systems. This book introduces new verification and synthesis algorithms to provide certifiable trusts for real-world autonomous systems. On the theoretical front, the techniques are armed with soundness, precision, and relative completeness guarantees. On the experimental side, this book shows that techniques can be successfully applied on a sequence of real-world problems, including a suite of Toyota engine control modules verified for the first time, satellite control systems, and autonomous driving and ADAS-based maneuvers.Insights throughout the book provide a level of assurance that can be provided by formal methods for today’s autonomous systems. Verification and synthesis for typical models of real-world autonomous systems are challenging due to their high dimensionality, nonlinearities, and nondeterministic and hybrid nature. In addressing these challenges, several chapters present data-driven algorithmic verification via reachability analysis of complex hybrid systems as well as controller synthesis for dynamic systems under disturbance.The book includes the first algorithm for over-approximating reach sets of general nonlinear models with locally optimal tightness guarantees as well as algorithms to find correct-by-construction controllers for nonlinear dynamical systems. It is written for researchers in the corporate world, academia, government, and practitioners in autonomous systems.
ENGLISH

Rendering History - The Women Of Acm-W

~~158,84€~~ 142,96€ 10% OFF

 The Association for Computing Machinery (ACM) has more than 100,000 members circling the globe, including trailblazing women who created ACM-W (ACM’s Committee on Women in Computing) in 1993. This book, published in celebration of ACM-W’s 30th birthday, divides the history of ACM-W into three parts.The first section provides a traditional history that details the evolution of ACM-W’s projects. In the next section, Rendering History allows the women of ACM-W to tell their own stories. What motivated them to trade personal time and energy for work that would change the face of computing for women and young girls? Among many others, Sue Black relates a story that spans her escape from two abusive homes to recognition for her computing accomplishments by both the late Queen of England and the current King. Kathy Kleiman describes her contributions to the field, including helping to rescue the wireless spectrum (now used by WiFi) from the (US) Federal Communications Commission’s plan to sell it. Bhavani Thuraisingham writes about her birth in Sri Lanka, an arranged marriage to a man eight years her senior, and cutting-edge research in the integration of cyber security and machine learning. The final section of the book provides an annotated bibliography of the research that launched ACM-W and continued to inform its projects over the next 30 years.ACM-W advocates internationally for the full engagement of women in all aspects of the computing field, providing a wide range of programs and services to ACM members and working in the larger community to advance the contributions of technical women. The main theme of ACM-W’s 30-year history as detailed in this book is the organization’s maturation from a US-centric organization to a global leader in supporting the advancement of women in computer science.
ENGLISH

Digital Dreams Have Become Nightmares - What We Must Do

by Ronald M. Baecker

~~42,35€~~ 38,12€ 10% OFF

 This book offers a compelling discussion of the digital dreams that have come true, their often-unintended side effects (nightmares), and what must be done to counteract the nightmares. It is intended as an impetus to further conversation not only in homes and workplaces, but in academic courses and even legislative debates. Equally importantly, the book is a presentation of what digital technology professionals need to know about these topics and the actions they should undertake individually and in support of other citizens, societal initiatives, and government. The author begins by introducing the amazing progress made in digital technologies over the past 80 years. Pioneering engineers dreamed of potential uses of technology through their writing and technical achievements, further inspiring thousands of researchers to bring the dreams to life, and to dream new dreams as well. The second part of the book describes the myriad adverse side effects and unanticipated challenges that arose as those dreams were pursued and achieved. Examples include rampant misinformation on social media, ransomware, autonomous weapons, and the premature use of AI before it is reliable and safe.The book closes with a positive call to action, outlining ways to address the challenges through ethical career choices, careful analysis, thoughtful design, research, citizen engagement, legislation/regulation, and careful consideration of how bad actors may use technology.  Readers of Digital Dreams Have Become Nightmares should become more knowledgeable, wiser, and also cautiously optimistic, determined to affect positive changes through their design, creation, and use of technology.
ENGLISH

Spatial Gems - Volume 2

~~52,95€~~ 47,66€ 10% OFF

 Spatial gems are computational techniques for processing spatial data. This book, a follow-up to the first Spatial Gems volume, is a further collection of techniques contributed by leading research experts. Although these approaches were developed by their authors as part of larger research projects, the gems represent fundamental solutions that are generically applicable to many different problems. Our goal is to expose these useful techniques that are not yet in textbooks and often buried inside technical research papers to share them with software developers, graduate students, professors, and professional researchers.
ENGLISH

Intelligent Computing For Interactive System Design - Statistics, Digital Signal Processing And Machine Learning In Practice

61,59€ + 10% CARD

 Intelligent Computing for Interactive System Design provides a comprehensive resource on what has become the dominant paradigm in designing novel interaction methods, involving gestures, speech, text, touch and brain-controlled interaction, embedded in innovative and emerging human-computer interfaces. These interfaces support ubiquitous interaction with applications and services running on smartphones, wearables, in-vehicle systems, virtual and augmented reality, robotic systems, the Internet of Things (IoT), and many other domains that are now highly competitive, both in commercial and in research contexts. This book presents the crucial theoretical foundations needed by any student, researcher, or practitioner working on novel interface design, with chapters on statistical methods, digital signal processing (DSP), and machine learning (ML). These foundations are followed by chapters that discuss case studies on smart cities, brain-computer interfaces, probabilistic mobile text entry, secure gestures, personal context from mobile phones, adaptive touch interfaces, and automotive user interfaces. The case studies chapters also highlight an in-depth look at the practical application of DSP and ML methods used for processing of touch, gesture, biometric, or embedded sensor inputs. A common theme throughout the case studies is ubiquitous support for humans in their daily professional or personal activities. In addition, the book provides walk-through examples of different DSP and ML techniques and their use in interactive systems. Common terms are defined, and information on practical resources is provided (e.g., software tools, data resources) for hands-on project work to develop and evaluate multimodal and multi-sensor systems. In a series of in-chapter commentary boxes, an expert on the legal and ethical issues explores the emergent deep concerns of the professional community, on how DSP and ML should be adopted and used in socially appropriate ways, to most effectively advance human performance during ubiquitous interaction with omnipresent computers. This carefully edited collection is written by international experts and pioneers in the fields of DSP and ML. It provides a textbook for students and a reference and technology roadmap for developers and professionals working on interaction design on emerging platforms.
Loading results...

View more results