Mathematical theory of computation

Taking the Lasso method as its starting point, this book describes the main ingredients needed to study general loss functions and sparsity-inducing regularizers.

This bookconstitutes the revised selected papers of the 10th Italian Workshop onAdvances in Artificial Life, Evolutionary Computation and Systems Chemistry,WIVACE 2015, held at Bari, Italy, in September 2015.

This bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelChecking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.

Thisbook constitutes the refereed proceedings of the 19th IAPR InternationalConference on Discrete Geometry for Computer Imagery, DGCI 2016, held in Nantes,France, in April 2016.

Universal codes efficiently compress sequences generated by stationary and ergodic sources with unknown statistics, and they were originally designed for lossless data compression.

This two-volume-set (LNCS 9573 and 9574) constitutes the refereed proceedings of the 11th International Conference of Parallel Processing and Applied Mathematics, PPAM 2015, held in Krakow, Poland, in September 2015.

This two-volume set LNCS 9573 and LNCS 9574 constitutes the refereed proceedings of the 11th International Conference of Parallel Processing and Applied Mathematics, PPAM 2015, held in Krakow, Poland, in September 2015.

Thisvolume constitutes the refereed proceedings of the 11th International Conferenceon Hybrid Artificial Intelligent Systems, HAIS 2016, held in Seville, Spain, inApril 2016.

In this volume, different aspects of logics for dependence and independence are discussed, including both the  logical and computational aspects of dependence logic, and also applications  in a number of areas, such as statistics, social choice theory, databases, and computer security.

Thisbook constitutes the thoroughly refereed proceedings of the 5th JointInternational Semantic Technology Conference, JIST 2015, held in Yichang,China, in November 2015.

This book constitutes the thoroughly refereedpost-conference proceedings of the 7th International Conference on TrustedSystems, INTRUST 2015, held in Beijing, China, in December 2015.

This bookconstitutes the thoroughly refereed proceedings of the 8th International Conference on theTheory and Application of Cryptographic Techniques in Africa, AFRICACRYPT 2016,held in Fes, Morooco, in April 2016.

Devoted to information security, this volume begins with a short course on cryptography, mainly basedon lectures given by Rudolf Ahlswede at the University of Bielefeld in the mid1990s.

This book presents state-of-the-art results and methodologies in modern global optimization, and has been a staple reference for researchers, engineers, advanced students (also in applied mathematics), and practitioners in various fields of engineering.

This book constitutes the thoroughly refereedpost-conference proceedings of the 12th International Conference on ArtificialEvolution, EA 2015, held in Lyon, France, in October 2015.

This bookconstitutes the thoroughly refereed post-conference proceedings of the 16thInternational Workshop on Multi-Agent-Based Simulation, MABS 2015, held inIstanbul, Turkey, in May 2015.

This bookcontains revised selected papers from the 22nd International Conference onSelected Areas in Cryptography, SAC 2015, held in Sackville, NB, Canada inAugust 2015.

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015.

Thetwo volumes LNCS 9597 and 9598 constitute the refereed conference proceedingsof the 19th European Conference on the Applications of Evolutionary Computation,EvoApplications 2016, held in Porto, Portugal, in March/April 2016, co-locatedwith the Evo* 2016 events EuroGP, EvoCOP, and EvoMUSART.

Thetwo volumes LNCS 9597 and 9598 constitute the refereed conference proceedingsof the 19th European Conference on the Applications of Evolutionary Computation,EvoApplications 2016, held in Porto, Portugal, in March/April 2016, co-locatedwith the Evo* 2016 events EuroGP, EvoCOP, and EvoMUSART.

This volume is published in Honor of PhilipWadler on the occasion of his 60th birthday, and the collection of papers forma Festschrift for him.

This book explains the most prominent and some promising new, general techniques that combine metaheuristics with other optimization methods.

Thisbook constitutes the refereed proceedings of the 18th International Conferenceon Distributed and Computer and Communication Networks, DCCN 2015, held inMoscow, Russia, in October 2015.

This book constitutes the refereed proceedings of the 8th International Symposium on Engineering Secure Software and Systems, ESSoS 2016, held in London, UK, in April 2016.

This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday.

This book, fully updated for Python version 3.

Thisbook constitutes the refereed proceedings of the 16th European Conference onEvolutionary Computation in Combinatorial Optimization, EvoCOP 2016, held in Porto,Portugal, in March/April 2016, co-located with the Evo*2015 events EuroGP,EvoMUSART and EvoApplications.

This book constitutes theproceedings of the 29th International Conference on Architecture of ComputingSystems, ARCS 2016, held in Nuremberg, Germany, in April 2016.

This book constitutes the refereed proceedings of the19th European Conference on Genetic Programming, EuroGP 2016, held in Porto,Portugal, in March/April 2016 co-located with the Evo*2016 events: EvoCOP,EvoMUSART, and EvoApplications.

Now in its second edition, this textbook serves as an introduction to probability and statistics for non-mathematics majors who do not need the exhaustive detail and mathematical depth provided in more comprehensive treatments of the subject.

Computational Literacy for the Humanities provides an introduction to mathematics and programming that is specifically designed for use by those engaged in the humanities.

This book constitutes the refereed proceedings of the 5th International Conference on Evolutionary and Biologically Inspired Music, Sound, Art and Design, EvoMUSART 2016, held in Porto, Portugal, in March/April 2016, co-located with the Evo*2016 events EuroGP, EvoCOP and EvoApplications.

This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2015, held in Lviv, Ukraine, in May 2015.

This book constitutes the proceedings of the 10th International Workshop on Algorithms and Computation, WALCOM 2016, held in Kathmandu, Nepal, in March 2016.

This book constitutes the proceedings of the 9th International Symposiumon Foundations of Information and Knowledge Systems, FoIKS 2016, held in Linz,Austria, in March 2016.

This book constitutes the refereed proceedings of the 10th InternationalConference on Language and Automata Theory and Applications, LATA 2016, held inPrague, Czech Republic, in March 2016.

Current research results in stochastic and deterministic global optimization including single and multiple objectives are explored and presented in this book by leading specialists from various fields.

This volume constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graphical Models for Security, GraMSec 2015, held in Verona, Italy, in July 2015.

This book will help future scientists to become more intelligent users of computing technology in their practice of science.

This book constitutes the thoroughly refereedpost-conference proceedings of the First International Workshop on AlgorithmicAspects of Cloud Computing, ALGOCLOUD 2015, held in Patras, Greece, inSeptember 2015 in conjunction with ALGO 2015.

This book reports on the latest advances andapplications of chaotic systems.

This bookconstitutes the proceedings of the 22nd International Working Conference onRequirements Engineering Foundation for Software Quality, REFSQ 2016, held inGothenburg, Sweden, in March 2016.

This new edition of a well-received textbook provides a concise introduction to both the theoretical and experimental aspects of quantum information at the graduate level.

This book addresses synchronization in networks of coupled systems.

This textbook provides an introduction to the mathematics on which modern cryptology is based.

This book presents the first algebraic treatment of quasi-truth fuzzy logic and covers the algebraic foundations of many-valued logic.

This volume contains the lecture notes of the five coursesand one seminar given at the School on Engineering Trustworthy Software Systems(SETSS 2014), held in September 2014 at Southwest University in Chongqing,China.

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.

This bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016.

This book constitutes the thoroughly refereedpost-workshop proceedings for the 26 International Workshop on combinatorialAlgorithms, IWOCA 2015, held in Verona, Italy, in October 2015.