This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017. The 18 revised full papers presented together with 3 invited presentations, 4 short papers, 5 tool papers, and 3 tutorials, were… Meer
This book reviews the state-of-the-art developments in nature-inspired algorithms and their applications in various disciplines, ranging from feature selection and engineering design optimization to scheduling and vehicle routing… Meer
This book constitutes the refereed joint proceedings of the First International Workshop on Graphs in Biomedical Image Analysis, GRAIL 2017, the 6th International Workshop on Mathematical Foundations of Computational Anatomy, MFCA 2017, and the Third International Workshop on Imaging Genetics… Meer
The four-volume set LNCS 10513—10516 constitutes the proceedings of the 16th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2017, held in Mumbai, India, in September 2017… Meer
This book constitutes the proceedings of the 15th International Workshop Comparative Genomics, RECOMB-CG 2017, held in Barcelona, Spain, in October 2017. The 16 full papers presented were carefully reviewed and selected from 32 submissions… Meer
This book is a tribute to Julian Francis Miller’s ideas and achievements in computer science, evolutionary algorithms and genetic programming, electronics, unconventional computing, artificial chemistry and theoretical biology… Meer
This book constitutes the refereed proceedings of the Second International Conference on Intelligence Science, ICIS 2017, held in Shanghai, China, in October 2017. The 38 full papers and 9 short papers presented were carefully reviewed and selected from 82 submissions… Meer
This volume constitutes the refereed post-conference proceedings of the First IFIP TC 5 DCDRR International Conference on Information Technology in Disaster Risk Reduction, ITDRR 2016, held in Sofia, Bulgaria, in November 2016… Meer
This book constitutes the thoroughly refereed post-conference proceedings of the 11 th International Conference on Learning and Intelligent Optimization, LION 11, held in Nizhny,Novgorod, Russia, in June 2017… Meer
This book presents a systematic overview on partition function form games: a game form in cooperative game theory to integrate externalities for various applications. Cooperative game theory has been immensely useful to study a wide range of issues, but the standard approaches ignore the side… Meer
This book constitutes the refereed proceedings of the 5th International Conference on Advances in Visual Informatics, IVIC 2017, held in Bangi, Malaysia, in November 2017. The keynote and 72 papers presented were carefully reviewed and selected from 130 submissions… Meer
The six volume set LNCS 10634, LNCS 10635, LNCS 10636, LNCS 10637, LNCS 10638, and LNCS 10639 constitues the proceedings of the 24rd International Conference on Neural Information Processing, ICONIP 2017, held in Guangzhou, China, in November 2017… Meer
This book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context of defence and security applications. In addition, important business and economic aspects are discussed, with a particular focus on… Meer
Dieser Band enthalt die Beitrage zur Fachtagung "Programmiersprachen und Programmentwicklung", 9. und 10. Marz 1982 in Mlinchen. Die Tagung ist die siebte in der Reihe der Fachtagungen, die der FachausschuB 2 "Programmiersprachen und Programmentwicklung" der Gesellschaft fUr In formatik… Meer
Unsere Zeit ist geprägt von immer komplexeren Systemen und Mechanismen. Gemeint sind die natürlichen Systeme der menschlichen Gemeinschart, der Politik, der Wirtschart, der Kommunikation, des Verkehrs… Meer
Inhalts}bersicht: Technisierung der Informationsverarbeitung - Gefahr oder Chance? - Technik und Umwelt. - Erfahrungen der Anwender. - Erfahrungen der Sozialpartner. - Normen und Regelungen. - Belastung und Beanspruchung. - Autorenverzeichnis. - Namen- und Sachverzeichnis. 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