This short description is written for the Ms.PacMan competition in WCCI, held in Hong-Kong. First, instructions, i.e., how to run our implementation, are described. Next, our method is briefly mentioned: the proposed method employs fuzzy logic and the evolution of their fuzzy rule parameters.

Design-to-time scheduling problems are real-time problems where multiple methods are available for many subproblems. This paper briefly summarizes recent work empirically investigating the design-totime search space. The effects of several parameters on the difficulty of the scheduling are mentioned and discussed.

In this paper, modeling and simulation of the solar photo-voltaic (PV) power generator is observed using Matlab-Simulink environment. The study the fore-mentioned photovoltaic systems in an efficient manner the knowledge of I-V and P-V characteristics is a prerequisite. Effect of environmental parameters of temperature and irradiance variations could also be observed from simulated characterist...

the accuracy of stereolithography (sl) product is very essential for meeting the intended functional applications. the parameters like layer thickness, hatch spacing, hatch overcure contribute significantly to the accuracy of the sl parts. in this paper an attempt has been made to identify the process parameters that influences on the accuracy of the parts made with ciba tool 5530 and optimize ...

The non-clock model is the standard model used in phylogenetic inference. As mentioned in one of the previous lectures, it can be considered as a branch-breaking model which allows the evolutionary rate to be different for each branch in the tree. Because of this, the non-clock tree model has a large number of free parameters, one for each branch in the tree. If there are n tips in the tree, th...

Protocol analysis involve several parameters in model specification, for instance, transmission delay or the length of the transmitting window. Verification of the model with parameters is semi-decision process that depends on number of clocks, parameters and counters in the model. Using combination of different verification tools for timed models as HyTech, TReX and Uppaal we are able to find ...

Abstract. MAP estimators and HPD credible sets are often criticized in the literature because of paradoxical behaviour due to a lack of invariance under reparametrization. In this paper, we propose a new version of MAP estimators and HPD credible sets that avoid this undesirable feature. Moreover, in the special case of non-informative prior, the new MAP estimators coincide with the invariant f...

Prediction accuracy of pharmacokinetic parameters is often assessed using prediction fold error, i.e., being within 2-, 3-, or n-fold of observed values. However, published studies disagree on which fold error represents an accurate prediction. In addition, "observed data" from only one clinical study are often used as the gold standard for in vitro to in vivo extrapolation (IVIVE) studies, des...