Second International Workshop Dal 2019 Porto Portugal October 711 2019 Proceedings

This book constitutes the refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, held in Porto, Portugal, in October 2019.

This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Data Analysis, IDA 2011, held in Porto, Portugal, in October 2011. The 19 revised full papers and 16 revised poster papers resented together with 3 invited papers were carefully reviewed and selected from 73 submissions. All current aspects of intelligent data analysis are addressed, particularly intelligent support for modeling and analyzing complex, dynamical systems. The papers offer intelligent support for understanding evolving scientific and social systems including data collection and acquisition, such as crowd sourcing; data cleaning, semantics and markup; searching for data and assembling datasets from multiple sources; data processing, including workflows, mixed-initiative data analysis, and planning; data and information fusion; incremental, mixed-initiative model development, testing and revision; and visualization and dissemination of results; etc.

This book constitutes the thoroughly refereed proceedings of the Second International Conference on Cloud Computing and Services Science, CLOSER 2012, held in Porto, Portugal, in April 2012. The 15 papers were selected from 145 submissions and are presented together with one invited paper.

This book constitutes the thoroughly refereed proceedings of the Second International Conference on Cloud Computing and Services Science, CLOSER 2012, held in Porto, Portugal, in April 2012. The 15 papers were selected from 145 submissions and are presented together with one invited paper.