Entropy in Image Analysis II

Image analysis is a fundamental task for any application where extracting information from images is required. The analysis requires highly sophisticated numerical and analytical methods, particularly for those applications in medicine, security, and other fields where the results of the processing consist of data of vital importance. This fact is evident from all the articles composing the Special Issue "Entropy in Image Analysis II", in which the authors used widely tested methods to verify their results. In the process of reading the present volume, the reader will appreciate the richness of their methods and applications, in particular for medical imaging and image security, and a remarkable cross-fertilization among the proposed research areas

Selected Papers from the First International Symposium on Future ICT (Future-ICT 2019) in Conjunction with 4th International Symposium on Mobile Internet Security (MobiSec 2019)

The International Symposium on Future ICT (Future-ICT 2019) in conjunction with the 4th International Symposium on Mobile Internet Security (MobiSec 2019) was held on 17–19 October 2019 in Taichung, Taiwan. The symposium provided academic and industry professionals an opportunity to discuss the latest issues and progress in advancing smart applications based on future ICT and its relative security. The symposium aimed to publish high-quality papers strictly related to the various theories and practical applications concerning advanced smart applications, future ICT, and related communications and networks. It was expected that the symposium and its publications would be a trigger for further related research and technology improvements in this field

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing

LIPIcs, Volume 251, ITCS 2023, Complete Volume

LIPIcs, Volume 251, ITCS 2023, Complete Volum

Social work with airports passengers

Social work at the airport is in to offer to passengers social services. The main methodological position is that people are under stress, which characterized by a particular set of characteristics in appearance and behavior. In such circumstances passenger attracts in his actions some attention. Only person whom he trusts can help him with the documents or psychologically

Using MapReduce Streaming for Distributed Life Simulation on the Cloud

Distributed software simulations are indispensable in the study of large-scale life models but often require the use of technically complex lower-level distributed computing frameworks, such as MPI. We propose to overcome the complexity challenge by applying the emerging MapReduce (MR) model to distributed life simulations and by running such simulations on the cloud. Technically, we design optimized MR streaming algorithms for discrete and continuous versions of Conway’s life according to a general MR streaming pattern. We chose life because it is simple enough as a testbed for MR’s applicability to a-life simulations and general enough to make our results applicable to various lattice-based a-life models. We implement and empirically evaluate our algorithms’ performance on Amazon’s Elastic MR cloud. Our experiments demonstrate that a single MR optimization technique called strip partitioning can reduce the execution time of continuous life simulations by 64%. To the best of our knowledge, we are the first to propose and evaluate MR streaming algorithms for lattice-based simulations. Our algorithms can serve as prototypes in the development of novel MR simulation algorithms for large-scale lattice-based a-life models.https://digitalcommons.chapman.edu/scs_books/1014/thumbnail.jp

TOWARDS A MODEL FOR ARTIFICIAL AESTHETICS - Contributions to the Study of Creative Practices in Procedural and Computational Systems

Este trabalho propõe o desenvolvimento de um modelo analítico e da terminologia a ele associada para o estudo de artefactos estéticos computacionais. Reconhecendo a presença e uso crescentes dos media computacionais, começamos por estudar como através da remediação eles transformam quantitativamente os media precedentes, e como as suas propriedades procedimentais e computacionais os afectam qualitativamente. Para perceber o potencial criativo e a especificidade dos media computacionais, desenvolvemos um modelo para a sua prática, crítica e análise. Como ponto de partida recorremos à tipologia desenvolvida por Espen Aarseth para o estudo de cibertextos, avaliando a sua adequação à análise de peças ergódicas visuais e audiovisuais, adaptando-a e expandindo-a com novas variáveis e respectivos valores. O modelo é testado através da análise de um conjunto de peças que representam diversas abordagens à criação procedimental e diversas áreas de actividade criativa contemporânea. É posteriormente desenvolvida uma análise de controlo para avaliar a usabilidade e utilidade do modelo, a sua capacidade para a elaboração de classificações objectivas e o rigor da análise. Demonstramos a adequação parcial do modelo de Aarseth para o estudo de artefactos não textuais e expandimo-lo para melhor descrever as peças estudadas. Concluímos que o modelo apresentado produz boas descrições das peças, agrupando-as logicamente, reflectindo afinidades estilísticas e procedimentais entre sistemas que, se estudados com base nas suas propriedades sensoriais ou nas suas estruturas de superfície provavelmente não revelariam muitas semelhanças. As afinidades reveladas pelo modelo são estruturais e procedimentais, e atestam a importância das características computacionais para a apreciação estética das obras. Verificamos a nossa conjectura inicial sobre a importância da procedimentalidade não só nas fases de desenvolvimento e implementação das obras mas também como base conceptual e estética na criação e apreciação artísticas, como um prazer estético