In the case of two generation neutrinos, the energy-scale dependence of the leptonflavor mixing matrix with Majorana phase can be governed by only one parameter r, which is the ratio between the diagonal elements of neutrino mass matrix. By using this parameter r, we derive the analytic solutions to the renormalization group equations of the physical parameters, which are the mixing angle, Majo...

Generation expansion planning is a challenging problem due to its large-scale, long-term, non-linear, and discrete nature of generation unit size. Since the computation revolution, there are several emerging techniques proposed to solve large scale optimization problem. Many of these techniques have been reported to use in generation expansion planning. This paper will describe these emerging o...

This chapter aims at building a system to aid, and in certain cases, perform the work of the project analysts. It deals with providing an ontology based web service to analyze each project, product or service, based on the factors, relationships and constraints that constitute the respective project, product or service. Its main goal is to provide project analysts with a web service to aid them...

A well-known theorem of Frame, Robinson, and, Thrall states that if h is a partition of n, then the number of Standard Young Tableaux of shape h is n! divided by the product of the hook-lengths. We give a new combinatorial proof of this formula by exhibiting a bijection between the set of unsorted Young Tableaux of shape A, and the set of pairs (T, S), where T is a Standard Young Tableau of sha...

A powerful extension of the tableau method is described. It consists in a new simpliication rule allowing to prune the search space and a new way of extracting a model from a given (possibly innnite) branch. These features are combined with a former method for simultaneous search for refutations and models. The possibilities of the new method w.r.t. the original one are clearly stated. In parti...

The structure of analytic signals is investigated by means of the relation between analytic signals and functions in the Hardy space. It is shown that an analytic signal is made up of two parts, one depends on the amplitude of the signal and another on the boundary value of an inner function. Based on this result, properties of the instantaneous frequencies of these two parts are studied, and i...

In [1] we studied a mixed-integer set arising from two rows of a simplex tableau. We showed that facets of such a set can be obtained from lattice point free triangles and quadrilaterals associated with either three or four variables. In this paper we generalize our findings and show that, when upper bounds on the non-basic variables are also considered, further classes of facets arise that can...