Temporary changes in precipitation may lead to sustained and severe drought or massive floods in different parts of the world. Knowing variation in precipitation can effectively help the water resources decision-makers in water resources management. Large-scale circulation drivers have a considerable impact on precipitation in different parts of the world. In this research, the impact of El Niño-Southern Oscillation (ENSO), Pacific Decadal Oscillation (PDO), and North Atlantic Oscillation (NAO) on seasonal precipitation over Iran was investigated. For this purpose, 103 synoptic stations with at least 30 years of data were utilized. The Spearman correlation coefficient between the indices in the previous 12 months with seasonal precipitation was calculated, and the meaningful correlations were extracted. Then the month in which each of these indices has the highest correlation with seasonal precipitation was determined. Finally, the overall amount of increase or decrease in seasonal precipitation due to each of these indices was calculated. Results indicate the Southern Oscillation Index (SOI), NAO, and PDO have the most impact on seasonal precipitation, respectively. Also, these indices have the highest impact on the precipitation in winter, autumn, spring, and summer, respectively. SOI has a diverse impact on winter precipitation compared to the PDO and NAO, while in the other seasons, each index has its special impact on seasonal precipitation. Generally, all indices in different phases may decrease the seasonal precipitation up to 100%. However, the seasonal precipitation may increase more than 100% in different seasons due to the impact of these indices. The results of this study can be used effectively in water resources management and especially in dam operation.

AI research and implementations are growing, and so are the risks associated with AI (Artificial Intelligence) developments, especially when it’s difficult to understand exactly what they do and how they work, both at a localized level, and at deployment, in particular when distributed and on a large scale. Governments are pouring massive funding to promote AI research and education, yet research results and claims, as well as the effectiveness of educational programmes, can be difficult to evaluate given the limited reproducibility of computations based on ML (machine learning) and poor explainability, which in turn limits the accountability of the systems and can cause cascading systemic problems and challenges including poor reproducibility, reliability, and overall lack of trustworthiness. This paper addresses some of the issues in Knowledge Representation for AI at system level, identifies a number of knowledge gaps and epistemological challenges as root causes of risks and challenges for AI, and proposes that neurosymbolic and hybrid KR approaches can serve as mechanisms to address some of the challenges. The paper concludes with a postulate and points to related and future research

The automatic recognition of scanned Medieval manuscripts still represents a challenge due to degradation, non standard layouts, or notations. This paper focuses on the Medieval square notation developed around the 11th century which is composed of staff lines, clefs, accidentals, and neumes which are basically connected single notes. We present a novel approach to tackle the automatic transcription by applying CNN/LSTM networks that are trained using the segmentation-free CTC-loss-function which considerably facilitates the GT-production. For evaluation, we use three different manuscripts and achieve a dSAR of 86.0% on the most difficult book and 92.2% on the cleanest one. To further improve the results, we apply a neume dictionary during decoding which yields a relative improvement of about 5%.

We show that if $f$ is a non-negative superquadratic function, then $A\mapsto\mathrm{Tr}f(A)$ is a superquadratic function on the matrix algebra. In particular, \begin{align*} \tr f\left( {\frac{{A + B}}{2}} \right) +\tr f\left(\left| {\frac{{A - B}}{2}}\right|\right) \leq \frac{{\tr {f\left( A \right)} + \tr {f\left( B \right)} }}{2} \end{align*} holds for all positive matrices $A,B$. In addition, we present a Klein's inequality for superquadratic functions as $$ \mathrm{Tr}[f(A)-f(B)-(A-B)f'(B)]\geq \mathrm{Tr}[f(|A-B|)] $$ for all positive matrices $A,B$. It gives in particular improvement of Klein's inequality for non-negative convex function. As a consequence, some variants of the Jensen trace inequality for superquadratic functions have been presented.

Many classic visual monocular SLAM systems have been developed over the past decades, however, most of them will fail when dynamic scenarios dominate. DM-SLAM is proposed for handling dynamic objects in environments based on ORB-SLAM. The article mainly concentrates on two aspects. Firstly, DLRSAC is proposed to extract static features from the dynamic scene based on awareness of nature difference between motion and static, which is integrated into initialization of DM-SLAM. Secondly, we design candidate map points selection mechanism based on neighborhood mutual exclusion to balance the accuracy of tracking camera pose and system robustness in motion scenes. Finally, we conduct experiments in the public dataset and compare DM-SLAM with ORB-SLAM. The experiments verify the superiority of the DM-SLAM.

The hybrid numbers are a generalization of complex, hyperbolic and dual numbers. In this paper, we introduce the Horadam hybrid polynomials called Horadam hybrinomials. We also give some special cases and algebraic properties of the Horadam hybrinomials. Finally we obtain some applications related to the Horadam hybrinomials in matrices.

In order to perceive the behavior presented by the multiphase chemical reactors, the ant colony optimization algorithm was combined with computational fluid dynamics (CFD) data. This intelligent algorithm creates a probabilistic technique for computing flow and it can predict various levels of three-dimensional bubble column reactor (BCR). This artificial ant algorithm is mimicking real ant behavior. This method can anticipate the flow characteristics in the reactor using almost 30 % of the whole data in the domain. Following discovering the suitable parameters, the method is used for predicting the points not being simulated with CFD, which represent mesh refinement of Ant colony method. In addition, it is possible to anticipate the bubble-column reactors in the absence of numerical results or training of exact values of evaluated data. The major benefits include reduced computational costs and time savings. The results show a great agreement between ant colony prediction and CFD outputs in different sections of the BCR. The combination of ant colony system and neural network framework can provide the smart structure to estimate biological and nature physics base phenomena. The ant colony optimization algorithm (ACO) framework based on ant behavior can solve all local mathematical answers throughout 3D bubble column reactor. The integration of all local answers can provide the overall solution in the reactor for different characteristics. This new overview of modelling can illustrate new sight into biological behavior in nature.

This work - in two parts - tries to promote a new method in Mathematical Modeling, not ever used before, namely the use of the methods of Non-standard Analysis in Topoi. For the general mathematical theory of topoi (Topoi Theory) we refer to the book [10] . For non-standard analysis in the particular Boolean topos SET (the category of sets) we refer to the book [11]. This first part of the work is related, from an applicative point of view, mainly with Mathematical Neuroscience, more precisely a model of the human thinking, consciousness and subconsciousness. The connections between brain and mind will be also scketched, but a closer study also need some further topics to be studied in Part II: Artificial Intelligence, namely (Quantum) neural networks and (Quantum) Turing machine. However both parts (I. and II.) should be considered together, because they complement each other. The topoi model the intuitionistic logic (multi-valued) and have been used in Quantum Physics (see [9] and its references) while Non-Standard Analysis in SET (introduced by Abraham Robinson[31]) has been applied in Mathematical Economics (see [2] and its references); however, the combination was never used until now in Applied Mathematics. Even more, the Non-standard Analysis in Topoi is not too much studied from the point of view of Pure Mathematics either. One of the main objective of this work is to produce progress in this aria of Mathematics also, mainly for the SET-type topoi and exponential topoi, those topoi used in Quantum Physics and in which we need Non-stantard Analysis for our purposes. Based on the paper [13] we propose the logic of non-standard extensions in topoi as a model of the human thinking (based on infons), these theories representing top and very difficult results in Abstract Mathematics. We will analise the relation between brain and mind via the genetic-epigenetic interplay. More details will be provided in the Introduction, followed by a short presentation of the general theory, later connected with the (Quantum) Yang-Baxter equations in topoi. The connections between these equations and braid groups and knots, with intended applications in Neuroscience and Artificial Intelligence will be further analysed in Part II. Besides promoting a new idea of modeling, the present paper aims to promote the building of a Research Proposal for the European $''$Human Brain Project$''$ (https://www.humanbrainproject.eu/en/), and the NSF-Europe Program $''$Collaborative Research in Computational Neuroscience$''$ (https://www.nsf.gov/funding/pgm\_summ.jsp?pims\_id=5147), jointly with the new founded $''$National Centre for the Research of the Brain$''$ of the Romanian Academy of Science (https://acad.ro/centreAR/CNCC/CNCC.pdf, in Romanian). $''$Blue Brain Project$''$ (https://www.epfl.ch/research/domains/bluebrain/) could also be of big interest. We hope that the journals edited by MDPI (Axioms, in particular) and by the Simion Stoilow Institute of the Romanian Academy - Revue Roumaine de Mathematique Pures et Appliqu (http://imar.ro/journals/Revue\_Mathematique/home\_page.html) - among others - will host special issues related to the research subjects described in both parts of this work, starting with this one. For further details and some of the progress on this research subject, see www.ovidiufpasarescu.com.}

This paper deals with the study of the existence and non existence of solutions of a three parameter's family of nonlinear fractional differential equation with mixed-integral boundary value conditions. We consider the $\alpha$-Riemann-Liouville fractional derivative, with $\alpha \in (1,2]$. In order to deduce the existence and non existence results, we first study the linear equation, by deducing the main properties of the related Green's functions. We obtain the optimal set of parameters where the Green's function has constant sign. After that, by means of the index theory, the nonlinear boundary value problem is studied. Some examples, at the end of the paper, are showed to illustrate the applicability of the obtained results.

It is well known that the Continuous Galerkin Finite Element (CGFE) method is globally consistent with respect to the first law of thermodynamics. This means that, for any mesh, all obtained discrete solutions will conserve total energy. One might expect, that the method is, also, globally consistent with respect to the second law of thermodynamics. In this paper, we formally study if such conjecture is true. The heat conduction equation is used as the physical model for this analysis. In the present study it is proved that the conjecture is false: at least, for standard piecewise linear (1D and 2D) elements, the CGFE method is not always globally consistent with respect to the second law of thermodynamics. In other words, some obtained discrete solutions can violate the global postulate of the second law, which asserts that total entropy can never decrease.

The city-port involves a decisive reality for the economic development of the territories and nations, capable of significantly influencing the conditions of well-being and quality of life, and of making the Circular City Model operational, preserving and enhancing seas and marine resources in a sustainable way, through the construction of appropriate production and consumption models, with attention to relations with the urban and territorial system. The Circular Economy paradigm identifies the ideal context in the city-port to rethink traditional development models and make ports driver areas for the regeneration of the city and metropolitan territories, in compliance with the EU Directive 2014/89 which considers maritime spatial planning as a tool for public authorities and stakeholders to achieve an integrated approach, promoting the development of maritime and coastal economies and the sustainable use of resources. The paper, starting from these assumptions, presents an adaptive decision-making process for the strategies development of the Naples (Italy) commercial port, aimed at re-establishing a sustainable city-port relationship and making operative Circular Economy principles.

This study has developed a Matlab application for simulating statistical models project (SMp) probabilistic distributions that are similar to binomial and Poisson, which were created by mathematical procedures. The simulated distributions are graphically compared with these popular distributions. The application allows to obtain many probabilistic distributions, and shows the trend (τ ) for n trials with success probability p, i.e. the maximum probability as τ=np. While the Poisson distribution PD(x;µ) is a unique probabilistic distribution, where PD=0 in x=+∞, the application simulates many SMp(x;µ,Xmax) distributions, where µ is the Poisson parameter and value of x with generally the maximum probability, and Xmax is the upper limit of x with SMp(x;µ,Xmax) ≥ 0 and limit of the stochastic region of a random discrete variable. It is shown that by simulation via, one can get many and better probabilistic distributions than by mathematical one.

Blockchains such as the bitcoin blockchain depend on reaching a global consensus on the distributed ledger; therefore, they suffer from well know scalability problems. This paper proposes an algorithm that avoids double-spending in the short term with just O(√n) messages; each node receiving money off-chain performs the due diligence of consulting k√n random nodes to check if any of them is aware of double-spending. Two nodes receiving double-spent money will in this way consult at least one common node with very high probability, due to the ‘birthday paradox’, and any common honest node consulted will detect the fraud. Since the velocity of money in the real world has coins circulating through at most a few wallets per day, the size of the due diligence communication is small in the short term. This `k-root-n’ algorithm is suitable for an environment with synchronous or asynchronous (but with fairly low latency) communication and with Byzantine faults. The presented k-root-n algorithm should be practical to avoid double-spending with arbitrarily high probability, while feasibly coping with the throughput of all world commerce. It is resistant to Sybil attacks even beyond 50% of nodes. In the long term, the k-root-n algorithm is less efficient. Therefore, it should preferably be used as a complement and not a replacement to a global distributed ledger technology.

Twin prime numbers are two prime numbers which have the difference of 2 exactly. In other words, twin primes is a pair of prime that has a prime gap of two. Sometimes the term twin prime is used for a pair of twin primes; an alternative name for this is prime twin or prime pair. Up to date there is no any valid proof/disproof for twin prime conjecture. Through this research paper, my attempt is to provide a valid proof for twin prime conjecture.

Estimation and planning play a vital role in the construction of an autonomous navigation framework. However, these problems are often considered separately, while planning gives robot a free-collision path towards the desired goal, estimation algorithm presents the executed trajectory in the sense that it has to be closed to the ground truth path as much as possible. Recently, a unified probabilistic framework, which supports solving these problems simultaneously, dubbed STEAP has been proposed. Nevertheless, its current version is only designated for an omni wheels robot, which allows robot to move and turn in vertical direction. Differential drive robot, on the other hand, though limited to move along only one direction, has been used in various situations due to its flexibility and lower cost in hardware designing. Thus, in this extension, our aim is to control a differential drive robot via STEAP. Moreover, in a more complicated environment such as labyrinth or maze, the original STEAP sometimes fails to find a path. Indeed, this problem is mainly caused by the poor initialization and the non-linearity in optimizer constraints. In our implementation, instead of dealing with these constraints, we employ a global planner algorithm such as Dijkstra or RRT to treat STEAP as an effective local planner module that focus on following the global path. Consequently, the experimental results show that the extended STEAP not only able to navigate a differential drive robot but also in a more complicated and unstructured environment.

The World Health Organization(WHO) in 2016 considered mHealth as: “the use of mobile wireless technologies including smart devices such as smartphones and smartwatches for public health” as an important resource for health services delivery and public health given their ease of use, broad reach and acceptance. WHO emphasizes the potential of this technology to increase access to health information, services and skills as well as promoting positive changes in health behaviors and management of diseases. In this regard, the capability of smartphones and smartwatches for m-health monitoring as well as verification of the patient the signal has become an important component of mHealth system. Most of the smartwatches could extract more than one bioelectrical signal therefore, therefore they provide suitable platform for extracting health data for e-monitoring. The existing approaches have not considered the integrity of data obtained from these smart devices. Therefore, it is important that the integrity of the collected data be verified continuously through user authentication. This could be done using any of the bioelectrical signals extracted and transmitted for e-monitoring. In this article, a smartwatch is used for extracting bioelectrical signal before decomposing the signal into sub-bands of Detail and Approximation Coefficient for user authentication. To select suitable features using biorthogonal wavelet decomposition of signal from a non-intrusive extraction, a detailed experiment is conducted extracting suitable statistical features from the bioelectrical signal from 30 subjects using different biorthogonal wavelet family. Ten features are extracted using Biorthogonal wavelet to decompose the signal into three levels of sub-band Detail and Approximation Coefficient and features extracted from each level the decomposed Detail and Approximation Coefficients. Comparison analysis is done after the classification of the extracted features based on the Equal Error Rate (EER). Using Neural Network (NN) classifier, Biorthogonal Wavelet Detail Coefficient Sub-band level 3 of bior1.1 achieved the best result of EER 13.80% with the fusion of the best sub-band three levels of bior1.1 achieving a better result of 12.42% EER.

In this paper, initially a mathematical model is formulated for transient frequency of power system considering time delays which occur while transmitting the control signals in open communication infrastructure. Time delay negligence in a power system leads to improper measurement of frequency variation in power system. The study of impact of time delays on the stability of power system is performed by estimating the decay rate of frequency wave form using Kalman Filter (KF). In power system, there is a possibility of multiple time delays. This paper also focuses on developing Interacting Multiple Model(IMM) Algorithm with multiple model space using Kalman Filter(KF) as state estimator tool. The multiple time delays in power system is considered as multiple model space The result shows that KF provides better estimate of correct model for a particular inputset. The qualitative properties of Riccati difference equation(RDE) in terms of state error covariance of IMMKF are also analyzed and presented.

Many physiotherapy treatments begin with a diagnosis process. The patient describes symptoms, upon which the physiotherapist decides which tests to perform until a final diagnosis is reached. The relationships between the anatomical components are too complex to keep in mind and the possible actions are abundant. A trainee physiotherapist with little experience naively applies multiple tests to reach the root cause of the symptoms, which is a highly inefficient process. This work proposes to assist students in this challenge by presenting three main contributions: (1) A compilation of the neuromuscular system as components of a system in a Model-Based Diagnosis problem; (2) The PhysIt is an AI-based tool that enables an interactive visualization and diagnosis to assist trainee physiotherapists; and (3) An empirical evaluation that comprehends performance analysis and a user study. The performance analysis is based on evaluation of simulated cases and common scenarios taken from anatomy exams. The user study evaluates the efficacy of the system to assist students in the beginning of the clinical studies. The results show that our system significantly decreases the number of candidate diagnoses, without discarding the correct diagnosis, and that students in their clinical studies find PhysIt helpful in the diagnosis process.

Pedestrian detection is the core of driver assistance system, which collects the road conditions through the radars or cameras on the vehicle, judges whether there is a pedestrian in front of the vehicle, supports decisions such as raising the alarm, automatically slowing down or emergency stopping to keep pedestrians safe, and improves the security when the vehicle is moving. Suffered from weather, lighting, clothing, large pose variations and occlusion, the current pedestrian detection still has a certain distance from the practical applications. In recent years, deep networks have shown excellent performance for image detection, recognition and classification. Some researchers employed deep network for pedestrian detection and achieve great progress, but deep networks need huge computational resources which make it difficult to put into practical applications. In real scenarios of autonomous vehicle, the computation ability is limited. Thus, the shallow networks such as UDN (Unified Deep Networks) is a better choice since it performs well on consuming less computation resources. Base on UDN, this paper proposes a new deep network model named as two-stream UDN, which augments another branch for solving traditional UDN’s indistinction of the difference between trees / telegraph poles and pedestrians. The new branch accepts the upper third part of the pedestrian image as input, and the partial image has less deformation, stable features and more distinguished characters from other objects. For the proposed two-stream UDN, multi-input features including HOG feature, Sobel feature, color feature and foreground regions extracted by GrabCut segmentation algorithms are fed. Compared with the original input of UDN, the multi-input features are more conducive for pedestrian detection since the fused HOG features and significant objects are more significant for pedestrian detection. Two-stream UDN is trained through two steps: First, the two sub-networks are trained until converge; then we fuse results of the two subnets as the final result and feed it back to the two subnets to fine tune network parameters synchronously. To improve the performance, Softplus is adopted as activation function to obtain faster training speed, and positive samples are mirrored and rotated with small angle to make positive and negative samples more balanced.

World Health Organization (WHO) provides the guideline for managing the Particulate Matter (PM) level because when the PM level is higher, it threats the human health. For managing PM level, the procedure for measuring PM value is needed firstly. The Beta Attenuation Monitor (BAM)-based PM sensor can be used for measuring PM value precisely. However, BAM-based sensor occurs not only high cost for maintaining but also cause of lower spatial resolution for monitoring PM level. We use Tapered Element Oscillating Microbalance (TEOM)-based sensors, which needs lower cost than BAM-based sensor, as a way to increase spatial resolution for monitoring PM level. The disadvantage of TEOM-based sensor is higher probability of malfunctioning than BAM-based sensor. In this paper, we aim to detect malfunctions for the maintenance of these cost-effective sensors. In this paper, we call many kinds of malfunctions from sensor as anomaly, and our purpose is detecting anomalies in PM sensor. We propose a novel architecture named with Hypothesis Pruning Generative Adversarial Network (HP-GAN) for anomaly detection. We present the performance comparison with other anomaly detection models with experiments. The results show that proposed architecture, HP-GAN, achieves cutting-edge performance at anomaly detection.

In this article, we show the existence of fixed point for the derivative of interval-valued functions. Meanwhile, the fixed point inquiry will utilize the common fixed point methods under the condition of compatibility of the hybrid composite mappings in the sense of the Hausdorff metric. Some examples are given to support the usability of the result of this research .

This study has developed a Matlab application for simulating statistical models project (SMp) probabilistic distributions that are similar to binomial and Poisson, which were created by mathematical procedures. The simulated distributions are graphically compared with these legendary distributions. The application allows to obtain many probabilistic distributions, and shows the trend (τ ) for n trials with success probability p, i.e. the maximum probability as τ=np. While the Poisson distribution PD(x;µ) is a unique probabilistic distribution, where PD=0 in x=+∞, the application simulates many SMp(x;µ,Xmax) distributions, where µ is the Poisson parameter and value of x with generally the maximum probability, and Xmax is upper limit of x with SMp(x;µ,Xmax) ≥ 0 and limit of the stochastic region of the random discrete variable X. It is shown that by simulation via, one can get many and better probabilistic distributions than by mathematical one.

Calculating hydrocarbon components solubility of natural gases is known as one of the important issues for operational works in petroleum and chemical engineering. In this work, a novel solubility estimation tool has been proposed for hydrocarbon gases including methane, ethane, propane and butane in aqueous electrolyte solutions based on extreme learning machine (ELM) algorithm. Comparing the ELM outputs with a comprehensive real databank which has 1175 solubility points concluded to R-squared values of 0.985 and 0.987 for training and testing phases respectively. Furthermore, the visual comparison of estimated and actual hydrocarbon solubility leaded to confirm the ability of proposed solubility model. Additionally, sensitivity analysis has been employed on the input variables of model to identify their impacts on hydrocarbon solubility. Such a comprehensive and reliable study can help engineers and scientists to successfully determine the important thermodynamic properties which are key factors in optimizing and designing different industrial units such as refineries and petrochemical plants.

This article aims to discuss, the stability and boundedness character of the solutions of the rational equation of the form \begin{equation}\label{eql21.1} y_{t+1}=\frac{\nu\epsilon^{-y_t}+\delta\epsilon^{-y_{t-1}}}{\mu+\nu y_t+\delta y_{t-1}},\quad t\in N(0). \end{equation} Here, $\epsilon>1, \nu,\delta,\mu\in (0,\infty)$ and $y_0, y_1$ are taken as arbitrary non-negative reals and $N(a)=\{a,a+1,a+2,\cdots \}$. Relevant examples are provided to validate our results. The exactness is tested using MATLAB.

Integrated Model of Distributed Systems is used for modeling and verification. In formalism, the distributed system is modeled as a collection of server states and agent messages. The evolution of the system takes the form of actions that transform the global system configuration (states and messages) into a new configuration. Formalism is used in the Dedan verification environment for finding different kinds of deadlocks: communication deadlocks in the server view and resource deadlocks in the agent view. For other purposes, a conversion has been developed to equivalent models: to Petri nets for structural analysis and do Distributed Autonomous and Asynchronous Automata (DA3) for easy graphical modeling in terms of system components. In addition, it is possible to simulate a verified system on distributed components in DA3. The automata have two forms: Server-DA3 (S-DA3) for the server view and Agent-DA3 (A-DA3) for the agent view. DA3 formalism is compared to other concepts of distributed automata known from the literature.

There are many criterion to generalize the concept of numerical radius; one of the most recent interesting generalization is what so called the generalized Euclidean operator radius. Simply, it is the numerical radius of multivariable operators. In this work, several new inequalities, refinements and generalizations are established for this kind of numerical radius.

The paper proposes a human explainable artificial intelligence approach for mapping the status of environmental phenomena from multisource geo data. It is both knowledge and data driven: it exploits remote sensing expert’s knowledge to define the contributing factors from which partial evidence of the environmental status can be computed. Furthermore, it aggregates the partial evidences to compute a map of the environmental status by adapting to a region of interest through a learning mechanism exploiting Volunteered Geographic Information (VGI), both from in situ observations and photointerpretation. The approach is capable to capture the specificities of local context as well as to cope with the subjectivity and incompleteness of expert’s knowledge. The proposal is exemplified to map the status of standing water areas (i.e. water bodies and river, human driven or natural hazard flooding) by considering satellite data and geotagged observations. Results of the validation experiments were performed in three areas of Northern Italy, characterized by distinct ecosystems. Results of the proposed methodological framework showed better performances than traditional approaches based on single spectral indexes thresholding. The use of expert’s knowledge, possibly imprecise/uncertain and incomplete, the need of few ground truth data for learning, and finally the explainability of learned rules are the distinguishing characteristics of the proposal with respect to traditional machine learning methods.

In this study, we present the concept of interval-valued fuzzy soft point and then introduce the notions of neighborhood and quasi-neighbourhood of it in interval-valued fuzzy soft topological spaces. Separation axioms in interval-valued fuzzy soft topology, so-called $q$-$T_{i}$ for $ i=0,1,2,3,4 ,$ is introduced and some of its basic properties are also studied.

A multi-server parallel system dispatches the incoming job, which contains kn tasks into n servers. A job is considered to be computed if all the tasks associated with the job are processed. One job’s tasks can be encoded into at least kn “replicas” such that the job is considered to be served if any kn replicas finishing computation. In this paper, we analyze the random scheduling policy of a multi-server computing system under discrete time model in terms of Quality of Exponent (QoE), which is defined as the probability exponent that a typical job can be computed within a given number of time slots. We let kn/n be a constant. Assuming that any task of any job can be randomly dispatched by a “scheduler” to any server, and computing each task takes exactly one time slot. We divide the calculation of probability exponent into two parts, exponent of numerator and exponent of denominator. For the denominator, we give the almost exact exponent using Lagrange multiplier method, while for the numerator, an upper bound of the numerator’s exponent is provided. In addition, we also express the exponent in terms of information theoretical quantities and reconsider both of exponents in the context of large deviation theory.

In the present paper, an aerodynamic investigation of a high-speed train is performed. In the first section of this article, a generic high-speed train against a turbulent flow is simulated, numerically. The Reynolds-Averaged Navier-Stokes (RANS) equations combined with the SST turbulence model are applied to solve incompressible turbulent flow around a high-speed train. Flow structure, velocity and pressure contours and streamlines at some typical wind directions are the most important results of this simulation. The maximum and minimum values are specified and discussed. Also, the pressure coefficient for some critical points on the train surface is evaluated. In the following, the wind direction influence the aerodynamic key parameters as drag, lift, and side forces at the mentioned wind directions are analyzed and compared. Moreover, the effects of velocity changes (50, 60, 70, 80 and 90 m/s) are estimated and compared on the above flow and aerodynamic parameters. In the second section of the paper, various data-driven methods including Gene Expression Programming (GEP), Gaussian Process Regression (GPR), and random forest (RF), are applied for predicting output parameters. So, drag, lift and side forces and also minimum and a maximum of pressure coefficients for mentioned wind directions and velocity are predicted and compared using statistical parameters. Obtained results indicated that RF in all coefficients of wind direction and most coefficients of free stream velocity provided the most accurate predictions. As a conclusion, RF may be recommended for the prediction of aerodynamic coefficients.

In this study, we investigate spectral structure of conformable Sturm-Liouville problems and with this end, we obtain representation of solutions under different initial conditions and asymptotic formulas for eigenfunctions, eigenvalues, norming constants and normalized eigenfunctions. Consequently, we prove the existence of infinitely many eigenvalues. Also, we compare the solutions with graphics with different orders, different eigenvalues, different potentials and so, we observe the behaviors of eigenfunctions. We give an application to the α-orthogonality of eigenfunctions and reality of eigenvalues for conformable Sturm-Liouville problems defined by [15] in the last section.

We consider a family of nonlinear singularly perturbed PDEs whose coefficients involve a logarithmic dependence in time with confluent Fuchsian singularities that unfold an irregular singularity at the origin and rely on a single perturbation parameter. We exhibit two distinguished finite sets of holomorphic solutions, so-called outer and inner solutions, by means of a Laplace transform with special kernel and Fourier integral. We analyze the asymptotic expansions of these solutions relatively to the perturbation parameter and show that they are (at most) of Gevrey order 1 for the first set of solutions and of some Gevrey order that hinges on the unfolding of the irregular singularity for the second.

Counterfeiting and theft have always been problems that incur high costs and results in considerable losses for the international markets. In this research paper, we will address the issue of counterfeiting while using RFID technology in retailer systems or other industries by presenting a new anti-counterfeiting and anti-theft system for the retailer market. This system will address the two above mentioned issues and provide a solution that can save the retailer systems millions of dollars yearly. This proposed system will achieve the objective of preventing or minimising the counterfeiting and theft of tagged products. At the same time, it will provide a strong indication for suspiciously sold or obtained items. Furthermore, we conducted a security analysis to prove the correctness of our protocol on the basis of the strand spaces.

A large amount of data is produced every day by stakeholders of the Air Traffic Management (ATM) system, in particular airline operators, airports, and air navigation service provider (ANSP). Most data is kept private for many reasons, including commercial and security concerns. More than data, shared information is precious, as it leverages intelligent decision-making support tools designed to smooth daily operations. We present a framework to detect, identify and characterise anomalies in past aircraft trajectory data. It is based on an open source of ADS-B based aircraft trajectories, and extracted information can benefit a wide range of stakeholders: Air Traffic Control (ATC) training centres could play more realistic simulations; ANSP may improve capacity indicators; academics improve safety models and risk estimations; and commercial stakeholders, like airlines and airports, may use such information to improve short-term predictions and optimise their operations. The technique is based on autoencoding artificial neural networks applied on flows of trajectories, which provide a useful reading grid associating cluster analysis with quantified level of abnormality. In particular, we find that the highest anomaly scores correspond to poor weather conditions, whereas anomalies with a lower score relate to ATC tactical actions.

Activation Functions are crucial parts of the Deep Learning Artificial Neural Networks. From the Biological point of view, a neuron is just a node with many inputs and one output. A neural network consists of many interconnected neurons. It is a “simple” device that receives data at the input and provides a response. The function of neurons is to process and transmit information; the neuron is the basic unit in the nervous system. Carly Vandergriendt (2018) stated the human brain at birth consists of an estimated 100 billion Neurons. The ability of a machine to mimic human intelligence is called Machine Learning. Deep Learning Artificial Neural Networks was designed to work like a human brain with the aid of arbitrary choice of Non-linear Activation Functions. Currently, there is no rule of thumb on the choice of Activation Functions, “Try out different things and see what combinations lead to the best performance”, however, sincerely; the choice of Activation Functions should not be Trial and error. Jamilu (2019) proposed that Activation Functions shall be emanated from AI-ML-Purified Data Set and its choice shall satisfy Jameel’s ANNAF Stochastic and or Deterministic Criterion. The objectives of this paper are to propose instances where Deep Learning Artificial Neural Networks are SUPERINTELLIGENT. Using Jameel’s ANNAF Stochastic and or Deterministic Criterion, the paper proposed four classes where Deep Learning Artificial Neural Networks are Superintelligent namely; Stochastic Superintelligent, Deterministic Superintelligent, and Stochastic-Deterministic 1^st and 2^nd Levels Superintelligence. Also, a Normal Probabilistic-Deterministic case was proposed.

The known three-component reaction-diffusion system modeling competition and co-existence of different language speakers is under study. A modification of this system is proposed, which is examined by Lie symmetry method; furthermore exact solutions in the form of traveling fronts are constructed and their properties are identified. Plots of the traveling fronts are presented and the relevant interpretation describing the language shift occurred in Ukraine during the Soviet times is suggested

An application of deep convolutional neural network and recurrence plot for financial market movement prediction is presented. Though it is challenging and subjective to interpret its information, the pattern formed by a recurrence plot provide a useful insight into the dy- namical system. We used a recurrence plot of seven financial time series to train a deep neural network for financial market movement predic- tion. Our approach is tested on our dataset and achieved an average of 53.25% classification accuracy. The result suggests that a well trained deep convolutional neural network can learn a recurrence plot and pre- dict a financial market direction.

In this work, an operator superquadratic function (in operator sense) for positive Hilbert space operators is defined. Several examples with some important properties together with some observations which are related to the operator convexity are pointed out. Equivalent statements of a non-commutative version of Jensen's inequality for operator superquadratic function are established. A generalization of the main result to any positive unital linear map is also provided.

Ultra-wideband wavelength division multiplexed networks enable operators to use more effectively the bandwidth offered by a single fiber pair and thus make significant savings, both in operational and capital expenditures. The main objective of this study is to minimize optical node resources, such as transponders, multiplexers and wavelength selective switches, needed to provide and maintain high quality of network services, in ultra-wideband wavelength division multiplexed networks, at low cost. A model based on integer programming is proposed, which includes a detailed description of optical network nodal resources. The developed optimization tools are used to study the ultra-wideband wavelength division multiplexed network performance when compared with the traditional C-band wavelength division multiplexed networks. The analysis is carried out for realistic networks of different dimensions and traffic demand sets.

In this work, some operator trace inequalities are proved. An extension of Klein's inequality for all Hermitian matrices is proved. A non-commutative version (or Hansen-Pedersen version) of the Jensen trace inequality is provided as well. A generalization of the result for any positive Hilbert space operators acts on a positive unital linear map is established.

Smart Grid systems have become popular and necessary for the development of a sustainable power grid. These systems use different technologies to provide optimized services to the users of the network. Regarding computing, these systems optimize electrical services by processing a large amount of data generated. However, privacy and security are essential in this kind of system. With a large amount of data generated, it is necessary to protect the privacy of users, because this data may reveal users’ personal information. Today, blockchain technology has proven to be an efficient architecture for solving privacy and security problems in different scenarios. Over the years, different blockchain platforms have emerged, attempting to solve specific problems in different areas. However, the use of different platforms fragmented the market, which was no different in the smart grid scenario. This work proposes a blockchain architecture that uses sidechains to make the system scalable and adaptable. We used three blockchains to ensure privacy, security, and trust in the system. To universalize the proposed solution, we used the OSGP protocol and smart contracts. The results show that architecture security and privacy are guaranteed, making it feasible for implementation in real systems. Although scalability issues regarding the storage of data generated still exists.

Drawing inspiration from a recent construction of a polyhedral structure associated with an icosahedrally-symmetric map on the Riemann sphere, the article shows how to build such "dynamical polyhedra" for other icosahedral maps. First, icosahedral algebra is used to determine a special family of maps with 60 periodic critical points. The topological behavior of each map is worked out and results in a geometric algorithm that constructs a system of edges---the dynamical polyhedron---in natural correspondence to a map's topology. It turns out that the maps' descriptions fall into classes the presentation of which concludes the paper.

The properties of iterative splitting methods with serial versions have been analyzed since recent years, see [1] and [3]. We extend the iterative splitting methods to a class of parallel versions, which allow to reduce the computational time and keep the benet of the higher accuracy with each iterative step. Parallel splitting methods are nowadays important to solve large problems, which can be splitted in subproblems and computed independently with the dierent processors. We present a novel parallel iterative splitting method, which is based on the multi-splitting methods, see [2], [10] and [15]. Such a exibilisation with multisplitting methods allow to decompose large iterative splitting methods and recover the benet of their underlying waveform-relaxation (WR) methods. We discuss the convergence results of the parallel iterative splitting methods, while we could reformulate such an error to a summation of the individual WR methods. We discuss the numerical convergence of the serial and parallel iterative splitting methods and present dierent numerical applications to validate the benet of the parallel versions.

We present a numerical illumination model to calculate direct as well as diffuse or Hapke scattered radiation scenarios on arbitrary planetary surfaces. This includes small body surfaces such as main belt asteroids as well as e.g. the lunar surface. The model is based on the raytracing method. This method is not restricted to spherical or ellipsiodal shapes but digital terrain data of arbitrary spatial resolution can be fed into the model. Solar radiation is the source of direct radiation, wavelength-dependent effects (e.g. albedo) can be accounted for. Mutual illumination of individual bodies in implemented (e.g. in binary or multiple systems) as well as self-illumination (e.g. crater floors by crater walls) by diffuse or Hapke radiation. The model is validated by statistical methods. A χ2 test is undertaken to compare simnulated images with DAWN images acquired during the survey phase at small body 4 Vesta.

Conditional heteroskedastic financial time series are commonly modelled by ARCH and GARCH. ARCH(1) and GARCH processes were recently extended to the function spaces C[0,1] and L²[0,1], their probabilistic features were studied and their parameters were estimated. The projections of the operators on finite-dimensional subspace were estimated, as were the complete operators in GARCH(1,1). An explicit asymptotic upper bound for the estimation errors was stated in ARCH(1). This article provides sufficient conditions for the existence of strictly stationary solutions, weak dependence and finite moments of ARCH and GARCH processes in various L^p[0,1] spaces, C[0,1] and other spaces. In L²[0,1] we deduce explicit asymptotic upper bounds of the estimation errors for the shift term and the complete operators in ARCH and GARCH and for the projections of the operators on a finite-dimensional subspace in ARCH. The operator estimaton is based on Yule-Walker equations. The estimation of the GARCH operators also involves a result concerning the estimation of the operators in invertible, linear processes which is valid beyond the scope of ARCH and GARCH. Through minor modifications, all results in this article regarding functional ARCH and GARCH can be transferred to functional ARMA.

A pixel-based segmentation method was demonstrated to be confounded by developmental stage in estimation of flowering of mango. Categorization of panicles into three developmental stages was undertaken with a single and a two-stage deep learning framework (YOLO and R2CNN), using either upright or rotated bounding boxes. For a validation image set and for total panicle count, the models MangoYOLO(-upright), MangoYOLO-rotated, YOLOv3-rotated, R2CNN(-rotated) and R2CNN-upright achieved: (i) RMSEs of 25.6, 16.0, 15.4, 25.8 and 32.3 panicles per tree image, (ii) Mean average precision (mAP) scores of 72.2, 69.1, 65.0, 62.5 and 70.9% and (iii) weighted F1-scores of 76.5, 76.1, 74.9, 74.0 and 82.0, respectively. For a test set of images involving a different orchard and cultivar and use of a different camera, the R2 for machine vision to human count of panicles per tree was 0.86, 0.80, 0.83, 0.81 and 0.76 for the same models, respectively. Thus, models generalised well, but with no consistent benefit from use of rotated over upright bounding boxes. While the YOLOv3-rotated model was superior in terms of total panicle count, the R2CNN-upright model was more accurate for panicle stage classification. To demonstrate practical application, panicle counts were made weekly for an orchard of 994 trees, with a peak detection routine applied to document multiple flowering events.

Supplier selection is an important part of supply chain management (SCM) for any organisation to achieve their objectives. The problem has attracted great interest from academics and practitioners. The selection process starts with determining the most important criteria out of a wide range. Many academic researchers apply multi-criteria decision-making (MCDM) techniques for supplier selection. However, the complexity of such approaches may increase significantly, especially when considering a large number of suppliers and selection criteria. This paper proposes an integrated approach combining machine learning classification with the Analytic Hierarchy Process (AHP) to select and evaluate the most suitable supplier. A Decision Tree (DT) classifier is used to select the most important criteria, instead of applying AHP on the complete set of criteria. The applicability of the approach is demonstrated using data from Libyan companies. Results show that decision trees can successfully lead to a most important subset of selection criteria, which would lead to a less complex application of AHP.

The loss of integrity and adverse effect on mechanical properties can be concluded as attributing miro/macro-mechanics damage in structures, especially in composite structures. Damage as a progressive degradation of material continuity in engineering predictions for any aspects of initiation and propagation requires to be identified by a trustworthy mechanism to guarantee the safety of structures. Besides the materials design, structural integrity and health are usually prone to be monitored clearly. One of the most powerful methods for the detection of damage is machine learning (ML). This paper presents the state of the art of ML methods and their applications in structural damage and prediction. Popular ML methods are identified and the performance and future trends are discussed.

The sensor nodes have limited computation, sensing, communication capabilities and generally operated by batteries in a harsh atmosphere with non-replenish able power sources. These limitations force the sensor network subject to failure because most of the energy is spent on sensing, computing and data transmission. This paper introduces an Energy Efficient Clustering and Shortest-Path Routing Protocol (EECSRP) to assist Wireless Sensor Networks (WSNs) by (a) extending the lifespan of the network (b) effectively using the battery power (c) decreasing the network overhead and (d) ensuring a high packet transmission ratio with minimal delay. The delay time-based Cluster Head (CH) is elected based on the node degree, residual energy and Received Signal Strength (RSS) to accomplish the goal. Additionally, the RSS-based network partitioning is implemented to evaluate the gradient based on demand routing between source (sensing node) and destination (BS). Whenever the current CH residual energy goes under the threshold level, the proposed protocol performs the clustering process, reducing the exchange of control packets. However, the BS periodically gathers the data from every single CH which helps to reduce the collision and Medium Access Control (MAC) layer conflict. From the simulation results, it is the evident that the proposed protocol performance in terms of average end-to-end latency, packet delivery ratio, average energy consumption and control overhead is better than the well-known current protocols.

Purpose of this article is to introduce a modification of Phillips operators on the interval $\left[ \frac{1}{2}% ,\infty \right) $ via Dunkl generalization. This type of modification enables a better error estimation on the interval $\left[ \frac{1}{2},\infty \right) $ rather than the classical Dunkl Phillips operators on $\left[ 0,\infty \right) $. We discuss the convergence results and obtain the degrees of approximations. Furthermore, we calculate the rate of convergence by means of modulus of continuity, Lipschitz type maximal functions, Peetre's $K$-functional and second order modulus of continuity.

Interpolation is procedure that depends on spatial and/or statistical properties of analysed variable(s). It is special challenging task for data that included low number of samples, like dataset with less than 20 data. This problem is especially emphasized in the subsurface geological mapping, i.e. in the cases where data are taken solely from wells. Successful solutions of such mapping problems ask for knowledge about interpolation methods designed primarily for small datasets and dataset itself. Here are compared two methods, namely Inverse Distance Weighting and Modified Shepard’s Method, applied for three variables (porosity, permeability, thickness) measured in the Neogene sandstone hydrocarbon reservoirs (Northern Croatia). The results showed that pure cross-validation is not enough condition for appropriate map selection, but also geometrical features need to be considered, for datasets with less than 20 points.

The success of a software system is highly dependent upon its quality which is a very critical aspect and is the ultimate goal to be achieved. Defect Management is the most important process in ensuring software quality, it involves defect detection, defect categorization, defect prioritization, defect removal and defect verification. The main purpose of this process is to develop and produce defect free or least defected software systems of high quality. It plays a vital role in gaining customer confidence and satisfaction which is essential for the reputation of the organization developing the system. The central objective of this study is to explain the importance of defect management and its impact on the quality of the software along with various defect management techniques to support the objective.

This article presents a new method of segmenting images with gray levels. The method is based on determining several thresholds for separation of gray levels. The determination of these thresholds is done using the certainty of the neutrosophic information. The concept of this method can be stated simply: to choose the local maximums for the neutrosophic certainty.

Nodes in wireless sensor networks (WSN) are characterized particularly by their limited power and memory capabilities. Limited memory is an important parameter as it defines the size of the operating system and the processing code. As established previously, energy and memory efficiency is the most important evaluation factors of WSNs as they are directly related to data loss and network lifetime. However, based on our simulation results, memory efficiency determines the selection or abandon of nodes by the botmaster for the propagation of bots in an IoT infrastructure. Consequently, the node’s memory efficiency determined the spread of bots in the network and provides defense actors with an insight of the botmaster behavior for mitigation of the attack. Conventional botnet propagation and mitigation models did not consider the impact of node’s memory efficiency in the IoT platform. To address this gap, we build IoT-SIEF, a novel propagation model with forensic capability that will analyze command and control propagation behavior based on the perspective of the node’s memory efficiency. IoT-SIEF model used to explore the dynamics of propagation using numerical simulation with more than 50% outperform other models in mitigating the number of secondary bots. Consequently, it can serve as a basis for assisting the planning, design, and defense of such networks from the investigator's point of view.

In this work, some numerical radius inequalities based on the recent Dragomir extension of Furuta's inequality are obtained. Some particular cases are also provided.

This paper introduces a fusion convolutional architecture for efficient learning of spatio-temporal features in video action recognition. Unlike 2D CNNs, 3D CNNs can be applied directly on consecutive frames to extract spatio-temporal features. The aim of this work is to fuse the convolution layers from 2D and 3D CNNs to allow temporal encoding with fewer parameters than 3D CNNs. We adopt transfer learning from pre-trained 2D CNNs for spatial extraction, followed by temporal encoding, before connecting to 3D convolution layers at the top of the architecture. We construct our fusion architecture, semi-CNN, based on three popular models: VGG-16, ResNets and DenseNets, and compare the performance with their corresponding 3D models. Our empirical results evaluated on the action recognition dataset UCF-101 demonstrate that our fusion of 1D, 2D and 3D convolutions outperforms its 3D model of the same depth, with fewer parameters and reduces overfitting. Our semi-CNN architecture achieved an average of 16 – 30% boost in the top-1 accuracy when evaluated on an input video of 16 frames.

Mobile Cloud Computing(MCC) is a recent technology used by various users worldwide. In 2015, more than 240 million users used mobile cloud computing which gives a profit of $5.2 billion to service providers. MCC is a combination of Mobile computing and cloud computing. By the combination of these two, it gives various challenges like network access, elasticity, management, availability, security, privacy, etc. Here security issues are considered because both the security issues of mobile computing and cloud computing are considered as important like data security, virtualization security, partitioning security, Mobile cloud application security, Mobile device security. This paper gives a detailed study of security issues in mobile cloud computing and its prevention measures.

Statistical inferences is regarded as the general criteria for statistical conclusion and drawing generalizations. However, most of the inferential statistical tools are based on strong assumptions which create a strict limitations on their use and application. Analysis of variance (ANOVA) is one of such statistics. In this article, eight (8) new ANOVA-like methodologies were proposed, in alternative to one-way ANOVA, based on the assumptions of statistical mirroring. Methods validation in comparison with one-way ANOVA was designed to assess the suitability and statistical power of the new proposals as an alternative methods, using different sets of logically generated multivariate datasets with different problems and statistical complications. The results of comparisons validate that the eight (8) proposed ANOVA-like methodologies were suitable alternatives to ANOVA, in the sense that they require no normality assumption to be meet, used different ways to compare the data with different statistical elements rather than depending on only variance, efficient with negative values, and results interpretation is easier.

Sequence alignment and comparison through pairwise, multiple, global and local techniques are the main principles that underpin comparative genomics. However, most of the algorithms used are alignment-based which imposed some limitations on their use and application. In an attempt to provide an alignment-free alternative approaches, a methodology of comparative optinalysis and statistical mirroring was used and adopted to provide a suitable alternative for multiple genomic sequence comparison. In this article, methods comparison with MUSCLE, MUFFT, Clustal Omega, and T-Coffee was designed to assess the suitability and statistical power of statistical mirroring as an alternative method for multiple genomic sequences comparison using different sets of logically generated biological sequence datasets with different problems and computational complications. The results of the comparisons validate that statistical mirroring is a suitable alignment-free alternative approach for multiple genomic sequence comparison. The applied method (statistical mirroring) distinguishes itself over MUSCLE, MUFFT, Clustal Omega, and T-Coffee in specificity to a position-specific changes, specificity to a base-specific changes, cladogram and phylogenetic linearity, alignment independency, computational simplicity, and limit of input capacity.

In a generalized topological space Tg = (Ω, Tg), ordinary interior and ordinary closure operators intg, clg : P (Ω) −→ P (Ω), respectively, are defined in terms of ordinary sets. In order to let these operators be as general and unified a manner as possible, and so to prove as many generalized forms of some of the most important theorems in generalized topological spaces as possible, thereby attaining desirable and interesting results, the present au- thors have defined the notions of generalized interior and generalized closure operators g-Intg, g-Clg : P (Ω) −→ P (Ω), respectively, in terms of a new class of generalized sets which they studied earlier and studied their essen- tial properties and commutativity. The outstanding result to which the study has led to is: g-Intg : P (Ω) −→ P (Ω) is finer (or, larger, stronger) than intg : P (Ω) −→ P (Ω) and g-Clg : P (Ω) −→ P (Ω) is coarser (or, smal ler, weaker) than clg : P (Ω) −→ P (Ω). The elements supporting this fact are reported therein as a source of inspiration for more generalized operations.

In recent years, more and more researchers have gradually paid attention to Hyperspectral Image (HSI) classification. It is significant to implement researches on how to use HSI's sufficient spectral and spatial information to its fullest potential. To capture spectral and spatial features, we propose a Double-Branch Dual-Attention mechanism network (DBDA) for HSI classification in this paper, Two branches aer designed to extract spectral and spatial features separately to reduce the interferences between these two kinds of features. What is more, because distinguishing characteristics exist in the two branches, two types of attention mechanisms are applied in two branches above separately, ensuring to exploit spectral and spatial features more discriminatively. Finally, the extracted features are fused for classification. A series of empirical studies have been conducted on four hyperspectral datasets, and the results show that the proposed method performs better than the state-of-the-art method.

Automation is at the core of modern industry. It aims to increase production rates, decrease production costs, and reduce human intervention in order to avoid human mistakes and time delays during manufacturing. On the other hand, human assistance is usually required to customize products and reconfigure control systems through a special process interface called Human Machine Interface (HMI). Machine Learning (ML) algorithms can effectively be used to resolve this tradeoff between full automation and human assistance. This paper provides an example of the industrial application of ML algorithms to help human operators save their mental effort and avoid time delays and unintended mistakes for the sake of high production rates. Based on real-time sensor measurements, several ML algorithms have been tried to classify paper rolls according to paper grammage in a white paper mill. The performance evaluation shows that the AdaBoost algorithm is the best ML algorithm for this application with classification accuracy (CA), precision, and recall of 97.1%. The generalization of the proposed approach for achieving a cost-effective mill construction by reducing the total number of the required physical sensors will be the subject of our future research.

The work is devoted to the investigation of virus quasispecies evolution and diversification due to mutations, competition for host cells, and cross-reactive immune responses. The model consists of a nonlocal reaction-diffusion equation for the virus density depending on the genotype considered as a continuous variable and on time. This equation contains two integral terms corresponding to the nonlocal effects of virus interaction with host cells and with immune cells. In the model, a virus strain is represented by a localized solution concentrated around some given genotype. Emergence of new strains corresponds to a periodic wave propagating in the space of genotypes. The conditions of appearance of such waves and their dynamics are described.

The latest methods based on deep learning have achieved amazing results regarding the complex work of inpainting large missing areas in an image. This type of method generally attempts to generate one single "optimal" inpainting result, ignoring many other plausible results. However, considering the uncertainty of the inpainting task, one sole result can hardly be regarded as a desired regeneration of the missing area. In view of this weakness, which is related to the design of the previous algorithms, we propose a novel deep generative model equipped with a brand new style extractor which can extract the style noise (a latent vector) from the ground truth image. Once obtained, the extracted style noise and the ground truth image are both input into the generator. We also craft a consistency loss that guides the generated image to approximate the ground truth. Meanwhile, the same extractor captures the style noise from the generated image, which is forced to approach the input noise according to the consistency loss. After iterations, our generator is able to learn the styles corresponding to multiple sets of noise. The proposed model can generate a (sufficiently large) number of inpainting results consistent with the context semantics of the image. Moreover, we check the effectiveness of our model on three databases, i.e., CelebA, Agricultural Disease, and MauFlex. Compared to state-of-the-art inpainting methods, this model is able to offer desirable inpainting results with both a better quality and higher diversity. The code and model will be made available on https://github.com/vivitsai/SEGAN.

Assume that $f:C\rightarrow \mathbb{R}$ is subadditive (superadditive) and hemi-Lebesgue integrable on $C,$ a cone in the linear space $X$ with $0\in C. $ Then for all $x,$ $y\in C$ and a symmetric Lebesgue integrable and nonnegative function $p:\left[ 0,1\right] \rightarrow \lbrack 0,\infty ),$ \begin{align*} \frac{1}{2}f\left( x+y\right) \int_{0}^{1}p\left( t\right) dt& \leq \left( \geq \right) \int_{0}^{1}p\left( t\right) f\left( \left( 1-t\right) x+ty\right) dt \\ & \leq \left( \geq \right) \int_{0}^{1}p\left( t\right) f\left( tx\right) dt+\int_{0}^{1}p\left( t\right) f\left( ty\right) dt. \end{align*} In particular, for $p\equiv 1,$ we have \begin{equation*} \frac{1}{2}f\left( x+y\right) \leq \left( \geq \right) \int_{0}^{1}f\left( \left( 1-t\right) x+ty\right) dt\leq \left( \geq \right) \int_{0}^{1}f\left( tx\right) dt+\int_{0}^{1}f\left( ty\right) dt. \end{equation*} Some particular inequalities related to Jensen's dicrete inequality for convex functions are also given.

This paper addresses the issues of how we can quantify structural information for nonparametric distributions and how we can detect its changes. Structural information refers to an index for a global understanding of a data distribution. When we consider the problem of clustering using a parametric model such as a Gaussian mixture model, the number of mixture components (clusters) can be thought of as structural information in the model. However, there does not exist any notion of structural information for nonparametric modeling of data. In this paper we introduce a novel notion of {\em kernel complexity} (KC) as structural information in the nonparametric setting. The key idea of KC is to combine the information bias inspired by the Gini index with the information quantity measured in terms of the normalized maximum likelihood (NML) code length. We empirically show that KC has a property similar to the number of clusters in a parametric model. We further propose a framework for structural change detection with KC in nonparametric distributions. With synthetic and real data sets we empirically demonstrate that our framework enables us to detect structural changes underlying the data and their early warning signals.

The increasing number of robots around us will soon create a demand for connecting these robots in order to achieve goal-driven teamwork in heterogeneous multi-robot systems. In this paper, we focus on robot teamwork specifically in dynamic environments. While the conceptual modeling of multi-agent teamwork has been studied extensively during the last two decades, related engineering concerns have not received the same degree of attention. Therefore, this paper makes two contributions. The analysis part discusses general design challenges that apply to robot teamwork in dynamic application domains. The constructive part presents a review of existing engineering approaches for challenges that arise with dynamically changing runtime conditions. An exhaustive survey of robot teamwork aspects would be beyond the scope of this paper. Instead, we aim at creating awareness for the manifold dimensions of the design space and highlight state-of-the-art technical solutions for dynamically adaptive teamwork, thus pointing at open research questions that need to be tackled in future work.

P versus NP is considered as one of the most important open problems in computer science. This consists in knowing the answer of the following question: Is P equal to NP? A precise statement of the P versus NP problem was introduced independently by Stephen Cook and Leonid Levin. Since that date, all efforts to find a proof for this problem have failed. Another major complexity classes are L and NL. We demonstrate if L is not equal to NL, then P = NP. In addition, we show if L is equal to NL, then P = NP. In this way, we prove the complexity class P is equal to NP. Furthermore, we demonstrate the complexity class NL is equal to NP.

We present a new computing package Flagser, designed to construct the directed flag complex of a finite directed graph, and compute persistent homology for flexibly defined filtrations on the graph and the resulting complex. The persistent homology computation part of Flagser is based on the program Ripser [2], but is optimised specifically for large computations. The construction of the directed flag complex is done in a way that allows easy parallelisation by arbitrarily many cores. Flagser also has the option of working with undirected graphs. For homology computations Flagser has an Approximate option, which shortens compute time with remarkable accuracy. We demonstrate the power of Flagser by applying it to the construction of the directed flag complex of digital reconstructions of brain microcircuitry by the Blue Brain Project and several other examples. In some instances we perform computation of homology. For a more complete performance analysis, we also apply Flagser to some other data collections. In all cases the hardware used in the computation, the use of memory and the compute time are recorded.

An increase in the use of smartphones has laid to the use of the internet and social media platforms. The most commonly used social media platforms are Twitter, Facebook, WhatsApp and Instagram. People are sharing their personal experiences, reviews, feedbacks on the web. The information which is available on the web is unstructured and enormous. Hence, there is a huge scope of research on understanding the sentiment of the data available on the web. Sentiment Analysis (SA) can be carried out on the reviews, feedbacks, discussions available on the web. There has been extensive research carried out on SA in the English language, but data on the web also contains different other languages which should be analyzed. This paper aims to analyze, review and discuss the approaches, algorithms, challenges faced by the researchers while carrying out the SA on Indigenous languages.

The continuous increase in tuition fees in university education in many countries requires justification by the university authorities through improved learning resources that can guarantee employment opportunities for the students through hands-on industry training. This paper describes the design of curriculum of cloud computing module in collaboration with Amazon Web Services (AWS) Academy to include industry-based practical hands-on labs in the curriculum to improve the employability of Internet of Things (IoT) engineering students. This study introduces industry best practices and hands-on labs in cloud computing and discovered that students’ understanding and learning experience in the subject increase when exposed to real-life applications. The study blends academic theories in cloud computing with their applications as obtained in industry to enable students to have both the theoretical and practical skills that will prepare them for careers in cloud computing. To achieve this, cloud computing lecturers were trained by AWS Academy as a prerequisite to ensure that the tutors themselves acquire hands-on proficiency in cloud computing technologies. The study finds that students tend to be more engaged and learn better when academic theories and concepts are combined with real-world applications as obtained in the industry.

A novel mathematical model is developed to calculate the temperature distribution on the surface and bulk of a steel plate under the laser hardening process. The model starts with the basic heat equation then it is developed into a volumetric form and is connected to the various solid existing phases. The proposed model is based on three influencing parameters of the laser hardening process which are the velocity of the laser spot and irradiation time. The results are compared with the available experimental data reported in the literature. The volumetric model provides an assessment of temperature distribution in both the vertical and horizontal axis. Laser irradiation at sufficiently high fluence can be used to create a solid-state phase change on the surface. Primary calculations show that the temperature profile has a Gaussian distribution in horizontal x and y-axis and presents an exponentially decreasing in the horizontal and vertical depth directions.

The use of machine learning (ML) approaches to target clinical problems is called to revolutionize clinical decision-making. The success of these tools is subjected to the understanding of the intrinsic processes being used during the classical pathway by which clinicians make decisions. In a parallelism with this pathway, ML can have an impact at four levels: for data acquisition, predominantly by extracting standardized, high-quality information with the smallest possible learning curve; for feature extraction, by discharging healthcare practitioners from performing tedious measurements on raw data; for interpretation, by digesting complex, heterogeneous data in order to augment the understanding of the patient status; and for decision support, by leveraging the previous step to predict clinical outcomes, response to treatment or to recommend a specific intervention. This paper discusses the state-of-the-art, as well as the current clinical status and challenges associated with each of these tasks, together with the challenges related to the learning process, the auditability/traceability, the system infrastructure and the integration within clinical processes.

The main central goal and statistical power of any statistical tool is to present the reader about the level, degree and strength of variations within or between datasets in a clear and precise interpretation that allows a researcher to make a rational and empirical conclusion. The current tools used for measure of dispersion have been challenged with some limitations. A new novel approach, called optinalytic (statistical) mirroring is proposed in this article to address some of the limitations other measure of dispersion methods have failed to solve and resolve. An optinalytic (statistical) mirrors are designed sequence images on which a sequence or set of sequences can optinalytically and intermetrically reflects to give an inferential information about their comparisons (similarity and dissimilarity). Method validation and comparisons with some most important tools of dispersion measures (e.g: variance, standard deviation, coefficient of variation, variance-to-mean ratio) was established to assess the suitability of the new proposal as an alternative measure of dispersion using different sets of logically generated univariate sequences with different problems and complications. The results of comparison shows that optinalytic (statistical) mirroring is more resistant to extreme outliers, more inferential and works efficiently with negative values with a very meaningful interpretation of result to the common understanding of a non-expert of statistics, which all other methods cannot provide.

The goal of this paper is to propose a dual version of the direct cosine simplex algorithm (DDCA) for general linear problems. Unlike the two-phase and the big-M methods, our technique does not involve artificial variables. Our technique solves the dual Klee-Minty problem in two iterations and solves the dual Clausen’s problem in four iterations. The utility of the proposed method is evident from the extensive computational results on test problems adapted from NETLIB. Preliminary results indicate that this dual direct cosine simplex algorithm (DDCA) reduces the number of iterations of two-phase method.

For a positive integer k, a radio k-coloring of a simple connected graph G = (V (G), E(G)) is a mapping | f(u) - f(v)| ≥ k +1-d (u , v ) such that f :V (G)→{0,1, 2,...} for each pair of distinct vertices u and v of G, where d(u, v) is the distance between u and v in G. The span of a radio k-coloring f, rck(f), is the maximum integer it assigns to some vertex of G. The radio k-chromatic number, rck(G) of G is min{rck(f)}, where the minimum is taken over all radio k-colorings f of G. If k is the diameter of G, then rck(G) is known as the radio number of G. In this work, we propose four algorithms (two serial algorithms and their parallel versions) which related to the radio k-coloring problem. One of them is an approximate algorithm that determines an upper bound of the radio number of a given graph. The other is an exact algorithm which finds the radio number of a graph G. The approximate algorithm is a polynomial time algorithm while the exact algorithm is an exponential time algorithm. The parallel algorithms are parallelized using the Message Passing Interface (MPI) standard. The experimental results prove the ability of the proposed algorithms to achieve a speedup 7 for 8 processors.

This paper aims to investigate the criteria of behaviour of certain type of third order neutral generalized difference equations with distributed delay. With the technique of generalized Riccati transformation and Philos-type method, some oscillation criteria are obtained to ensure convergence and oscillatory solution of suitable example is listed to illustrate the main result.

This work presents significant results obtained by the application of global optimization techniques to the design of finite, normal form games with mixed strategies. To that end, the Fuzzy ASA global optimization method is applied to several design examples of strategic games, demonstrating its effectiveness in obtaining payoff functions whose corresponding games present a previously established Nash equilibrium. In other words, the game designer becomes able to choose a convenient Nash equilibrium for a generic finite state strategic game and the proposed method computes payoff functions that will realize the desired equilibrium, making it possible for the players to reach the favorable conditions represented by the chosen equilibrium. Considering that game theory is a very significant approach for modeling interactions between competing agents, and Nash equilibrium represents a powerful solution concept, portraying situations in which joint strategies are optimal in the sense that players cannot benefit from individually modifying their current strategies provided that other players do not change their strategies as well, it is natural to infer that the proposed method may be very useful for strategists in general. In summary, it is a genuine instance of artificial inference of payoff functions after a process of global machine learning, applied to their numerical components.

Circular RNAs are a special type of RNAs which recently attracted a lot of research interest in studying its formation and function. RNA binding proteins (RBPs) that bind circRNAs are important in these processes but are relatively less studied. CLIP-Seq technology has been invented and applied to profile RBP-RNA interactions on the genome-wide scale. While mRNAs are usually the focus of CLIP-Seq experiments, RBP-circRNA interactions could also be identified through specialized analysis of CLIP-Seq datasets. However, many technical difficulties are involved in this process, such as the usually short read length of CLIP-Seq reads. In this study, we created a pipeline called Clirc specialized for profiling circRNAs in CLIP-Seq data and analyzing the characteristics of RBP- circRNAs interactions. In conclusion, this is one of the first few studies to investigate circRNAs and their binding partners through repurposing CLIP-Seq datasets to our knowledge, and we hope our work will become a valuable resource for future studies into the biogenesis and function of circRNAs. Clirc software is available at https://github.com/Minzhe/Clirc

In this study, we define new classes of convexity called of h-Godunova-Levin and h-Godunova-Levin preinvexity, through which some new inequalities of Hermite-Hadamard type were established. These new classes are the generalisation of several known convexity including the s-convex, P-function, Godunova-Levin. Further, the properties of h-Godunova-Levin function were also discussed. Meanwhile, the applications of h-Godunova-Levin Preinvex function are given

Consider a robot that is navigating in a space modeled by a graph, and that wants to know its current location. It can send a signal to determine how far it is from each landmark among a set of fixed landmarks. We study the problem of computing the minimum required number of landmarks, and where they should be placed so that the robot can always determine its location. Since the problem is an NP-complete problem, the robot's responses to the actions are slow. To accelerate this response, we can use the parallel version of this problem. In this work, we introduce a new parallel implementation for determining the metric dimension of a given graph. We run the proposed algorithm on a symmetric multi-processing (SMP) cluster using C programming language and the Message Passing Interface (MPI) library. Finally, we run our implementation on four categories of graphs (the tracks in which the robot moves): a cycle graph Cn, a path graph Pn, a triangular snake graph and a ladder graph Ln. Preliminary computational results indicate that the metric dimension problem is an NP-complete problem and prove the ability of the proposed algorithm to achieve a speedup of 6 for 8 processors.

In this paper, we introduce two discrete degenerate random variables, namely the degenerate binomial and degenerate Poisson random variables. We deduce the expectations of the degenerate binomial random variables. We compute the generating function of the moments of the degenerate Poisson random variables, which leads us to define the new type degenerate Bell polynomials, and hence obtain explicit expressions for the moments of those random variables in terms of such polynomials. We also get the variances of the degenerate Poisson random variables. Finally, we illustrate two examples of the degenerate Poisson random variables.

In this article, the new Hermite–Hadamard type inequalities are studied via generalized s-convexity on fractal sets. These inequalities derived on fractal sets are shown to be the generalized s-convexity on fractal sets. We proved that the absolute values of the first and second derivatives for the new inequalities are the generalization of s-convexity on fractal sets.

This work presents significant results obtained by the application of global optimization techniques to the design of finite, normal form games with mixed strategies. To that end, the Fuzzy ASA global optimization method is applied to several design examples of strategic games, demonstrating its effectiveness in obtaining payoff functions whose corresponding games present a previously established Nash equilibrium. In other words, the game designer becomes able to choose a convenient Nash equilibrium for a generic finite state strategic game and the proposed method computes payoff functions that will realize the desired equilibrium, making it possible for the players to reach the favorable conditions represented by the chosen equilibrium. Considering that game theory is a very significant approach for modeling interactions between competing agents, and Nash equilibrium represents a powerful solution concept, portraying situations in which joint strategies are optimal in the sense that players cannot benefit from individually modifying their current strategies provided that other players do not change their strategies as well, it is natural to infer that the proposed method may be very useful for strategists in general. In summary, it is a genuine instance of artificial inference of payoff functions after a process of global machine learning, applied to their numerical components.

Optinalysis, as a method of symmetry detection, is a new algorithm that intrametrically (within elements or variables) or intermetrically (between elements or variables) computes and compares two or more univariate or multi-clustered or multivariate sequences as a mirror-like reflection of each other (optics-like manner), hence the name is driven. Optinalysis is based by the principles of reflection and moment about a symmetrical line which detects symmetry that reflects a similarity measurement. This proposed methodology was validated in comparison with Pearson method of skewness detection, and also with some algorithms for pairewise alignment and comparison of genomic sequences (Needle, Stretcher, Water, Matcher) on EMBL-EBI website. A results comparison shows that optinalysis is more advance, more sensitive, more inferential and simple alternative approach of skewness detection and pairewise sequence comparison.

The effect of sensitivity points (sequence order and position of every element) of sequences following comparative optinalysis under two proposed mechanisms, the paranodic and synodic skewization, was studied to develop a modeling approach to comparative optinalysis of sequences. The results show that the outcomes of comparative optinalysis (similarity measurement) in a set of paranodically skewed sequences can be modeled deterministically by suitable line regression functions. The sensitivity points (nodes) of a sequence display two important and distinct zones, the K-zones and the B-zones. Continues paranodic skewization within these zones (KB zones) operates within probability space, but at hyperskewization level and at the K-zones only, the outcomes of comparative optinalysis operate outside the probability space. Moreover, the outcomes of comparative optinalysis by synodic skewization can be modeled deterministically by some regression line functions, but a general regression function cannot be identified. At certain limit of skewization value space, following paranodic and synodic skewization, the outcomes of comparative optinalysis at the left-sided sequence form a similar pattern with the right-sided sequence.

Recent advancements in Software Defined Networking (SDN) makes it possible to overcome the management challenges of traditional network by logically centralizing control plane and decoupling it from forwarding plane. Through centralized controllers, SDN can prevent security breach, but it also brings in new threats and vulnerabilities. Central controller can be a single point of failure. Hence, flow-based anomaly detection system in OpenFlow Controller can secure SDN to a great extent. In this paper, we investigated two different approaches of flow-based intrusion detection system in OpenFlow Controller. The first of which is based on machine-learning algorithm where NSL-KDD dataset with feature selection ensures the accuracy of 82% with Random Forest classifier using Gain Ratio feature selection evaluator. In the later phase, the second approach is combined with Gated Recurrent Unit Long Short-Term Memory based intrusion detection model based on Deep Neural Network (DNN) where we applied an appropriate ANOVA F-Test and Recursive Feature Elimination feature selection method to improve the classifier performance and achieved an accuracy of 88%. Substantial experiments with comparative analysis clearly show that, deep learning would be a better choice for intrusion detection in OpenFlow Controller.

The “norm” regularized variational model is widely used in signal/image restoration. It is suitable for sparsity based regularization model design. This paper proposes a wavelet frame based Poisson noise removal model is proposed and the alternating direction method of multipliers (ADMM) is adopted to solve the corresponding optimization problem. Due to the nonconvex and noncontinuous property of the objective function with term, plenty of results in the literature can not be directly applied to verifying the convergence of this ADMM based algorithm. We established the convergence property of the proposed algorithm for Poisson noise image restoration and reconstruction. This theoretical foundation is valuable to guarantee the stability performance of the algorithm in numerical simulation. Numerical experiments on different image processing tasks, such as grey image deblurring, CT image reconstruction and graph data denoising, also verified the effectiveness of this newly proposed nonconvex and nonsmooth model. Moreover all the results are possible to be extended to more general nonconvex noncontinuous optimization problem.

Deep behavioral covariates (DBCs) introduced in this perspective form a new class of covariates that have the potential to enhance the performance of predictive models and improve analytics in clinical decision support applications. DBCs can measure how engaged a patient tends to be and how he or she tends to respond to events, and they may be highly predictive of the patient’s outcomes for a planned treatment. DBCs may potentially serve as a standard to measure patient engagement and activation and may form highly efficient mechanisms for improving patient outcomes.

A comprehensive heuristic analysis of the Pollard's Rho Method (PRM) is given. The analysis is based on ultimate periods and tails distribution of sequences. If $n$ is the composite number to be factored, then an improved version of PRM is developed which has an expected run time of $O(\sqrt[8]{n}\ln n)$ on a multi-core architecture which utilized a clever way of evaluating polynomials.

Background: Iranian traditional medicine is a holistic school of medicine with a long prolific history. It describes numerous concepts and the relationships between them. However, no unified terminology has been proposed for the concepts of this medicine up to the present time. Considering the extensive use of concepts in the numerous textbooks written by the scholars over centuries, comprehending the totality of the terminology is obviously a very challenging task. To resolve this issue and overcome the obstacles, and code the concepts in a reusable manner, constructing an ontology of the concepts of Iranian traditional medicine seems a necessity.Methods: Makhzan al-Advieh, an encyclopedia of materia medica compiled by Mohammad Hossein Aghili Khorasani, was selected as the resource to create an ontology of Mizaj. The steps followed to accomplish this task included (1) compiling the list of classes for Mizaj; (2) arranging the classes in taxonomy; (3) determining object properties and their cardinalities; (4) specifying annotation properties including codes, labels, synonyms, and definitions for each concept; (5) reviewing the fields pertaining to Mizaj of all monographs in Makhzan al-Advieh. The ontology was created using Protégé with adherence to the principles of ontology development provided by the Open Biological and Biomedical Ontology (OBO) foundry. Results: Mizaj ontology was constructed with a final inclusion of 105 classes, three object properties, and 1078 axioms in the Iranian Traditional Medicine General Ontology database, IrGO, freely available at http://jafarilab.com/irgo/. An indented tree view and an interactive graph view using WebVOWL were used to visualize the ontology. All classes were linked to their instances in the UNaProd database to create a knowledge-base of Mizaj. Conclusion: We constructed an ontology-based knowledge base of ITM concepts of Mizaj in the domain of materia medica to help offer a shared and common understanding of this concept, enable reuse of the knowledge, and make the assumptions explicit. Extending IrGO will bridge the gap between traditional and conventional schools of medicine and help guide future research on new treatment options.

With the evolution of technology over the years, it has become possible to develop intelligent environments based on the concept of the Internet of Things, distributed systems, and machine learning. Such environments are incorporated with various solutions to solve user demands from services. One of these solutions is UBIPRI middleware, whose central concept is to maintain privacy in smart environments and to receive notifications as one of its services. However, this service is freely performed, disregarding the privacy that the environment employs. Another consideration is that based on the researched related works, it was possible to identify that the authors do not use statistical hypothesis tests in their solutions developed in the presented context. This work proposes an architecture for notification management in smart environments, composed by a notification manager named PRIPRO to assign it to UBIPRI and to aim to perform tests and comparisons between classification algorithms to delimit which one is most feasible to implement in the PRINM decision-making mechanism. The experiments showed that the J48 algorithm obtained the best results compared to the other algorithms tested and compared.

Speech signals are degraded in real-life environments, product of background noise or other factors. The processing of such signals for voice recognition and voice analysis systems presents important challenges. One of the conditions that make adverse quality difficult to handle in those systems is reverberation, produced by sound wave reflections that travel from the source to the microphone in multiple directions.To enhance signals in such adverse conditions, several deep learning-based methods have been proposed and proven to be effective. Recently, recurrent neural networks, especially those with long and short-term memory (LSTM), have presented surprising results in tasks related to time-dependent processing of signals, such as speech. One of the most challenging aspects of LSTM networks is the high computational cost of the training procedure, which has limited extended experimentation in several cases. In this work, we present a proposal to evaluate the hybrid models of neural networks to learn different reverberation conditions without any previous information. The results show that some combination of LSTM and perceptron layers produce good results in comparison to those from pure LSTM networks, given a fixed number of layers. The evaluation has been made based on quality measurements of the signal's spectrum, training time of the networks and statistical validation of results. Results help to affirm the fact that hybrid networks represent an important solution for speech signal enhancement, with advantages in efficiency, but without a significan drop in quality.

Komlos conjecture is about the existing of a constant upper bound over the dimension n of the function $K(n)$ defined by $$K(n)=max_{ \{ \overrightarrow{V_1},...,\overrightarrow{V_n} \} \in \{ \overrightarrow{V_i} \in { R}^n \| \overrightarrow{V_i} \| \leq 1 \} ^n } min_{ \{\epsilon_1,...\epsilon_n\} \in \{-1,+1\}^n } \|\sum_{i=0}^{n} \epsilon_i \overrightarrow{V_i}\}\|_{\infty} $$ In this paper, the function $K(n)$ is evaluated first for lower dimensions, $n\leq 5$, where it found that $K(2)=\sqrt{2}$. For higher dimension, the function $f(n)=\sqrt{ n-\lceil\log_2(2^{n-1}/n) \rceil}$ is found to be a lower bound for the function $K(n)$, from where it is concluded that the Komlos conjecture is false i.e., the universal constant $k=max_{n \in N} K(n) $ does not exist because of $$\lim_{n \rightarrow \infty } K(n) \geq \lim_{n \rightarrow \infty } \sqrt{ \log_2(n)-1 }=+\infty$$

Tuberculosis cause of death worldwide and the leading cause from a single infectious agent, ranking above Human immunodeficiency virus (HIV) and Acquired Immune Deficiency Syndrome (AIDS). The aim of this study is to ascertain the trend of tuberculosis prevalence and the effect of HIV prevalence onl Tuberculosis case in some West African countries from 2000 to 2016 using count panel data regression models. The data used annual HIV and Tuberculosis cases spanning from 2000 to 2016 extracted from online publication of World health Organization (WHO). Panel Poisson regression model and Negative binomial regression model for fixed and random effects were used to analyzed the count data, the result revealed a positive trend in TB cases while increased in HIV cases leads to increase in TB cases in West African countries. Among the competing models used in this study, Panel Negative Binomial Regression Model with fixed effect emerged the best model with log likelihood value of -1336.554. This study recommended that Government and NGOs need more strategies to fight against HIV menace in West Africa as this will in turn reduced TB cases in West Africa.

In this paper, we investigate the equilibrium points, stability of two equilibrium points, convergences of negative equilibrium point, periodic solutions, and existence of bounded or unbounded solutions of a system of nonlinear difference equations x_n+1 =x_n-1y_n - 1, y_n+1 = y_n-1x_n - 1 n = 0,1,..., where the initial values are real numbers. Additionally we present some numerical examples to verify our theoretical results.

In this paper, we study the dynamics of following system of nonlinear difference equations x_n+1 = x_n-1y_n - 1, y_n+1 = y_n-1z_n - 1, z_n+1 = z_n-1x_n - 1. Especially we investigate the periodicity, boundedness and stability of related system of difference equations.

Mammography is often used as the most common laboratory method for the detection of breast cancer, yet associated with the high cost and many side effects. Machine learning prediction as an alternative method has shown promising results. This paper presents a method based on a multilayer fuzzy expert system for the detection of breast cancer using an extreme learning machine (ELM) classification model integrated with radial basis function (RBF) kernel called ELM-RBF, considering the Wisconsin dataset. The performance of the proposed model is further compared with a linear-SVM model. The proposed model outperforms the linear-SVM model with RMSE, R², MAPE equal to 0.1719, 0.9374 and 0.0539, respectively. Furthermore, both models are studied in terms of criteria of accuracy, precision, sensitivity, specificity, validation, true positive rate (TPR), and false-negative rate (FNR). The ELM-RBF model for these criteria presents better performance compared to the SVM model.

In Sub-Saharan African Countries such as Nigeria with high prevalence rate, Child HIV/AIDs acquired through Mother-to-Child transmission (MTCT) can be largely prevented by using a well-established prevention programme and scheme. This study examined factors that can enhanced Prevention of Mother-to-Child transmission (PMTCT) in Nasarawa State. To achieve this, structured questionnaire were used to collect data from one hundred and sixteen (116) women attending two (2) primary facilities and two (2) secondary facilities in the State. This study utilized methods of Poisson Regression, Negative Binomial Regression and Logistic Regression Analyses. Results revealed that women with at least a secondary school education, women with husband in military and women with perceived confidentiality of their HIV status significantly enhanced PMTCT of HIV in Nasarawa State while significant proportion of the women attest to the fact that drugs are available in the facilities (p-value=0.0000<0.05) . Other factors include mother income level, willingness to continue with PMTCT programme and women in support group can also enhanced PMTCT though they are not significant. This study recommends that the factors identified should be explored by NGOs, Ministry of Health and, Support groups and other relevant agencies since they have the capacity to enhanced PMTCT of HIV in Nasarawa State, Nigeria.

The research work examined the trend of HIV/AIDS, Tuberculosis, and Hepatitis diseases in Plateau state. Annual data from 2003 to 2018 was collected from the department of biostatistics at Plateau State Specialist Hospital (PSSH), Jos. The methods of analysis used are the Poisson Autoregressive Model (PAR(1)) and the Poisson Exponentially Weighted Moving Average Model (PEWMA). The results revealed a significant annual decrease of 23.9% and 4% in Tuberculosis and HIV/AIDS respectively. Furthermore, the results showed a significant annual increase of 46% in Hepatitis. The PEWMA model used revealed that TB increased by 0.02% when there is an increase in HIV but not significant, while Hepatitis significantly aggravates TB by at least 0.24%. Also, there is a significant rise in HIV by 0.85% when TB increases but Hepatitis has no such effect on HIV. Lastly, PEWMA model indicated a rise of 0.5% in Hepatitis cases when there is an increase in TB, but a surge in HIV has no such effect on Hepatitis cases in Jos. The study recommended that fight against TB should be intensified since TB cases significantly affect both HIV and Hepatitis in Jos, Nigeria.