This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Advances in Computer Games, ACG 2015, held in Leiden, The Netherlands, in July 2015. The 22 revised full papers presented were carefully reviewed and selected from 3…
This comprehensive textbook presents a clean and coherent account of most fundamental tools and techniques in Parameterized Algorithms and is a self-contained guide to the area. The book covers many of the recent developments of the field, including application of important sepa…
The connected dominating set (CDS) has been a classic subject studied in graph theory since 1975. It has been discovered in recent years that CDS has important applications in communication networks --especially in wireless networks --as a virtual backbone. Motivated from those …
In this work we plan to revise the main techniques for enumeration algorithms and to show four examples of enumeration algorithms that can be applied to efficiently deal with some biological problems modelled by using biological networks: enumerating central and peripheral nodes…
This book constitutes the refereed proceedings of the 15th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2015, held in Copenhagen, Denmark, in April 2015, co-located with the Evo*2015 events EuroGP, EvoMUSART and EvoApplications. The 19 re…
This book explores the use of technology to detect, predict and understand social cues, in order to analyze and prevent conflict. Traditional human sciences approaches are enriched with the latest developments in Social Signal Processing aimed at an automatic understanding of co…
Advances in computer science and information technology: first International Conference on Computer Scienc…
by Kaushik, Brajesh Kumar, Meghanathan, Natarajan, Nagamalai, Dhinaharan, International Conference on Computer Science and Information Technology, Bangalore, India)
fromCommunications in computer and information science
Theory and applications of satisfiability testing - SAT 2012: 15th International Conference, Trento, Italy, Jun…
by Sebastiani, Roberto, Cimatti, Alessandro, International Conference on Theory and Applications of Satisfiability Testing, SAT, Trento, Italy)
fromLecture Notes in Computer Science
This book constitutes the refereed proceedings of the 20th International Symposium on Fundamentals of Computation Theory, FCT 2015, held in Gdańsk, Poland, in August 2015. The 27 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers c…
This book constitutes the refereed proceedings of the 15th International Workshop on Algorithms in Bioinformatics, WABI 2015, held in Atlanta, GA, USA, in September 2015. The 23 full papers presented were carefully reviewed and selected from 56 submissions. The selected papers c…
Principles of Systems Science
by Kalton, Michael C., Mobus, George E.
fromUnderstanding complex systems
This pioneering text provides a comprehensive introduction to systems structure, function, and modeling as applied in all fields of science and engineering. Systems understanding is increasingly recognized as a key to a more holistic education and greater problem solving skills,…