A Roadmap for Formal Property Verification
This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
اقرأ المزيد
A Software-Defined GPS and Galileo Receiver
Satellite navigation receivers are used to receive, process, and decode space-based navigation signals, such as those provided ...
اقرأ المزيد
A Visual Atlas for Soil Micromorphologists
This atlas is an up-to-date visual resource on the features and structures observed in soil thin sections, i.e. soil micromorphology.
اقرأ المزيد
ADVANCES AND TECHNICAL STANDARDS IN NEUROSURGERY, Vol. 32
This volume of Advances and Technical Standards in Neurosurgery covers some important new developments in functional neurosurgery ...
اقرأ المزيد
AI 2004: Advances in Artificial Intelligence
AI 2004 was the seventeenth in the series of annual Australian artificial intelli-gence conferences. This conference is the ...
اقرأ المزيد
AI 2006: Advances in Artificial Intelligence
This volume contains the proceedings of the 19th Australian Joint Conference on Artificial Intelligence (AI 2006) held at ...
اقرأ المزيد
AI 2008: Advances in Artificial Intelligence : 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings
This book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...
اقرأ المزيد
AI 2020: Advances in Artificial Intelligence
This book constitutes the proceedings of the 33rd Australasian Joint Conference on Artificial Intelligence, AI 2020, held ...
اقرأ المزيدAI home decorator / Enaam Anjo , Reham Ghazi and Haya Okar ; supervised by Ubai Sandouk and Khloud Al-Jallad انعام خالد انجو ، رهام غازي و هيا اسامة عوكر ؛ إشراف أبي صندوق و خلود الجلاد
Presents the development of “DesignMate”, an innovative AI home decorator application designed to revolutionize interior ...
اقرأ المزيد
AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
The book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, ...
اقرأ المزيد
AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
The book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, ...
اقرأ المزيدAIU projects evaluation platform عمار ياسر شماع ؛ باسل محمد وئام القوتلي ؛ محمد مؤيد محمد نعيم خولة ؛ إشراف م. اسراء القاسمي
The project is a cloud computing system constructed to provide the service of helping students run their practical projects ...
اقرأ المزيد
ANEMONA : A Mulit-agent Methodology for Holonic Manufacturing Systems
ANEMONA is a multi-agent system (MAS) methodology for holonic manufacturing system (HMS) analysis and design, based on HMS ...
اقرأ المزيد
ARIS Design Platform
ARIS is ranked as the leading Business Process Modelling tool in the Gartner Quadrant for Business Process Analysis and Optimization. ...
اقرأ المزيد
Abeta Peptide and Alzheimers Disease
Abeta Peptide and Alzheimer’s Disease summarizes current knowledge of beta-amyloid peptide (Aß) and its role as the major ...
اقرأ المزيد
Abnormal Skeletal Phenotypes
This book focuses on the radiographic changes of malformation syndromes and skeletal dysplasias. It is structured such that ...
اقرأ المزيدAcademic Flying and the Means of Communication
This book shines a light on how and why academic work became entwined with air travel, and what can be done to change academia’s ...
اقرأ المزيد
Accelerator-Driven System at Kyoto University Critical Assembly
This book is a unique compilation of experimental benchmark analyses of the accelerator-driven system (ADS) at the Kyoto ...
اقرأ المزيدAccess to Medicines and Vaccines : Implementing Flexibilities Under Intellectual Property Law
This book is the outcome of a Global Forum on Innovation, Intellectual Property and Access to Medicines held in December ...
اقرأ المزيد
Accountability for International Humanitarian Law Violations: The Case of Rwanda and East Timor
The main objective of this book is to make available to an informed audience a le gal and policy oriented study on accountability ...
اقرأ المزيد
