This book constitutes the refereed proceedings of the 7th Workshop on New Frontiers in Quantitative Methods in Informatics, InfQ 2017, held in Venice, Italy, in December 2017. The 11 revised full papers and the one revised short paper presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on networking and mobile applications; applications of quantitative modeling; big data processing and IoT; theory, methods and tools for quantitative analysis.

With the recent advances in multimedia technology, on-line libraries of digital images are assuming an ever increasing relevance within a wide range of information systems. Effective access to such archives requires on external textual keywords that conventional searching techniques based are complemented by content-based queries addressing appearing visual features of searched data. Central to this retrieval approach is the creation of models, which permit to abstract images into some space of features and support indexing and comparison of visual contents. Depending on the specific characteris tics of the images at hand, such models can rely on different facets of the informative contents of visual data: color and texture distribution, shape of appearing objects, spatial arrangement. This book introduces and exemplifies objectives and research themes in image modeling and retrieval. In the introductory chapter, the problem of image modeling and retrieval is motivated and discussed, and major entry-pointers to the literature are provided. Afterwards, different model ing approaches are addressed in six chapters contributed by major research groups in the field: modeling based on object shape is addressed in chapter 2 by F. Korn, N. Sidiropoulos, C. Faloutsos, E. Siegel, and Z. Protopapas, and in chapter 3 by R. Mehrotra and J. E. Gary; modeling based on color and texture distribution is addressed in chapter 4 by G. D. Finlayson, S. S. Chat terjee, and B. V. Funt, and in chapter 5 by I. Gagliardi, A.

This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015. The conference was organized under the umbrella of Madrid Meet 2015, a one week event focussing on the areas of formal and quantitative analysis of systems, performance engineering, computer safety, and industrial critical applications. The 19 papers presented in this volume were carefully reviewed and selected from 42 initial submissions.

Image Modeling and Retrieval; E. Vicario. Efficient and Effective Nearest Neighbor Search in a Medical Image Database of Tumor Shapes; F. Korn, et al. Shape-Similarity-Based Retrieval in Image Databases; R. Mehrotra, J.E. Gary. Color Angular Indexing and Image Retrieval; G.D. Finlayson, et al. Indexing Color-Texture Image Patterns; A.D. Ventura, et al. Iconic Indexing for Visual Databases; Q-L. Zhang, S-K. Chang. Using Weighted Spatial Relationships in Retrieval by Visual Contents; A. Del Bimbo, et al.. Index.