Mathematics and Science

Advances in Imaging Devices and Image processing stem from cross-fertilization between many fields of research such as Chemistry, Physics, Mathematics and Computer Sciences.

This book constitutes the refereed proceedings of the 6th International Conference on Pattern Recognition in Bioinformatics, PRIB 2011, held in Delft, The Netherlands, in November 2011.

This book constitutes the refereed proceedings of the Second International Conference on Information Computing and Applications, ICICA 2010, held in Qinhuangdao, China, in October 2011.

This book constitutes the thoroughly refereed post-conference proceedings of the China-Japan Joint Conference on Computational Geometry, Graphs and Applications, CGGA 2010, held in Dalian, China, in November 2010.

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Automated Deduction in Geometry, ADG 2010, held in Munich, Germany in July 2010.

This book constitutes the proceedings of the 18th International Symposium on String Processing and Information Retrieval, SPIRE 2011, held in Pisa, Italy, in October 2011.

This volume provides approaches and solutions to challenges occurring at the interface of research fields such as data analysis, computer science, operations research, and statistics.

The growth in the Bioinformatics and Computational Biology fields over the last few years has been remarkable and the trend is to increase its pace.

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Information Security and Cryptology, held in Seoul, Korea, in December 2010.

This book constitutes the refereed proceedings of the 5th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2011, held in Bratislava, Slovakia, in October 2011.

This book contains the thoroughly refereed post-conferernce proceedings of the 13th Information Hiding Conference, IH 2011, held in Prague, Czech Republic, in May 2011.

Magnetic Particle Imaging (MPI) is a novel imaging modality.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third International Workshop on Logic, Rationality, and Interaction, LORI 2011, held in Guangzhou, China, in October 2011.

This book constitutes the proceedings of the 13th International Workshop on Cryptographic Hardware and Embedded Systems, CHES 2011, held in Nara, Japan, from September 28 until October 1, 2011.

Probabilistic approaches have played a prominent role in the study of complex physical systems for more than thirty years.

This book presents the state-of-the-art in simulation on supercomputers.

2012 International Conference on Environment Science and 2012 International Conference on Computer Science (ICES 2012/ICCS 2012) will be held in Australia, Melbourne, 15-16 March, 2012.

This book constitutes the refereed proceedings of the 17th International Conference on DNA Computing and Molecular Programming, DNA17, held in Pasadena, CA, USA, in September 2011.

This volume presents the 5th European Conference of the International Federation for Medical and Biological Engineering (EMBEC), held in Budapest, 14-18 September, 2011.

This three-volume set LNAI 6911, LNAI 6912, and LNAI 6913 constitutes the refereed proceedings of the European conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2011, held in Athens, Greece, in September 2011.

This book presents the state-of-the-art in simulation on supercomputers.

This book constitutes the proceedings of the 12th Biennial Meeting on Mathematics in Language, MOL 12, held in Nara, Japan, in September 2011.

This book constitutes the thoroughly refereed proceedings of the Second International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2011, held in Toulouse, France, in August/September 2011, in conjunction with DEXA 2011.

This book constitutes the refereed proceedings of the 18th International Symposium Fundamentals of Computation Theory, FCT 2011, held in Oslo, Norway, in August 2011.

This book constitutes the refereed proceedings of the 11th International Workshop on Algorithms in Bioinformatics, WABI 2011, held in Saarbrucken, Germany, in September 2011.

This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011.

This volume constitutes the refereed proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS 2011, held in Warsaw, Poland, in August 2011.

This book constitutes the proceedings of the 6th Brazilian Symposium on Bioinformatics, BSB 2011, held in Brasilia, Brazil, in August 2011.

This book constitutes the joint refereed proceedings of the 14th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2011, and the 15th International Workshop on Randomization and Computation, RANDOM 2011, held in Princeton, New Jersey, USA, in August 2011.

This volume is a collection of papers presented at the international conference on Nonlinear Mathematics for Uncertainty and Its Applications (NLMUA2011), held at Beijing University of Technology during the week of September 7--9, 2011.

: The Square Kilometre Array (SKA) will provide more than one order of magnitude improvement in sensitivity compared with any existing radio telescope over a wavelength range of several hundred to one, from decametric to microwave wavelengths.

This book constitutes the refereed proceedings of the 31st Annual International Cryptology Conference, CRYPTO 2011, held in Santa Barbara, CA, USA in August 2011.

Modern computational techniques, such as the Finite Element Method, have, since their development several decades ago, successfully exploited continuum theories for numerous applications in science and technology.

This book constitutes the refereed proceedings of the 5th International Conference on Combinatorial Optimization and Applications, COCOA 2011, held in Zhangjiajie, China, in August 2011.

This volume presents the contributions of the third International Conference on Advancements of Medicine and Health Care through Technology (Meditech 2011), held in in Cluj-Napoca, Romania.

This book constitutes the refereed proceedings of the 16th Australasian Conference on Information Security and Privacy, ACISP 2011, held in Melbourne, Australia, in July 2011.

The link between mathematics and art remains as strong today as it was in the earliest instances of decorative and ritual art.

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.

This book constitutes the refereed proceedings of the 18th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2011, held in Gdansk, Poland, in June 2011.

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 Zurich, Switzerland, in July 2011.

This book constitutes the thoroughly refereed post-proceedings of the 7th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2010, held in Palermo, Italy, in September 2010.

This book constitutes the refereed proceedings of the Third International Conference on Wireless, Mobile Networks, WiMo 2011, and of The Third International Conference on Computer Networks and Communications, CoNeCo 2011, held in Ankara, Turkey, in June 2011.

This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, CiE 2011, held in Sofia, Bulgaria, in June/July 2011.

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Workshop on Fast Software Encryption, held in Lyngby, Denmark, in February 2011.

For some time, medicine has been an important driver for the development of data processing and visualization techniques.

The Biomed 2011 brought together academicians and practitioners in engineering and medicine in this ever progressing field.

This book constitutes the refereed proceedings of the 9th International Conference on Applied Cryptography and Network Security, ACNS 2011, held in Nerja, Spain, in June 2011.

This three-volume set LNAI 6911, LNAI 6912, and LNAI 6913 constitutes the refereed proceedings of the European conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2011, held in Athens, Greece, in September 2011.

This book constitutes the refereed proceedings of the 18th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2011, held in Venice, Italyin June 2011.

This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming.