When I first participated in exploring theories of nonmonotonic reasoning in the late 1970s, I had no idea of the wealth of conceptual and mathematical results that would emerge from those halting first steps. Meer
Software Diversity is one of the fault-tolerance means to achieve dependable systems. In this volume, some experimental systems as well as real-life applications of software diversity are presented. Meer
This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of edutainment, such as game-based learning and serious games, interactive storytelling, virtual learning environments, VR-based education, and related fields. Meer
Digital systems that bring together the computing capacity for processing large bodies of information with the human cognitive capability are called intelligent systems. Meer
This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major methodological issues of many-valued logics are treated, as well as applications of many-valued logics to reasoning with fuzzy information. Meer
Time and again over the last few decades, we have read that the world is full of pic tures and that, in fact, pictures are filling up the world at such a tremendously accel erating rate that our environment is about to become a picture itself, and of itself. Meer
These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. Meer
Diese Arbeit über die konsistente Dokumentation beim Entwurf informationsverar beitender Systeme entstand in den Jahren 1984 bis 1990 während meiner Tätigkeit als wissenschaftlicher Mitarbeiter am Lehrstuhl für Digitale Systeme der Universität Kaiserslautern. Meer
The three volume-set, LNCS 9814, LNCS 9815, and LNCS 9816, constitutes the refereed proceedings of the 36th Annual International Cryptology Conference, CRYPTO 2016, held in Santa Barbara, CA, USA, in August 2016. Meer
Eine Systembewertung beinhaltet i.a. einen funktionalen und einen quantitativen Anteil. Zur Analyse funktionaler Aspekte stellen Petri-Netze zum einen eine leicht zu handhabende Beschreibungsmöglichkeit und zum anderen eine Vielzahl von, teilweise sehr effizienten, Analysetechniken zur Verfügung. Meer
Die statische Struktur eines markierten Petrinetzes ist durch das Netz selbst und die anfangliche Verteilung der Marken gegeben. Sein Verhalten wird durch die Menge seiner Ablaufe oder durch seinen Erreichbarkeitsgraphen beschrie ben. Meer
This, the 28th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains extended and revised versions of six papers presented at the 26th International Conference on Database- and Expert-Systems Applications, DEXA 2015, held in Valencia, Spain, in September 2015. Meer
Paul U. Unschuld bietet eine kulturhistorisch begründete Analyse der politischen Geschichte Chinas der vergangenen zwei Jahrhunderte. Ein erster Teil beschreibt die verschiedenen Traumata, die dem Land im 19. Meer
Das Buch präsentiert eine Methodik für robuste Regelung, wie sie für sicherheitskritische Anwendungen wie autonomes Fahren erforderlich ist. Sie deckt alle notwendigen Schritte ab: quantitative Anforderungen an die Robustheit, Modellidentifikation aus Messdaten, Reglerentwurf und Maßnahmen bei auftretenden Instabilitäten. Meer
The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. Meer
This book bridges the current gap between the theory of symmetry-based dynamics and its application to model and analyze complex systems. As an alternative approach, the authors use the symmetry of the system directly to formulate the appropriate models, and also to analyze the dynamics. 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