In this monograph the author presents a thorough computational geometry approach to handling theoretical and practical problems arising from numerically controlled pocket machining. Meer
Most real physical systems are nonlinear in nature. Control and ?ltering of nonlinear systems are still open problems due to their complexity natures. Meer
SUPERCOMPUTER '91 - Anwendungen, Architekturen, Trends enthält alle Hauptvorträge des zum sechsten Mal veranstalteten Mannheimer Seminars. Das diesjährige Seminar versammelte wiederum als die führende Veranstaltung im deutschsprachigen Raum Supercomputer-Anwender, -Betreiber und -Hersteller zu einem fruchtbaren Dialog und Erfahrungsaustausch. Meer
This book provides a practical introduction to computationally solving discrete optimization problems using dynamic programming. From the examples presented, readers should more easily be able to formulate dynamic programming solutions to their own problems of interest. Meer
This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK, August 2006. Meer
Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006. Meer
This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006. The book presents 26 revised full papers together with 11 revised short papers and 2 invited talks. Meer
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, formal modelling of systems, and more. Meer
Here are the refereed proceedings of the Third International Workshop on Medical Imaging and Augmented Reality, MIAR 2006, held in Shanghai, China, August 2006. Meer
Spatial database management has become an important subarea
of current database research. Research in this area is often
characterized by interdisciplinary cooperation: computer
scientists work with geographers andenvironmental
scientists to provide better access to spatial databases of
steadily increasing size. Meer
Dieses Buch besch{ftigt sich mit der Problematik der visuel-
len Pr{sentation von Produktmodelldaten, die die Schnitt-
stelle zwischen den Bereichen der Computer-Graphik und des
CAD/CIM darstellt. Meer
This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018. Meer
An overview of the recent progress of research in computational physics and materials science. Particular topics are modelling of traffic flow and complex multi-scale solidification phenomena. Meer
This volume contains work on the decision problem done in
Kazan (Russia), Tallinn (Estonia), and Vienna (Austria). The
authors met several times to discuss and exchange their
results and finally decided to write this monograph
together. Meer
The papers in this volume are extended versions of
presentations at the fourth International Conference on
Information Processing and Management of Uncertainty in
Knowledge-based Systems (IPMU), held in Palma de Mallorca,
July 6-10, 1992. Meer
This volume contains the papers from BIOWIRE 2007, the first in a series of wo- shops on the bio-inspired design of networks, and additional papers contributed from the research area of bio-inspired computing and communication. Meer
The argument for performance engineering methods to be employed in comput- communication systems has always been that such systems cannot be designed or modi? Meer
Nachdem die ersten Fuzzy-Regler Anfang der siebziger Jahre entwickelt und in der Praxis erprobt wurden, hat das Gebiet der Fuzzy-Regelung in den vergangenen Jahrzehnten einen gewaltigen Fortschritt erfahren. Meer
The Austrian Center for Parallel Computation (ACPC) is a
cooperative research organization founded in 1989 to promote
research and education in the field of software for parallel
computer 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