You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Researchers in the evolving fields of artificial intelligence and information systems are constantly presented with new challenges. Artificial Intelligence and Integrated Intelligent Information Systems: Emerging Technologies and Applications provides both researchers and professionals with the latest knowledge applied to customized logic systems, agent-based approaches to modeling, and human-based models. Artificial Intelligence and Integrated Intelligent Information Systems: Emerging Technologies and Applications presents the recent advances in multi-mobile agent systems, the product development process, fuzzy logic systems, neural networks, and ambient intelligent environments among many other innovations in this exciting field.
This book provides a good opportunity for software engineering practitioners and researchers to get in sync with the current state-of-the-art and future trends in component-based embedded software research. The book is based on a selective compilation of papers that cover the complete component-based embedded software spectrum, ranging from methodology to tools. Methodology aspects covered by the book include functional and non-functional specification, validation, verification, and component architecture. As tools are a critical success factor in the transfer from academia-generated knowledge to industry-ready technology, an important part of the book is devoted to tools. This state-of-the-art survey contains 16 carefully selected papers organised in topical sections on specification and verification, component compatibility, component architectures, implementation and tool support, as well as non-functional properties.
This book constitutes the proceedings of the 18th Brazilian Symposium on Programming Languages, SBLP 2014, held in Maceio, Brazil, in October 2014. The 11 full papers were carefully reviewed and selected from 31 submissions. The papers cover topics such as program generation and transformation; programming paradigms and styles; formal semantics and theoretical foundations; program analysis and verification; programming language design and implementation.
This book, through a bunch of systematic and analytical notes and scientific commentaries, acquaints the readers with the innovative methods of regional development, measurement of the development in regional scale, regional development models, and policy prescriptions. Conceptualizing development as a regional process is a geographer's brainchild, and the sense of region has long been rooted deeply in the fundamental research practices that geographers are accustomed to. The geographical perspective of regions entails conceptualizing them nested horizontally as the formal region and hierarchical relationships in space with spatial flows or interactions as the functional region. In geographi...
Stemming from environmental, genetic, and situational factors, chronic disease is a critical concern in modern medicine. Managing treatment and controlling symptoms is imperative to the longevity and quality of life of patients with such diseases. The Handbook of Research on Trends in the Diagnosis and Treatment of Chronic Conditions features current research on the diagnosis, monitoring, management, and treatment of recurring diseases such as diabetes, Parkinson's disease, autoimmune disorders, and others. This handbook is intended for practitioners and researchers across various disciplines including, but not limited to, biology, biomedical engineering, computer science, and information and communication technologies. Aimed at identifying new disease determinants and the way in which new technologies can contribute to improved health outcomes, this handbook covers a variety of topics, including wearable and mobile technologies, capillaroscopy imaging, diagnostic and monitoring methods, and disease prediction modeling, among others.
This book constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held in Vienna, Austria, in September 2005. The 19 revised full papers presented including 2 system descriptions were carefully reviewed and selected from 28 submissions. The papers are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.
Patients and medical professionals alike are slowly growing into the digital advances that are revolutionizing the ways that medical records are maintained in addition to the delivery of healthcare services. As technology continues to advance, so do the applications of technological innovation within the healthcare sector. The Encyclopedia of E-Health and Telemedicine is an authoritative reference source featuring emerging technological developments and solutions within the field of medicine. Emphasizing critical research-based articles on digital trends, including big data, mobile applications, electronic records management, and data privacy, and how these trends are being applied within the healthcare sector, this encyclopedia is a critical addition to academic and medical libraries and meets the research needs of healthcare professionals, researchers, and medical students.
Covers central topics in information systems modeling and architectures. Includes the latest developments in information systems modeling, methods, and best practices.
This three-volume-set (CCIS 219, CCIS 220, and CCIS 221) constitutes the refereed proceedings of the International Conference on ENTERprise Information Systems, CENTERIS 2011, held in Vilamoura, Portugal, in September 2011. The approx. 120 revised full papers presented in the three volumes were carefully reviewed and selected from 180 submissions. The papers are organized in topical sections on knowledge society, EIS adoption and design, EIS implementation and impact, EIS applications, social aspects and IS in education, IT/IS management, telemedicine and imaging technologies, healthcare information management, medical records and business processes, decision support systems and business intelligence in health and social care contexts, architectures and emerging technologies in healthcare organizations, as well as m-health.