Search Results

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. The conference hosted 5 workshops: The Second International Workshop on Behavioural Typ... More

Nonlinear dynamo theory is central to understanding the magnetic structures of planets, stars and galaxies. In chapters contributed by some of the leading scientists in the field, this text explores some of the recent advances in the field. Both kinetic and dynamic approaches to the subject are cons... More

This book offers a unique blend of reports on both theoretical models and their applications in the area of Intelligent Information and Database Systems. The reports cover a broad range of research topics, including advanced learning techniques, knowledge engineering, Natural Language Processing (NL... More

This book discusses the impact of climate change on rural forest areas. It analyses data provided by the Portuguese Institute of the Sea and Atmosphere (IPMA) to not only demonstrate that climate change has occurred in Portuguese forests, but also to suggest how forestry practices can be adapted to ... More