This volume brings together selected contributed papers presented at the International Conference of Computational Methods in Science and Engineering (ICCMSE 2005), held in Greece, 21 – 26 October 2005. Meer
€ 241,46
Levertijd ongeveer 11 werkdagen | Gratis verzonden
These Proceedings of a NATO-ARW (HTECH ARW 96 00 52) held at the International Center for Theoretical Physics, Trieste, Italy from Aug 5 till Aug 9, 1996 resulted from many discussions between various workers, concerning the need for a gathering of all (if possible) who were concerned about the subject of superconductivity fluctuations in High critical Temperature Superconductors (HTS). Meer
Organized Human Activity and Its Support by Computer proposes an answer to the question: what are computers for?
With technical expertise, Anatol Holt analyzes human activity and its relevance to computer use. Meer
This volume is a collection of papers presented at the 2007 colloquium on new perspectives on games and interaction at the Royal Dutch Academy of Sciences in Amsterdam. Meer
€ 104,98
Levertijd ongeveer 16 werkdagen | Gratis verzonden
- Donation refusal is high in all the regions of Argentina. - The deficient operative structure is a negative reality that allows inadequate donor maintenance and organ procurement. Meer
I am very pleased to write these few brief paragraphs introducing this book, and would like to take this opportunity to attempt to set the Toolpack project in an appropriate historical context. Meer
From 18th to 20th September, 1978, about forty scientists and practitioners from Australia, Canada, Denmark, Finland, Great Britain, the United States and the Federal Republic of Germany joined in an international symposium entitled "Design and Implementation of Computer-based Information Systems" . Meer
Theory and practice of tolerances are very important for designing and manufacturing engineering artifacts on a rational basis. Tolerance specifies a degree of "discrepancy" between an idealized object and its physical realization. Meer
Although there has been much progress in developing theories, models and systems in the areas of Natural Language Processing (NLP) and Vision Processing (VP), there has heretofore been little progress on integrating these two subareas of Artificial Intelligence (AI). Meer
It has been shown how the common structure that defines a family of proofs can be expressed as a proof plan [5]. This common structure can be exploited in the search for particular proofs. Meer
Resolution Proof Systems: An Algebraic Theory presents a new algebraic framework for the design and analysis of resolution- based automated reasoning systems for a range of non-classical logics. Meer
Although there has been much progress in developing theories, models and systems in the areas of Natural Language Processing (NLP) and Vision Processing (VP) there has up to now been little progress on integrating these two subareas of Artificial Intelligence (AI). Meer
The guiding light of this monograph is a question easy to understand but difficult to answer: {What is the shape of the universe? In other words, how do we measure the shortest distance between two points of the physical space? Meer
In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. Meer
The creative work of Andrei N. Kolmogorov is exceptionally wide-ranging. In his studies on trigonometric and orthogonal series, the theory of measure and integral, mathematical logic, approximation theory, geometry, topology, functional analysis, classical mechanics, ergodic theory, superposition of functions, and in formation theory, he solved many conceptual and fundamental problems and posed new questions which gave rise to a great deal of further research. Meer
This monograph treats normally hyperbolic invariant manifolds, with a focus on noncompactness. These objects generalize hyperbolic fixed points and are ubiquitous in dynamical systems. 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