This book constitutes the proceedings of the 28th International Conference on Architecture of Computing Systems, ARCS 2015, held in Porto, Portugal, in March 2015.
These contributions, written by the foremost international researchers and practitioners of Genetic Programming (GP), explore the synergy between theoretical and empirical results on real-world problems, producing a comprehensive view of the state of the art in GP.
This volume contains the thoroughly refereed post-conference proceedings of the Second International Conference on Exascale Applications and Software, EASC 2014, held in Stockholm, Sweden, in April 2014.
This book constitutes the refereed proceedings of the 8th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2015 held in Guimaraes, Portugal in March/April 2015.
The two volume set LNCS 12506 and 12507 constitutes the proceedings of the 19th International Semantic Web Conference, ISWC 2020, which was planned to take place in Athens, Greece, during November 2-6, 2020.
This book constitutes the refereed proceedings of the 8th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2015 held in Guimaraes, Portugal in March/April 2015.
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2014, held in Phoenix, AZ, USA, in May 2014.
The two-volume proceedings of the ACIIDS 2015 conference, LNAI 9011 + 9012, constitutes the refereed proceedings of the 7th Asian Conference on Intelligent Information and Database Systems, held in Bali, Indonesia, in March 2015.
The two-volume proceedings of the ACIIDS 2015 conference, LNAI 9011 + 9012, constitutes the refereed proceedings of the 7th Asian Conference on Intelligent Information and Database Systems, held in Bali, Indonesia, in March 2015.
This book constitutes the refereed proceedings of the 7th International Symposium on Engineering Secure Software and Systems, ESSoS 2015, held in Milan, Italy, in March 2015.
This book constitutes the thoroughly refereed conference proceedings of the 9th International Workshop on Algorithms and Computation, WALCOM 2015, held in Dhaka, Bangladesh, in February 2015.
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Numerical Methods and Applications, NMA 2014, held in Borovets, Bulgaria, in August 2014.
This book constitutes the refereed proceedings of the 12 European Conference on Wireless Sensor Networks, EWSN 2015, held in Porto, Portugal, in February 2015.
This book constitutes the refereed proceedings of the 9th International Conference on Language and Automata Theory and Applications, LATA 2015, held in Nice, France in March 2015.
This book constitutes revised selected papers from the refereed proceedings of the First Human Centered Computing Conference, HCC 2014, that consolidated and further develops the successful ICPCA/SWS conferences on Pervasive Computing and the Networked World.
This book constitutes the refereed proceedings of the 11th International Conference on Distributed Computing and Internet Technology, ICDCIT 2015, held in Bhubaneswar, India, in February 2015.
This book collects the refereed proceedings of the First International Conference onon Algorithms and Discrete Applied Mathematics, CALDAM 2015, held in Kanpur, India, in February 2015.
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data, STIA 2014, held in conjunction with MICCAI 2014 in Boston, MA, USA, in September 2014.
This volume contains the post-proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2014, held in Telc, Czech Republic, in October 2014.
This book constitutes the refereed proceedings of the First Australasian Conference on Artificial Life and Computational Intelligence, ACALCI 2015, held in Newcastle, NSW, Australia, in February 2015.
This Festschrift is published in honor of Gerhard Brewka on the occasion of his 60th birthday and contains articles from fields reflecting the breadth of Gerd's work.
This volume constitutes the refereed proceedings of the 10th International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition, EMMCVPR 2015, held in Hong Kong, China, in January 2015.
This book constitutes the refereed proceedings of the 11th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2014, held in Cardiff, UK, in September 2014.
This book constitutes the refereed proceedings of the 18th International Conference on Principles of Distributed Systems, OPODIS 2014, Cortina d'Ampezzo, Italy, in December 2014.
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Membrane Computing, CMC 2014, held in Prague, Czech Republic, in August 2014.
The two volumes LNCS 8805 and 8806 constitute the thoroughly refereed post-conference proceedings of 18 workshops held at the 20th International Conference on Parallel Computing, Euro-Par 2014, in Porto, Portugal, in August 2014.
The two volumes LNCS 8805 and 8806 constitute the thoroughly refereed post-conference proceedings of 18 workshops held at the 20th International Conference on Parallel Computing, Euro-Par 2014, in Porto, Portugal, in August 2014.
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International ICST Conference on Digital Forensics and Cyber Crime, ICDF2C 2013, held in September 2013 in Moscow, Russia.
This book constitutes the refereed proceedings of the 19th International Conference on Technologies and Applications of Artificial Intelligence, held in Taipei, Taiwan, in November 2014.
This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2014, held in Rome, Italy, in May 2014.
This book constitutes the refereed conference proceedings of the Third International Conference on Big Data Analytics, BDA 2014, held in New Delhi, India, in December 2014.
The description of many interesting phenomena in science and engineering leads to infinite-dimensional minimization or evolution problems that define nonlinear partial differential equations.
This work is intended to serve as a guide for graduate students and researchers who wish to get acquainted with the main theoretical and practical tools for the numerical minimization of convex functions on Hilbert spaces.
The two-volume set LNAI 8856 and LNAI 8857 constitutes the proceedings of the 13th Mexican International Conference on Artificial Intelligence, MICAI 2014, held in Tuxtla, Mexico, in November 2014.
The two-volume set LNAI 8856 and LNAI 8857 constitutes the proceedings of the 13th Mexican International Conference on Artificial Intelligence, MICAI 2014, held in Tuxtla, Mexico, in November 2014.
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Symposium on Parameterized and Exact Computation, IPEC 2014, in Wroclaw, Poland, in September 2014.
This book constitutes the proceedings of the First International Workshop on Biometric Authentication, BIOMET 2014, which was held in Sofia, Bulgaria, in June 2014.
This book constitutes the refereed conference proceedings of the 8th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2014, held in Bangalore, India, in December 2014.
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Activity Monitoring by Multiple Distributed Sensing, AMMDS 2014, held in Stockholm, Sweden, in August 2014, as a satellite event of ICPR 2014, the 22nd International Conference on Pattern Recognition.
This book constitutes the thoroughly refereed post-conference proceedings of the 16th Japanese Conference on Discrete and computational Geometry and Graphs, JDCDGG 2013, held in Tokyo, Japan, in September 2013.
This book constitutes the refereed proceedings of the 17th International Conference on Information Security, ISC 2014, held in Hong Kong, China, in October 2014.
This book constitutes the refereed proceedings of the 11th International Workshop on Algorithms and Models for the Web Graph, WAW 2014, held in Beijing, China, in December 2014.
This book constitutes the refereed proceedings of the 25th International Symposium on Algorithms and Computation, ISAAC 2014, held in Jeonju, Korea, in December 2014.