Maths for computer scientists

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th Indian Conference on Logic and Its Applications, ICLA 2011, held in Delhi, India, in January 2011.

The denotational and expressive needs in cognitive informatics, computational intelligence, software engineering, and knowledge engineering have led to the development of new forms of mathematics collectively known as denotational mathematics.

This book constitutes extended and revised versions of a set of selected papers from the 12th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2019, held in Prague, Czech Republic, in February 2019.

This book constitutes the refereed proceedings of the 20th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2020, held as part of Evo*2020, in Seville, Spain, in April 2020, co-located with the Evo*2020 events EuroGP, EvoMUSART and EvoApplications.

This book presents the latest knowledge of the newly discovered Earth-like exoplanets and reviews improvements in both radio and optical SETI.

Though the volume covers 22 papers by 36 authors from 12 countries, the history in the background is bound to Hungary where, in 1973 Andras Pnkopa started to lay the foundation of a scientific forum, which can be a regular meeting spot for experts of the world in the field.

As the first book of a three-part series, this book is offered as a tribute to pioneers in vision, such as Bela Julesz, David Marr, King-Sun Fu, Ulf Grenander, and David Mumford.

This graduate-level text gives a thorough overview of the analysis of Boolean functions, beginning with the most basic definitions and proceeding to advanced topics.

This is the first book devoted to the task of computing integrability structures by computer.

This textbook on combinatorial commutative algebra focuses on properties of monomial ideals in polynomial rings and their connections with other areas of mathematics such as combinatorics, electrical engineering, topology, geometry, and homological algebra.

This book covers pseudorandom number generation algorithms, evaluation techniques, and offers practical advice and code examples.

New methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating such aspects into a homogeneous software environment for scientific computation.

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 proceedings of the 12th International Conference on Queueing Theory and Network Applications, QTNA 2017, held in Qinhuangdao, China, in August 2017.

EACM is a comprehensive reference work covering the vast field of applied and computational mathematics.

This book presents a complete and accurate study of arithmetic and algebraic circuits.

Domain decomposition methods are divide and conquer computational methods for the parallel solution of partial differential equations of elliptic or parabolic type.

In the course of fuzzy technological development, fuzzy graph theory was identified quite early on for its importance in making things work.

The four-volume set LNCS 13943, 13944, 13945 and 13946 constitutes the proceedings of the 28th International Conference on Database Systems for Advanced Applications, DASFAA 2023, held in April 2023 in Tianjin, China.

This book constitutes the proceedings of the Third International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2017, held in Goa, India, in February 2017.

When?

The papers in this volume were presented at the Fourth Italian Conference on Algorithms and Complexity (CIAC 2000).

This book constitutes the refereed proceedings of the 13th International Conference on Advances in Optimization and Applications, OPTIMA 2022, held in Petrovac, Montenegro, during September 26-30, 2022.

This book constitutes the refereed proceedings of the 7th Workshop on New Frontiers in Quantitative Methods in Informatics, InfQ 2017, held in Venice, Italy, in December 2017.

This book constitutes the refereed proceedings of the 26th International Symposium on Graph Drawing and Network Visualization, GD 2018, held in Barcelona, Spain, in September 2018.

Discover how to use the popular RStudio IDE as a professional tool that includes code refactoring support, debugging, and Git version control integration.

The three volume-set, LNCS 9814, LNCS 9815, and LNCS 9816, constitutes the refereed proceedings of the 36th Annual International Cryptology Conference, CRYPTO 2016, held in Santa Barbara, CA, USA, in August 2016.

This book constitutes the refereed proceedings of the 25th Annual Symposium on Combinatorial Pattern Matching, CPM 2014, held in Moscow, Russia, in June 2014.

This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.

Privacy in statistical databases is about ?

This book summarizes research carried out in workshops of the SAGA project, an Initial Training Network exploring the interplay of Shapes, Algebra, Geometry and Algorithms.

Euro-Parisaninternationalconferencededicatedtothepromotionandadvan- ment of all aspects of parallel computing.

The two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Zurich, Switzerland, in July 2011.

QoS is an important subject which occupies a central place in overall packet network technologies.

This Festschrift is published in honor of Rodney G.

Combinatorial optimization algorithms are used in many applications including the design, management, and operations of communication networks.

The Primality Testing Problem (PTP) has now proved to be solvable in deterministic polynomial-time (P) by the AKS (Agrawal-Kayal-Saxena) algorithm, whereas the Integer Factorization Problem (IFP) still remains unsolvable in (P).

This book introduces readers to the basic concepts of and latest findings in the area of differential equations with uncertain factors.

This book constitutes the refereed proceedings of the Third International Workshop on Patch-Based Techniques in Medical Images, Patch-MI 2017, which was held in conjunction with MICCAI 2017, in Quebec City, QC, Canada, in September 2017.

This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations.

The two-volume proceedings constitutes the refereed proceedings of the 24th International Conference on Progress in Cryptology, INDOCRYPT 2023, Goa, India, in December 2023.

The subject of this book is the solution of polynomial equations, that is, s- tems of (generally) non-linear algebraic equations.

This book presents a thoughtful compilation of chapters derived from the proceedings of the 8th International Arab Conference on Mathematics and Computations (IACMC 2023), held at Zarqa University in Zarqa, Jordan, from 10-12 May 2023.

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Learning and Optimization, LION 10, which was held on Ischia, Italy, in May/June 2016.

This two-volume set LNCS 13968 and 13969 constitutes the proceedings of the 14th International Conference on Advances in Swarm Intelligence, ICSI 2023, which took place in Shenzhen, China, China, in July 2023.