You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Dealing with uncertainty, moving from ignorance to knowledge, is the focus of cognitive processes. Understanding these processes and modelling, designing, and building artificial cognitive systems have long been challenging research problems. This book describes the theory and methodology of a new, scientifically well-founded general approach, and its realization in the form of intelligent systems applicable in disciplines ranging from social sciences, such as cognitive science and sociology, through natural sciences, such as life sciences and chemistry, to applied sciences, such as medicine, education, and engineering. The main subject developed in the book is cognitive reasoning investigat...
This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory. This field essentially attempts to provide a precise mathematical basis for the common activities involved in reasoning about computer programs and programming languages, and it also attempts to find practical applications in the areas of program specification, verification and programming language design. Many different approaches with different mathematical frameworks have been proposed as a basis for programming theory. They differ in the mathe matical machinery they use to define and investigate pr...
This book constitutes the refereed proceedings of the Second International ICST Conference on Wireless Mobile Communication and Healthcare, MobiHealth 2011, held on Kos Island, Greece, in October 2011. The 60 revised full papers presented were carefully reviewed and selected from more than 80 submissions. The papers are organized in 10 sessions and two workshops with topics covering intrabody communications, chronic disease monitoring and management, ambient assistive technologies, implantable and wearable sensors, emergency and disaster applications.
None