This book constitutes the refereed proceedings of the 7th International Conference on Software Language Engineering, SLE 2014, held in Vasteras, Sweden, in September 2014. The 19 revised full papers p
This book constitutes the refereed proceedings of the 4th International Conference on Machine Learning and Data Mining in Pattern Recognition, MLDM 2005, held in Leipzig, Germany, in July 2005.The 68
This book presents a comprehensive overview of the freezing of colloidal suspensions and explores cutting-edge research in the field. It is the first book to deal with this phenomenon from a multidisc
This book is aimed at undergraduate and graduate students in applied mathematics or computer science, as a tool for solving real-world design problems. The present work covers fundamentals in mul
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
This book constitutes the refereed proceedings of the 5th IFIP WG 13.2 International Conference on Human-Centered Software Engineering, HCSE 2014, held in Paderborn, Germany, in September 2014. The 13
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 volume contains contributions from prominent researchers who participated in the 2007 IAENG International Conference on Operations Research. It presents theories and applications of modern indust
The Conference was focused in the Qualitative Theory of Differential Equations and its applications in a broad sense, including Boundary Value Problems, Existence, Multiplicity, Uniqueness, Stability
This book constitutes the refereed proceedings of the Third International Workshop on Machine Learning in Medical Imaging, MLMI 2012, held in conjunction with MICCAI 2012, in Nice, France, in October
This three-volume set LNAI 8724, 8725 and 8726 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2014, held in Nancy,
This three-volume set LNAI 8724, 8725 and 8726 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2014, held in Nancy,
This three-volume set LNAI 8724, 8725 and 8726 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2014, held in Nancy,
This book constitutes the refereed proceedings of the 11th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, EvoBIO 2013, held in Vienna, Austria, in
This two-volume set LNAI 7523 and LNAI 7524 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2012, held in Bristol, U
This book provides comprehensive coverage of verification and debugging techniques for the embedded software frequently used in safety-critical applications (e.g., automotive), where failures are unac
Rubinstein is the pioneer of the well-known score function and cross-entropy methods.Accessible to a broad audience of engineers, computer scientists, mathematicians, statisticians and in general anyo
Drawing on years of practical on-site experience, this book presents a new method for controlling "bridge-head bumping" in soft soil ground. Based on deformation compatibility and control theory of st
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
This three-volume set LNAI 8188, 8189 and 8190 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2013, held in Prague,
This three-volume set LNAI 8188, 8189 and 8190 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2013, held in Prague,
This three-volume set LNAI 8188, 8189 and 8190 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2013, held in Prague,
All papers have been peer-reviewed. The main goal of this series of conferences is to bring together experts and young talented scientists from Bulgaria and abroad to discuss modern trends and to ensu
This book constitutes the thoroughly refereed proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2012, held in Wroclaw, Poland, in June 20
This book contains a collection of thoroughly refereed papers presented at the 6th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2011, held in Beijing, Chin
This book constitutes the refereed conference proceedings of the 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2015, held in S
Accurate and efficient computer algorithms for factoring matrices, solving linear systems of equations, and extracting eigenvalues and eigenvectors. Regardless of the software system used, the book de
Physical implementation of the memristor at industrial scale sparked the interest from various disciplines, ranging from physics, nanotechnology, electrical engineering, neuroscience, to intelligent r
This book offers an excellent presentation of intelligent engineering and informatics foundations for researchers in this field as well as many examples with industrial application. It contains extend
With success of ICEEE 2010 in Wuhan, China, and December 4 to 5, 2010, the second International Conference of Electrical and Electronics Engineering (ICEEE 2011) will be held in Macau, China, and Dece
Equally grounded in the research and the practical applications developed by the authors over a number of years, this book shows how virtual learning environments could represent the future of higher
This book presents innovative work in Climate Informatics, a new field that reflects the application of data mining methods to climate science, and shows where this new and fast growing field is heade
This volume constitutes the refereed proceedings of the 15th International Conference on Engineering Applications of Neural Networks, EANN 2014, held in Sofia, Bulgaria, in September 2014. The 18 revi
The two volume set, CCIS 383 and 384, constitutes the refereed proceedings of the 14th International Conference on Engineering Applications of Neural Networks, EANN 2013, held on Halkidiki, Greece, in
The two volume set, CCIS 383 and 384, constitutes the refereed proceedings of the 14th International Conference on Engineering Applications of Neural Networks, EANN 2013, held on Halkidiki, Greece, in
Surveying advances in optimization and control methods with applications to industrial engineering and construction management, this book covers lean and agile construction project management, set spl
This book contains a collection of recent advanced contributions in the field of nonlinear dynamics and synchronization, including selected applications in the area of theoretical electrical engineeri
This book will provide researchers and graduate students with an overview of the recent developments and applications of process intensification in chemical engineering. It will also allow the readers
Joseph F. White has studied, worked, and taught in all aspects of microwave semiconductor materials, control diodes, and circuit applications. He is thoroughly grounded in the physics and math- ematic
More than ten years have passed since the first edition was published. During that period there have been a substantial number of changes in geotechnical engineering, especially in the applications of
