Boolean circuit complexity is the combinatorics of computer science and involves many intriguing problems that are easy to state and explain, even for the layman. This book is a comprehensive description of basic lower bound arguments, covering many of the gems of this “complexity Waterloo” that… Meer
This book represents a new approach to musical creativity, dealing with the semiotics, mathematical principles, and software for creativity processes. After a thorough introduction, the book offers a first practical part with a detailed tutorial for students in composition and improvisation, using… Meer
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions… Meer
This book constitutes the refereed proceedings of workshops, held at the 30th International Conference on Conceptual Modeling, ER 2011, in Brussels, Belgium in October/November 2011. The 31 revised full papers presented together with 9 posters and demonstrations (out of 88 submissions) for the… Meer
The field of Soft Computing in Humanities and Social Sciences is at a turning point. The strong distinction between “science” and “humanities” has been criticized from many fronts and, at the same time, an increasing cooperation between the so-called “hard sciences” and “soft sciences” is taking… Meer
This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were… Meer
The Workshops on Autonomous Systems emanated from a gathering with the doctoral students of just three chairs at Fernuniversität in Hagen, which we organise twice per year for a number of years now. Their purpose is to discuss on-going research and to create a community spirit… Meer
The information infrastructure---comprising computers, embedded devices, networks and software systems---is vital to day-to-day operations in every sector: information and telecommunications, banking and finance, energy, chemicals and hazardous materials, agriculture, food, water, public health… Meer
The design of formal calculi in which fundamental concepts underlying interactive systems can be described and studied has been a central theme of theoretical computer science in recent decades, while membrane computing, a rule-based formalism inspired by biological cells, is a more recent field… Meer
Um Nachhaltigkeit im Facility Management zu realisieren, sind praxisgerechte Bezugsgrößen erforderlich. Die Autoren stellen in dem Band eine Definition der Nachhaltigkeit vor, die auf Kennzahlen für das Facility Management basiert und die sie in Kooperation mit Unternehmen erarbeitet haben… Meer
The past decade has seen a revolution in the field of spoken dialogue systems. As in other areas of Computer Science and Artificial Intelligence, data-driven methods are now being used to drive new methodologies for system development and evaluation… Meer
The three volume set LNCS 7062, LNCS 7063, and LNCS 7064 constitutes the proceedings of the 18th International Conference on Neural Information Processing, ICONIP 2011, held in Shanghai, China, in November 2011… Meer
The three volume set LNCS 7062, LNCS 7063, and LNCS 7064 constitutes the proceedings of the 18th International Conference on Neural Information Processing, ICONIP 2011, held in Shanghai, China, in November 2011… Meer
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Symposium on Quantum Interaction, QI 2011, held in Aberdeen, UK, in June 2011. The 26 revised full papers and 6 revised poster papers, presented together with 1 tutorial and 1 invited talk were… Meer
The Web has become the world’s largest database, with search being the main tool that allows organizations and individuals to exploit its huge amount of information. Search on the Web has been traditionally based on textual and structural similarities, ignoring to a large degree the semantic… Meer
In dieser Einführung zur Arbeit mit Maple werden Aufgabenstellungen der Ingenieurmathematik leicht verständlich bearbeitet. Sie beziehen sich u. a. auf das Lösen von Gleichungen, Ungleichungen, linearen Gleichungssystemen und von Differenzialgleichungen und Integraltransformationen, auf… Meer
The two-volume set LNCS 7031 and 7032 constitutes the proceedings of the 10th International Semantic Web Conference, ISWC 2011, held in Bonn, Germany, in October 2011. Part I, LNCS 7031, contains 50 research papers which were carefully reviewed and selected from 264 submissions… Meer
The two-volume set LNCS 7044 and 7045 constitutes the refereed proceedings of three confederated international conferences: Cooperative Information Systems (CoopIS 2011), Distributed Objects and Applications - Secure Virtual Infrastructures (DOA-SVI 2011), and Ontologies, DataBases and Applications… Meer
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Joint Conference on e-Business and Telecommunications, ICETE 2010, held in Athens, Greece, in July 2010… Meer
The 14th issue of the Transactions on Computational Science journal contains nine papers, all revised and extended versions of papers presented at the International Symposium on Voronoi Diagrams 2010, held in Quebec City, Canada, in June 2010… 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
