This book constitutes the proceedings of the 12th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR
This book – specifically developed as a novel textbook on elementary classical mechanics – shows how analytical and numerical methods can be seamlessly integrated to solve physics problems. This appro
This book – specifically developed as a novel textbook on elementary classical mechanics – shows how analytical and numerical methods can be seamlessly integrated to solve physics problems. This appro
This collection of contributed chapters demonstrates a wide range of applications within two overlapping research domains: social media analysis and social network analysis. Various methodologies were
This book constitutes the refereed proceedings of the 13th International Conference on Formal Concept Analysis, ICFCA 2015, held in Neja, Spain, in June 2015. The 16 revised full papers presented were
This volume constitutes the proceedings of the 10th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2015, held Bilbao, Spain, June 2014. The 60 papers published in this volume
This book constitutes the refereed proceedings of the 17th International Conference on Artificial Intelligence in Education, AIED 2015, held in Madrid, Spain, in June 2015.The 50 revised full papers p
This book constitutes the refereed proceedings of the 15th Conference on Artificial Intelligence in Medicine, AIME 2015, held in Pavia, Italy, in June 2015. The 19 revised full and 24 short papers pre
The two-volume set LNAI 9119 and LNAI 9120 constitutes the refereed proceedings of the 14th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2015, held in Zakopane, Polan
The two-volume set LNAI 9119 and LNAI 9120 constitutes the refereed proceedings of the 14th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2015, held in Zakopane, Polan
This book includes the thoroughly refereed post-conference proceedings of the 18th Annual RoboCup International Symposium, held in Joao Pessoa, Brazil, in July 2014. The 36 revised papers presented, a
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
This book constitutes the refereed proceedings of the 10th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2013, held in Gudauri, Georgia, in September 2013. The conference
At the ICAB 2014, researchers from around the world will gather to discuss the latest scientific research, findings and technologies concerning Microbial Genetics and Breeding, Optimization and Contro
The five-volume set LNCS 9003--9007 constitutes the thoroughly refereed post-conference proceedings of the 12th Asian Conference on Computer Vision, ACCV 2014, held in Singapore, Singapore, in Novembe
The two volume set LNCS 9043 and 9044 constitutes the refereed proceedings of the Third International Conference on Bioinformatics and Biomedical Engineering, IWBBIO 2015, held in Granada, Spain in Ap
The two volume set LNCS 9043 and 9044 constitutes the refereed proceedings of the Third International Conference on Bioinformatics and Biomedical Engineering, IWBBIO 2015, held in Granada, Spain, in A
The book deals with the (elementary and introductory) theory of valuation rings. As explained in the introduction, this represents a useful and important viewpoint in algebraic geometry, especially co
This book presents the science of tensors in a didactic way. The various types and ranks of tensors and the physical basis is presented. Cartesian Tensors are needed for the description of directional
This book constitutes the refereed proceedings of the 28th Canadian Conference on Artificial Intelligence, Canadian AI 2015, held in Halifax, Nova Scotia, Canada, in June 2015.The 15 regular papers an
This proceedings volume provides a snapshot of the latest issues encountered in technical convergence and convergences of security technology. It explores how information science is core to most curre
Since the mid 1990s, data hiding has been proposed as an enabling technology for securing multimedia communication and is now used in various applications including broadcast monitoring, movie fingerp
The two-volume proceedings, LNAI 9077 + 9078, constitutes the refereed proceedings of the 19th Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2015, held in Ho Ch
China Satellite Navigation Conference (CSNC) 2015 Proceedings presents selected research papers from CSNC2015, held during 13th-15th May in Xian, China. The theme of CSNC2015 is Opening-up, Connectivi
The two-volume proceedings, LNAI 9077 + 9078, constitutes the refereed proceedings of the 19th Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2015, held in Ho Ch
The two volumes LNCS 9041 and 9042 constitute the proceedings of the 16th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2015, held in Cairo, Egypt, in
The two volumes LNCS 9041 and 9042 constitute the proceedings of the 16th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2015, held in Cairo, Egypt, in
This book describes the design of a receiver front-end circuit for operation in the 60GHz range in 90nm CMOS. Physical layout of the test circuit and post-layout simulations for the implementation of
China Satellite Navigation Conference (CSNC) 2015 Proceedings presents selected research papers from CSNC2015, held during 13th-15th May in Xian, China. The theme of CSNC2015 is Opening-up, Connectivi
China Satellite Navigation Conference (CSNC) 2015 Proceedings presents selected research papers from CSNC2015, held during 13th-15th May in Xian, China. The theme of CSNC2015 is Opening-up, Connectivi
This book draws together the most interesting recent results to emerge in mechanical engineering in Russia, providing a fascinating overview of the state of the art in the field in that country which
This book constitutes the proceedings of the 8th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2015, held in Sousse, Tunisia, in May 2015. The
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 20
This book constitutes the refereed proceedings of the 4th International Conference on Principles of Security and Trust, POST 2015, held as part of the European Joint Conferences on Theory and Practice
This book offers a collection of original peer-reviewed contributions presented at the 6th International Congress on Design and Modeling of Mechanical Systems (CMSM’2015), held in Hammamet, Tunisia, f
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer s
This book is intended as an undergraduate textbook in electrodynamics at basic or advanced level. The objective is to attain a general understanding of the electrodynamic theory and its basic experime
Engineering asset management encompasses all types of engineered assets including built environment, infrastructure, plant, equipment, hardware systems and components. Following the release of ISO 550
This book constitutes the thoroughly refereed proceedings of the 7th International Workshop on Traffic Monitoring and Analysis, TMA 2015, held in Barcelona, Spain, in April 2015. The 16 full papers pr
This book constitutes the refereed proceedings of the Third International Symposium on Statistical Learning and Data Sciences, SLDS 2015, held in Egham, Surrey, UK, April 2015.The 36 revised full pape
