Computer science

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic web, social networks, and multi-agent systems.

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic web, social networks, and multi-agent systems.

This, the 29th issue of the Transactions on Computational Science journal, is comprised of seven full papers focusing on the area of secure communication.

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence.

This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of edutainment, such as game-based learning and serious games, interactive storytelling, virtual learning environments, VR-based education, and related fields.

The paper is organized as follows: In section 2, we describe the no- orientation-discontinuity interfering model based on a Gaussian stochastic model in analyzing the properties of the interfering strokes.

In this monograph, Joachim Baumann provides in-depth coverage of essential research issues; namely, mechanisms for locating and terminating mobile agents and for orphan detection in a mobile agent system.

This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday.

This book addresses a subject at the crossing point of two lines of investi- gation - synergetics and modern nonlinear optics.

This book presents a new computational methodology called Computational Mass Transfer (CMT).

For more than 60 years, Jim Lambek has been a profoundly inspirational mathematician, with groundbreaking contributions to algebra, category theory, linguistics, theoretical physics, logic and proof theory.

Bioinformatics, which can be defined as the application of computer science and information technology to the field of biology and medicine, has been rapidly developing over the past few decades.

This Festschrift has been published in honor of Rinus Plasmeijer, to celebrate the combined occasion of his 61st birthday and the 25th Symposium on Implementation and Application of Functional Languages, IFL 2013, held in Nijmegen, The Netherlands, in August 2013.

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.

This book describes recent multidisciplinary research at the confluence of the fields of logic programming, database theory and human-computer interaction.

This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by some of his colleagues, former students, and friends.

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks and multiagent systems.

The theory and applications of intelligent systems is today an important field of research.

The topic of this book is the following optimisation problem: given a set of discrete variables and a set of functions, each depending on a subset of the variables, minimise the sum of the functions over all variables.

The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics.

This book constitutes the documentation of the scientific outcome of the first meeting of the TIMELY network, the International Workshop on Multidisciplinary Aspects of Time and Time Perception, which took place in Athens, Greece, in October 2010.

Gheorghe Paun has played an important role within a wide range of disciplines, from the foundations of traditional computation theory and formal language theory to research gaining its inspiration from living nature.

This Festschrift volume, published in honor of Michael Gelfond on the occasion of his 65th birthday, contains a collection of papers written by his closest friends and colleagues.

This book presents the state of the art in the areas of ontology evolution and knowledge-driven multimedia information extraction, placing an emphasis on how the two can be combined to bridge the semantic gap.

Recent advances in the fields of knowledge representation, reasoning and human-computer interaction have paved the way for a novel approach to treating and handling context.

Data management has evolved over the years from being strictly associated with database systems, through active databases, to become a topic that has grown beyond the scope of a single field encompassing a large range of subjects, such as distributed systems, event-driven systems, and peer-to-peer and streaming systems.

Thetopicof"e;Model-BasedEngineeringofReal-TimeEmbeddedSystems"e;brings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based engineering).

The 8th issue of the Transactions on Computational Science has been divided into two parts.

Reinforcement learning has developed as a successful learning approach for domains that are not fully understood and that are too complex to be described in closed form.

The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?

Software defects lead to enormous costs for the software industry and society as a whole.

work for small problems, but it introduces signi?

One of the major contemporary challenges in both physical and social sciences is modeling, analyzing, and understanding the self-organization, evolution, behavior, and eventual decay of complex dynamical systems ranging from cell assemblies to the human brain to animal societies.

Human Machine Interaction, or more commonly Human Computer Interaction, is the study of interaction between people and computers.

Social systems are among the most complex known.

As software systems become ubiquitous, the issues of dependability become more and more crucial.

This book gives a comprehensive account of Maude, a language and system based on rewriting logic.

"e;The-computer-as-we-know-it"e; will have no role in our future everyday lives.

This book constitutes the strictly reviewed post-workshop documentation of the First International Conference on Cooperative Multimodal Communication held in Eindhoven, The Netherlands, in 1995.

Personal Experience with Active Cultural Heritage, PEACH, is a large, interdisciplinary development project that explores the use of novel technologies for physical museum visits.

This volume contains the proceedings of the 19th annual International Conference on Application and Theory of Petri Nets.

This volume constitutes the refereed proceedings of the First International Conference on Rough Sets and Current Trends in Computing, RSCTC'98, held in Warsaw, Poland, in June 1998.