الصفحة 4
الصفحة 4
Computer safety, reliability, and security ; 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings
This book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, held in Newcastle upon Tyne, UK, in September 2008.
Computer Aided Systems Theory – EUROCAST 2005 ; 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers
The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those computer theoretical and practical developments used as tools to solve problems in system science. It was considered as the third component (the other two being CAD and CAM) that would provide for a complete picture of the path from computer and systems sciences to practical developments in science and engineering. Selected papers were published as Springer Lecture Notes in Computer Science vols. 410, 585, 763, 1030, 1333, 1728, 2178 and 2809 and in several special issues of Cybernetics and Systems: an lnternational
Computational Science and High Performance Computing II ; The 2nd Russian-German Advanced Research Workshop, Stuttgart, Germany, March 14 to 16, 2005
This volume contains 27 contributions to the Second Russian-German Advanced Research Workshop on Computational Science and High Performance Computing presented in March 2005 at Stuttgart, Germany. The workshop was organized jointly by the High Performance Computing Center Stuttgart (HLRS) and the Russian Institute for Computational Technologies (ICT SB RAS) The contributions range from computer science, mathematics and high performance computing to applications in mechanical and aerospace engineering. They show a wealth of theoretical work and simulation experience with a potential of bringing together theoretical mathematical modelling and usage of high performance computing systems presenting the state of the art of computational technologies.
Computational Ergodic Theory
Ergodic theory is hard to study because it is based on measure theory, which is a technically difficult subject to master for ordinary students, especially for physics majors. Many of the examples are introduced from a different perspective than in other books and theoretical ideas can be gradually absorbed while doing computer experiments. Theoretically less prepared students can appreciate the deep theorems by doing various simulations. The computer experiments are simple but they have close ties with theoretical implications. The last chapter explains the relation between entropy and data compression, which belongs to information theory and not to ergodic theory.
Collective Consciousness and its Discontents: Institutional distributed cognition, racial policy, and public health in the United States
This book expands a recent mathematical treatment of the Baars model of individual consciousness to an institutional venue in which multiple ‘Global Workspaces’ cooperate, communicate, and compete. The result is an expansion of Dretske’s necessary conditions communications theory approach to high level cognition.
Coding Theory and Applications ; 2nd International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 2nd International Castle Meeting, ISMCTA 2008. The papers cover network coding, quantum codes, group codes, codes and combinatorial structures, agebraic-geometry codes, as well as codes and applications.
Coding for Wireless Channels
Accessible introduction to the theoretical foundations of modern coding theoryIncluding numerous applications to wireless transmission systemsThe author is famous in the field of coding and wireless communications for his work in the area of faded channels & communcations.
Codes et turbocodes = Codes and turbo codes
Devoted to one of the essential functions of modern telecommunications systems: channel coding, or error-correcting coding. At the crossroads of information theory, mathematics, and electronics, channel coding has undergone numerous developments since the foundational work of Claude Shannon. Algebraic codes, convolutional codes, and concatenated codes decoded iteratively form the core of the book, which also includes a presentation of digital modulations, to which channel coding is closely linked, forming the heart of the physical layer of telecommunications systems. The most important theoretical aspects are presented, and the construction of the codes is detailed and justified. Decoding algorithms are developed and, where possible, accompanied by simulation results that demonstrate their error-correcting capabilities and applications.
Mathematical Methods in Computer Science : Essays in Memory of Thomas Beth
This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, which was held during December 17-19, 2008, in Karlsruhe, Germany, in memory of Thomas Beth.The themes of the conference reflected the many interests of Thomas Beth. Although, these interests might seem diverse, mathematical methods and especially algebra as a language constituted the common denominator of all of his scientific achievements.
Machine learning for cyber-physical systems: selected papers from the international conference ML4CPS 2023
Contains selected papers from the international conference ML4CPS – Machine Learning for Cyber-Physical Systems, which was held in Hamburg (Germany), from 29 to 31 March 2023. Cyber-physical systems are adaptive and learning: they analyze their environment and, based on observations, learn patterns, associations and predictive models. Typical applications are condition monitoring, predictive maintenance, image processing and diagnostics. Machine learning is the key technology for these developments.
Machine Learning for Cyber Security ; 3rd International Conference, ML4CS 2020, Guangzhou, China, October 8–10, 2020, Proceedings, Part II
Constitutes the proceedings of the Third International Conference on Machine Learning for Cyber Security, ML4CS 2020, held in Xi’an, China in October 2020. The 118 full papers and 40 short papers presented were carefully reviewed and selected from 360 submissions. The papers offer a wide range of the following subjects: Machine learning, security, privacy-preserving, cyber security, Adversarial machine Learning, Malware detection and analysis, Data mining, and Artificial Intelligence.
Machine Learning and Cognitive Computing for Mobile Communications and Wireless Networks
Communication and network technology has witnessed recent rapid development and numerous information services and applications have been developed globally. These technologies have high impact on society and the way people are leading their lives. The advancement in technology has undoubtedly improved the quality of service and user experience yet a lot needs to be still done. Some areas that still need improvement include seamless wide-area coverage, high-capacity hot-spots, low-power massive-connections, low-latency and high-reliability and so on. Thus, it is highly desirable to develop smart technologies for communication to improve the overall services and management of wireless communication. Machine learning and cognitive computing have converged to give some groundbreaking solutions for smart machines. With these two technologies coming together, the machines can acquire the ability to reason similar to the human brain. The research area of machine learning and cognitive computing cover many fields like psychology, biology, signal processing, physics, information theory, mathematics, and statistics that can be used effectively for topology management. Therefore, the utilization of machine learning techniques like data analytics and cognitive power will lead to better performance of communication and wireless systems.
List decoding of error-correcting codes : Winning thesis of the 2002 ACM doctoral dissertation competition
Presents some spectacular new results in the area of decoding algorithms for error-correcting codes. Specifically, it shows how the notion of “list-decoding” can be applied to recover from far more errors, for a wide variety of err- correcting codes, than achievable before. A brief bit of background : error-correcting codes are combinatorial str- tures that show how to represent (or “encode”) information so that it is - silient to a moderate number of errors. Speci?cally, an error-correcting code takes a short binary string, called the message, and shows how to transform it into a longer binary string, called the codeword, so that if a small number of bits of the codewordare ?ipped, the resulting string does not look like any other codeword. The maximum number of errorsthat the code is guaranteed to detect, denoted d, is a central parameter in its design. A basic property of such a code is that if the number of errors that occur is known to be smaller than d/2, the message is determined uniquely. This poses a computational problem, called the decoding problem : compute the message from a corrupted codeword, when the number of errors is less than d/2.
Journal on Data Semantics X
Web semantics and semi-structured data , Semantic caching , Data warehousing and semantic data mining , Spatial, temporal, multimedia and multimodal semantics , Semantics in data visualization , Semantic services for mobile users , Supporting tools , Applications of semantic-driven approaches These topics are to be understood as specifically related to semantic issues. Contributions submitted to the journal and dealing with semantics of data will be considered even if they are not from the topics in the list. While the physical appearance of the journal issues is like the books from the we- known Springer LNCS series, the mode of operation is that of a journal. Contributions can be freely submitted by authors and are reviewed by the Editorial Board.
Complexity in chemistry, biology, and ecology
This book, written by an international team of experts, introduces the reader to various aspects of complexity theory and its applications. It illustrates the latest trends in science to go beyond the mechanistic Newtonian view of the world by shifting the focus to self-organization, adaptation, and emergent phenomena. The authors discuss these properties of complex systems in biology, ecology and chemistry along with the structure and interconnectedness of the "layers" of complexity. The qualitative description is complemented by a discussion of methods for complexity quantification. Networks are covered in detail as a universal language of the complex world.
Complex Engineered Systems : Science Meets Technology
This volume examines the difficulties that arise in creating highly complex engineered systems and new approaches that are being adopted. Topics addressed range from the formal representation and classification of distributed networked systems to revolutionary engineering practices inspired by biological evolution. By bringing together the latest research in Complex Engineered Systems, this book sheds light on the current state and future course of this emerging field.
Botnet Detection : Countering the Largest Security Threat
Botnet Detection: Countering the Largest Security Threat, a contributed volume by world-class leaders in this field, is based on the June 2006 ARO workshop on Botnets. This edited volume represents the state-of-the-art in research on Botnets. It provides botnet detection techniques and response strategies, as well as the latest results from leading academic, industry and government researchers.
Bio-inspired information and communication technologies ; 12th EAI International Conference, BICT 2020, Shanghai, China, July 7-8, 2020, Proceedings
This book constitutes the refereed conference proceedings of the 12th International Conference on Bio-inspired Information and Communications Technologies, held in Shanghai, China, in July 2020. Due to the safety concerns and travel restrictions caused by COVID-19, BICT 2020 took place online in a live stream. BICT 2020 aims to provide a world-leading and multidisciplinary venue for researchers and practitioners in diverse disciplines that seek the understanding of key principles, processes and mechanisms in biological systems and leverage those understandings to develop novel information and communications technologies (ICT).
Balancing Agility and Formalism in Software Engineering ; 2nd IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference on Software Engineering Techniques, CEE-SET 2007, held in Poznan, Poland, in October 2007.
Autonomous control for a reliable internet of services : Methods, models, approaches, techniques, algorithms, and tools
This open access book was prepared as a Final Publication of the COST Action IC1304 “Autonomous Control for a Reliable Internet of Services (ACROSS)”. The book contains 14 chapters and constitutes a show-case of the main outcome of the Action in line with its scientific goals. It will serve as a valuable reference for undergraduate and post-graduate students, educators, faculty members, researchers, engineers, and research strategists working in this field. The objective of this book is, by applying a systematic approach, to assess the state-of-the-art and consolidate the main research results achieved in this area.
