This book contains the edited version of the invited lectures that were delivered by prominent researchers at UTL. This book ...
Continue readingThis book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
Continue readingThe book gives a streamlined and systematic introduction to strongly continuous semigroups of bounded linear operators on ...
Continue readingThe history of lunatic asylums – what do we really know about them? Films and television programs have portrayed them as ...
Continue readingThis book investigates the complex processes of the post-1990 transformation in the Czech automotive industry and its selective ...
Continue readingRecent years have seen dramatic progress in shape recognition algorithms applied to ever-growing image databases. They have ...
Continue readingRecent years have seen spectacular advances in the field of circadian biology. These have attracted the interest of researchers ...
Continue readingRecent years have seen spectacular advances in the field of circadian biology. These have attracted the interest of researchers ...
Continue reading"Market quality" is a complex, ambiguous term that means different things to different people. How should it be defined, ...
Continue readingThe Objective Structured Clinical Examination (OSCE) is a type of examination often used in health sciences. It is designed ...
Continue readingThe book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
Continue readingThe book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
Continue readingThis book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...
Continue readingPresents a practical framework for strategically leveraging AI to boost sales, marketing and customer-centricity Showcases ...
Continue readingThis book mainly focuses on the safe control of robot manipulators. The control schemes are mainly developed based on dynamic ...
Continue readingPresents the development of “DesignMate”, an innovative AI home decorator application designed to revolutionize interior ...
Continue readingShows you: how customer and market potential can be automatically identified and profiled; how media planning can be intelligently ...
Continue readingEven today, many people still find interacting with computers and hardware to be an unpleasant experience, despite the development ...
Continue readingAssets can be defined as something of value that can be converted into cash, as all institutions and companies own assets ...
Continue readingStresses in plants caused by salt, drought, temperature, oxygen, and toxic compounds are the principal reason for reduction ...
Continue reading