This edited book reports recent research results and provides a state-of-the-art on intelligent decision support systems applications, lessons learned and future research directions. Meer
Microtechnologies and their corresponding CAD tools have
meanwhile reached alevel of sophistication that requires
the application of theoretical means on all modelling levels
of design and analysis. Meer
This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in Cambridge, UK, in June 2012. Meer
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International ICST Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services, MobiQuitous 2011, held in Copenhagen, Denmark, in December 2011. Meer
This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. Meer
Call Admission Control (CAC) and Dynamic Channel Assignments (DCA) are important decision-making problems in mobile cellular communication systems. Current research in mobile communication considers them as two independent problems, although the former greatly depends on the resulting free channels obtained as the outcome of the latter. Meer
This book constitutes the carefully refereed post-conference proceedings of two International Workshops: Self-Managing Solutions for Smart Environments, S3E 2011; and the workshop on Health and Well-being Technologies and Services for Elderly, HWTS 2011; as well as a Doctoral Colloquium, held in conjunction with, GPC 2011, in Oulu, Finland, in May 2011. Meer
This book constitutes the refereed proceedings of the 16th Iberoamerican Congress on Pattern Recognition, CIARP 2011, held in Pucón, Chile, in November 2011. Meer
This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. Meer
Das vorliegende Buch bietet eine vollständige Einführung in die imperativ-prozedurale Programmierung anhand der Skriptsprache Perl. Die sukzessive Einführung von Sprachkonstrukten mittels vieler praxisrelevanter Beispiele erleichtert das systematische Erlernen dieser und auch anderer imperativer Programmiersprachen wie C oder Pascal. Meer
Today, reliable software systems are the basis of any business or company. The continuous further development of those systems is the central component in software evolution. Meer
Computing power performance was important at times when hardware was still expensive, because hardware had to be put to the best use. Later on this criterion was no longer critical, since hardware had become inexpensive. Meer
In recent years there has been a significant increase of interest in continuous-time Principal-Agent models, or contract theory, and their applications. Meer
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Intelligent Computing, ICIC 2011, held in Zhengzhou, China, in August 2011. Meer
The combination of different intelligent methods is a very active research area in Artificial Intelligence (AI). The aim is to create integrated or hybrid methods that benefit from each of their components. Meer
Deeply rooted in fundamental research in Mathematics and Computer Science, Cellular Automata (CA) are recognized as an intuitive modeling paradigm for Complex Systems. Meer
The term Web Intelligence is de?ned as a new line of scienti?c research and development,whichisusedtoexplorethefundamentalrolesandpractical- pactofArti? Meer
Evolutionary algorithms, such as evolution strategies, genetic algorithms, or evolutionary programming, have found broad acceptance in the last ten years. Meer
Computer Architecture: Complexity and Correctness develops, at the gate level, the complete design of a pipelined RISC processor with delayed branch, forwarding, hardware interlock, precise maskable nested interrupts, caches, and a fully IEEE-compliant floating point unit. Meer
Segmentation of anatomical structures in medical image data is an essential task in clinical practice. Dagmar Kainmueller introduces methods for accurate fully automatic segmentation of anatomical structures in 3D medical image data. 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