Computing

We are surrounded by products that have minds of their own. Computing power, in the form of microcontrollers, microprocessors, sensors, and data storage chips, has become so cheap that manufacturers are building connectivity and embedded intelligence into all types of consumer goods. These 'smart products' are fundamentally changing both the competitive landscape for business and the daily lives of consumers. This book analyzes the evolution of smart products to help managers understand the impact of embedded product intelligence on corporate strategy, consumer value, and industry competition. It describes four different ecosystem strategies for designing and launching smart products: the control-focused Hegemon, the standards-focused Federator, the high growth and brand-focused Charismatic Leader, and the disruptive industry Transformer. This ecosystem model is then applied to smart products in the automotive, wireless, energy, residential, and health industries. The book concludes wi

We are surrounded by products that have minds of their own. Computing power, in the form of microcontrollers, microprocessors, sensors, and data storage chips, has become so cheap that manufacturers are building connectivity and embedded intelligence into all types of consumer goods. These 'smart products' are fundamentally changing both the competitive landscape for business and the daily lives of consumers. This book analyzes the evolution of smart products to help managers understand the impact of embedded product intelligence on corporate strategy, consumer value, and industry competition. It describes four different ecosystem strategies for designing and launching smart products: the control-focused Hegemon, the standards-focused Federator, the high growth and brand-focused Charismatic Leader, and the disruptive industry Transformer. This ecosystem model is then applied to smart products in the automotive, wireless, energy, residential, and health industries. The book concludes wi

Although topology was recognized by Gauss and Maxwell to play a pivotal role in the formulation of electromagnetic boundary value problems, it is a largely unexploited tool for field computation. The development of algebraic topology since Maxwell provides a framework for linking data structures, algorithms, and computation to topological aspects of three-dimensional electromagnetic boundary value problems. This book attempts to expose the link between Maxwell and a modern approach to algorithms. The first chapters lay out the relevant facts about homology and cohomology, stressing their interpretations in electromagnetism. These topological structures are subsequently tied to variational formulations in electromagnetics, the finite element method, algorithms, and certain aspects of numerical linear algebra. A recurring theme is the formulation of and algorithms for the problem of making branch cuts for computing magnetic scalar potentials and eddy currents.

Since the original publication of this book, available computer power has increased greatly. Today, scientific computing is playing an ever more prominent role as a tool in scientific discovery and engineering analysis. In this second edition, the key addition is an introduction to the finite element method. This is a widely used technique for solving partial differential equations (PDEs) in complex domains. This text introduces numerical methods and shows how to develop, analyse, and use them. Complete MATLAB programs for all the worked examples are now available at www.cambridge.org/Moin, and more than 30 exercises have been added. This thorough and practical book is intended as a first course in numerical analysis, primarily for new graduate students in engineering and physical science. Along with mastering the fundamentals of numerical methods, students will learn to write their own computer programs using standard numerical methods.

Since the original publication of this book, available computer power has increased greatly. Today, scientific computing is playing an ever more prominent role as a tool in scientific discovery and engineering analysis. In this second edition, the key addition is an introduction to the finite element method. This is a widely used technique for solving partial differential equations (PDEs) in complex domains. This text introduces numerical methods and shows how to develop, analyse, and use them. Complete MATLAB programs for all the worked examples are now available at www.cambridge.org/Moin, and more than 30 exercises have been added. This thorough and practical book is intended as a first course in numerical analysis, primarily for new graduate students in engineering and physical science. Along with mastering the fundamentals of numerical methods, students will learn to write their own computer programs using standard numerical methods.

Stochastic processes with jumps and random measures are importance as drivers in applications like financial mathematics and signal processing. This 2002 text develops stochastic integration theory for both integrators (semimartingales) and random measures from a common point of view. Using some novel predictable controlling devices, the author furnishes the theory of stochastic differential equations driven by them, as well as their stability and numerical approximation theories. Highlights feature DCT and Egoroff's Theorem, as well as comprehensive analogs results from ordinary integration theory, for instance previsible envelopes and an algorithm computing stochastic integrals of càglàd integrands pathwise. Full proofs are given for all results, and motivation is stressed throughout. A large appendix contains most of the analysis that readers will need as a prerequisite. This will be an invaluable reference for graduate students and researchers in mathematics, physics, electrical en

Research in computational group theory, an active subfield of computational algebra, has emphasised three areas: finite permutation groups, finite solvable groups, and finitely presented groups. This book deals with the third of these areas. The author emphasises the connections with fundamental algorithms from theoretical computer science, particularly the theory of automata and formal languages, computational number theory, and computational commutative algebra. The LLL lattice reduction algorithm and various algorithms for Hermite and Smith normal forms from computational number theory are used to study the abelian quotients of a finitely presented group. The work of Baumslag, Cannonito and Miller on computing nonabelian polycyclic quotients is described as a generalisation of Buchberger's Gröbner basis methods to right ideals in the integral group ring of a polycyclic group. Researchers in computational group theory, mathematicians interested in finitely presented groups and theore

本書是針對高等學校計算機及相關專業編寫的畢業設計（論文）參考指導書。參照ACM、AIS和IEEE—CS發布的CC 2005（Computing Curricula 2005），根據教育部高等學校計算機科學與技術教學指導委員會的《高等學校計算機科學與技術專業實踐教學體系與規範》，以培養專業能力為目標，注重實踐創新能力和綜合素質的培養。 在計算機學科方法論的基礎上，結合我國學校的教學實際，設計了一套規

Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting memorial to Kahn's achievements and reflects the broad range of subjects to which he contributed through his scientific research and his work at INRIA, the French National Institute for Research in Computer Science and Control. The authors also reflect upon the future of computing: how it will develop as a subject in itself and how it will affect other disciplines, from biology and medical informatics, to web and networks in general. Its breadth of coverage, topicality, originality and depth of contribution, make this book a stimulating read for all those interested in the future development of information technology.

Cryptography is concerned with the conceptualization, definition and construction of computing systems that address security concerns. The design of cryptographic systems must be based on firm foundations. Foundations of Cryptography presents a rigorous and systematic treatment of foundational issues, defining cryptographic tasks and solving cryptographic problems. The emphasis is on the clarification of fundamental concepts and on demonstrating the feasibility of solving several central cryptographic problems, as opposed to describing ad-hoc approaches. This second volume contains a thorough treatment of three basic applications: Encryption, Signatures, and General Cryptographic Protocols. It builds on the previous volume, which provided a treatment of one-way functions, pseudorandomness, and zero-knowledge proofs. It is suitable for use in a graduate course on cryptography and as a reference book for experts. The author assumes basic familiarity with the design and analysis of algori

Information theory lies at the heart of modern technology, underpinning all communications, networking, and data storage systems. This book sets out, for the first time, a complete overview of both classical and quantum information theory. Throughout, the reader is introduced to key results without becoming lost in mathematical details. Opening chapters present the basic concepts and various applications of Shannon's entropy, moving on to the core features of quantum information and quantum computing. Topics such as coding, compression, error-correction, cryptography and channel capacity are covered from classical and quantum viewpoints. Employing an informal yet scientifically accurate approach, Desurvire provides the reader with the knowledge to understand quantum gates and circuits. Highly illustrated, with numerous practical examples and end-of-chapter exercises, this text is ideal for graduate students and researchers in electrical engineering and computer science, and practitione

Number theory is one of the oldest and most appealing areas of mathematics. Computation has always played a role in number theory, a role which has increased dramatically in the last 20 or 30 years, both because of the advent of modern computers, and because of the discovery of surprising and powerful algorithms. As a consequence, algorithmic number theory has gradually emerged as an important and distinct field with connections to computer science and cryptography as well as other areas of mathematics. This text provides a comprehensive introduction to algorithmic number theory for beginning graduate students, written by the leading experts in the field. It includes several articles that cover the essential topics in this area, and in addition, there are contributions pointing in broader directions, including cryptography, computational class field theory, zeta functions and L-series, discrete logarithm algorithms, and quantum computing.

This is a full-length history of the Western Electric Company, which was the manufacturing arm of the Bell System. As manufacturer in the communications revolutions in the nineteenth and twentieth centuries, Western Electric made products that accelerated society's pace, such as telegraphs, telephones, an early computing machine, radios, radar and transistors. Western's history offers numerous examples of the difference between innovation and implementation. The aftermath of Western's 1882 acquisition by Bell Telephone, for instance, reveals vertical integration as a lengthy process rather than a single event. Ironically, although Western transformed business worldwide with innovations in areas such as quality control and industrial psychology, the company was slow to implement these innovations itself. Western's dual role as captive supplier for a regulated monopoly and as government contractor led to its most rapid change, in the area of civil rights.

Algorithmic Aspects of Graph Connectivity is the first comprehensive book on this central notion in graph and network theory, emphasizing its algorithmic aspects. Because of its wide applications in the fields of communication, transportation, and production, graph connectivity has made tremendous algorithmic progress under the influence of the theory of complexity and algorithms in modern computer science. The book contains various definitions of connectivity, including edge-connectivity and vertex-connectivity, and their ramifications, as well as related topics such as flows and cuts. The authors thoroughly discuss new concepts and algorithms that allow for quicker and more efficient computing, such as maximum adjacency ordering of vertices. Covering both basic definitions and advanced topics, this book can be used as a textbook in graduate courses in mathematical sciences, such as discrete mathematics, combinatorics, and operations research, and as a reference book for specialists i

Since its emergence in the early twentieth century, quantum theory has become the fundamental physical paradigm, and is essential to our understanding of the world. Providing a deeper understanding of the microscopic world through quantum theory, this supplementary text reviews a wider range of topics than conventional textbooks. Emphasis is given to modern entanglement, quantum teleportation, and Bose-Einstein condensation. Macroscopic quantum effects of practical relevance, for example superconductivity and the quantum Hall effect, are also described. Looking to the future, the author discusses the exciting prospects for quantum computing. Physical, rather than formal, explanations are given, and mathematical formalism is kept to a minimum so readers can understand the concepts more easily. Theoretical discussions are combined with a description of the corresponding experimental results. This book is ideal for undergraduate and graduate students in quantum theory and quantum optics.

This book, first published in 2000, explores the exciting field of complexity. It features in-depth coverage of important theoretical areas, including fractals, chaos, non-linear dynamics, artificial life and self-organization. It also provides overviews of complexity in several applied areas, including parallel computation, control systems, neural systems and ecosystems. Some of the properties that best characterize complex systems, including algorithmic richness, non-linearity and abundant interactions between components are examined. In this way the book draws out themes, especially the ideas of connectivity and natural computation, that reveal deep, underlying similarities between phenomena that have formerly been treated as completely distinct. The idea of natural computation is particularly rich in fresh approaches applicable to both biology and computing. Analogies such as the DNA code as life's underlying program, or organisms as automata, are very compelling. Conversely, biolo

From the Internet's infrastructure to operating systems like GNU/Linux, the open source movement comprises some of the greatest accomplishments in computing over the past quarter century. Its story embraces technological advances, unprecedented global collaboration, and remarkable tools for facilitating distributed development. The evolution of the Internet enabled an enormous expansion of open development, allowing developers to exchange information and ideas without regard to constraints of space, time, or national boundary. The movement has had widespread impact on education and government, as well as historic cultural and commercial repercussions. Part I discusses key open source applications, platforms, and technologies used in open development. Part II explores social issues ranging from demographics and psychology to legal and economic matters. Part III discusses the Free Software Foundation, open source in the public sector (government and education), and future prospects.

From the Internet's infrastructure to operating systems like GNU/Linux, the open source movement comprises some of the greatest accomplishments in computing over the past quarter century. Its story embraces technological advances, unprecedented global collaboration, and remarkable tools for facilitating distributed development. The evolution of the Internet enabled an enormous expansion of open development, allowing developers to exchange information and ideas without regard to constraints of space, time, or national boundary. The movement has had widespread impact on education and government, as well as historic cultural and commercial repercussions. Part I discusses key open source applications, platforms, and technologies used in open development. Part II explores social issues ranging from demographics and psychology to legal and economic matters. Part III discusses the Free Software Foundation, open source in the public sector (government and education), and future prospects.

This volume presents a searching critique of the more traditional archaeological methodologies and interpretation strategies and lays down a firm philosophical and theoretical basis for symbolist and structuralist studies in archaeology. A variety of procedures, ranging from ethnoarchaeological studies and computing techniques to formal studies of artefact design variability, are utilized to provide models for archaeologists within the proposed framework and the theory and models are then applied to a range of archaeological analyses. This particular approach sees all human actions as being meaningfully constituted within a social and cultural framework. Material culture is not simply an adaptive tool, but is structured according to sets of underlying principles which give meaning to, and derive meanings from, the social world. Thus structural regularities are shown to link seemingly disparate aspects of material culture, from funerary monuments to artefact design, from the use of spac

In the late 1980s and 1990s, the advanced industrial countries considered replacing the existing analogue television infrastructure with a new digital one. A key common feature to the debates over digital TV (DTV) in the United States, Western Europe and Japan was the eventual victory of the ideas of digitalism (the superiority of everything digital over everything analogue) and of digital convergence (the merging of computing, telecommunications and broadcasting infrastructures made possible by digitalization) in public debates over standards. Jeffrey Hart's book shows how nationalism and regionalism combined with digitalism to produce three different and incompatible DTV standards in the three regions, an outcome which has led to missed opportunities in developing the new technologies. Hart's book contributes to our understanding of relations between business and government, and of competition between the world's great economic powers.

Computational vision deals with the underlying mathematical and computational models for how visual information is processed. Whether the processing is biological or machine, there are fundamental questions related to how the information is processed. How should information be represented? How should information be transduced in order to highlight features of interest while suppressing noise and other artefacts of the image capture process? Computational Vision in Neural and Machine Systems address these and other questions in 13 chapters, divided into three sections, which overlap between biological and computational systems: dynamical systems; attention, motion, and eye-movements; and stereovision. The editors have brought together the best and brightest minds in the field of computational vision, combining research from both biology and computing and enhancing the developing synergy between computational and biological visual modelling communities. Aimed at researchers and graduate

本書從實用的角度出發，根據教育部高教司主持評審的《中國計算機科學與技術學科教程2002》組織編寫，并參照美國ACM和IEEE Computing Curricula 2001教程，對計算機科學與技術學科進行系統化和科學化的闡述。本書詳細介紹了計算機的基礎知識、計算機體系結構、操作系統、網絡計算、程序設計與算法分析、信息系統、軟件工程、圖形學和可視化計算、智能系統、離散結構等專業知識點以及與信息技術

Methods from contact and symplectic geometry can be used to solve highly non-trivial nonlinear partial and ordinary differential equations without resorting to approximate numerical methods or algebraic computing software. This book explains how it's done. It combines the clarity and accessibility of an advanced textbook with the completeness of an encyclopedia. The basic ideas that Lie and Cartan developed at the end of the nineteenth century to transform solving a differential equation into a problem in geometry or algebra are here reworked in a novel and modern way. Differential equations are considered as a part of contact and symplectic geometry, so that all the machinery of Hodge-deRham calculus can be applied. In this way a wide class of equations can be tackled, including quasi-linear equations and Monge-Ampere equations (which play an important role in modern theoretical physics and meteorology).

Suitable for a first year graduate course, this textbook unites the applications of numerical mathematics and scientific computing to the practice of chemical engineering. Written in a pedagogic style, the book describes basic linear and nonlinear algebric systems all the way through to stochastic methods, Bayesian statistics and parameter estimation. These subjects are developed at a level of mathematics suitable for graduate engineering study without the exhaustive level of the theoretical mathematical detail. The implementation of numerical methods in MATLAB is integrated within each chapter and numerous examples in chemical engineering are provided, with a library of corresponding MATLAB programs. This book will provide the graduate student with essential tools required by industry and research alike. Supplementary material includes solutions to homework problems set in the text, MATLAB programs and tutorial, lecture slides, and complicated derivations for the more advanced reader.

Companies face major challenges as they seek to flourish in competitive global markets, fuelled by developments in technology, from the Internet to grid computing and Web services. In this environment, service orientation - aligning business processes to the changing demands of customers - is emerging as a highly effective approach to increasing efficiency. In this book, Paul Allen provides an accessible guide to service orientation, showing how it works and highlighting the benefits it can deliver. The book provides an integrated approach: after covering the basics of service orientation, he discusses key issues such as business agility, designing quality-of-service infrastructure, implementing service-level agreements, and cultural factors. He provides roadmaps, definitions, templates, techniques, process patterns and checklists to help you realize service orientation. These resources are reinforced with detailed case studies, from the transport and banking sectors. Packed with valua

Complex fluid flows are encountered widely in nature, in living beings and in engineering practice. These flows often involve both geometric and dynamic complexity and present problems that are difficult to analyse because of their wide range of length and time scales, as well as their geometric configuration. This book describes some computational techniques and modelling strategies for analysing and predicting complex transport phenomena. It summarizes advances in the context of a pressure-based algorithm. Among methods discussed are discretization schemes for treating convection and pressure, parallel computing, multigrid methods, and composite, multiblock techniques. With respect to physical modelling, the book addresses issues of turbulence closure and multiscale, multiphase transport from an engineering viewpoint. Both fundamental and practical issues are considered, along with the relative merits of competing approaches. Numerous examples are given throughout the text. Mechanica

Although topology was recognized by Gauss and Maxwell to play a pivotal role in the formulation of electromagnetic boundary value problems, it is a largely unexploited tool for field computation. The development of algebraic topology since Maxwell provides a framework for linking data structures, algorithms, and computation to topological aspects of three-dimensional electromagnetic boundary value problems. This book attempts to expose the link between Maxwell and a modern approach to algorithms. The first chapters lay out the relevant facts about homology and cohomology, stressing their interpretations in electromagnetism. These topological structures are subsequently tied to variational formulations in electromagnetics, the finite element method, algorithms, and certain aspects of numerical linear algebra. A recurring theme is the formulation of and algorithms for the problem of making branch cuts for computing magnetic scalar potentials and eddy currents.

In the late 1980s and 1990s, the advanced industrial countries considered replacing the existing analogue television infrastructure with a new digital one. A key common feature to the debates over digital TV (DTV) in the United States, Western Europe and Japan was the eventual victory of the ideas of digitalism (the superiority of everything digital over everything analogue) and of digital convergence (the merging of computing, telecommunications and broadcasting infrastructures made possible by digitalization) in public debates over standards. Jeffrey Hart's book shows how nationalism and regionalism combined with digitalism to produce three different and incompatible DTV standards in the three regions, an outcome which has led to missed opportunities in developing the new technologies. Hart's book contributes to our understanding of relations between business and government, and of competition between the world's great economic powers.

Stochastic processes with jumps and random measures are importance as drivers in applications like financial mathematics and signal processing. This 2002 text develops stochastic integration theory for both integrators (semimartingales) and random measures from a common point of view. Using some novel predictable controlling devices, the author furnishes the theory of stochastic differential equations driven by them, as well as their stability and numerical approximation theories. Highlights feature DCT and Egoroff's Theorem, as well as comprehensive analogs results from ordinary integration theory, for instance previsible envelopes and an algorithm computing stochastic integrals of càglàd integrands pathwise. Full proofs are given for all results, and motivation is stressed throughout. A large appendix contains most of the analysis that readers will need as a prerequisite. This will be an invaluable reference for graduate students and researchers in mathematics, physics, electrical en

Statistics do not lie, nor is probability paradoxical. You just have to have the right intuition. In this lively look at both subjects, David Williams convinces mathematics students of the intrinsic interest of statistics and probability, and statistics students that the language of mathematics can bring real insight and clarity to their subject. He helps students build the intuition needed, in a presentation enriched with examples drawn from all manner of applications, e.g., genetics, filtering, the Black–Scholes option-pricing formula, quantum probability and computing, and classical and modern statistical models. Statistics chapters present both the Frequentist and Bayesian approaches, emphasising Confidence Intervals rather than Hypothesis Test, and include Gibbs-sampling techniques for the practical implementation of Bayesian methods. A central chapter gives the theory of Linear Regression and ANOVA, and explains how MCMC methods allow greater flexibility in modelling. C or WinBUG

Statistics do not lie, nor is probability paradoxical. You just have to have the right intuition. In this lively look at both subjects, David Williams convinces mathematics students of the intrinsic interest of statistics and probability, and statistics students that the language of mathematics can bring real insight and clarity to their subject. He helps students build the intuition needed, in a presentation enriched with examples drawn from all manner of applications, e.g., genetics, filtering, the Black–Scholes option-pricing formula, quantum probability and computing, and classical and modern statistical models. Statistics chapters present both the Frequentist and Bayesian approaches, emphasising Confidence Intervals rather than Hypothesis Test, and include Gibbs-sampling techniques for the practical implementation of Bayesian methods. A central chapter gives the theory of Linear Regression and ANOVA, and explains how MCMC methods allow greater flexibility in modelling. C or WinBUG

Because of their intuitive layout, extensive mathematical capabilities, and convenient graphics, spreadsheets provide an easy, straightforward route to scientific computing. This textbook for undergraduate and entry-level graduate chemistry and chemical engineering students uses Excel, the most powerful available spreadsheet, to explore and solve problems in general and chemical data analysis. This is the only up-to-date text on the use of spreadsheets in chemistry. The book discusses topics including statistics, chemical equilibria, pH calculations, titrations, and instrumental methods such as chromatography, spectrometry, and electroanalysis. It contains many examples of data analysis, and uses spreadsheets for numerical simulations, and testing analytical procedures. It also treats modern data analysis methods such as linear and non-linear least squares in great detail, as well as methods based on Fourier transformation. The book shows how matrix methods can be powerful tools in dat

Because of their intuitive layout, extensive mathematical capabilities, and convenient graphics, spreadsheets provide an easy, straightforward route to scientific computing. This textbook for undergraduate and entry-level graduate chemistry and chemical engineering students uses Excel, the most powerful available spreadsheet, to explore and solve problems in general and chemical data analysis. This is the only up-to-date text on the use of spreadsheets in chemistry. The book discusses topics including statistics, chemical equilibria, pH calculations, titrations, and instrumental methods such as chromatography, spectrometry, and electroanalysis. It contains many examples of data analysis, and uses spreadsheets for numerical simulations, and testing analytical procedures. It also treats modern data analysis methods such as linear and non-linear least squares in great detail, as well as methods based on Fourier transformation. The book shows how matrix methods can be powerful tools in dat

This book, first published in 2000, explores the exciting field of complexity. It features in-depth coverage of important theoretical areas, including fractals, chaos, non-linear dynamics, artificial life and self-organization. It also provides overviews of complexity in several applied areas, including parallel computation, control systems, neural systems and ecosystems. Some of the properties that best characterize complex systems, including algorithmic richness, non-linearity and abundant interactions between components are examined. In this way the book draws out themes, especially the ideas of connectivity and natural computation, that reveal deep, underlying similarities between phenomena that have formerly been treated as completely distinct. The idea of natural computation is particularly rich in fresh approaches applicable to both biology and computing. Analogies such as the DNA code as life's underlying program, or organisms as automata, are very compelling. Conversely, biolo

This is a full-length history of the Western Electric Company, which was the manufacturing arm of the Bell System. As manufacturer in the communications revolutions in the nineteenth and twentieth centuries, Western Electric made products that accelerated society's pace, such as telegraphs, telephones, an early computing machine, radios, radar and transistors. Western's history offers numerous examples of the difference between innovation and implementation. The aftermath of Western's 1882 acquisition by Bell Telephone, for instance, reveals vertical integration as a lengthy process rather than a single event. Ironically, although Western transformed business worldwide with innovations in areas such as quality control and industrial psychology, the company was slow to implement these innovations itself. Western's dual role as captive supplier for a regulated monopoly and as government contractor led to its most rapid change, in the area of civil rights.

Complex fluid flows are encountered widely in nature, in living beings and in engineering practice. These flows often involve both geometric and dynamic complexity and present problems that are difficult to analyse because of their wide range of length and time scales, as well as their geometric configuration. This book describes some computational techniques and modelling strategies for analysing and predicting complex transport phenomena. It summarizes advances in the context of a pressure-based algorithm. Among methods discussed are discretization schemes for treating convection and pressure, parallel computing, multigrid methods, and composite, multiblock techniques. With respect to physical modelling, the book addresses issues of turbulence closure and multiscale, multiphase transport from an engineering viewpoint. Both fundamental and practical issues are considered, along with the relative merits of competing approaches. Numerous examples are given throughout the text. Mechanica

Research in computational group theory, an active subfield of computational algebra, has emphasised three areas: finite permutation groups, finite solvable groups, and finitely presented groups. This book deals with the third of these areas. The author emphasises the connections with fundamental algorithms from theoretical computer science, particularly the theory of automata and formal languages, computational number theory, and computational commutative algebra. The LLL lattice reduction algorithm and various algorithms for Hermite and Smith normal forms from computational number theory are used to study the abelian quotients of a finitely presented group. The work of Baumslag, Cannonito and Miller on computing nonabelian polycyclic quotients is described as a generalisation of Buchberger's Gröbner basis methods to right ideals in the integral group ring of a polycyclic group. Researchers in computational group theory, mathematicians interested in finitely presented groups and theore

This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specifications through to the final program. The formal verification of intermediate versions of the program is studied in considerable detail. The authors show how, given the formal specification of a program, data structure and program structure diagrams are drawn and then converted into a procedural program in a program design language (PDL). They demonstrate the conversion of PDL into a variety of real programming languages including Pascal, FORTRAN, COBOL, and Assembler. The book also includes chapters on abstract data types, analysing existing programs, and a small case study. First-year undergraduates in computer science and graduates taking courses in computing will find this a comprehensive introduction to program construction.

The riveting account of Nvidia, the tech company that has exploded in value for its artificial intelligence computing hardware, and Jensen Huang, Nvidia's charismatic, uncompromising CEO.'Superb' SEBASTIAN MALLABY'A page-turning biography' DAVID EPSTEIN'Exceptional reporting' RAY KURZWEILIn June of 2024, spurred by the frenzy of investment following the launch of ChatGPT, and thirty-one years after its founding in a Denny's restaurant, Nvidia became the most-valuable corporation on Earth. In The Thinking Machine, acclaimed journalist Stephen Witt recounts the unlikely story of how a manufacturer of video game components shocked Silicon Valley by conquering the market for AI hardware, and in the process re-invented the computer.Essential to Nvidia's meteoric success is its visionary CEO Jensen Huang, who more than a decade ago, on the basis of a few promising scientific results, bet his entire company on AI. Through unprecedented access to Huang, his friends, his investors, and his empl

The synergy between Artificial Intelligence (AI) and the Internet of Things (IoT) is shaping the future of technology and opening a world of unprecedented possibilities. Artificial Intelligence of Things (AIoT): Current and Future Trends brings together researchers and developers from a wide range of domains to share with readers their ideas about how to implement technical advances, application areas for intelligent systems, and development of new services and smart devices connected to the Internet through a variety of wireless technologies. Parallel to this, new capabilities such as pervasive sensing, multimedia sensing, machine learning, deep learning, and computing power are opening the way to new domains, services, and business models beyond the traditional mobile Internet. These new areas in turn come with various requirements in terms of reliability, quality of service, and energy efficiency. In Artificial Intelligence of Things readers learn about the challenges and requiremen