الصفحة 134
الصفحة 134
A Concise Introduction to Software Engineering
This text focuses on the essential elements, providing readers with the basic skills and introductory knowledge required to execute a software project successfully.
A Concise Introduction to Languages and Machines
This easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines within Computer Science.
A Concise Introduction to Data Compression
Compressing data is an option naturally selected when faced with problems of high costs or restricted space. Written by a renowned expert in the field, this book offers readers a succinct, reader-friendly foundation to the chief approaches, methods and techniques currently employed in the field of data compression.
A Computer Scientists Guide to Cell Biology
Provides a succinct treatment of the general concepts of cell biology, furnishing the computer scientist with the tools necessary to read and understand current literature in the field.After a brief introduction to cell biology, the text focuses on the principles behind the most-widely used experimental procedures and mechanisms, relating them to well-understood concepts in computer science. The presentation of the material has been prepared for the reader’s quick grasp of the topic: comments on nomenclature and background notes can be ascertained at a glance, and essential vocabulary is boldfaced throughout the text for easy identification.
A Computational Model of Natural Language Communication : Interpretation, Inference, and Production in Database Semantics
Presents a high-level description of an artificial agent which humans can freely communicate with in their accustomed language. Part II analyzes the major constructions of natural language, i.e., intra- and extrapropositional functor - argument structure, coordination, and coreference, in the speaker and the hearer mode. Part III defines declarative specifications for fragments of English, which are used for an implementation in Java.
A Classical Introduction to Cryptography Exercise Book
A Classical Introduction to Cryptography Exercise Book for A Classical Introduction to Cryptography: Applications for Communications Security covers a majority of the subjects that make up today's cryptology, such as symmetric or public-key cryptography, cryptographic protocols, design, cryptanalysis, and implementation of cryptosystems. Exercises do not require a large background in mathematics, since the most important notions are introduced and discussed in many of the exercises.
A Classical Introduction to Cryptography : Applications for Communications Security
This advanced-level textbook covers conventional cryptographic primitives and cryptanalysis of these primitives; basic algebra and number theory for cryptologists; public key cryptography and cryptanalysis of these schemes; and other cryptographic protocols, e.g. secret sharing, zero-knowledge proofs and undeniable signature schemes.
A Brief History of Computing
This text provides a comprehensive introduction to the key topics in the history of computing, in an easy-to-follow and concise manner. It covers the significant areas and events in the field.
6G Mobile Wireless Networks
Specifically, this book covers the following topics: 6G Use Cases, Requirements, Metrics and Enabling Technologies, PHY Technologies for 6G Wireless, Reconfigurable Intelligent Surface for 6G Wireless Networks, Millimeter-wave and Terahertz Spectrum for 6G Wireless, Challenges in Transport Layer for Tbit/s Communications, High-capacity Backhaul Connectivity for 6G Wireless, Cloud Native Approach for 6G Wireless Networks, Machine Type Communications in 6G, Edge Intelligence and Pervasive AI in 6G, Blockchain: Foundations and Role in 6G, Role of Open-source Platforms in 6G, and Quantum Computing and 6G Wireless.
50 Years of Artificial Intelligence : Essays Dedicated to the 50th Anniversary of Artificial Intelligence
This Festschrift volume, published in celebration of the 50th Anniversary of Artificial Intelligence, includes 34 refereed papers written by leading researchers in the field of Artificial Intelligence. The papers were carefully selected from the invited lectures given at the 50th Anniversary Summit of AI, held at the Centro Stefano Franscini, Monte Verità, Ascona, Switzerland, July 9-14, 2006. The summit provided a venue for discussions on a broad range of topics.
3-D Shape Estimation and Image Restoration : Exploiting Defocus and Motion-Blur
Images contain information about the spatial properties of the scene they depict. When coupled with suitable assumptions, images can be used to infer three-dimensional information. This useful volume concentrates on motion blur and defocus, which can be exploited to infer the 3-D structure of a scene—as well as its radiance properties—and which in turn can be used to generate novel images with better quality. 3-D Shape Estimation and Image Restoration presents a coherent framework for the analysis and design of algorithms to estimate 3-D shape from defocused and motion blurred images, and to eliminate defocus and motion blur to yield "restored" images. It provides a collection of algorithms that are optimal with respect to the chosen model and estimation criterion.
3D Imaging, Analysis and Applications
This textbook is designed for postgraduate studies in the field of 3D Computer Vision. It also provides a useful reference for industrial practitioners; for example, in the areas of 3D data capture, computer-aided geometric modelling and industrial quality assurance. This second edition is a significant upgrade of existing topics with novel findings. Additionally, it has new material covering consumer-grade RGB-D cameras, 3D morphable models, deep learning on 3D datasets, as well as new applications in the 3D digitization of cultural heritage and the 3D phenotyping of crops.
3D Imaging for Safety and Security
This book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention was given to advanced 3D imaging technologies in the context of safety and security applications. Comparative evaluation studies showing advantages of 3D imaging over traditional 2D imaging for a given computer vision or pattern recognition task were emphasized. Moreover, additional experts in the field of 3D imaging for safety and security were invited by the editors for a contribution to this book.
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.
17th International Conference on Information Technology–New Generations (ITNG 2020)
This volume presents the 17th International Conference on Information Technology—New Generations (ITNG), and chronicles an annual event on state of the art technologies for digital information and communications. The application of advanced information technology to such domains as astronomy, biology, education, geosciences, security, and healthcare are among the themes explored by the ITNG proceedings. Visionary ideas, theoretical and experimental results, as well as prototypes, designs, and tools that help information flow to end users are of special interest. Specific topics include Machine Learning, Robotics, High Performance Computing, and Innovative Methods of Computing. The conference features keynote speakers; a best student contribution award, poster award, and service award; a technical open panel, and workshops/exhibits from industry, government, and academia.
