Discrete mathematics

Featuring the work of twenty-three internationally-recognized experts, this volume explores the trace formula, spectra of locally symmetric spaces, p-adic families, and other recent techniques from harmonic analysis and representation theory.

This work presents applications of numerical semigroups in Algebraic Geometry, Number Theory, and Coding Theory.

This volume constitutes the proceedings of the 11th International Conference on Algorithmic Aspects in Information and Management, AAIM 2016, held in Bergamo, Italy, in July 2016.

his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in Bucharest, Romania, in July 2016.

This book collects recent research papers by respected specialists in the field.

This book constitutes the proceedings of the 22th International Conference on Conceptual Structures, ICCS 2016, held in Annecy, France, in July 2016.

This book constitutes the refereed proceedings of the 21st InternationalConference on Implementation and Application of Automata, CIAA 2016,held in Seoul, South Korea, in July 2016.

This book constitutes the refereed proceedings of the 9th International Conference on Graph Transformation, ICGT 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.

This book examines the problem of maintenance planning and scheduling in industrial production systems.

This book constitutes the proceedings of the 10th International Workshop on Frontiers in Algorithmics, FAW 2016, held in Qingdao, China, in June/July 2016.

This book constitutes the refereed proceedings of the 10th International Workshop on Hybrid Metaheuristics, HM 2016, held in Plymouth, UK, in June 2016.

This volume constitutes the thoroughly refereed proceedings of the 22nd IFIP WG 1.

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Information Security and Cryptology, Inscrypt 2015, held in Beijing, China in November 2015.

This book constitutes the refereed proceedings of the 15th International Symposium on Experimental Algorithms, SEA 2016, held in St.

This book constitutes the proceedings of the Third InternationalConference on Algorithms for Computational Biology, AlCoB 2016, held inTrujillo, Spain, in June 2016.

This book constitutes the proceedings of the 11th International Computer Science Symposium in Russia, CSR 2016, held in St.

This book constitutes the proceedings of the 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2016, held in Banff, Canada, in May/June 2016.

Noteworthy results, proof techniques, open problems and conjectures in generalized (edge-) connectivity are discussed in this book.

This is an collection of some easily-formulated problems that remain open in the study of the geometry and analysis of Banach spaces.

This book constitutes therefereed proceedings of the 18th International Conference on IntegerProgramming and Combinatorial Optimization, IPCO 2016, held in Liege, Belgium,in June 2016.

This book gives a detailed survey of the main results on bent functions over finite fields, presents a systematic overview of their generalizations, variations and applications, considers open problems in classification and systematization of bent functions, and discusses proofs of several results.

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.

Homomorphic signature schemes are an important primitive for many applications and since their introduction numerous solutions have been presented.

This book is focused on pancyclic and bipancyclic graphs and is geared toward researchers and graduate students in graph theory.

This is the first in a series of volumes, which provide an extensive overview of conjectures and open problems in graph theory.

This book collects the scientific contributions of a group of leading experts who took part in the INdAM Meeting held in Cortona in September 2014.

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

The contributions in this volume aim to deepenunderstanding of some of the current research problems and theories inmodern topics such as calculus of variations, optimization theory, complexanalysis, real analysis, differential equations, andgeometry.

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

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 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.

This book describes kaleidoscopic topics that have developed in the area of graph colorings.

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 refereed proceedings of the 10th InternationalConference on Language and Automata Theory and Applications, LATA 2016, held inPrague, Czech Republic, in March 2016.

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 textbook provides an introduction to the mathematics on which modern cryptology is based.

The second edition of this highly praised textbook provides an expanded introduction to the theory of ordered sets and its connections to various subjects.

The contributions in this volume cover a broad range of topics including maximum cliques, graph coloring, data mining, brain networks, Steiner forest, logistic and supply chain networks.

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

This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Approximation and Online Algorithms, WAOA 2015, held in Patras, Greece, in September 2015 as part of ALGO 2015.

This book constitutes the thoroughly refereedpost-conference proceedings of the First IFIP WG 1.

Involving rigorous analysis, computational dexterity, and a breadth of applications, this text is ideal for an undergraduate honors calculus course or for an introduction to analysis.

This book collects the refereed proceedingsof the Second International Conference on Algorithms and Discrete AppliedMathematics, CALDAM 2016, held in Thiruvananthapuram, India, in February 2016.

This volume presents easy-to-understand yet surprising properties obtained using topological, geometric and graph theoretic tools in the areas covered by the Geometry Conference that took place in Mulhouse, France from September 7-11, 2014 in honour of Tudor Zamfirescu on the occasion of his 70th anniversary.

Normal 0 false false false EN-US X-NONE X-NONE This book constitutes the thoroughly refereedpost-conference proceedings of the 6th International Conference on TrustedSystems, INTRUST 2014, held in Beijing, China, in December 2014.

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Advances in Computer Games, ACG 2015, held in Leiden, The Netherlands, in July 2015.

This book constitutes the thoroughly refereedpost-conference proceedings of the 25th International Symposium on Logic-BasedProgram Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, inJuly 2015.

This book constitutes the proceedings of the 23rdInternational Symposium on Graph Drawing and Network Visualization, GD 2015,held in Los Angeles, Ca, USA, in September 2015.

This book constitutes the proceedings of the 15th IMA International Conference on Cryptography and Coding, IMACC 2015, held at Oxford, UK, in December 2015.

Designed for intermediate graduate studies, this text will broaden students' core knowledge of differential geometry providing foundational material to relevant topics in classical differential geometry.