Cell formation (CF) is a crucial aspect in the design of cellular manufacturing (CM) systems.This paper develops a comprehensive mathematical programmingmodel for the cell formation problem, where product demands, cell size limits, sequence of operations, multiple units of identical machines, machine capacity, or machine cost are all considered. In this model, the intercell moves are restricted...

â  abstract: in this work, the kinetics of ethane hydrate formation has been studied experimentally and a kinetic model based on chemical affinity has been described for predicting the hydrate growth process in the stirred batch reactor at a constant volume. the experiments were done with both pure water and aqueous solution of sodium dodecyl sulfate (sds). the effect of sds on formation kineti...

There is little information on the humoral response of sheep experimentally infected with Echinococcus granulosus. Thus, the objective of this study was to evaluate this response and measure its evolution. Doses of 10, 100, 1000 and 10000 E. granulosus eggs were prepared and inoculated via intraruminal puncture. Blood samples were obtained before inoculation and every 48 h after inoculation, un...

BACKGROUND Development of influenza vaccines that do not use embryonated eggs as the substrate for vaccine production is a high priority. We conducted this study to determine the protective efficacy a recombinant, baculovirus-expressed seasonal trivalent influenza virus hemagglutinin (rHA0) vaccine (FluBlok(®)). METHODS Healthy adult subjects at 24 centers across the US were randomly assigned...

Dear Reader, This is the second issue of the MoVES newsletter. MoVES stands for “Modelling, Verification and Evolution of Software” and addresses these fundamental issues in software engineering. The project is sponsored by the Belgian government (belspo IAP programme). Each issue of the newsletter presents a partner and a work package. This issue presents results and ongoing research ofWork Pa...

Since Kronecker Product Graph Model (KPGM) was introduced, it has been widely used to model real networks. The characteristics of the model specially its single fractal structure have made KPGM one of the most important algorithm of the last years. However, the utilization of a single fractal structure decreases the potential of KPGM by limiting the graph space covered by the model. In this pap...

    Dynamic model,   regional economy,   innovation.   This paper presents a normative balance mathematical model of regional economy that contains a lot of unspecified parameters which are not defined directly by the data of economic statistics. A method for estimation of the model parameters by application of parallel computations on multi-processors systems is presented. It is determined the...

We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. This logic contains operators for knowledge, but also for the informational consequences of public announcements. The logic is interpreted on multi-agent Kripke models. The information in the riddle can be represented in the traditional way ...