This book constitutes the refereed proceedings of the 9th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2012, held in Nantes, France, in May/June 2012.
This book constitutes the refereed proceedings of the 16th Annual International Conference on Research in Computational Molecular Biology, RECOMB 2012, held in Barcelona, Spain, in April 2012.
This book constitutes the refereed proceedings of the 6th International Frontiers of Algorithmics Workshop, FAW 2012, and the 8th International Conference on Algorithmic Aspects in Information and Management, AAIM 2012, jointly held in Beijing, China, in May 2012.
DUNE, the Distributed and Unified Numerics Environment, is an open-source modular toolbox for solving partial differential equations with grid-based methods.
This book constitutes the proceedings of the 10th International Conference on Latent Variable Analysis and Signal Separation, LVA/ICA 2012, held in Tel Aviv, Israel, in March 2012.
This book contains a selection of refereed papers presented at the "e;International Conference on Operations Research (OR 2011)"e; which took place at the University of Zurich from August 30 to September 2, 2011.
Proceedings of the 3rd China Satellite Navigation Conference (CSNC2012) presents selected research papers from CSNC2012, held on 15-19 May in Guanzhou, China.
Proceedings of the 3rd China Satellite Navigation Conference (CSNC2012) presents selected research papers from CSNC2012, held on 15-19 May in Guanzhou, China.
This book constitutes the refereed proceedings of the 12th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2012, held in Malaga, Spain, in April 2012, colocated with the Evo* 2012 events EuroGP, EvoBIO, EvoMUSART, and EvoApplications.
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Approximation and Online Algorithms, WAOA 2011, held in Saarbrucken, Germany, in September 2011.
This book constitutes the refereed proceedings of the 10th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, EvoBIO 2012, held in Malaga, Spain, in April 2012 co-located with the Evo* 2012 events.
This book constitutes thoroughly refereed revised selected papers from the First IAPR TC3 Workshop on Partially Supervised Learning, PSL 2011, held in Ulm, Germany, in September 2011.
This book constitutes the refereed proceedings of the 9th International Conference on Information in Cells and Tissues, IPCAT 2012, held in Cambridge, UK, in March/April 2012.
This book constitutes the proceedings of the 10th Latin American Symposium on Theoretical Informatics, LATIN 2012, held in Arequipa, Peru, in April 2012.
Proceedings of the 3rd China Satellite Navigation Conference (CSNC2012) presents selected research papers from CSNC2012, held on 15-19 May in Guanzhou, China.
This book constitutes the proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012, held in Kiel, Germany, in March 2012.
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challegenges, STACOM 2011, held in conjunction with MICCAI 2011, in Toronto, Canada, in September 2011.
This book represents the refereed proceedings of the Ninth International Conference on Monte Carlo and Quasi-Monte Carlo Methods in Scientific Computing that was held at the University of Warsaw (Poland) in August 2010.
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Curves and Surfaces, held in Avignon, in June 2010.
This volume documents the first International Workshop on Atomic Scale Interconnection Machines organised by the European Integrated Project AtMol in June 2011 in Singapore.
The two volume set LNCS 7133 and LNCS 7134 constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Applied Parallel and Scientific Computing, PARA 2010, held in Reykjavik, Iceland, in June 2010.
This book constitutes the refereed proceedings of the 10th Spanish Symposium on Bioinformatics, JBI 2010, held in Torremolinos, Spain, in October 2010.
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Membrane Computing, CMC 2011, held in Fontainebleau, France, in August 2011.
The two volume set LNCS 7133 and LNCS 7134 constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Applied Parallel and Scientific Computing, PARA 2010, held in Reykjavik, Iceland, in June 2010.
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Symposium on Parameterized and Exact Computation, IPEC 2011, in Saarbrucken, Germany, in September 2011.
This book constitutes the refereed proceedings of the 4th International Conference on Algebraic Biology, ANB 2010, held at the Castle of Hagenberg, Austria in July/August 2010.
This volume constitutes the refereed proceedings of the 19th International Symposium on Graph Drawing, GD 2010, held in Eindhoven, The Netherlands, during September 2011.
This book constitutes the revised selected papers of the 37th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2011, held at Tepla Monastery, Czech Republic, in June 2011.
The sheer computing power of modern information technology is changing the face of research not just in science, technology and mathematics, but in humanities and cultural studies too.
This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, held in Spindleruv Mlyn, Czech Republic, in January 2012.
The goals of the 10th International Space Conference on "e;Protection of Materials and Structures from Space Environment"e; ICPMSE-10J, since its inception in 1992, have been to facilitate exchanges between members of the various engineering and science disciplines involved in the development of space materials, including aspects of LEO, GEO and Deep Space environments, ground-based qualification, and in-flight experiments and lessons learned from operational vehicles that are closely interrelated to disciplines of the atmospheric sciences, solar-terrestrial interactions and space life sciences.
This book constitutes the refereed proceedings of the 7th International Workshop on Internet and Network Economics, WINE 2011, held in Singapore, in December 2011.
This book constitutes the refereed proceedings of the Cryptographers' Track at the RSA Conference 2012, CT-RSA 2012, held in San Francisco, CA, USA, in February/March 2012.
This contributed volume collects research papers, presented at the CIRP Sponsored Conference Robust Manufacturing Control: Innovative and Interdisciplinary Approaches for Global Networks (RoMaC 2012, Jacobs University, Bremen, Germany, June 18th-20th 2012).
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Learning and Intelligent Optimization, LION 5, held in Rome, Italy, in January 2011.
This book constitutes the refereed proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC 2011, held in Yokohama, Japan in December 2011.
This book constitutes the refereed proceedings of the 10th International Conference on Cryptology and Network Security, CANS 2011, held in Sanya, China, in December 2011.
This book constitutes the refereed proceedings of the 12th International Conference on Cryptology in India, INDOCRYPT 2011, held in Chennai, India, in December 2011.
This book constitutes the refereed proceedings of the 13th IMA International Conference on Cryptography and Coding, IMACC 2011, held in Oxford, UK in December 2011.
This book constitutes the refereed proceedings of the 4th International Workshop on Post-Quantum Cryptography, PQCrypto 2011, held in Taipei, Taiwan, in November/December 2011.
This book constitutes the refereed proceedings of the Second International Conference on Decision and Game Theory for Security, GameSec 2011, held in College Park, Maryland, USA, in November 2011.
This book constitutes the refereed post-proceedings of the Second International Conference on High Performance Networking, Computing, and Communication systems, ICHCC 2011, held in Singapore in May 2011.
This book constitutes the thoroughly referred post-workshop proceedings of the 22nd International Workshop on Combinatorial Algorithms, IWOCA 2011, held in Victoria, BC, Canada, in July 2011.
This book constitutes the refereed proceedings of the Second International Conference on Algorithmic Decision Theory, ADT 2011, held in Piscataway, NJ, USA, in October 2011.
