This book constitutes the refereed proceedings of the 12th International Conference on Formal Concept Analysis, ICFCA 2014, held in Cluj-Napoca, Romania, in June 2014.
The two-volume set LNAI 8467 and LNAI 8468 constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2014, held in Zakopane, Poland in June 2014.
The two-volume set LNAI 8467 and LNAI 8468 constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2014, held in Zakopane, Poland in June 2014.
This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014.
This volume constitutes the refereed proceedings of the 16th International Workshop on Combinatorial Image Analysis, IWCIA 2014, held in Brno, Czech Republic, in May 2014.
This book constitutes the proceedings of the International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2014, held in Cork, Ireland, in May 2014.
This book constitutes the refereed proceedings of the 10th IEEE International Conference Beyond Databases, Architectures, and Structures, BDAS 2014, held in Ustron, Poland, in May 2014.
This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of Prakash Panangaden, in Oxford, UK, in May 2014, to celebrate his 60th birthday.
This book constitutes the refereed proceedings of the 7th International Conference on the Theory and Application of Cryptographic Techniques in Africa, AFRICA CRYPT 2014, held in Marrakesh, Morocco in May 2014.
Containing a summary of several recent results on Markov-based input modeling in a coherent notation, this book introduces and compares algorithms for parameter fitting and gives an overview of available software tools in the area.
This book is a compilation of 21 papers presented at the International Cramer Symposium on Insurance Mathematics (ICSIM) held at Stockholm University in June, 2013.
This book constitutes the refereed proceedings of the 27th Canadian Conference on Artificial Intelligence, Canadian AI 2014, held in Montreal, QC, Canada, in May 2014.
Many biologists and ecologists have developed models that find widespread use in theoretical investigations and in applications to organism behavior, disease control, population and metapopulation theory, ecosystem dynamics, and environmental management.
The volume "e;Storing and Transmitting Data"e; is based on Rudolf Ahlswede's introductory course on "e;Information Theory I"e; and presents an introduction to Shannon Theory.
To large organizations, business intelligence (BI) promises the capability of collecting and analyzing internal and external data to generate knowledge and value, thus providing decision support at the strategic, tactical, and operational levels.
This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion of his sixtieth birthday.
This book constitutes the refereed proceedings of the 11th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Chennai, India, in April 2014.
This book constitutes the refereed proceedings of the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2014, held in Essen, Germany, in April 2014.
This book addresses the key issues in the modeling and simulation of diffusive processes from a wide spectrum of different applications across a broad range of disciplines.
This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 - May 1, 2014.
This book is the outcome of the Dagstuhl Seminar 13201 on Information Visualization - Towards Multivariate Network Visualization, held in Dagstuhl Castle, Germany in May 2013.
The Bialowieza Workshops on Geometric Methods in Physics, which are hosted in the unique setting of the Bialowieza natural forest in Poland, are among the most important meetings in the field.
This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014.
This book constitutes the refereed proceedings of the Computer Games Workshop, CGW 2013, held in Beijing, China, in August 2013, in conjunction with the Twenty-third International Conference on Artificial Intelligence, IJCAI 2013.
This book constitutes the refereed proceedings of the 17th International GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault-Tolerance, MMB & DFT 2014, held in Bamberg, Germany, in March 2014.
This volume is the first systematic and thorough attempt to investigate the relation and the possible applications of mereology to contemporary science.
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013.
This volume focuses on recursion and reveals a host of new theoretical arguments, philosophical perspectives, formal representations and empirical evidence from parsing, acquisition and computer models, highlighting its central role in modern science.
This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.
This book constitutes the proceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2014, held in Bordeaux, France, in March 2014.
This book constitutes the refereed proceedings of the 8th International Conference on Language and Automata Theory and Applications, LATA 2014, held in Madrid, Spain in March 2014.
This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013.
This book constitutes the refereed proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, held in Munich, Germany, in February 2014.
This book constitutes the refereed proceedings of the 6th International Conference on Pairing-Based Cryptography, Pairing 2013, held in Beijing, China, in November 2013.
This book constitutes the revised selected papers of the 8th International Workshop on Algorithms and Computation, WALCOM 2014, held in Chennai, India, in February 2014.
This book constitutes the refereed proceedings of the 11th European Conference on Wireless Sensor Networks, EWSN 2014, held in Oxford, UK, in February 2014.
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2013, held in Beijing, China, in August 2013, associated with IJCAI 2013, the 23rd International Joint Conference on Artificial Intelligence.
