Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.
Purchase individual online access for 1 year to this journal.
Price: EUR 410.00Impact Factor 2024: 0.4
Fundamenta Informaticae is an international journal publishing original research results in all areas of theoretical computer science. Papers are encouraged contributing:
- solutions by mathematical methods of problems emerging in computer science
- solutions of mathematical problems inspired by computer science.
Topics of interest include (but are not restricted to): theory of computing, complexity theory, algorithms and data structures, computational aspects of combinatorics and graph theory, programming language theory, theoretical aspects of programming languages, computer-aided verification, computer science logic, database theory, logic programming, automated deduction, formal languages and automata theory, concurrency and distributed computing, cryptography and security, theoretical issues in artificial intelligence, machine learning, pattern recognition, algorithmic game theory, bioinformatics and computational biology, quantum computing, probabilistic methods, & algebraic and categorical methods.
Authors: Dangalchev, Chavdar
Article Type: Research Article
Abstract: Creation and growth are very important in network analysis. In this article we propose one possible model for networks generation. The probabilities of new links are proportional to the expected closeness of the added node. We also propose a new characteristic of graphs - additional closeness, which measures the maximal closeness of a graph after adding a new link. Some properties of the additional closeness are explored. Three different ways of joining two networks are investigated.
Keywords: Networks generation, Networks growth, Graph vulnerability, Closeness, Residual closeness
DOI: 10.3233/FI-2020-1960
Citation: Fundamenta Informaticae, vol. 176, no. 1, pp. 1-15, 2020
Authors: Järvinen, Jouni | Radeleczki, Sándor
Article Type: Research Article
Abstract: We study multigranulation spaces of two equivalences. The lattice-theoretical properties of so-called “optimistic” and “pessimistic” multigranular approximation systems are given. We also consider the ordered sets of rough sets determined by these approximation pairs.
Keywords: Equivalence relation, multigranular approximation, definable set, rough set, coherence, tolerance relation, irredundant covering, atomistic Boolean lattice, completely distributive lattice, Dedekind–MacNeille completion
DOI: 10.3233/FI-2020-1961
Citation: Fundamenta Informaticae, vol. 176, no. 1, pp. 17-41, 2020
Authors: Liu, Liucheng | Yi, Wenmei | Yang, Qian | Peng, Hong | Wang, Jun
Article Type: Research Article
Abstract: Abstracted from the nested structure of biological cells with application on the modeling of economical processes, numerical P systems (in short, NP systems) as a kind of distributed parallel computation systems have been proposed. It has been proven that NP systems and variants are Turing universal for number accepting/generating devices and language generating device. However, universality of NP systems as function computing devices has not been established. Aiming at numerical P systems with thresholds (in short, TNP systems), small universality for computing functions is discussed in this paper. Six small universal function computing devices of TNP systems for two threshold …cases and working on three different modes are constructed, respectively. Show more
Keywords: membrane computing, numerical P systems with thresholds, small universality, function computing devices
DOI: 10.3233/FI-2020-1962
Citation: Fundamenta Informaticae, vol. 176, no. 1, pp. 43-59, 2020
Authors: Maschio, Samuele | Sambin, Giovanni
Article Type: Research Article
Abstract: We present here a new interpretation of topological concepts based on communication. The context that allows us to see this is that of basic pairs, the most elementary structures that allow to present topology. In particular, we prove that the subsets which can be communicated faithfully between the sides of a basic pair are exactly open subsets and closed subsets. We also prove that a relation between two sets of points can be communicated faithfully if and only if it is continuous or open. Finally we introduce new notions of point and of continuous function which are communicable.
Keywords: Topology, communication, basic pairs, constructive mathematics
DOI: 10.3233/FI-2020-1963
Citation: Fundamenta Informaticae, vol. 176, no. 1, pp. 61-78, 2020
Authors: Zhao, Chenyue | Alizadeh, Hosein | Minaei, Behrouz | Mohamadpoor, Majid | Parvin, Hamid | Mahmoudi, Mohammad Reza
Article Type: Research Article
Abstract: This paper studies the cluster ensemble selection problem for unsupervised learning. Given a large ensemble of clustering solutions, our goal is to select a subset of solutions to form a smaller yet better performing cluster ensemble than using all available solutions. The common way of aggregating the chosen solutions is accumulating the information of the selected results to a similarity matrix. This paper suggests transforming the similarity matrix to a modularity matrix and then applying a new consensus function which optimizes modularity measure in it. We represent the modularity maximization problem as a 0-1 quadratic program which can be exactly …solved for small datasets. We also established a new greedy algorithm, namely sum linkage, to optimize the objective function specially for large scale datasets in a very short time. We show that the proposed consensus partition gets much closer to the actual cluster structure than the partitions obtained from the direct application of common cluster ensemble methods. The promising results compared with other most cited consensus functions show the excellent efficiency of the proposed method. Show more
Keywords: Cluster Ensemble Selection, Modularity Optimization, Mathematical Programming, Sum Linkage Algorithm
DOI: 10.3233/FI-2020-1964
Citation: Fundamenta Informaticae, vol. 176, no. 1, pp. 79-102, 2020
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
USA
Tel: +1 703 830 6300
Fax: +1 703 830 2300
[email protected]
For editorial issues, like the status of your submitted paper or proposals, write to [email protected]
IOS Press
Nieuwe Hemweg 6B
1013 BG Amsterdam
The Netherlands
Tel: +31 20 688 3355
Fax: +31 20 687 0091
[email protected]
For editorial issues, permissions, book requests, submissions and proceedings, contact the Amsterdam office [email protected]
Inspirees International (China Office)
Ciyunsi Beili 207(CapitaLand), Bld 1, 7-901
100025, Beijing
China
Free service line: 400 661 8717
Fax: +86 10 8446 7947
[email protected]
For editorial issues, like the status of your submitted paper or proposals, write to [email protected]
如果您在出版方面需要帮助或有任何建, 件至: [email protected]