This book explains the hardware implementation of computational holography and hardware acceleration techniques, along with a number ofconcrete example source codes that enable fast computation. Computational holograp...
详细信息
ISBN:
(数字)9789819919383
ISBN:
(纸本)9789819919376;9789819919406
This book explains the hardware implementation of computational holography and hardware acceleration techniques, along with a number ofconcrete example source codes that enable fast computation. Computational holography includes computer-based holographictechnologies such as computer-generated hologram and digital holography, for which acceleration of wave-optics computation is highly *** book describes hardware implementations on CPUs (Central Processing Units), GPUs (Graphics Processing Units) and FPGAs (Field ProgrammableGate Arrays).;This book is intended for readers involved in holography as well as anyone interested in hardware acceleration.
The two-volume set LNCS 15679 and 15680 constitutes the refereed proceedings of the 14th International Conference on Algorithms and Complexity, CIAC 2025, held in Rome, Italy, during June 10–12, 2025.The 44 full pape...
详细信息
ISBN:
(数字)9783031929328
ISBN:
(纸本)9783031929311
The two-volume set LNCS 15679 and 15680 constitutes the refereed proceedings of the 14th International Conference on Algorithms and Complexity, CIAC 2025, held in Rome, Italy, during June 10–12, 2025.
The 44 full papers included in these proceedings were carefully reviewed and selected from 110 submissions. They focus on all aspects of important venue for researchers working on computational complexity and the design, analysis, experimentation, and application of efficient algorithms and data structures.
This two-volume set, LNCS 15612 and 15613 constitutes the refereed proceedings of the 28th European Conference on Applications of Evolutionary Computation, EvoApplications 2025, held as part of EvoStar 2025, in Triest...
详细信息
ISBN:
(数字)9783031900655
ISBN:
(纸本)9783031900648
This two-volume set, LNCS 15612 and 15613 constitutes the refereed proceedings of the 28th European Conference on Applications of Evolutionary Computation, EvoApplications 2025, held as part of EvoStar 2025, in Trieste, Italy, during April 23–25, 2025, and co-located with the EvoStar events, EvoCOP, EvoMUSART, and EuroGP.
The 50 full papers and 18 short papers presented in this book were carefully reviewed and selected from 104 submissions. These papers have been organized in the following topical sections:
Part I: EvoApplications.
Part II: Evolutionary machine learning; 30 years of particle swarm optimisation; Analysis of Evolutionary Computation Methods: Theory, Empirics, and Real-World Applications; Bio-inspired Algorithms for Green Computing and Sustainable Complex systems; Computational Intelligence for Sustainability; EvoLLMs (Integrating Evolutionary Computing with Large Language Models (LLMs); Evolutionary Computation in Edge, Fog, and Cloud Computing; Evolutionary Computation in Image Analysis, Signal Processing, and Pattern Recognition; Machine Learning and AI in Digital Healthcare and Personalized Medicine; Soft Computing Applied to Games.
This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14–15, 2024.The 6 full papers, as well as one invit...
详细信息
ISBN:
(数字)9783031866951
ISBN:
(纸本)9783031866944
This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14–15, 2024.
The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. The conference received 6 submissions this year. The papers deal with the interaction of theory development, tool evolution and experimental validation in science and technology of software verification.
Explore the world of systemd—yes, all lower-case, even at the beginning of a sentence— which is the modern replacement for init and systemV init scripts. It is also much more. It can evoke a wide range of reac...
详细信息
ISBN:
(数字)9798868813283
ISBN:
(纸本)9798868813276
Explore the world of systemd—yes, all lower-case, even at the beginning of a sentence— which is the modern replacement for init and systemV init scripts. It is also much more. It can evoke a wide range of reactions from SysAdmins and others responsible for keeping Linux systems up and running. The fact that systemd is taking over so many tasks in modern Linux systems has engendered push-back and discord among certain groups of developers and SysAdmins.
You will learn systemd’s strengths and weaknesses, and why there’s no truth in the myth that systemd is a monolithic *** how systemd is the mother of all processes, and is responsible for bringing the Linux host up to a state in which productive work can be done. You’ll learn about the functions assumed by systemd, which is far more extensive than the old init program, and how it manages many aspects of a running Linux host, including:
Mounting filesystems
Managing hardware
Creating new systemd services and understanding existing ones
Creating timers that trigger system maintenance events
Starting and managing the system services that are required to have a productive Linux host
Using the systemd journal to access critical performance and problem solving information.
Why the systemd plan to take over the world is actually a good thing
systemd for Linux SysAdmins
is your one-stop shop, giving you everythiing you need to get started and utilize this software suite for Linux operatiing systems.
You Will Learn:
How to use systemd, what it is, and what it does
To manage each of the major functional components of systemd and learn from real-world examples to illustrate their typical usage by SysAdmins
Pragmatic work-arounds, hints and tricks to minimize issues to ensure you have greater systemd functionality
This Book is for:
Linux system administrators (SysAdmins) who need to or are already in the process of switching from systemV to systemd. It’s also intended for SysAdmins with more systemd experience but
Updated with new developments, ideas and thinking, as well as new tool descriptions, the fourth edition of this popular book is driven by practical experience from industry. It provides invaluable information on how t...
详细信息
ISBN:
(数字)9783319610733
ISBN:
(纸本)9783319610726;9783319869971
Updated with new developments, ideas and thinking, as well as new tool descriptions, the fourth edition of this popular book is driven by practical experience from industry. It provides invaluable information on how to write and structure requirements, whilst explaining the importance of systems Engineering and the creation of effective solutions to problems.
In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re cent dramatic growth in the applications oflogic to co...
详细信息
ISBN:
(数字)9781461206491
ISBN:
(纸本)9780387948935;9781461268550
In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re cent dramatic growth in the applications oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such applications. Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much ofour book, however, deals with other less traditional topics. Resolution theorem proving plays a major role in our treatment of logic especially in its application to Logic Programming and PRO LOG. We deal extensively with the mathematical foundations ofall three ofthese subjects. In addition, we include two chapters on nonclassical logics - modal and intuitionistic - that are becoming increasingly important in computer sci ence. We develop the basic material on the syntax and semantics (via Kripke frames) for each of these logics. In both cases, our approach to formal proofs, soundness and completeness uses modifications of the same tableau method in troduced for classical logic. We indicate how it can easily be adapted to various other special types of modal logics. A number of more advanced topics (includ ing nonmonotonic logic) are also briefly introduced both in the nonclassical logic chapters and in the material on Logic Programming and PROLOG.
暂无评论