This proceedings set contains 85 selected full papers presented at the 3rd International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences - MCO 2015, held on May 11–13, 2015 at Lorraine University, France. The present part I of the 2 volume set includes articles devoted to Combinatorial optimization and applications, DC programming and DCA: …
This monograph presents results of the analytical and numerical modeling of convective heat and mass transfer in different rotating flows caused by (i) system rotation, (ii) swirl flows due to swirl generators, and (iii) surface curvature in turns and bends. Volume forces (i.e. centrifugal and Coriolis forces), which influence the flow pattern, emerge in all of these rotating flows. The main pa…
This book is a comprehensive introduction of the reader into the simulation and modelling techniques and their application in the management of organisations. The book is rooted in the thorough understanding of systems theory applied to organisations and focuses on how this theory can apply to econometric models used in the management of organisations. The econometric models in this book employ…
With a focus on food safety, this book highlights the importance of microbes in sustainable agriculture. Plants, sessile organisms that are considered as primary producers in the ecosystem and communicate with above- and below-ground communities that consist of microbes, insects, and other vertebrate and invertebrate animals, are subjected to various kinds of stress. Broadly speaking, these can…
This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2015, held in Prague, Czech Republic, in April 2015. The 18 revised full papers included in the volume were carefully reviewed and selected from 33 submissions. They are organized in the following topical sections: state of the ar…
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and ar…
The book describes how plant biomass can be used as renewable feedstock for producing and further processing various products. Particular attention is given to microbial processes both for the digestion of biomass and the synthesis of platform chemicals, biofuels and secondary products. Topics covered include: new metabolic pathways of microbes living on green plants and in silage; using ligno…
This volume presents an eclectic mix of original research articles in areas covering the analysis of ordered data, stochastic modeling and biostatistics. These areas were featured in a conference held at the University of Texas at Dallas from March 7 to 9, 2014 in honor of Professor H. N. Nagaraja’s 60th birthday and his distinguished contributions to statistics. The articles were written by …
This volume is a comprehensive collection of extended contributions from the fourth international symposium on Modeling and Implementing Complex Systems (MICS’2106) organized into four main topics: Networking and Cloud Computing, Software Engineering and Formal Methods, Intelligent and Information Systems, and Algorithms and Complexity. This book presents recent advances related to theory and…
This book presents an overview of the characterization of electronic waste. In addition, processing techniques for the recovery of metals, polymers and ceramics are described. This book serves as a source of information and as an educational technical reference for practicing scientists and engineers, as well as for students.