This book constitutes the thoroughly refereed proceedings of the 24th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2017, held in Porquerolles, France, in June 2017. The 21 full papers presented were carefully reviewed and selected from 41 submissions… Meer
This book constitutes the refereed proceedings of the 10th International Conference on Information Theoretic Security, ICITS 2017, held in Hong Kong, China, in November/December 2017. The 12 full papers were carefully reviewed and selected from 42 submissions… Meer
This two-volume collection contains Paulo Ribenboim’s work on ordered structures and mathematical logic. Two long unpublished papers and a reproduction of his first book on abelian groups are also featured in these volumes… Meer
This book delivers a methodological approach on the experimentation and/or simulation processes from the disclaiming hypothesis on a physical phenomenon to the validation of the results. The main benefit of the book is that it discusses all the topics related to experimentation and validation of the… Meer
This book constitutes the refereed proceedings of the 14th International Conference on Virtual Reality and Augmented Reality, EuroVR 2017, held in Laval, France, in December 2017. The 10 full papers and 2 short papers presented were carefully reviewed and selected from 36 submissions… Meer
This book provides the basic theory, techniques, and algorithms of modern cryptography that are applicable to network and cyberspace security. It consists of the following nine main chapters: Chapter 1 provides the basic concepts and ideas of cyberspace and cyberspace security, Chapters 2 and 3… Meer
This book constitutes the refereed proceedings of the Third International Conference on Technology Trends, CITT 2017, held in Babahoyo, Ecuador, in November 2017. The 16 revised full papers presented were carefully reviewed and selected from 71 submissions… Meer
This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other… Meer
This monograph provides an accessible introduction to the regional analysis of fractional diffusion processes. It begins with background coverage of fractional calculus, functional analysis, distributed parameter systems and relevant basic control theory… Meer
This book describes efficient and effective techniques for harnessing the power of Linked Data by tackling the various aspects of managing its growing volume: storing, querying, reasoning, provenance management and benchmarking… Meer
This two volume set constitutes the refereed post-conference proceedings of the Second International Conference on Machine Learning and Intelligent Communications, MLICOM 2017, held in Weihai, China, in August 2017. The 143 revised full papers were carefully selected from 225 submissions… Meer
This book constitutes the proceedings of the 4th OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2017. The 11 full papers presented in this book were carefully reviewed and selected from 14 submissions… Meer
This book presents a novel decision-making support system based on paraconsistent annotated evidential logic, which directly handles imprecise, incomplete and contradictory data. The authors offer insights into areas such as engineering and biomedicine, as well as related fields… Meer
In recent years, numerous scientific investigations have studied the anatomical, biomechanical and functional role of structures involved in the human knee joint. The Finite Element Method (FEM) has been seen as an interesting tool to study and simulate biosystems… Meer
This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions… Meer
This book concentrates on the modern theory of dynamical systems and its interactions with number theory and combinatorics. The greater part begins with a course in analytic number theory and focuses on its links with ergodic theory, presenting an exhaustive account of recent research on Sarnak's… Meer
This collection of prize-winning essays addresses the controversial question of how meaning and goals can emerge in a physical world governed by mathematical laws. What are the prerequisites for a system to have goals? What makes a physical process into a signal?… Meer
This monograph provides an extended overview of modelling and control approaches for freeway traffic systems, moving from the early methods to the most recent scientific results and field implementations… Meer
This book provides readers with a broad overview of integrated circuits, also generally referred to as micro-electronics. The presentation is designed to be accessible to readers with limited, technical knowledge and coverage includes key aspects of integrated circuit design, implementation… Meer
This book constitutes the thoroughly refereed conference proceedings of the 12th International Conference on Cognitive Radio Oriented Wireless Networks, CROWNCOM 2017, held in Lisbon, Portugal, in September 2017… Meer
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books
