This book constitutes the proceedings of the Third International Conference on Information Processing in Computer-Assisted Interventions IPCAI 2012, held in Pisa, Italy, on June 27, 2012. Meer
This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2012, held in Stockholm, Sweden, in June 2012 as one of the DisCoTec 2012 events. Meer
Welcome back to the International Security Protocols Workshop. Our theme for this, the 14th workshop in the series, is “Putting the Human Back in the Protocol”. Meer
The IFIP International Conference on Network and Parallel Computing is an international conference, aimed at providing an exciting platform and forum for researchers and developers from academia and industry to present their latest research in the ? Meer
This introduction to cryptography employs a programming-oriented approach to study the most important cryptographic schemes in current use and the main cryptanalytic attacks against them. Meer
The purpose of the 13th International Conference on Computer and Information Science (SNPD 2012) held on August 8-10, 2012 in Kyoto, Japan was to bring together researchers and scientists, businessmen and entrepreneurs, teachers and students to discuss the numerous fields of computer science, and to share ideas and information in a meaningful way. Meer
This book constitutes the refereed proceedings of the 5th International Conference on Data Management in Grid and Peer-to-Peer Systems, Globe 2012, held in Vienna, Austria, in September 2012 in conjunction with DEXA 2012. Meer
To our sons, Mike, Andrew, Alex, who did not inherit their fathers' level of interest in applied mechanics, but who became sophisticated in software development and in this regard surpassed their parents. Meer
This two-part survey provides a short review of the classical part of representation theory, carefully exposing the structure of the theory without overwhelming readers with details, and deals with representations of Virasoro and Kac-Moody algebra. Meer
This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. Meer
Das World Wide Web ist zweifelsohne eine der wichtigsten Entwicklungen des vergangenen Jahrzehnts. Seit den Anfängen 1990 hat es sich von einem zunächst sehr einfachen Modell von Ressource-Namen (URL), einem Übertragungsprotokoll (HTTP) und einer Sprache für die Beschreibung miteinander verbundener Dokumente (HTML) zu einer weit komplexeren Infrastruktur entwickelt. Meer
This book constitutes the refereed proceedings of the 5th International Symposium on Algorithmic Game Theory, SAGT 2012, held in Barcelona, Spain, in October 2012. Meer
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. Meer
The two volume set LNAI 6703 and LNAI 6704 constitutes the thoroughly refereed conference proceedings of the 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, held in Syracuse, NY, USA, in June/July 2011. Meer
This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in June 2011. Meer
This book constitutes the refereed proceedings of the 12 International Conference on Product-Focused Software Process Improvement, PROFES 2011, held in Torre Canne, Italy, in June 2011. Meer
This book constitutes the refereed proceedings of the 4th International Conference on the Theory and Application of Cryptographic Techniques in Africa, AFRICACRYPT 2011, held in Dakar, Senegal, in July 2011. Meer
Reinforcement learning has developed as a successful learning approach for domains that are not fully understood and that are too complex to be described in closed form. Meer
This book constitutes the refereed proceedings of the workshops of the 11th International Conference on Web-Age Information Management, held in Jiuzhaigou, China, in July 2010. Meer
This book constitutes the refereed proceedings of the 9th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2012, held in Girona, Catalonia, Spain, in November 2012. 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