Mathematical theory of computation

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science.

These proceedings are a record of the Multiple Classi?

ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software.

The two-volume set (LNCS 6728 and 6729) constitutes the refereedproceedings of the International Conference on Swarm Intelligence, ICSI2011, held in Chongqing, China, in June 2011.

Identifying Emerging Trends in Technological Innovation Doctoral programs in science and engineering are important sources of innovative ideas and techniques that might lead to new products and technological innovation.

This Festschrift volume, published to honor Peter D.

This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and Applications, LATA 2008, held in Tarragona, Spain, in March 2008.

This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2013, held in Angers, France, in July 2013.

This book constitutes the thoroughly refereed proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2012, held in Wroclaw, Poland, in June 2012.

This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013.

This book constitutes the refereed proceedings of the 10th International Conference on Formal Concept Analysis, ICFCA 2012, held in Leuven, Belgium in May 2012.

This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011.

Stochastic local search (SLS) algorithms are established tools for the solution of computationally hard problems arising in computer science, business adm- istration, engineering, biology, and various other disciplines.

This book constitutes the refereed proceedings of the 5th International Conference on Brain Inspired Cognitive Systems, BICS 2012, held in Shenyang, Liaoning, China in July 2012.

These two volumes, LNCS 7076 and LNCS 7077, constitute the refereed proceedings of the Second International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2011, held in Visakhapatnam, India, in December 2011.

LION 3, the Third International Conference on Learning and Intelligent Op- mizatioN, was held during January 14-18 in Trento, Italy.

Inference control in statistical databases, also known as statistical disclosure limitation or statistical confidentiality, is about finding tradeoffs to the tension between the increasing societal need for accurate statistical data and the legal and ethical obligation to protect privacy of individuals and enterprises which are the source of data for producing statistics.

The concept of CAST, computer aided systems Theory, was introduced by F.

Privacy in statistical databases is about ?

The fusion of di?

This book constitutes the refereed proceedings of the 6th International Conference on Artificial General Intelligence, AGI 2013, held in Beijing, China, in July/August 2013.

This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the Conferences on Intelligent Computer Mathematics.

This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013.

This book constitutes the proceedings of the 8th International Conference on Swarm Intelligence, held in Brussels, Belgium, in September 2012.

This book and its companion volume, LNCS vols.

These two volumes, LNCS 7076 and LNCS 7077, constitute the refereed proceedings of the Second International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2011, held in Visakhapatnam, India, in December 2011.

This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009.

Algebraic Geometry provides an impressive theory targeting the understanding of geometric objects defined algebraically.

This book constitutes the thoroughly refereed joint post-proceedings of the Third International Workshop on Mining Ubiquitous and Social Environments, MUSE 2012, held in Bristol, UK, in September 2012, and the Third International Workshop on Modeling Social Media, MSM 2012, held in Milwaukee, WI, USA, in June 2012.

This volume constitutes the proceedings of the 8th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2013, held in Salamanca, Spain, in September 2013.

This Festschrift volume is published in memory of William W.

th This volume contains a selection of 41 refereed papers presented at the 18 International Conference of Domain Decomposition Methods hosted by the School of ComputerScience and Engineering(CSE) of the Hebrew Universityof Jerusalem, Israel, January 12-17, 2008.

The Sixth International Colloquium on Grammatical Inference (ICGI2002) was held in Amsterdam on September 23-25th, 2002.

ANTS - The International Workshop on Ant Colony Optimization and Swarm Intelligence is now at its ?

The concept of CAST as Computer Aided Systems Theory was introduced by F.

This book constitutes the refereed proceedings of the 8th International Conference on Rough Sets and Current Trends in Computing, RSCTC, held in Chengdu, China, in August 2012, as one of the co-located conferences of the 2012 Joint Rough Set Symposium, JRS 2012.

This book constitutes the refereed proceedings of the 10th International Workshop on Multiple Classifier Systems, MCS 2011, held in Naples, Italy, in June 2011.

Modern statistics deals with large and complex data sets, and consequently with models containing a large number of parameters.

This book constitutes the refereed proceedings of the Second IFIP WG 5.