This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full p
This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Software Language Engineering, SLE 2012, held in Dresden, Germany, in September 2012. The 17 paper
This reference manual for the OpenStat software, an open-source software developed by William Miller, coversa broad spectrum ofstatisticalmethods and techniques. A unique feature is its compatibility
Since its conception almost 30 years ago, the BDI (Belief Desire Intention) model of agency has become established, along with Soar, as the approach of choice for practitioners in the development of k
Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in ena
“Emotion Recognition Using Speech Features” provides coverage of emotion-specific features present in speech. The author also discusses suitable models for capturing emotion-specific information for d
Proceedings of the 2012 International Conference on Information Technology and Software Engineering presents selected articles from this major event, which was held in Beijing, December 8-10, 2012. Th
???This reference manual for the OpenStat software, an open-source software developed by William Miller, covers a broad spectrum of statistical methods and techniques. A unique feature is its compatib
The Handbook of Adult Development is an overview of the major theories and research in the field. Included are sections on introductory theory and method, biocognitive development in adulthood, and so
This book constitutes the thoroughly refereed post-conference proceedings of the Third International ICST Conference on Sensor Systems and Software, S-Cube 2012, held in Lisbon, Portugal in June 2012.
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised
This book focuses on the analysis of dose-response microarray data in pharmaceutical settings, the goal being to cover this important topic for early drug development experiments and to provide user-f
This book constitutes the refereed proceedings of the 18th International Conference on Information and Software Technologies, ICIST 2012, held in Kaunas, Lithuania, in September 2012. The 40 revised f
This book constitutes the refereed proceedings of the Fourth International Symposium on Search-Based Software Engineering, SSBSE 2012, held in Riva del Garda, Italy in collocation with the 28th IEEE I
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers pr
Over the last decade the development of new molecular biology tools, advanced microscopy, live imaging and systems biology approaches have revolutionized our conception of how embryonic development pr
Multicore Programming Using the ParC Language discusses the principles of practical parallel programming using shared memory on multicore machines. It uses a simple yet powerful parallel dialect of C
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Software Language Engineering, SLE 2011, held in Braga, Portugal, in July 2011. The 18 papers pres
This book constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Fundamentals of Software Engineering, FSEN 2011, held in Tehran, Iran, in April 2011
Search and Classification Using Multiple Autonomous Vehicles provides a comprehensive study of decision-making strategies for domain search and object classification using multiple autonomous vehicles
The book constitutes the refereed proceedings of the 10th International Conference on Software Composition, SC 2011, held in Zurich, Switzerland, in June/July 2011, co-located with TOOLS 2011 Federate
As a result of the molecular genetic analysis of development similar mechanisms for the regulation of gene expression are found in a wide range of organisms. In "Development - the Molecular Genetic Ap
This book constitutes the refereed proceedings of the Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva, Switzerland, in September 2011. The 13 re
Militarized Conflict Modeling Using Computational Intelligence examines the application of computational intelligence methods to model conflict. Traditionally, conflict has been modeled using game the
This book describes the state-of-the-art in RF, analog, and mixed-signal circuit design for Software Defined Radio (SDR). It synthesizes for analog/RF circuit designers the most important general des
Many systems, devices and appliances used routinely in everyday life, ranging from cell phones to cars, contain significant amounts of software that is not directly visible to the user and is therefor
This book focuses on the intersection between cell cycle regulation and embryo development. Specific modifications of the canonical cell cycle occur throughout the whole period of development and are
Since the discovery of microRNAs, developmental biologists have striven to understand the role of miRNAs in development and disease. MicroRNAs in Development: Methods and Protocols collects contributi
Model Predictive Control System Design and Implementation Using MATLABR proposes methods for design and implementation of MPC systems using basis functions that confer the following advantages: - cont
This book constitutes the post-conference proceedings of the International Workshop on Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Sciences (
This book contains the refereed proceedings of the First International Conference on Software Business (ICSOB) in Jyvaskyla, Finland, in June 2010. This inaugural conference brought together a strong
This work seeks to propose a methodological basis for regional development analysis based on vector calculus. Existing taxonomic methods are developed further in order to assess regions and micro-regi
This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presen
This tutorial book presents an augmented selection of the material presented at the International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2007, held
Software architectures that contain many dynamically interacting components, each with its own thread of control, engaging in complex coordination protocols, are difficult to correctly and efficiently
This book jumps directly to the "good stuff," allowing readers to quickly start writing real applications using JSP, JavaBeans, Annotations, JSTL, Java 1.5, Hibernate, Apache Velocity and Tomcat Writt
Open source software has emerged as a major field of scientific inquiry across a number of disciplines. When the concept of open source began to gain mindshare in the global business community, decisi
The basin of attraction of an equilibrium of an ordinary differential equation can be determined using a Lyapunov function. A new method to construct such a Lyapunov function using radial basis functi
This book constitutes the refereed proceedings of the 7th International Conference on Extreme Programming and Agile Processes in Software Engineering, XP 2006, held in Oulu, Finland, June 2006. The bo
This software is an interactive program for the calculation of more than 25 thermophysical properties of water and steam based on the industrial formulation IAPWS-IF97.The software contains the possib
