Search

This article introduces a new type of C*-algebra valued modular G-metric spaces that is more general than both C*-algebra valued modular metric spaces and modular G-metric spaces. Some properties are also discussed with examples. A few common fixed point results in C*-algebra valued modular G-metric spaces are discussed using the “C*-class function”, along with some suitable examples to validate the results. Ulam–Hyers stability is used to check the stability of some fixed point results. As applications, the existence and uniqueness of solutions for a particular problem in dynamical programming and a system of nonlinear integral equations are provided.

According to the United Nations, 70% of the world&rsquo, s population will live in cities by 2050. This growth will be reflected in the demand for better services that should be adjusted to the collective and individual needs of the population. Governments and organizations are working on defining and implementing strategies that will enable them to respond to these challenges. The main challenges are related to transport and its management, considering transportation as a core issue in the economy, sustainability, and development of the regions. In this way, the Intelligent Transportation Systems (ITS) play a key role in the response to these scenarios, being that they are the framework where the new hardware and software tools are integrated, allowing an efficient development of transportation systems management, attending to aspects such as: traffic management, communications between vehicles and infrastructures, and security, among others. Nevertheless, the concept of ITS evolves rapidly so it is necessary to understand its evolution. To do that, the current research develops a thematic analysis of ITS in literature, evaluating the intellectual structure and its evolution using SciMAT, quantifying the main bibliometric performance indicators, and identifying the main research areas, authors, journals, and countries. To this purpose, the publications related to ITS from 1993 to 2019 available in the Web of Science (WoS) Core Collection were retrieved (7649 publications) and analyzed. Finally, one of the main results is the latest research themes map of ITS, considering its intellectual structure, evolution, and relationship. It assists in the definition and implementation of strategies, the identification of the scientific, academic, and business opportunities, and future research lines to consolidate the role of ITS in the new city models.

Zero-Knowledge Proofs ZKP provide a reliable option to verify that a claim is true without giving detailed information other than the answer. A classical example is provided by the ZKP based in the Graph Isomorphism problem (GI), where a prover must convince the verifier that he knows an isomorphism between two isomorphic graphs without publishing the bijection. We design a novel ZKP exploiting the NP-hard problem of finding the algebraic ideal of a multivariate polynomial set, and consequently resistant to quantum computer attacks. Since this polynomial set is obtained considering instances of GI, we guarantee that the protocol is at least as secure as the GI based protocol.

Existence of mobile devices with high performance cameras and powerful image processing applications eases the alteration of digital images for malicious purposes. This work presents a new approach to detect digital image tamper detection technique based on CFA artifacts arising from the differences in the distribution of acquired and interpolated pixels. The experimental evidence supports the capabilities of the proposed method for detecting a broad range of manipulations, e.g., copy-move, resizing, rotation, filtering and colorization. This technique exhibits tampered areas by computing the probability of each pixel of being interpolated and then applying the DCT on small blocks of the probability map. The value of the coefficient for the highest frequency on each block is used to decide whether the analyzed region has been tampered or not. The results shown here were obtained from tests made on a publicly available dataset of tampered images for forensic analysis. Affected zones are clearly highlighted if the method detects CFA inconsistencies. The analysis can be considered successful if the modified zone, or an important part of it, is accurately detected. By analizing a publicly available dataset with images modified with different methods we reach an 86% of accuracy, which provides a good result for a method that does not require previous training.