Interactive Systems

Interactive Systems

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS 2000, held in Limerick, Ireland in June 2000.

Interactive Systems

Cyclostationarity

Cyclostationarity

In the last decade the research in signal analysis was dominated by models that encompass nonstationarity as an important feature. This book presents the results of a workshop held in GrodekPoland in February 2013 which was dedicated to the investigation of cyclostationary signals. Its main objective is to highlight the strong interactions between theory and applications of cyclostationary signals with the use of modern statistical tools.

Cyclostationarity

Programming Multi-Agent Systems

Programming Multi-Agent Systems

This book constitutes the thoroughly refereed proceedings of the 5th International Workshop on Programming Multi-Agent Systems, ProMAS 2007, held in Honolulu, HI, USA, in May 2007 as an associated event of AAMAS 2007, the 6th International Joint Conference on Autonomous Agents and Multiagent Systems.

Programming Multi-Agent Systems