This book constitutes the refereed proceedings of the 6th Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2011, held in Chengdu, China, in August 2011.The 26 revised full papers and 13 invited papers presented were carefully reviewed and selected from numerous submissions. The papers address all current trends, challenges, and state of the art solutions related to various issues in wireless networks. Topics of interests include, but not limited to, effective and efficient state-of-the-art algorithm design and analysis, reliable and secure system development and implementations, experimental study and test bed validation, and new application exploration in wireless networks.

This book constitutes the refereed proceedings of the 33rd Symposium of the German Association for Pattern Recognition, DAGM 2011, held in Frankfurt/Main, Germany, in August/September 2011. The 20 revised full papers and 22 revised poster papers were carefully reviewed and selected from 98 submissions. The papers are organized in topical sections on object recognition, adverse vision conditions challenge, shape and matching, segmentation and early vision, robot vision, machine learning, and motion. The volume also includes the young researcher's forum, a section where a carefully jury-selected ensemble of young researchers present their Master thesis work.

This book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011.
The 14 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 44 submissions. The papers address various theoretical aspects and methodological issues of computing and are organized in topical sections on grammars, semantics, modelling, the special track on formal aspects of software testing and grand challenge in verified software, on logics, as well as algorithms and types.

This Three-Volume-Set constitutes the refereed proceedings of the Second International Conference on Software Engineering and Computer Systems, ICSECS 2011, held in Kuantan, Malaysia, in June 2011. The 190 revised full papers presented together with invited papers in the three volumes were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on software engineering; network; bioinformatics and e-health; biometrics technologies; Web engineering; neural network; parallel and distributed; e-learning; ontology; image processing; information and data management; engineering; software security; graphics and multimedia; databases; algorithms; signal processing; software design/testing; e- technology; ad hoc networks; social networks; software process modeling; miscellaneous topics in software engineering and computer systems.

This volume constitutes the refereed proceedings of the 3rd International Conference on Advanced Communication and Networking, ACN 2011, held in Brno, Czech Republik, in June 2011. The 57 revised full papers presented in this volume were carefully reviewed and selected from numerous submissions. The papers focus on the various aspects of progress in Advanced Communication and Networking with computational sciences, mathematics and information technology and address all current issues of communication basic and infrastructure, networks basic and management, multimedia application, image, video, signal and information processing.

This book constitutes the refereed proceedings of the 12th Algorithms and Data Structures Symposium, WADS 2011, held in New York, NY, USA, in August 2011.
The Algorithms and Data Structures Symposium - WADS (formerly "Workshop on Algorithms and Data Structures") is intended as a forum for researchers in the area of design and analysis of algorithms and data structures. The 59 revised full papers presented in this volume were carefully reviewed and selected from 141 submissions. The papers present original research on the theory and application of algorithms and data structures in all areas, including combinatorics, computational geometry, databases, graphics, parallel and distributed computing.

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Information Security and Cryptology, Inscrypt 2010, held in Shanghai, China, in October 2010.
The 35 revised full papers presented were carefully reviewed and selected from 125 submissions. The papers are organized in topical sections on encryption schemes, stream ciphers, sequences and elliptic curves, secure computing, hash functions, key management, digital signatures, privacy and algebraic cryptanalysis, hashing and authentication, and hardware and software issues.

The two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Z rich, Switzerland, in July 2011. The 114 revised full papers (68 papers for track A, 29 for track B, and 17 for track C) presented together with 4 invited talks, 3 best student papers, and 3 best papers were carefully reviewed and selected from a total of 398 submissions. The papers are grouped in three major tracks on algorithms, complexity and games; on logic, semantics, automata, and theory of programming; as well as on foundations of networked computation: models, algorithms and information management.

This book constitutes the refereed proceedings of the 25th IFIP WG 11.3 International Conference on Data and Applications Security and Privacy, DBSec 2011, held in Richmond, VA, USA, in July 2011. The 14 revised full papers and 9 short papers presented together with 3 invited lectures were carefully reviewed and selected from 37 submissions. The topics of these papers include access control, privacy-preserving data applications, data confidentiality and query verification, query and data privacy, authentication and secret sharing.

This book constitutes the proceedings of the First International Conference on Advances in Computing and Information Technology, ACITY 2011, held in Chennai, India, in July 2011. The 55 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers feature significant contributions to all major fields of the Computer Science and Information Technology in theoretical and practical aspects.

This book contains the refereed proceedings of the 10th International Symposium on Mathematical Morphology, ISMM 2011 held in Verbania-Intra, Italy in July 2011. It is a collection of 39 revised full papers, from which 27 were selected for oral and 12 for poster presentation, from a total of 49 submissions. Moreover, the book features two invited contributions in the fields of remote sensing, image analysis and scientific visualization. The papers are organized in thematic sections on theory, lattices and order, connectivity, image analysis, processing and segmentation, adaptive morphology, algorithms, remote sensing, visualization, and applications.

This book constitutes the refereed proceedings of the 18th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2011, held in Gda sk, Poland, in June 2011. The 24 revised full papers presented together with 1 survey lecture and 2 invited talks were carefully reviewed and selected from 57 submissions. The papers are organized in topical section on fault tolerance, routing, mobile agents, mobile robots, probabilistic methods, distributed algorithms on graphs, and ad-hoc networks.

The two-volume set LNCS 6753/6754 constitutes the refereed proceedings of the 8th International Conference on Image and Recognition, ICIAR 2011, held in Burnaby, Canada, in June 2011. The 84 revised full papers presented were carefully reviewed and selected from 147 submissions. The papers are organized in topical sections on image and video processing; feature extraction and pattern recognition; computer vision; color, texture, motion and shape; tracking; biomedical image analysis; biometrics; face recognition; image coding, compression and encryption; and applications.

This book constitutes the refereed proceedings of the 4th International Conference on Trust and Trustworthy Computing, TRUST 2011, held in Pittsburgh, PA, USA in June 2011.

The 23 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in technical sessions on cloud and virtualization, physically unclonable functions, mobile device security, socio-economic aspects of trust, hardware trust, access control, privacy, trust aspects of routing, and cryptophysical protocols.

This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011.

The 25 revised full papers presented together with abstracts of 2 invited talks and 10 poster papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on complexity analysis, binary decision diagrams, theoretical analysis, extraction of minimal unsatisfiable subsets, SAT algorithms, quantified Boolean formulae, model enumeration and local search, and empirical evaluation.

This book constitutes the refereed proceedings of the 7th International Workshop on OpenMP, IWOMP 2011, held in Chicago, IL, USA in June 2011. The 13 revised full papers presented were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on using OpenMP with application, tools for OpenMP, extensions of OpenMP, and implementation and performance.

The two-volume set (LNCS 6728 and 6729) constitutes the refereed proceedings of the International Conference on Swarm Intelligence, ICSI 2011, held in Chongqing, China, in June 2011. The 143 revised full papers presented were carefully reviewed and selected from 298 submissions. The papers are organized in topical sections on theoretical analysis of swarm intelligence algorithms, particle swarm optimization, applications of pso algorithms, ant colony optimization algorithms, bee colony algorithms, novel swarm-based optimization algorithms, artificial immune system, differential evolution, neural networks, genetic algorithms, evolutionary computation, fuzzy methods, and hybrid algorithms - for part I. Topics addressed in part II are such as multi-objective optimization algorithms, multi-robot, swarm-robot, and multi-agent systems, data mining methods, machine learning methods, feature selection algorithms, pattern recognition methods, intelligent control, other optimization algorithms and applications, data fusion and swarm intelligence, as well as fish school search - foundations and applications.

This book constitutes the refereed proceedings of the 8th International Workshop on Algorithms and Models for the Web-Graph, WAW 2011, held in Atlanta, GA, in May 2011 - co-located with RSA 2011, the 15th International Conference on Random Structures and Algorithms.
The 13 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 19 submissions. Addressing a wide variety of topics related to the study of the Web-graph such as theoretical and empirical analysis, the papers feature original research in terms of algorithmic and mathematical analysis in all areas pertaining to the World-Wide Web with special focus to the view of complex data as networks.

This book constitutes the refereed proceedings of the Third International Conference on Wireless, Mobile Networks and Applications, WiMoA 2011, and the First International Conference on Computer Science, Engineering and Applications, ICCSEA 2011, held in Dubai, United Arab Emirates, in May 2011. The book is organized as a collection of papers from WiMoA 2011 and ICCSEA 2011. The 8 revised full papers presented in the WiMoA 2011 part were carefully reviewed and selected from 63 submissions. The 20 revised full papers presented in the ICCSEA 2011 part were carefully reviewed and selected from 110 submissions.

This book constitutes the joint refereed proceedings of the 5th International Frontiers of Algorithmics Workshop, FAW 2011, and the 7th International Conference on Algorithmic Aspects in Information and Management, AAIM 2011, jointly held in Jinhua, China, in May 2011. The 35 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 92 submissions. The papers cover a wide range of topics in the areas of algorithmics, combinatorial optimization and their applications presenting current trends of research.

This volume constitutes the refereed proceedings of the 7th International Symposium on Bioinformatics Research and Applications, ISBRA 2011, held in Changsha, China, in May 2011.The 36 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 92 submissions. Topics presented span all areas of bioinformatics and computational biology, including the development of experimental or commercial systems.

This book constitutes the refereed proceedings of the 8th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2011, held in Berlin, Germany, in May 2011. The 13 revised full papers and 7 revised short papers presented together with 3 invited lectures were carefully reviewed and selected from 35 submissions. The papers are focused on both theoretical and practical, application-oriented issues and present current research with a special focus on the integration and hybridization of the approaches of constraint programming, artificial intelligence, and operations research technologies for solving large scale and complex real life combinatorial optimization problems.

This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

This book constitutes the refereed proceedings of the Second International Conference on Advances in Power Electronics and Instrumentation Engineering, PEIE 2011, held at Nagpur, India, in April 2011. The 9 revised full papers presented together with 4 short papers and 7 poster papers were carefully reviewed and selected from numerous submissions. The papers address current issues in the field of power electronics, communication engineering, instrumentation engineering, digital electronics, electrical power engineering, electrical machines, information technology, control systems, and the like.

This book constitutes the refereed proceedings of the 4th International Conference on Software and Data Technologies, ICSOFT 2009, held in Sofia, Bulgaria, in July 2009. The 19 revised full papers presented together with two invited papers were carefully reviewed and selected as best papers from 212 submissions. The papers are organized in topical sections on enterprise software technology; software engineering; distributed systems; data management; knowledge-based systems.