5,834円 This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and...

5,777円 The aim of cryptography is to design primitives and protocols that withstand adversarial behavior. Information theoretic cryptography, how-so-ever desirable, is extremely restrictive and most non-trivial cryptographic tasks are known to be information theoretically impossible. In order to realize...

12,154円 This edited volume highlights the scientific contributions of Volker Mehrmann, a leading expert in the area of numerical (linear) algebra, matrix theory, differential-algebraic equations and control theory. These mathematical research areas are strongly related and often occur in the same real-wo...

12,154円 Since the emergence of the formal concept of probability theory in the seventeenth century, uncertainty has been perceived solely in terms of probability theory. However, this apparently unique link between uncertainty and probability theory has come under investigation a few decades back. Uncert...

6,076円 This book constitutes revised selected papers from the 20th International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2014, held in Himeji, Japan, in July 2014. The 10 regular papers included in this volume were carefully reviewed and selected from a total of 25 submissio...

12,933円 This work provides a comprehensive overview of research and practical issues relating to component-based development information systems (CBIS). Spanning the organizational, developmental, and technical aspects of the subject, the original research included here provides fresh insights into succe...

10,943円 This book introduces the capability approach – in which wellbeing, agency and justice are the core values – as a powerful normative lens to examine technology and its role in development. This approach attaches central moral importance to individual human capabilities, understood as effective opp...

7,292円 Through this book, researchers and students will learn to use R for analysis of large-scale genomic data and how to create routines to automate analytical steps. The philosophy behind the book is to start with real world raw datasets and perform all the analytical steps needed to reach final resu...

6,928円 This comprehensive textbook presents a self-contained guide to bioinformatics, defined in its broadest sense as the application of information science to biology. Thoroughly updated and greatly expanded, this third edition now includes material on the growing array of “-omics”; covering metagenom...

6,076円 This monograph presents a novel method of sliding mode control for switch-regulated nonlinear systems. The Delta Sigma modulation approach allows one to implement a continuous control scheme using one or multiple, independent switches, thus effectively merging the available linear and nonlinear c...

6,076円 This book constitutes the refereed proceedings of the 13th International Conference on Formal Concept Analysis, ICFCA 2015, held in Neja, Spain, in June 2015. The 16 revised full papers presented were carefully reviewed and selected from 38 submissions. The topics in this volume cover theoretical...

6,076円 This book introduces formal semantics techniques for a natural language processing audience. Methods discussed involve: (i) the denotational techniques used in model-theoretic semantics, which make it possible to determine whether a linguistic expression is true or false with respect to some mode...