Mathematical Theory of Computation

This volume contains the papers presented at the 13th International Wo- shop on Approximation Algorithms for Combinatorial Optimization Problems (A...

This open access book presents the mathematical methods for huge data and network analysis.The automotive industry has made steady progress in tech...

Transfer learning is one of the most important technologies in the era of artificial intelligence and deep learning. It seeks to leverage existing ...

The ?eld of bioinformatics has two main objectives: the creation and main- nance of biological databases, and the discovery of knowledge from life ...

Itisourpleasuretopresentthepapersacceptedforthe22ndInternationalWo- shop on Languages and Compilers for Parallel Computing held during October 810 ...

Controlled natural languages (CNLs) are subsets of natural languages, obtained by - stricting the grammar and vocabulary in order to reduce or elim...

Controlled natural languages (CNLs) are subsets of natural languages, obtained by - stricting the grammar and vocabulary in order to reduce or elim...

Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the ...

Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the ...

This book constitutes the refereed proceedings of the 18th International Colloquium on Structural Information and Communication Complexity, SIROCCO...

This volume contains research and expository content based on a wide variety of topics within modern number theory and arithmetic geometry. Researc...

This book constitutes the proceedings of the Second International Conference on Human and Artificial Rationalities, HAR 2023, which took place in P...

Automata and Computability is a class-tested textbook which provides a comprehensive and accessible introduction to the theory of automata and comp...

This authoritative and comprehensive handbook is the definitive work on the current state of the art of Biometric Presentation Attack Detection (PA...

This volume contains selected papers presented at ICFCA 2010, the 8th Int- national Conference on Formal Concept Analysis. The ICFCA conference ser...

The two volume set LNCS 6443 and LNCS 6444 constitutes the proceedings of the 17th International Conference on Neural Information Processing, ICONI...

This book constitutes the refereed proceedings of the 23rd Australasian Joint Conference on Artificial Intelligence, AI 2010, held in Adelaide, Aus...

This book constitutes the refereed proceedings of the International Conference on Information Systems for Indian Languages, ICISIL 2011, held in Pa...

The 9th International Conference on Cryptology and Network Security (CANS 2010) was held in Kuala Lumpur, Malaysia during December 1214, 2010. The ...

This volume contains the papers presented at NLDB 2009, the 14th Inter- tional Conference on Applications of Natural Language to Information System...

This book constitutes the refereed proceedings of the Seventh Theory of Cryptography Conference, TCC 2010, held in Zurich, Switzerland, February 9-...

The 6th International Conference on the Theory and Application of Diagrams Diagrams 2010 was held in Portland, USA in August 2010. Diagrams is an...

This book captures and communicates the wealth of architecture experience Capgemini has gathered as a member of The Open Group a vendor- and techn...