We examine the influence of heterogeneous curing rates for a SIS model, used for malware spreading on the Internet, information dissemination in unreliable networks, and propagation of failures in networks. The topology structures considered are the regular graph which represents the homogenous network structures and the complete bi-partite graph which represents the hierarchical network struct...

In this paper, we address the problem of determining optimal hyper-parameters for support vector machines (SVMs). The standard way for solving the model selection problem is to use grid search. Grid search constitutes an exhaustive search over a pre-defined discretized set of possible parameter values and evaluating the cross-validation error until the best is found. We developed a bi-level opt...

the bubble effectiveness in liquid phase cylohexane non-catalytic oxidation process is discussed in this paper. then the bubble effectiveness and a new proposed kinetic model are used in the mathematical model of the industrial reactor for the cyclohexane non-catalytic oxidation process. furthermore, simulation and optimization based on this reactor model are carried out. the results of simulat...

We examine the influence of heterogeneous curing rates for a SIS model, used for malware spreading on the Internet, information dissemination in unreliable networks, and propagation of failures in networks. The topology structures considered are the regular graph which represents the homogenous network structures and the complete bi-partite graph which represents the hierarchical network struct...

In Pareto bi-objective integer optimization the optimal result corresponds to a set of nondominated solutions. We propose a generic bi-objective branch-and-bound algorithm that uses a problem-independent branching rule exploiting available integer solutions, and cutting plane generation taking advantage of integer objective values. The developed algorithm is applied to the bi-objective team ori...

The substitutional doping approach has been shown to be an effective strategy to improve ZT of Bi₂Te₃-based thermoelectric raw materials. We herein report the Fe-doping effects on electronic and thermal transport properties of polycrystalline bulks of p-type Bi0.48Sb1.52Te₃. After a small amount of Fe-doping on Bi/Sb-sites, the power factor could be enhanced due to the optimization of carrier c...

The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed methods work for the class of programs in which the functions that update the variables are mutually commutative. A number of bi-simulation relations are presented for such systems. Explicit state model checking methods that employ on...

With the I-type plastic extrusion die for example, the advantages and disadvantages between the traditional design method and optimization design method were compared. The design was studied via finite element numeric analysis combined with optimization, whose objective was the equal average flow velocity of each sub-field of profile cross section at extrusion die. And the optimization design w...

A so-called Standard Bi-Quadratic Optimization Problem (StBQP) consists in minimizing a bi-quadratic form over the Cartesian product of two simplices (so this is different from a Bi-Standard QP where a quadratic function is minimized over the same set). An application example arises in portfolio selection. In this paper we present a bi-quartic formulation of StBQP, in order to get rid of the si...