نتایج جستجو برای: migration verify
تعداد نتایج: 203492 فیلتر نتایج به سال:
Biogeography-based optimization (BBO) is a new evolutionary algorithm inspired by biogeography, which involves the study of the migration of biological species between habitats. Previous work has shown that various migration models of BBO result in significant changes in performance. Sinusoidal migration models have been shown to provide the best performance so far. Motivated by biogeography th...
results migration of cells started on the fifth day. as a result of this migration, most cells were located on the surface of the scaffold and formed epiderm-like structure and some penetrated into the scaffold. by day 25, cells which had penetrated into the scaffold had various destinies such as becoming elongated spindle-shaped cells and creating blood vessel-like structures. conclusions adm ...
Although the research support for Cloud Computing (CC) is still developing, the concept of this paper has provided comprehensive frameworks for a successful migration to cloud computing (SMCC) in telecommunication industry in Iran. Using an academic orientation, the conceptual research is focusing on the determinants of a successful migration from legacy to cloud computing. The study attempts t...
Given a program and a speci cation, you may want to verify mechanically and e ciently that this program satis es the speci cation. Software veri cation techniques typically involve theorem proving. If a formal speci cation is easily available, consumption of computational resources is a major issue. Meanwhile, we shall not overlook the psychological factors. Often, you need extra expertise to v...
In this paper we formulate a system of partial diierential equations that models the contamination of groundwater due to migration of dissolved contaminants through unsaturated to saturated zone. A closed form solution using singular perturbation techniques for the water ow and solute transport equations in the unsaturated zone is given. Indeed, the solution can be used as a tools to verify the...
Purpose: To delve into the related molecular mechanism of suppressor cytokine signaling 4 (SOCS4) on cervical cancer cell proliferation and migration. Methods: Quantitative real-time polymerase chain reaction western blot assays were employed to examine SOCS4 mRNA or protein expression in four human line (HeLa, SW-732, AV3, CaSki) normal epithelium immortalized (H8) MTT viability applied verify...
An approach to detect and image multiple damages in a platelike structure is presented. A structural health monitoring system (SHMS) with a linear array of actuators/sensors is proposed. The integrated actuators/sensors are used to activate/receive lowest-order antisymmetric A0 mode Lamb waves. A migration technique used in geophysical exploration and seismic prospecting is adopted to interpret...
Robust SLAM in large-scale environments requires fault resilience and awareness at multiple stages, from sensing odometry estimation to loop closure. In this work, we present TBV (Trust But Verify) Radar SLAM, a method for radar that introspectively verifies closure candidates. achieves high correct-loop-retrieval rate by combining place-recognition techniques: tightly coupled place similarity ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید