This editorial book presents twelve contributions from the German "Wirtschaftsinformatik" that exemplify the contemporary approach of theory-guided modeling and empiricism which complements existing approaches. It summarizes recent research which has been presented at major inte…
Ontologies are increasingly recognized as essential tools in information science. Although the concepts are well understood theoretically, the practical implementation of ontologies remains challenging. In this book, researchers in computer science, information systems, ontology…
Annotation This book constitutes the refereed proceedings of the 12th International Conference on Software Reuse, ICSR 2011, held in Pohang, South Korea, in June 2011. The 16 revised full papers were carefully reviewed and selected from 43 submissions. They are presented togethe…
"Abstract and conceptual models have become an indispensable tool for analyzing the flood of empirical data generated in recent years by advanced techniques in the biosciences. In Modeling Biology, scholars investigate new modeling strategies in the domains of morphology, develo…
This two-volume set LNCS 6691 and 6692 constitutes the refereed proceedings of the 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, held in Torremolinos-Málaga, Spain, in June 2011. The 154 revised papers were carefully reviewed and selected from 202…
This book constitutes the refereed proceedings of the Third International Symposium on Engineering Secure Software and Systems, ESSoS 2011, held in Madrid, Italy, in February 2011. The 18 revised full papers presented together with 3 idea papers were carefully reviewed and selec…
Languages, methodologies and development tools for multi-agent systems: third international workshop, LADS 2010, Lyon, Fr…
by Dastani, Mohammad Mehdi, International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems, LADS, Lyon, France)
fromLecture Notes in Computer Science
This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invit…
In its third edition, this book demonstrates how the living systems modeling of aquatic ecosystems for ecological, biological and physiological research, and ecosystem restoration can produce answers to very complex ecological questions. This book further offers an understanding…
Guidebook on molecular modeling in drug design
Specially designed computer software is revolutionizing procedures for structured or rational drug design and discovery. The Guidebook on Molecular Modeling in Drug Design serves as a manual for the analysis ofmolecular structure and the correlation of these structures with phar…
Specially designed computer software is revolutionizing procedures for structured or rational drug design and discovery. The Guidebook on Molecular Modeling in Drug Design serves as a manual for the analysis ofmolecular structure and the correlation of these structures with phar…
Molecular modeling has assumed an important role in understanding the three-dimensional aspects of specificity in drug-receptor interactions at the molecular level. Well-established in pharmaceutical research, molecular modeling offers unprecedented opportunities for assisting m…
