Biogeography-based optimization (BBO) algorithm is based on species migration between habitats to complete information circulation and sharing, which achieves the global optimization by improving the adaptability of habitats. In this paper, the basic migration balance model of biogeography theory is elaborated. Based on the population adaptive migration mechanism of BBO algorithm, the algorithm...

Automated theorem provers are used in extended static checking, where they are the performance bottleneck. Extended static checkers are run typically after incremental changes to the code. We propose to exploit this usage pattern to improve performance. We present two approaches of how to do so and a full solution.

In this paper we report on a numerical method to include Marangoni forces into a finitevolume solver for multi-phase flows. Our work is motivated by the question of whether thermal fluctuations typically found in combustion applications can impact the atomization of fuel drops due to variations in surface tension. To verify and validate our proposed method, we compare our results to theoretical...

The Internet Protocol Version 6 (IPv6) has achieve popularity with organizations, companies and ISPs (Internet service providers) because of its enhancements over IPv4 like (Ipv4 32bit compared to IPV6 (128 bit). During migration from IPv4 to IPv6, one should keep in mind about interruptions of service. In this paper, three mechanisms can be use to provide a smooth migration process. Optimized ...

Z 2 in the limit L→∞, and study the time it takes two lineages tracing backward in time to coalesce. Our work fills a gap between the finite range migration case of [Ann. Appl. Probab. 15 (2005) 671–699] and the long range case of [Genetics 172 (2006) 701–708], where the migration range is a positive fraction of L. We obtain limit theorems for the intermediate case, and verify a conjecture in [...

"We take advantage of a large panel data base covering most Norwegian municipalities during seven years to examine the relationship between local public services and migration to and from municipalities for different age groups. The main innovation of the paper is that we use a survey data set to verify that the input measures employed as explanatory variables in the migration study actually ar...

The recent progress in bioengineering has created great interest in the dynamics and manipulation of long, deformable macromolecules interacting with fluid flow. We report experimental data on the cross-flow migration, bending, and buckling of extremely deformable hydrogel nanofilaments conveyed by an oscillatory flow into a microchannel. The changes in migration velocity and filament orientati...

Hepatocellular carcinoma (HCC) is one of the most malignant types of tumor worldwide with a high rate of mortality. Diosmetin (DIOS) exhibits various activities, including anticancer activities. However, the role of DIOS in the metastasis of HCC, and its underlying molecular mechanism, remain to be fully elucidated. In the present study, the antimetastatic effects of DIOS were investigated in S...