| 1. |
- Ait-Mlouk, Addi, et al.
(författare)
-
WINFRA : A Web-Based Platform for Semantic Data Retrieval and Data Analytics
- 2020
-
Ingår i: Mathematics. - : MDPI. - 2227-7390. ; 8:11
-
Tidskriftsartikel (refereegranskat)abstract
- Given the huge amount of heterogeneous data stored in different locations, it needs to be federated and semantically interconnected for further use. This paper introduces WINFRA, a comprehensive open-access platform for semantic web data and advanced analytics based on natural language processing (NLP) and data mining techniques (e.g., association rules, clustering, classification based on associations). The system is designed to facilitate federated data analysis, knowledge discovery, information retrieval, and new techniques to deal with semantic web and knowledge graph representation. The processing step integrates data from multiple sources virtually by creating virtual databases. Afterwards, the developed RDF Generator is built to generate RDF files for different data sources, together with SPARQL queries, to support semantic data search and knowledge graph representation. Furthermore, some application cases are provided to demonstrate how it facilitates advanced data analytics over semantic data and showcase our proposed approach toward semantic association rules.
|
|
| 2. |
- Anderson, Johan, 1973
(författare)
-
Information Geometric Investigation of Solutions to the Fractional Fokker-Planck Equation
- 2020
-
Ingår i: Mathematics. - : MDPI AG. - 2227-7390. ; 8:5
-
Tidskriftsartikel (refereegranskat)abstract
- A novel method for measuring distances between statistical states as represented by probability distribution functions (PDF) has been proposed, namely the information length. The information length enables the computation of the total number of statistically different states that a system evolves through in time. Anomalous transport can presumably be modeled fractional velocity derivatives and Langevin dynamics in a Fractional Fokker-Planck (FFP) approach. The numerical solutions or PDFs are found for varying degree of fractionality (alpha) of the stable Levy distribution as solutions to the FFP equation. Specifically, the information length of time-dependent PDFs for a given fractional index alpha is computed.
|
|
| 3. |
- Anjum, Asad Ur Rehman, et al.
(författare)
-
Sensitivity Analysis of Mathematical Model to Study the Effect of T Cells Infusion in Treatment of CLL
- 2020
-
Ingår i: Mathematics. - : MDPI AG. - 2227-7390. ; 8:4
-
Tidskriftsartikel (refereegranskat)abstract
- In this paper, we considered a mathematical model concerned with the treatment of Chronic Lymphocytic Leukemia (CLL) taking into account the effect of superficially infused T cells in this particular type of tumor. The model is described thoroughly by the system of non-linear differential equations explaining the interaction of naive, infected, cancer and immune cell population. The detailed sensitivity analysis with the application is the major part of this paper. The basic objective is to provide insight to how parameters' behavior varies model results by elaborating the results obtained from the application of sensitivity analysis. The sensitivity of the model was evaluated not only theoretically, but also with the help of a numerical approach, producing graphs providing better imminent of results. We argue that the application of the sensitivity analysis method endows an insight into how and which parameters are of primary significance in controlling the spread of leukemia.
|
|
| 4. |
- Ghandour, Elsa, et al.
(författare)
-
Almost complex surfaces in the nearly Kähler SL(2, R) × SL(2, R)
- 2020
-
Ingår i: Mathematics. - : MDPI AG. - 2227-7390. ; 8:7
-
Tidskriftsartikel (refereegranskat)abstract
- The space SL(2, R) × SL(2, R) admits a natural homogeneous pseudo-Riemannian nearly Kahler structure. We investigate almost complex surfaces in this space. In particular, we obtain a complete classification of the totally geodesic almost complex surfaces and of the almost complex surfaces with parallel second fundamental form.
|
|
| 5. |
- Høibakk, Ralph, et al.
(författare)
-
A New Look at the Single Ladder Problem (SLP) via Integer Parametric Solutions to the Corresponding Quartic Equation
- 2020
-
Ingår i: Mathematics. - : MDPI. - 2227-7390. ; 8:2, s. 1-21
-
Tidskriftsartikel (refereegranskat)abstract
- The aim is to put new light on the single ladder problem (SLP). Some new methods for finding complete integer solutions to the corresponding quartic equation z(4) - 2Lz(3) + ( L-2 - a(2) - b(2))z(2) + 2La(2)z - L(2)a(2) = 0 are developed. For the case L >= L-min, these methods imply a complete parametric representation for integer solutions of SLP in the first quadrant. Some corresponding (less complete) results for the case L > L-min are also pointed out.
|
|
| 6. |
- Koloseni, David, et al.
(författare)
-
AHP-Like Matrices and Structures : Absolute and Relative Preferences
- 2020
-
Ingår i: Mathematics. - : MDPI. - 2227-7390. ; 8:5
-
Tidskriftsartikel (refereegranskat)abstract
- Aggregation functions are extensively used in decision making processes to combine available information. Arithmetic mean and weighted mean are some of the most used ones. In order to use a weighted mean, we need to define its weights. The Analytical Hierarchy Process (AHP) is a well known technique used to obtain weights based on interviews with experts. From the interviews we define a matrix of pairwise comparisons of the importance of the weights. We call these AHP-like matrices absolute preferences of weights. We propose another type of matrix that we call a relative preference matrix. We define this matrix with the same goal—to find the weights for weighted aggregators. We discuss how it can be used for eliciting the weights for the weighted mean and define a similar approach for the Choquet integral.
|
|
| 7. |
- Sirjani, Marjan, et al.
(författare)
-
Verification of Cyberphysical Systems
- 2020
-
Ingår i: Mathematics. - : MDPI. - 2227-7390. ; 8:7
-
Tidskriftsartikel (refereegranskat)abstract
- The value of verification of cyberphysical systems depends on the relationship between the state of the software and the state of the physical system. This relationship can be complex because of the real-time nature and different timelines of the physical plant, the sensors and actuators, and the software that is almost always concurrent and distributed. In this paper, we study different ways to construct a transition system model for the distributed and concurrent software components of a CPS. The purpose of the transition system model is to enable model checking, an established and widely used verification technique. We describe a logical-time-based transition system model, which is commonly used for verifying programs written in synchronous languages, and derive the conditions under which such a model faithfully reflects physical states. When these conditions are not met (a common situation), a finer-grained event-based transition system model may be required. We propose an approach for formal verification of cyberphysical systems using Lingua Franca, a language designed for programming cyberphysical systems, and Rebeca, an actor-based language designed for model checking distributed event-driven systems. We focus on the cyber part and model a faithful interface to the physical part. Our method relies on the assumption that the alignment of different timelines during the execution of the system is the responsibility of the underlying platforms. We make those assumptions explicit and clear.
|
|
