The complete-lattice approach to optimization problems with a vector- or even set-valued objective already produced a variety of new concepts and results and was successfully applied in finance, statistics and game theory. For example, the duality issue for multi-criteria and vector optimization problems could be solved using the complete-lattice approach, compare [11]. So far, it has been applied to set-valued dynamic risk measures (in the stochastic case), as discussed in Feinstein, Rudloff etc. (see [11], for example), but it has not been applied to deterministic calculus of variations and optimal control problems. In this paper, the following problem of set-valued optimization is considered: minimize the functional $$ \overline J_t[y]=\int_0^t \overline L(s,y(s),\dot y(s))\ ds + U_0(y(0)) $$ over all admissible arcs $y$, where $\overline L$ is the associated multifunction to a vector-valued Lagrangian $L$, the integral is in the Aumann sense and $U_0$ is the initial cost. A new concept of \emph{value function}, for which a Bellman's optimality principle holds, is introduced. Also the classical result of the Hopf-Lax formula holds for the generalized value function. Finally, a derivative with respect to the time $t$ and a directional derivative with respect to $x$ of the value function are defined, based on ideas close to the concepts in [12]. The value function is proved to be solution of a suitable Hamilton-Jacobi equation.

In this paper, we introduce a new class of open sets that is called is*-open set . Also, we present the notion of is*-continuous, is*-open, is*-irresolute, is*-totally continuous, and is-contra-continuous mappings, and we investigate some properties of these mappings. Furthermore, we introduce some is*-separation axioms, and is*-mappings are related with is*-separation axioms. . .

In 1999, Molodtsov initiated the theory of soft sets as a new mathematical tool for dealing with uncertainties in many fields of applied sciences. In 2011, Shabir and Naz introduced and studied the notion of soft topological spaces, also defining and investigating many new soft properties as generalization of the classical ones. In this paper, we introduce the notions of soft separation between soft points and soft closed sets in order to obtain a generalization of the well-known Embedding Lemma to the class of soft topological spaces.

Matiyasevich's theorem states that there is no algorithm to decide whether or not a given Diophantine equation has a solution in non-negative integers. Smorynski's theorem states that the set of all Diophantine equations which have at most finitely many solutions in non-negative integers is not recursively enumerable. We prove: (1) Smorynski's theorem easily follows from Matiyasevich's theorem, (2 ) Hilbert's Tenth Problem for Q has a negative solution if and only if the set of all Diophantine equations with a finite number of rational solutions is not recursively enumerable.

We present the real number system as a natural generalization of the natural numbers. First, we prove the co-finite topology, $Cof(\mathbb N)$, is isomorphic to the natural numbers. Then, we generalize these results to describe the continuum $[0,1]$. Then we prove the power set $2^{\mathbb Z}$ contains a subset isomorphic to the non-negative real numbers, with all its defining structure of operations and order. Finally, we provide two different constructions of the entire real number line. We see that the power set $2^{\mathbb N}$ can be given the defining structure of $\mathbb R$. The constructions here provided give simple rules for calculating addition, multiplication, subtraction, division, powers and rational powers of real numbers, and logarithms. The supremum and infimum are explicitly constructed by means of a well defined algorithm that ends in denumerable steps. In section 5 we give evidence our construction of $\mathbb N$ and $\mathbb R$ are canonical; these constructions are as natural as possible. In the same section, we propose a new axiomatic basis for analysis. In the last section we provide a series of graphic representations and physical models that can be used to represent the real number system. We conclude that the system of real numbers is completely defined by the order structure of $\mathbb N$.}

While the importance of corporate governance has been broadly acknowledged in global financial markets and academic research, how to devise a practical evaluation system is relatively unexplored. This paper attempts to refine the Corporate Governance Evaluation System (CGES), constructed by the Taiwan Stock Exchange (TWSE) since 2014. The current CGES has several debatable issues in its complicated design (e.g., it comprises over 80 indicators in different types). To resolve those issues, this study invited ten senior domain experts (including several CEOs of financial holding companies) to retrieve 13 essential criteria from the CGES in four dimensions. And this study integrates several multiple criteria decision-making (MCDM) methods (i.e., Decision-making trial and evaluation laboratory (DEMATEL), modified VIKOR, DEMATEL-based analytical network process (DANP)) and the fuzzy evaluation technique to rank the exemplary companies. The obtained ranking is consistent with the one released from the CGES in 2017. This study conducted additional experiments to ensure the robustness of the findings. The newly devised model not only supports the ranking decisions but also provides a managerial guidance for companies to pursue systematic improvements. These findings enrich the understanding of corporate governance and contribute to gaining business sustainability for financial holding companies.

In this paper, we propose the set-membership quaternion normalized least-mean-square (SM-QNLMS) algorithm. For this purpose, first, we review the quaternion least-mean-square (QLMS) algorithm, then go into the quaternion normalized least-mean-square (QNLMS) algorithm. By having the QNLMS algorithm, we propose the SM-QNLMS algorithm in order to reduce the update rate of the QNLMS algorithm and avoid updating the system parameters when there is not enough innovation in upcoming data. Moreover, the SM-QNLMS algorithm, thanks to the time-varying step-size, has higher convergence rate as compared to the QNLMS algorithm. Finally, the proposed algorithm is utilized in wind profile prediction and quaternionic adaptive beamforming. The simulation results demonstrate that the SM-QNLMS algorithm outperforms the QNLMS algorithm and it has higher convergence speed and lower update rate.

A new approach is presented to defining the amount of information, in which information is understood as the data about a finite set as a whole, whereas the average length of an integrative code of elements serves as a measure of information. We obtain a formula for the syntropy of reflection, that is, the information that two intersecting finite sets reflect about each other. The specificities of reflection of discrete systems through the combination of their parts are considered, and it is shown that the additive syntropy and entropy of reflection are measures of structural order and chaos. Three information laws have been established: the law of conservation of the sum of chaos and order; information law of reflection; the law of conservation and transformation of information. An assessment of the structural organization and the level of development of discrete systems is presented. It is shown that various measures of information are structural characteristics of integrative codes of elements of discrete systems. The conclusion is made that, from the informational-genetic positions, the synergetic theory of information is primary in relation to the Hartley-Shannon information theory. In the appendix we consider the asymmetry of the mutual reflection of finite sets and the proportionality of arbitrary quantities.

Compound databases of natural products have a major impact on drug discovery projects and other areas of research. The number of databases in the public domain with compounds from natural origin is increasing. Several countries have initiatives in place to construct and maintain compound databases that are representative of their diversity. Examples are Brazil, France, Panama and recently Vietnam. Herein, we discuss the first version of BIOFACQUIM, a novel compound database with natural products isolated and characterized in Mexico. We discuss its construction, curation, and a complete chemoinformatic characterization of the content and coverage in chemical space. It is reported the profile of physicochemical properties, scaffold content, and diversity, as well as structural diversity based on molecular fingerprints. BIOFACQUIM is freely available.

Maximally similar sets (MSS) are sets of elements that share a neighborhood in a high-dimensional space defined by symmetric, reflexive similarity relation. Each element of the universe is employed as the kernel of a neighborhood of a given size (number of members), and elements are added to the neighborhood in order of similarity to the current members of the set until the desired neighborhood size is achieved. The set of neighborhoods is then reduced to the set of unique maximally similar sets by eliminating all sets that are permutations of an existing set. Subsequently, the within-MSS variability of attributes associated with the elements is compared to random sets of the same size to estimate the probability of obtaining variability as low as observed. Individual attributes can be compared for effect size by the ratio of within-MSS variability to random set variability, correcting for statistical power as necessary. The analyses performed identify constraints, as opposed to determinants, in the triangular distribution of pair-wise element similarity. In the example given here, the variability in spring temperature, summer temperature, and growing degree days of forest vegetation samples shows the greatest constraint on forest composition of a large set of candidate environmental variables

In this paper, the set-membership affine projection (SM-AP) algorithm is utilized to censor non-informative data in big data applications. To this end, the probability distribution of the additive noise signal and the excess of mean-squared error (EMSE) in steady-state are employed in order to estimate the threshold parameter of the single threshold SM-AP (ST-SM-AP) algorithm aiming at attaining the desired update rate. Furthermore, by defining an acceptable range for the error signal, the double threshold SM-AP (DT-SM-AP) algorithm is proposed to detect very large errors due to the irrelevant data such as outliers. The DT-SM-AP algorithm can censor non-informative and irrelevant data in big data applications, and it can improve misalignment and convergence rate of the learning process with high computational efficiency. The simulation and numerical results corroborate the superiority of the proposed algorithms over traditional algorithms.

We present a new unsupervised method aimed to obtain a partition of a complex urban system in homogenous urban areas, called urban contexts. The area of study is initially partitioned in microzones, homogeneous portion of the urban system, that are the atomic reference elements for the census data. With the contribution of domain experts, we identify the physical, morphological, environmental and socio-economic indicators need to identify synthetic characteristics of urban contexts and create the fuzzy rule set necessary to determine the type of urban context. We implement the set of spatial analysis processes necessary to calculate the indicators for microzone and apply a Mamdani fuzzy rule system to classify the microzones. Finally, the partition of the area of study in urban contexts is obtained by dissolving continuous microzones belonging to the same type of urban context. Tests are performed on the Municipality of Pozzuoli (Naples - Italy); the reliability of out model is measured by comparing the results with the ones obtained by detailed analysis.

The most common liver disorder nowadays is non-alcoholic fatty liver disease(NAFLD) and it is a progressive disease that rises in severity from steatosis to nonalcoholic steatohepatitis(NASH), fibrosis and cirrhosis to increase risk of developing hepatocellular carcinoma. It is a cause of great concern as there is an estimated seventy million Americans who are currently affected by NAFLD, and this is expected to only increase because of its association with obesity and diabetes and also a lack of therapies to keep its development and progression in check. In this particular study we performed a gene set enrichment analysis(GSEA) of differentially expressed genes in a green tea against methionine-choline deficient diet in high-fat patients in the development of non-alcoholic fatty liver disease(NAFLD). The downregulated genes were used to perform an enrichment analysis and in the ARCHS4 TFs Coexpression database the most significant gene was found to be KLF5_human_tf_ARCHS4_coexpression. In the ARCHS4 Kinases Coexpression pathway database STYK1_human_kinase_ARCHS4 Coexpression was found to be the most significant gene. And finally for the upregulated genes a similar enrichment analysis was performed and in the humancy database γ-linolenate biosynthesis_Homo sapiens_PWY-6000 gene was discovered to be the most significant one. This study has used bioinformatics tools and the Enrichr software to perform a comparative analysis of differentially expressed gene sets for high-fat patients having a diet consisting of green tea against a methionine-choline deficient diet. Green tea is known to contain several antioxidants and polyphenols which provide protection against many liver diseases such as non-alcoholic fatty liver disease(NAFLD). The present study simply tries to build awareness of this to the general public and allow them to learn more about certain diets which have protective effects against liver diseases. Hopefully by implementing these in their daily lifestyles the public can gain some form of protection against these types of liver disorders.

We consider Pisot family substitution tilings in $\R^d$ whose dynamical spectrum is pure point. There are two cut-and-project schemes(CPS) which arise naturally: one from the Pisot family property and the other from the pure point spectrum respectively. The first CPS has an internal space $\R^m$ for some integer $m \in \N$ defined from the Pisot family property, and the second CPS has an internal space $H$ which is an abstract space defined from the property of the pure point spectrum. However it is not known how these two CPS's are related. Here we provide a sufficient condition to make a connection between the two CPS's. In the case of Pisot unimodular substitution tiling in $\R$, the two CPS's turn out to be same due to [5, Remark 18.5].

The central promise of personalized medicine is individualized treatments that target molecular mechanisms underlying the physiological changes and symptoms arising from disease. We demonstrate a bioinformatics analysis pipeline as a proof-of-principle to test the feasibility and practicality of comparative transcriptomics to classify two of the most popular in vivo diet-induced models of coronary atherosclerosis, apolipoprotein E null mice and New Zealand White rabbits. Transcriptomics analyses indicate the two models extensively share dysregulated genes albeit with some unique pathways. For instance, while both models have alterations in the mitochondrion, the biochemical pathway analysis revealed, Complex IV in the electron transfer chain is higher in mice, whereas the rest of the electron transfer chain components are higher in the rabbits. Several fatty acids anabolic pathways are expressed higher in mice, whereas fatty acids and lipids degradation pathways are higher in rabbits. This reflects the differences between two translational models of atherosclerosis. This study validates transcriptome analysis as a potential method to precisely identify altered cellular and molecular pathways in atherosclerotic disease, which can be used to individualize treatment even in the absence of genetic data.

In terrain analysis and hydrological modeling, surface depressions (or sinks) in a digital elevation model (DEM) are commonly treated as artifacts and thus filled and removed to create a depressionless DEM. Various algorithms have been developed to identify and fill depressions in DEMs during the past decades. However, few studies have attempted to delineate and quantify the nested hierarchy of actual depressions, which can provide crucial information for characterizing surface hydrologic connectivity and simulating the fill-merge-spill hydrological process. In this paper, we present an innovative and efficient algorithm for delineating and quantifying nested depressions in DEMs using the level-set method based on graph theory. The proposed level-set method emulates water level decreasing from the spill point along the depression boundary to the lowest point at the bottom of a depression. By tracing the dynamic topological changes (i.e., depression splitting/merging) within a compound depression, the level-set method can construct topological graphs and derive geometric properties of the nested depressions. The experimental results of two fine-resolution LiDAR-derived DEMs show that the raster-based level-set algorithm is much more efficient (~150 times faster) than the vector-based contour tree method. The proposed level-set algorithm has great potential for being applied to large-scale ecohydrological analysis and watershed modeling.

Soft set theory is a mathematical tool for dealing with uncertainty. This paper investigates limits of interval type of soft sets (for short, it-soft sets). The concept of it-soft sets is first introduced. Then, limits of it-soft sets are proposed and their properties are obtained. Next, point-wise continuity of it-soft sets and continuous it-soft sets are discussed. Finally, an application for rough sets is given.

The Pythagorean fuzzy set (PFS), which is characterized by a membership and a non-membership degree and the square sum of them is less or equal to one, can act as an effective tool to express decision makers’ fuzziness and uncertainty. Considering that the Heronian mean (HM) is a powerful aggregation operator which can take the interrelationship between any two arguments, we study the HM in Pythagorean fuzzy environment and propose new operators for aggregating interval-valued Pythagorean fuzzy information. First, we investigate the HM and geometric HM (GHM) under interval-valued intuitionistic fuzzy environment and develop a series of aggregation operators for interval-valued intuitionistic fuzzy numbers (IVIFNs) including interval-valued intuitionistic fuzzy Heronian mean (IVIFHM), interval-valued intuitionistic fuzzy geometric Heronian mean (IVIFGHM), interval-valued intuitionistic fuzzy weighted Heronian mean (IVIFWHM) and interval-valued intuitionistic fuzzy weighted geometric Heronian mean (IVIFWGHM). Second, some desirable and important properties of these aggregation operators are discussed. Third, based on these aggregation operators, a novel approach to multi-attribute decision making (MADM) is proposed. Finally, to demonstrate the validity of the approach, a numerical example is provided and discussed. Moreover, we discuss several real-world applications of these operators within policy-making contexts.

In this paper, we observe that if X is a set and (Bin(X), □) is the semigroup of binary systems on X, then its center ZBin(X) consists of the locally-zero-semigroups and that these can be modeled as (simple) graphs and conversely. Using this device we show that we may obtain many results of interest concerning groupoids by reinterpreting graph theoretical properties and at the same time results on graphs G may be obtained by considering them as elements of centers of the semigroups of binary systems (Bin(X), □) where X = V(G), the vertex set of G.

Software fault prediction is the very consequent research topic for software quality assurance. Data driven approaches provide robust mechanisms to deal with software fault prediction. However, the prediction performance of the model highly depends on the quality of dataset. Many software datasets suffers from the problem of class imbalance. In this regard, under-sampling is a popular data pre-processing method in dealing with class imbalance problem, Easy Ensemble (EE) present a robust approach to achieve a high classification rate and address the biasness towards majority class samples. However, imbalance class is not the only issue that harms performance of classifiers. Some noisy examples and irrelevant features may additionally reduce the rate of predictive accuracy of the classifier. In this paper, we proposed two-stage data pre-processing which incorporates feature selection and a new Rough set Easy Ensemble scheme. In feature selection stage, we eliminate the irrelevant features by feature ranking algorithm. In the second stage of a new Rough set Easy Ensemble by incorporating Rough K nearest neighbor rule filter (RK) afore executing Easy Ensemble (EE), named RKEE for short. RK can remove noisy examples from both minority and majority class. Experimental evaluation on real-world software projects, such as NASA and Eclipse dataset, is performed in order to demonstrate the effectiveness of our proposed approach. Furthermore, this paper comprehensively investigates the influencing factor in our approach. Such as, the impact of Rough set theory on noise-filter, the relationship between model performance and imbalance ratio etc. comprehensive experiments indicate that the proposed approach shows outstanding performance with significance in terms of area-under-the-curve (AUC).

The independent set, IS, on a graph $G=(V,E)$ is $V^{*}\subseteq V$ such that no two vertices in $V^{*}$ have an edge between them. The MIS problem on G seeks to identify an IS with maximum cardinality, i.e. MIS. $V^{*}\subseteq V$ is a vertex cover, i.e. VC of $G=(V,E)$ if every $e\in E$ is incident upon at least one vertex in $V^{*}$ . $V^{*}\subseteq V$ is dominating set, DS, of $G=(V,E)$ if $\forall v\in V$ either $v\in V^{*}$ or $\exists u\in V^{*}$ and $(u,v)\in E$ . The MVC problem on G seeks to identify a vertex cover with minimum cardinality, i.e. MVC. Likewise, MCV seeks a connected vertex cover, i.e. VC which forms one component in G, with minimum cardinality, i.e. MCV. A connected DS, CDS, is a DS that forms a connected component in G. The problems MDS and MCD seek to identify a DS and a connected DS i.e. CDS respectively with minimum cardinalities. MIS, MVC, MDS, MCV and MCD on a general graph are known to be NP-complete. Polynomial time algorithms are known for bipartite graphs, chordal graphs, cycle graphs, comparability graphs, claw-free graphs, interval graphs and circular arc graphs for some of these problems. We introduce a novel graph class, layered graph, where each layer refers to a subgraph containing at most some k vertices. Inter layer edges are restricted to the vertices in adjacent layers. We show that if $k=\Theta (log\mid V\mid )$ then MIS, MVC and MDS can be computed in polynomial time and if $k=O\left({(log\mid V\mid )}^{\alpha }\right)$ , where $\alpha <1$ , then MCV and MCD can be computed in polynomial time. If $k=\Theta \left({(log\mid V\mid )}^{1+ϵ}\right)$ , for $ϵ>0$ , then MIS, MVC and MDS require quasi-polynomial time. If $k=\Theta (log\mid V\mid )$ then MCV, MCD require quasi-polynomial time. Layered graphs do have constraints such as bipartiteness, planarity and acyclicity.

Myocardial infarction, more commonly known as heart attack, is a huge health problem around the world. It is a result of inadequate blood supply to certain parts of the heart and death of heart muscle cells in that region. Although it has been around for a long time, newer and newer ways of probing myocardial infarction is being followed. Bioinformatics and Systems Biology are relatively recent fields to try to give new insights into myocardial infarction. Following the footsteps of others, this in silico study has tried to chime in on the investigation into myocardial infarction. The study began with the gene expression omnibus dataset uploaded to the NCBI from a whole-genome gene expression analysis carried out at Mayo Clinic in Rochester, Minnesota. From the dataset, differentially expressed genes following first-time myocardial infarction were identified and classified into up-regulated and down-regulated ones. Gene Set Enrichment Analysis (GSEA) was carried out on the up-regulated genes which were statistically significant and corresponded with the NCBI generated annotations. Protein-Protein Interaction Network for these genes was constructed. GSEA revealed 5 transcription factors, 5 microRNAs and 3 pathways significantly associated with them. From the Protein-Protein Interaction Network, 6 key proteins (hub nodes) have been identified. These 6 proteins may open a new window of opportunity for the discovery/design of new drugs for mitigating the damage caused by myocardial infarction.

The aim of this article is introduced the concept of double framed T-soft fuzzy set (DFT-soft fuzzy set) which is the combination of soft set and fuzzy set. We also defined the notions and apply this concept in BCK/BCI-algebras. By using example, we also discussed the concept of double framed T-soft fuzzy algebra (DFT-soft fuzzy algebra) and double framed B-soft fuzzy algebra (DFB-soft fuzzy algebra) and also investigated their properties. Each double framed T-soft fuzzy algebra is double framed B-soft fuzzy algebra but by using example, we proved that converse may or may not be possible.

A new formulation for a proposed solution to the 3D Navier-Stokes Equations in cylindrical co-ordinates coupled to the continuity and level set convection equation is presented in terms of an additive solution of the three principle directions in the radial, azimuthal and z directions of flow and a connection between the level set function and composite velocity vector for the additive solution is shown. For the case of a vertical tube configuration with small inclination angle, results are obtained for the level set function defining the interface in both the radial and azimuthal directions. It is found that the curvature dependent part of the problem alone induces sinusoidal azimuthal interfacial waves wheras when the curvature together with the equation for the composite velocity is considered oscillating radial interfacial waves occur. The implications of two extremes indicate the importance of looking at the full equations including curvature.

The paper investigates some similarity measures in interval bipolar neutrosophic environment for multi-attribute decision making problems. At first, we define Hamming and Euclidean distances measures between interval bipolar neutrosophic sets and establish their basic properties. We also propose two similarity measures based on the Hamming and Euclidean distance functions. Using maximum and minimum operators, we define new similarity measures and prove their basic properties. Using the proposed similarity measures, we propose a novel multi attribute decision making strategy in interval bipolar neutrosophic set environment. Lastly, we solve an illustrative example of multi attribute decision making and present comparison analysis to show the feasibility, applicability and effectiveness of the proposed strategy.

The objective of the paper is to introduce new similarity measure for single valued neutrosophic sets based on logarithm function. We define logarithm similarity measure and their weighted similarity measure for single valued neutrosophic sets. Then we define hybrid logarithm similarity measure and weighted hybrid logarithm similarity measure for single valued neutrosophic sets. We prove the basic properties of the proposed measures. We then define an entropy function using logarithm function to determine unknown attribute weights. We develop a novel multi attribute group decision making strategy for single valued neutrosophic sets based on the weighted hybrid logarithm similarity measure. We address an illustrative example to demonstrate the effectiveness and aptness of the proposed strategies. We conduct a sensitivity analysis of the developed strategy. We also make a comparison between the obtained results from proposed strategies and different existing strategies in the literature.

Neutrosophic cubic set (NCS) is one of the important family members of neutrosophic hybrid sets. Neutrosophic cubic set has more strength than other family members of neutrosophic hybrid sets to express incomplete information due to the presence of interval valued neutrosophic set (IVNS) and single valued neutrosophic set (SVNS) in its structure. Cross entropy measure is one of the best way to calculate the divergence of any variable from the priori one variable. In this paper we first define a new cross entropy measure under NCSs environment which we call NC- cross entropy measure. We investigate the basic properties of NC-cross entropy. We also propose weighted NC-cross entropy and investigate its basic properties. We develop a novel multi attribute decision making (MADM) strategy based on weighted NC-cross entropy. To show the feasibility and applicability, we solve a MADM problem using the proposed strategy.

Bipolar neutrosophic set is an important extension of bipolar fuzzy set. This set is a hybridization of bipolar fuzzy set and neutrosophic set. Every element of a bipolar neutrosophic set consists of three independent positive membership functions and three independent negative membership functions. In this paper, we develop cross entropy measures of bipolar neutrosophic sets and prove its properties. We also define cross entropy measures of interval bipolar neutrosophic sets and prove its properties. Thereafter, we develop two novel multi-attribute decision making methods based on the proposed cross entropy measures. In the decision making framework, we calculate the weighted cross entropy measures between each alternative and the ideal alternative to rank the alternatives and choose the best one. We solve two illustrative examples of multi-attribute decision making problems and compare the obtained result with the results of other existing methods to show the applicability and effectiveness of the developed method. In the end, the main conclusion and future scope of research are summarized.

Contact with nature is suggested to be as an important resource for human health and well-being. Stress alleviation and reduction of mental fatigue are main instances of improvement of human health and well-being in contact with nature. Although the term restoration experience in contact with nature has been used repeatedly for concepts of stress alleviation and reduction of mental fatigue, these refer to different sets of theories and research studies. In this paper, by reviewing the nature-health related theories of Biophilia, Stress Recovery Theory, Attention Restoration Theory and Supportive Environment Theory (SET), the similarities and differences between these two concepts have been discussed. Moreover, the measurement approach instruments based on different study methodologies and aims are provided. This paper could provide information for future studies with focus on factors to be of benefit for restoration experience in design and planning of natural landscape environments with the aim of health and well-being development.

Single valued neutrosophic set has king power to express uncertainty characterized by indeterminacy, inconsistency and incompleteness. Most of the existing single valued neutrosophic cross entropy bears an asymmetrical behavior and produce an undefined phenomenon in some situations. In order to deal with these disadvantages, we propose a new cross entropy measure under single valued neutrosophic set (SVNS) environment namely SN- cross entropy and prove its basic properties. Also we define weighted SN-cross entropy measure and investigate its basic properties. We develop a new multi attribute group decision making (MAGDM) strategy for ranking of the alternatives based on the proposed weighted SN-cross entropy measure between each alternative and the ideal alternative. Finally, a numerical example of MAGDM problem of investment potential is solved to show the validity and efficiency of proposed decision making strategy. We also present comparative anslysis of the obtained result with the results obtained form the existing solution strategies in the solution.

Hash tables are widely used. They rely on good quality hash functions. Popular data structure libraries either provide no hash functions or weak hash functions for sets or maps, making it impossible or impractical to use them as keys in other tables. This article presents three algorithms for hashing a set, two of which are simple to implement, practically fast, and can be combined. The quality evaluations follow the method of [1, chapter 2]. The insight that we are looking for commutative semigroups suggests that even better methods than symmetric polynomials may be found.

Neutrosophic cubic set is the hybridization of the concept of neutrosophic set and interval neutrosophic set. Neutrosophic cubic set has the capacity to express the hybrid information of both the interval neutrosophic set and the single valued neutrosophic set simultaneously. As newly defined, little research on the operations and applications of neutrosophic cubic sets appear in the current literature. In the present paper we propose the score, accuracy functions for neutrosophic cubic sets and prove their basic properties. We firstly develop TODIM method to solve multi attribute group decision making in neutrosophic cubic set environment, which we call NC-TODIM. Also, we solve a MAGDM problem using the proposed NC-TODIM method to show the applicability and effectiveness of the developed method. We also conduct sensitivity analysis to show the impact of ranking order of the alternatives for different values of attenuation factor of losses for multi-attribute group decision making problem.

In this paper, firstly, some questionable formulas and conceptual oversights of previous reduced sigma set unscented transformation (UT) methods are revised through theoretical analysis. Then the revised UT methods based Kalman filters are used in a GPS/INS tightly-coupled system. The Kalman filter flows are the kind of square-root, since the square-root unscented Kalman filters (SRUKFs) can guarantee the stability of the system. By using the reduced sigma set SRUKFs (which contain simplex sigma set square-root unscented Kalman filter (S-SRUKF), spherical simplex sigma set square-root unscented Kalman filter (SS-SRUKF) and minimum sigma set square-root unscented Kalman filter (M-SRUKF)), the computation cost is greatly saved compared with the standard SRUKF, while the accuracy of the GPS/INS tightly-coupled system still maintained. The structure of the GPS/INS tightly-coupled system is in the form of error state, and the time updates of the state and the state covariance of SRUKFs are directly estimated without using UT, thus the computational time is also greatly saved. The pseudo-satellite is introduced to aid the system when the observation information is deficient, for example, when the GPS signal is deficient in the maneuver environment. By using the pseudo-satellite, the optimal performance of the system is guaranteed. Experiment of unmanned aerial vehicle (UAV) showed that the pseudo-satellite aided mechanism worked well.

Various factors and constraints should be considered when developing a manufacturing production schedule, and such a schedule is often based on rules. This paper develops a composite dispatching rule based on heuristic rules that comprehensively consider various factors in a semiconductor production line. The composite rule is obtained by exploring various states of a semiconductor production line (machine status, queue size, etc.), where such indicators as makespan and equipment efficiency are used to judge performance. A model of the response surface, as a function of key variables, is then developed to find the optimized parameters of a composite rule for various production states. Further, dynamic scheduling of semiconductor manufacturing is studied based on support vector regression (SVR). This approach dynamically obtains a composite dispatching rule (i.e. parameters of the composite dispatching rule) that can be used to optimize production performance according to real-time production line state. Following optimization, the proposed dynamic scheduling approach is tested in a real semiconductor production line to validate the effectiveness of the proposed composite rule set.

The influence and importance of research and development (R&D) for business sustainability have gained increasing interests, especially in the high-tech sector. However, the efforts of R&D might cause complex and mixed impacts on the financial results considering the associated expenses. Thus, this study aims to examine how R&D efforts may influence business to improve its financial performance considering the dual objectives: the gross and the net profitability. This research integrated a rough-set-based soft computing technique and multiple criteria decision-making (MCDM) methods to explore this complex and yet valuable issue. A group of public listed companies from Taiwan, all in the semiconductor sector, was analyzed as a case study. Initially, more than 30 variables were considered, and the adopted soft computing technique retrieved 14 core attributes—for the dual profitability objectives—to form the evaluation model. The importance of R&D for pursuing superior financial prospects is confirmed, and the empirical case demonstrates how to guide an individual company to plan for improvements to achieve its long-term sustainability by this hybrid approach.

We prove: (1) the set of all Diophantine equations which have at most finitely many solutions in non-negative integers is not recursively enumerable, (2) the set of all Diophantine equations which have at most finitely many solutions in positive integers is not recursively enumerable, (3) the set of all Diophantine equations which have at most finitely many integer solutions is not recursively enumerable, (4) analogous theorems hold for Diophantine equations D(x₁, …, x_p) = 0, where p ∈ N\{0} and for every i ∈ {1, …, p} the polynomial D(x₁, …, x_p) involves a monomial M with a non-zero coefficient such that x_i divides M, (5) the set of all Diophantine equations which have at most k variables (where k ≥ 9) and at most finitely many solutions in non-negative integers is not recursively enumerable.

This paper focuses on evaluating airline service quality from the perspective of passengers view. Until now a lot of researches has performed in airline service quality evaluation in the world but a little research has been conducted in Iran, yet. In this research a framework for measuring airline service quality in Iran is proposed. After reviewing airline service quality criteria, SSQAI model was selected because of its comprehensiveness in covering airline service quality dimensions. SSQAI questionnaire items were redesigned to adopt with Iranian airlines requirements and environmental circumstances in the Iran's economic and cultural context. This study includes fuzzy decision-making theory, considering the possible fuzzy subjective judgment of the evaluators during airline service quality evaluation. Fuzzy TOPSIS have been applied for ranking airlines service quality performances. Three major Iranian airlines which have the most passenger transfer volumes in domestic and foreign flights, were chosen for evaluation in this research. Results demonstrated Mahan airline has got the best service quality performance rank in gaining passengers' satisfaction with delivery of high quality services to its passengers, among the three major Iranian airlines. IranAir and Aseman airlines placed in the second and third rank, respectively, according to passenger's evaluation.Statistical analysis have been used in analyzing passenger responses. Due to abnormality of data, Non-parametric tests were applied. To demonstrate airline ranks in every criterion separately, Friedman test was performed. Variance analysis and Tukey test were applied to study the influence of increasing in age and educational level of passengers' on degree of their satisfaction from airline's service quality. Results showed that age has not significant relation with passenger satisfaction of airlines, however increasing in educational level demonstrated a negative impact on passengers' satisfaction from airline's service quality.

In modern mathematics, many concepts and ideas are described in terms of category theory. From this viewpoint, it is desirable to analyze what can be determined if, instead of the basic category of sets, we consider a similar category of fuzzy sets. In this paper, we describe a natural fuzzy analog of the category of sets and functions, and we show that, in this category, fuzzy relations (a natural fuzzy analogue of functions) can be determined in category terms -- of course, modulo 1-1 mapping of the corresponding universe of discourse and 1-1 re-scaling of fuzzy degrees.

Intuitionistic fuzzy set, which can be represented using the triangular intuitionistic fuzzy number (TIFN), is a more generalized platform for expressing imprecise, incomplete and inconsistent information when solving multi-criteria decision-making problems, as well as for reflecting the evaluation information exactly in different dimensions. In this paper, the TIFN has been applied for solving some multi-criteria decision-making problems by developing a new triangular intuitionistic fuzzy geometric aggregation operator, that is the generalized triangular intuitionistic fuzzy ordered weighted geometric averaging (GTIFOWGA) operator, and defining some triangular intuitionistic fuzzy geometric aggregation operators including the triangular intuitionistic fuzzy weighted geometric averaging (TIFWGA) operator, the ordered weighted geometric averaging (TIFOWGA) operator and the hybrid geometric averaging (TIFHWGA) operator. Based on these operators, a new approach for solving multicriteria decision-making problems when the weight information is fixed has been proposed. Finally, the proposed method has been compared with some similar existing computational approaches by virtue of a numerical example to verify its feasibility and rationality.

In this work, Further properties of bornological groups are studied to find the sufficient conditions to introduce a bornology on a group. In particular, we show that every left (right) translations in bornological groups are isomorphisms and therefore the bornological group's structures are homogeneous, and this property from the bornological group is not shared with bornological semigroups. Further, the boundedness of a bornological group can be deduced from its boundedness at the identity.

Inherent in every Active Magnetic Bearing (AMB) are differences between the expected geometric axes and the actual magnetic axes due to a combination of discrepancies, including physical variation from manufacturing tolerances and misalignment from mechanical assembly, fringing and leakage effects, as well as variations in magnetic material properties within a single AMB. A method is presented here for locating the magnetic axes of an AMB that will facilitate the accurate characterization of the bearing air gaps for potential improvement in field tuning, performance analyses and certain shaft force measurement techniques. This paper presents an extension of the application of the bias current perturbation method for the determination of the magnetic center [4] to the determination of magnetic axes for the further development of accurate current-based force measurement techniques [1].

Using insights from cybernetics and an information-based understanding of biological systems, a precise, scientifically inspired, definition of free-will is offered and the essential requirements for an agent to possess it in principle are set out. These are: a) there must be a self to self-determine; b) there must be a non-zero probability of more than one option being enacted; c) there must be an internal means of choosing among options (which is not merely random, since randomness is not a choice). For (a) to be fulfilled, the agent of self-determination must be organisationally closed (a `Kantian whole'). For (c) to be fulfilled: d) options must be generated from an internal model of the self which can calculate future states contingent on possible responses; e) choosing among these options requires their evaluation using an internally generated goal defined on an objective function representing the overall `master function' of the agent and f) for `deep free-will', at least two nested levels of choice and goal (d-e) must be enacted by the agent. The agent must also be able to enact its choice in physical reality. The only systems known to meet all these criteria are living organisms, not just humans, but a wide range of organisms. The main impediment to free-will in present-day artificial robots, is their lack of being a Kantian whole. Consciousness does not seem to be a requirement and the minimum complexity for a free-will system may be quite low and include relatively simple life-forms that are at least able to learn.

To understand the possibility of interaction between scientific experimenting and artistic drawing in the form of drawings made in notebooks, assumed is a common element, a spiritual property, and transference as a mechanism for causality. Scientists, scientific experiments and artistic drawings all have different merits. Here the concept ‘speaking out’ in its meaning of expressiveness is proposed to bridge these differences. Scientific action and artistic action cannot be compared directly. However, a common spiritual element will make the investigated object, experimental set-up and notebook drawings comparable in the sense of translations authorized by the physicist. They all then speak out from the same source. In this paper considered are recent drawings made by physicists during experimentation, in notebooks and diaries. Discussed is transferal causality between the physicist, the artistic drawing and all the relevant objects belonging to the experiment. Spiritual properties are introduced for the physicist being a person, and for the investigated object, the experimental set-up and the drawings as objects.

This paper examines the correlation between numbers of computer cores in parallel genetic algorithms. The objective to determine the linear polynomial complementary equation in order represent the relation between number of parallel processing and optimum solutions. Model this relation as optimization function (f(x)) which able to produce many simulation results. F(x) performance is outperform genetic algorithms. Compression results between genetic algorithm and optimization function is done. Also the optimization function give model to speed up genetic algorithm. Optimization function is a complementary transformation which maps a TSP given to linear without changing the roots of the polynomials.

SET protein carries out multiple functions including those for protein phosphatase 2A (PP2A) inhibition, histone modification, DNA repair and gene regulation. SET overexpression has been detected in brain neurons of Alzheimer's disease patients, follicle theca cells of Polycystic Ovary Syndrome (PCOS) patients, and ovarian cancer cells, indicating that SET may play a pathological role for these disorders. SET transcript 2, produced by a specific promoter, represents a major transcript variant in different cell types. In this study, we characterized the transcriptional activation of human SET transcript 2 promoter in HeLa cells. Promoter deletion experiments and co-transfection assays indicated that ZFX, the Zinc finger and X-linked transcription factor, was able to transactivate the SET promoter. A proximal promoter region containing four ZFX-binding sites was found to be critical for the ZFX-mediated transactivation. Mutagenesis study indicated that the site located closest to the transcription start site accounted for most of the ZFX-mediated transactivity. Manipulation of ZFX levels by overexpression or siRNA knockdown confirmed the significance and specificity of the ZFX-mediated SET promoter activation. Chromatin immunoprecipitation results verified the binding of ZFX to its cognate site in the SET promoter. These findings have led to identification of ZFX as an upstream factor regulating SET gene expression. More studies are required to define the in vivo significance of this mechanism, and specifically, its implication for several benign and malignant diseases related to SET dysregulation.