Search

The ordered weighted averaging (OWA) operator was proposed by Yager back in 1988 and constitutes a parameterized family of aggregation functions between the minimum and the maximum. The purpose of this paper is to perform a bibliometric review of this aggregation operator during the last 35 years through the Web of Science (WoS) Core Collection database and the Visualization of Similarities (VOS) viewer software. The results show that the OWA operator is an increasingly popular aggregation operator, especially in Computer Science. The results also allow the assertion that Yager, as expected, is still the most influential and productive author. Moreover, the study reveals that institutions from over 80 countries have contributed to OWA research, highlighting the high presence of Chinese universities and the emergence of Pakistani ones. Other interesting findings are presented to provide a comprehensive and up-to-date analysis of the OWA operator literature. [ABSTRACT FROM AUTHOR]

Neuronal models have remained an important area of research in computer science. The dendritic neuron model (DNM) is a novel neuronal model in recent years. Previous studies have focused on training DNM using more appropriate algorithms. This paper proposes an improvement to DNM based on the activity of excitation and proposes three new models. Each of the three improved models are designed to mimic the excitation and inhibition activity of neurons. The improved model proposed in this paper is shown to be effective in the experimental part. All three models and original DNM have their own strengths, so it can be considered that the new model proposed in this paper well enriches the diversity of neuronal models and contributes to future research on networks models. [ABSTRACT FROM AUTHOR]

Our research objective is to improve the Huffman coding efficiency by adjusting the data using a Poisson distribution, which avoids the undefined entropies too. The scientific value added by our paper consists in the fact of minimizing the average length of the code words, which is greater in the absence of applying the Poisson distribution. Huffman Coding is an error-free compression method, designed to remove the coding redundancy, by yielding the smallest number of code symbols per source symbol, which in practice can be represented by the intensity of an image or the output of a mapping operation. We shall use the images from the PASCAL Visual Object Classes (VOC) to evaluate our methods. In our work we use 10,102 randomly chosen images, such that half of them are for training, while the other half is for testing. The VOC data sets display significant variability regarding object size, orientation, pose, illumination, position and occlusion. The data sets are composed by 20 object classes, respectively: aeroplane, bicycle, bird, boat, bottle, bus, car, motorbike, train, sofa, table, chair, tv/monitor, potted plant, person, cat, cow, dog, horse and sheep. The descriptors of different objects can be compared to give a measurement of their similarity. Image similarity is an important concept in many applications. This paper is focused on the measure of similarity in the computer science domain, more specifically information retrieval and data mining. Our approach uses 64 descriptors for each image belonging to the training and test set, therefore the number of symbols is 64. The data of our information source are different from a finite memory source (Markov), where its output depends on a finite number of previous outputs. When dealing with large volumes of data, an effective approach to increase the Information Retrieval speed is based on using Neural Networks as an artificial intelligent technique. [ABSTRACT FROM AUTHOR]

An important development in geometric algebra in recent years is the new system known as point geometry, which treats points as direct objects of operations and considerably simplifies the process of geometric reasoning. In this paper, we provide a complete formal description of the point geometry theory architecture and give a rigorous and reliable formal verification of the point geometry theory based on the theorem prover Coq. Simultaneously, a series of tactics are also designed to assist in the proof of geometric propositions. Based on the theoretical architecture and proof tactics, a universal and scalable interactive point geometry machine proof system, PointGeo, is built. In this system, any arbitrary point-geometry-solvable geometric statement may be proven, along with readable information about the solution's procedure. Additionally, users may augment the rule base by adding trustworthy rules as needed for certain issues. The implementation of the system expands the library of Coq resources on geometric algebra, which will become a significant research foundation for the fields of geometric algebra, computer science, mathematics education, and other related fields. [ABSTRACT FROM AUTHOR]

The field of statistical computing is rapidly developing and evolving. Shifting away from the formerly siloed landscape of mathematics, statistics, and computer science, recent advancements in statistical computing are largely characterized by a fusing of these worlds; namely, programming, software development, and applied statistics are merging in new and exciting ways. There are numerous drivers behind this advancement, including open movement (encompassing development, science, and access), the advent of data science as a field, and collaborative problem-solving, as well as practice-altering advances in subfields such as artificial intelligence, machine learning, and Bayesian estimation. In this paper, we trace this shift in how modern statistical computing is performed, and that which has recently emerged from it. This discussion points to a future of boundless potential for the field. [ABSTRACT FROM AUTHOR]

Fractional programming (FP) refers to a family of optimization problems whose objective function is a ratio of two functions. FP has been studied extensively in economics, management science, information theory, optic and graph theory, communication, and computer science, etc. This paper presents a bibliometric review of the FP-related publications over the past five decades in order to track research outputs and scholarly trends in the field. The reviews are conducted through the Science Citation Index Expanded (SCI-EXPANDED) database of the Web of Science Core Collection (Clarivate Analytics). Based on the bibliometric analysis of 1811 documents, various theme-related research indicators were described, such as the most prominent authors, the most commonly cited papers, journals, institutions, and countries. Three research directions emerged, including Electrical and Electronic Engineering, Telecommunications, and Applied Mathematics. [ABSTRACT FROM AUTHOR]

The paper by Feng et al. [[11]] proposes an image encryption algorithm, IEA-IF-DLT, that utilizes plane-level image filtering and discrete logarithmic transformation to achieve a balance between security and efficiency. In the last few decades, the relationship between mathematics and algorithms has become increasingly important and influential in computer science. The scheme utilizes versatile bit-depth management, encrypting the most significant bits of each pixel with the AES-CTR cipher algorithm and embedding additional data in the least significant bit planes of the encrypted pixels using code division multiplexing. [Extracted from the article]

This paper addresses a problem of global optimization in a non-Archimedean fuzzy metric space context without fuzzy P-property. Specifically, it concerns the determination of the fuzzy distance between two subsets of a non-Archimedean fuzzy metric space. Our approach to solving this problem is to find an optimal approximate solution to a fixed point equation. This approach has been well studied within a category of problems called proximity point problems. We explore some new types of (ψ − ϕ) -weak proximal contractions and investigate the existence of the unique best proximity point for such kinds of mappings. Subsequently, some fixed point results for corresponding contractions are proved, and some illustrative examples are presented to support the validity of the main results. Moreover, an interesting application in computer science, particularly in the domain of words has been provided. Our work is a fuzzy generalization of the proximity point problem by means of fuzzy fixed point method. [ABSTRACT FROM AUTHOR]

The membrane computing research area was initiated in the fall of 1998 by Gheorghe Paun, and already in February 2003, the Institute for Scientific Information (ISI) considered membrane computing as an emerging research front in computer science and paper [[1]] as a fast-breaking paper. 10.1093/acprof:oso/9780199542864.001.0001 10 Frisco P., Gheorghe M., Pérez-Jiménez M.J.. Applications of Membrane Computing in Systems and Synthetic BiologyEmergence, Complexity, Computation; Springer: Cham, Switzerland. The membrane computing area is already well developed, both at the theoretical level and in what concerns applications, while the mention of membrane computing as a topic in the Mathematics Subjects Classification 2020 by Mathematical Reviews and zbMATH indicates its maturity. [Extracted from the article]

Noticing that ordinary metrics do not present an adequate tool for the study of analytic problems of word combinatorics, as well as in the research of some problems related to theoretical computer science, we propose to use fuzzy metrics in this type of problems. Specifically, the so-called strong fuzzy metric seems to be more appropriate here. In the first part of the paper, we study some special classes of strong fuzzy metrics, topological and lattice properties of certain families of strong fuzzy metrics, and, more generally, strong k-fuzzy metrics. Noticing that one of the standard axioms of a strong fuzzy metric can be easily violated when applied in real situations, in the second part of the paper we introduce more general, approximating fuzzy metrics and illustrate their applicability with some numerical examples. [ABSTRACT FROM AUTHOR]

In the context of the DigiLab4U international project, this paper describes a simulation-based serious game that can be used as a virtual teaching lab in higher education courses, especially in Industrial and Systems Engineering, Data Science, Management Science and Operations Research, as well as Computer Science. The learning activity focuses on understanding distribution logistics problems related to transportation optimization using different techniques. These optimization challenges include the vehicle routing problem, the arc routing problem, and the team orienteering problem. As a result of the learning process in the virtual lab, it is expected that students acquire competencies and skills related to logistics and transportation challenges as well as problem-solving. These competencies and skills can be precious for students' future careers, since they increase students' analytical skills, capacity to understand heuristic-based algorithms, teamwork and interdisciplinary communication skills, programming skills, and statistical abilities. A preliminary version of this training activity has already been used in MSc and PhD courses held at universities in Spain, Italy, Ireland, and Portugal. [ABSTRACT FROM AUTHOR]

E. Yi recently introduced the fractional edge dimension of graphs. It has many applications in different areas of computer science such as in sensor networking, intelligent systems, optimization, and robot navigation. In this paper, the fractional edge dimension of vertex and edge transitive graphs is calculated. The class of hypercube graph Q n with an odd number of vertices n is discussed. We propose the combinatorial criterion for the calculation of the fractional edge dimension of a graph, and hence applied it to calculate the fractional edge dimension of the friendship graph F k and the class of circulant graph C n (1 , 2) . [ABSTRACT FROM AUTHOR]

The paper suggests a general method for proving the fact whether a certain set is p-computable or not. The method is based on a polynomial analogue of the classical Gandy's fixed point theorem. Classical Gandy's theorem deals with the extension of a predicate through a special operator Γ Φ (x) Ω ∗ and states that the smallest fixed point of this operator is a Σ -set. Our work uses a new type of operator which extends predicates so that the smallest fixed point remains a p-computable set. Moreover, if in the classical Gandy's fixed point theorem, the special Σ -formula Φ (x ¯) is used in the construction of the operator, then a new operator uses special generating families of formulas instead of a single formula. This work opens up broad prospects for the application of the polynomial analogue of Gandy's theorem in the construction of new types of terms and formulas, in the construction of new data types and programs of polynomial computational complexity in Turing complete languages. [ABSTRACT FROM AUTHOR]