Download or read book Theoretical Computer Science written by Zhiping Cai and published by Springer Nature. This book was released on 2021-11-09 with total page 258 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed proceedings of the 39th National Conference of Theoretical Computer Science, NCTCS 2021, held in Yinchuan, China, in July 2021. The 67 full papers were carefully reviewed and selected from 145 submissions, and 14 of them were selected for the volume. The papers present recent research in the areas of information hiding, data detection and recognition, system scheduling, time series prediction, and formal analysis.
Download or read book Special Topics in Information Technology written by Luigi Piroddi and published by Springer Nature. This book was released on 2022-01-01 with total page 151 pages. Available in PDF, EPUB and Kindle. Book excerpt: This open access book presents thirteen outstanding doctoral dissertations in Information Technology from the Department of Electronics, Information and Bioengineering, Politecnico di Milano, Italy. Information Technology has always been highly interdisciplinary, as many aspects have to be considered in IT systems. The doctoral studies program in IT at Politecnico di Milano emphasizes this interdisciplinary nature, which is becoming more and more important in recent technological advances, in collaborative projects, and in the education of young researchers. Accordingly, the focus of advanced research is on pursuing a rigorous approach to specific research topics starting from a broad background in various areas of Information Technology, especially Computer Science and Engineering, Electronics, Systems and Control, and Telecommunications. Each year, more than 50 PhDs graduate from the program. This book gathers the outcomes of the thirteen best theses defended in 2020-21 and selected for the IT PhD Award. Each of the authors provides a chapter summarizing his/her findings, including an introduction, description of methods, main achievements and future work on the topic. Hence, the book provides a cutting-edge overview of the latest research trends in Information Technology at Politecnico di Milano, presented in an easy-to-read format that will also appeal to non-specialists.
Download or read book Hard Real Time Computing Systems written by Giorgio Buttazzo and published by Springer Nature. This book was released on with total page 500 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Handbook of Real Time Computing written by Yu-Chu Tian and published by Springer Nature. This book was released on 2022-08-08 with total page 1511 pages. Available in PDF, EPUB and Kindle. Book excerpt: The aim of this handbook is to summarize the recent rapidly developed real-time computing technologies, from theories to applications. This handbook benefits the readers as a full and quick technical reference with a high-level historic review of technology, detailed technical descriptions and the latest practical applications. In general, the handbook is divided into three main parts (subjected to be modified): theory, design, and application covering different but not limited to the following topics: - Real-time operating systems - Real-time scheduling - Timing analysis - Programming languages and run-time systems - Middleware systems - Design and analysis tools - Real-time aspects of wireless sensor networks - Energy aware real-time methods
Download or read book Cyber Physical Systems Model Based Design written by Roger Chamberlain and published by Springer Nature. This book was released on 2020-02-17 with total page 289 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019.The 13 full papers presented together in this volume were carefully reviewed and selected from 24 submissions. The conference presents a wide range of domains including models and design; simulation and tools; formal methods; embedded and cyber-physical systems education.
Download or read book Artificial Intelligence for Knowledge Management Energy and Sustainability written by Eunika Mercier-Laurent and published by Springer Nature. This book was released on with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Challenges and Directions Forward for Dealing with the Complexity of Future Smart Cyber Physical Systems written by Martin Törngren and published by MDPI. This book was released on 2021-02-16 with total page 232 pages. Available in PDF, EPUB and Kindle. Book excerpt: A key aspect of cyber-physical systems (CPS) is their potential for integrating information technologies with embedded control systems and physical systems to form new or improved functionalities. CPS thus draws upon advances in many areas. This positioning provides unprecedented opportunities for innovation, both within and across existing domains. However, at the same time, it is commonly understood that we are already stretching the limits of existing methodologies. In embarking towards CPS with such unprecedented capabilities, it becomes essential to improve our understanding of CPS complexity and how we can deal with it. Complexity has many facets, including complexity of the CPS itself, of the environments in which the CPS acts, and in terms of the organizations and supporting tools that develop, operate, and maintain CPS. This book is a result of a journal Special Issue, with the objective of providing a forum for researchers and practitioners to exchange their latest achievements and to identify critical issues, challenges, opportunities, and future directions for how to deal with the complexity of future CPS. The contributions include 10 papers on the following topics: (I) Systems and Societal Aspects Related to CPS and Their Complexity; (II) Model-Based Development Methods for CPS; (III) CPS Resource Management and Evolving Computing Platforms; and (IV) Architectures for CPS.
Download or read book A Journey of Embedded and Cyber Physical Systems written by Jian-Jia Chen and published by Springer Nature. This book was released on 2020-07-30 with total page 181 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a comprehensive view from leading researchers with respect to the past, present, and future of the design of embedded and cyber-physical systems; Discusses challenges and (potential) solutions from theoreticians and practitioners on modeling, design, analysis, and optimization for embedded and cyber-physical systems; Includes coverage of model verification, communication, software runtime systems, operating systems and real-time computing.
Download or read book Approximate Computing Techniques written by Alberto Bosio and published by Springer Nature. This book was released on 2022-06-10 with total page 541 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book serves as a single-source reference to the latest advances in Approximate Computing (AxC), a promising technique for increasing performance or reducing the cost and power consumption of a computing system. The authors discuss the different AxC design and validation techniques, and their integration. They also describe real AxC applications, spanning from mobile to high performance computing and also safety-critical applications.
Download or read book Real Time Systems Development with RTEMS and Multicore Processors written by Gedare Bloom and published by CRC Press. This book was released on 2020-11-23 with total page 548 pages. Available in PDF, EPUB and Kindle. Book excerpt: The proliferation of multicore processors in the embedded market for Internet-of-Things (IoT) and Cyber-Physical Systems (CPS) makes developing real-time embedded applications increasingly difficult. What is the underlying theory that makes multicore real-time possible? How does theory influence application design? When is a real-time operating system (RTOS) useful? What RTOS features do applications need? How does a mature RTOS help manage the complexity of multicore hardware? Real-Time Systems Development with RTEMS and Multicore Processors answers these questions and more with exemplar Real-Time Executive for Multiprocessor Systems (RTEMS) RTOS to provide concrete advice and examples for constructing useful, feature-rich applications. RTEMS is free, open-source software that supports multi-processor systems for over a dozen CPU architectures and over 150 specific system boards in applications spanning the range of IoT and CPS domains such as satellites, particle accelerators, robots, racing motorcycles, building controls, medical devices, and more. The focus of this book is on enabling real-time embedded software engineering while providing sufficient theoretical foundations and hardware background to understand the rationale for key decisions in RTOS and application design and implementation. The topics covered in this book include: Cross-compilation for embedded systems development Concurrent programming models used in real-time embedded software Real-time scheduling theory and algorithms used in wide practice Usage and comparison of two application programmer interfaces (APIs) in real-time embedded software: POSIX and the RTEMS Classic APIs Design and implementation in RTEMS of commonly found RTOS features for schedulers, task management, time-keeping, inter-task synchronization, inter-task communication, and networking The challenges introduced by multicore hardware, advances in multicore real-time theory, and software engineering multicore real-time systems with RTEMS All the authors of this book are experts in the academic field of real-time embedded systems. Two of the authors are primary open-source maintainers of the RTEMS software project.
Download or read book Reachability Problems written by Emmanuel Filiot and published by Springer Nature. This book was released on 2019-09-06 with total page 249 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 13th International Conference on Reachability Problems, RP 2019, held in Brussels, Belgium, in September 2019. The 14 full papers presented were carefully reviewed and selected from 26 submissions. The papers cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps; and new computational paradigms.
Download or read book Computer Analysis of Images and Patterns written by Mario Vento and published by Springer Nature. This book was released on 2019-08-23 with total page 695 pages. Available in PDF, EPUB and Kindle. Book excerpt: The two volume set LNCS 11678 and 11679 constitutes the refereed proceedings of the 18th International Conference on Computer Analysis of Images and Patterns, CAIP 2019, held in Salerno, Italy, in September 2019. The 106 papers presented were carefully reviewed and selected from 176 submissions The papers are organized in the following topical sections: Intelligent Systems; Real-time and GPU Processing; Image Segmentation; Image and Texture Analysis; Machine Learning for Image and Pattern Analysis; Data Sets and Benchmarks; Structural and Computational Pattern Recognition; Posters.
Download or read book Intelligent Computing written by Kohei Arai and published by Springer Nature. This book was released on 2023-10-02 with total page 1492 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is a collection of insightful and unique state-of the-art papers presented at the Computing Conference which took place in London on June 22–23, 2023. A total of 539 papers were received out of which 193 were selected for presenting after double-blind peer-review. The book covers a wide range of scientific topics including IoT, Artificial Intelligence, Computing, Data Science, Networking, Data security and Privacy, etc. The conference was successful in reaping the advantages of both online and offline modes. The goal of this conference is to give a platform to researchers with fundamental contributions and to be a premier venue for academic and industry practitioners to share new ideas and development experiences. We hope that readers find this book interesting and valuable. We also expect that the conference and its publications will be a trigger for further related research and technology improvements in this important subject.
Download or read book Perspectives of System Informatics written by Nikolaj Bjørner and published by Springer Nature. This book was released on 2019-12-13 with total page 279 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July 2019. The 18 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers cover various topics related to the Mathematics of Computing, Information Systems, Formal Languages, dependable and fault-tolerant Systems and Network, Automata Theory, and much more.
Download or read book Data Driven Intelligence in Wireless Networks written by Muhammad Khalil Afzal and published by CRC Press. This book was released on 2023-03-27 with total page 405 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book highlights the importance of data-driven techniques to solve wireless communication problems. It presents a number of problems (e.g., related to performance, security, and social networking), and provides solutions using various data-driven techniques, including machine learning, deep learning, federated learning, and artificial intelligence. This book details wireless communication problems that can be solved by data-driven solutions. It presents a generalized approach toward solving problems using specific data-driven techniques. The book also develops a taxonomy of problems according to the type of solution presented and includes several case studies that examine data-driven solutions for issues such as quality of service (QoS) in heterogeneous wireless networks, 5G/6G networks, and security in wireless networks. The target audience of this book includes professionals, researchers, professors, and students working in the field of networking, communications, machine learning, and related fields.
Download or read book Formal Techniques for Distributed Objects Components and Systems written by Valentina Castiglioni and published by Springer Nature. This book was released on with total page 248 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Artificial Intelligence for Edge Computing written by Mudhakar Srivatsa and published by Springer Nature. This book was released on 2024-01-10 with total page 373 pages. Available in PDF, EPUB and Kindle. Book excerpt: It is undeniable that the recent revival of artificial intelligence (AI) has significantly changed the landscape of science in many application domains, ranging from health to defense and from conversational interfaces to autonomous cars. With terms such as “Google Home”, “Alexa”, and “ChatGPT” becoming household names, the pervasive societal impact of AI is clear. Advances in AI promise a revolution in our interaction with the physical world, a domain where computational intelligence has always been envisioned as a transformative force toward a better tomorrow. Depending on the application family, this domain is often referred to as Ubiquitous Computing, Cyber-Physical Computing, or the Internet of Things. The underlying vision is driven by the proliferation of cheap embedded computing hardware that can be integrated easily into myriads of everyday devices from consumer electronics, such as personal wearables and smart household appliances, to city infrastructure and industrial process control systems. One common trait across these applications is that the data that the application operates on come directly (typically via sensors) from the physical world. Thus, from the perspective of communication network infrastructure, the data originate at the network edge. From a performance standpoint, there is an argument to be made that such data should be processed at the point of collection. Hence, a need arises for Edge AI -- a genre of AI where the inference, and sometimes even the training, are performed at the point of need, meaning at the edge where the data originate. The book is broken down into three parts: core problems, distributed problems, and other cross-cutting issues. It explores the challenges arising in Edge AI contexts. Some of these challenges (such as neural network model reduction to fit resource-constrained hardware) are unique to the edge environment. They need a novel category of solutions that do not parallel more typical concerns in mainstream AI. Others are adaptations of mainstream AI challenges to the edge space. An example is overcoming the cost of data labeling. The labeling problem is pervasive, but its solution in the IoT application context is different from other contexts. This book is not a survey of the state of the art. With thousands of publications appearing in AI every year, such a survey is doomed to be incomplete on arrival. It is also not a comprehensive coverage of all the problems in the space of Edge AI. Different applications pose different challenges, and a more comprehensive coverage should be more application specific. Instead, this book covers some of the more endemic challenges across the range of IoT/CPS applications. To offer coverage in some depth, we opt to cover mainly one or a few representative solutions for each of these endemic challenges in sufficient detail, rather that broadly touching on all relevant prior work. The underlying philosophy is one of illustrating by example. The solutions are curated to offer insight into a way of thinking that characterizes Edge AI research and distinguishes its solutions from their more mainstream counterparts.
