نتایج جستجو برای: migration verify
تعداد نتایج: 203492 فیلتر نتایج به سال:
Good tools can bring mechanical verification to programs written in mainstream functional languages. We use hs-to-coq to translate significant portions of Haskell’s containers library into Coq, and verify it against specifications that we derive from a variety of sources including type class laws, the library’s test suite, and interfaces from Coq’s standard library. Our work shows that it is fe...
What determines the choice of a production technology within a country? While there could be many factors, the e¢ ciency of the countrys nancial system may play a signi cant role. To address this question, a dynamic contract model is embedded into a general equilibrium setting with competitive intermediation. The ability of an intermediary to monitor the activity of a rm plays an important r...
Virtualization provides a vehicle to manage the available resources and enhance their utilization in network computing. System dynamics requires virtual machines be distributed and reconfigurable. To construct reconfigurable distributed virtual machines, service migration moves the runtime services among physical servers when necessary. By incorporating the mobile agent technology, distributed ...
PM2.5 promotes human bronchial smooth muscle cell migration via the sonic hedgehog signaling pathway
BACKGROUND The contribution of airway remodeling in chronic obstructive pulmonary disease (COPD) has been well documented, with airway smooth muscle cell proliferation and migration playing a role in the remodeling process. Here, we aimed to verify the effects of fine particulate matter (PM2.5) on human bronchial smooth muscle cell (HBSMC) migration and to explore the underlying signaling pathw...
migration and quality of redistribution of population across country is one of the main factors that planners take into account to control population and guide its movements to economic poles. scientific recognition of migration phenomenon is important for managing and policy making in the country. these movements change migration pattern, in a way that along with increase in population and the...
This paper presents a pseudo parallel ant algorithm in the continuous domain. The solution vector of the optimized problem is divided into two independent sub-vectors. The proposed algorithm comprises two cooperative colonies, each of which contains tunable and untunable sub-vectors. The colonies optimize their own tunable sub-vectors while their untunable sub-vectors remain unchanged before mi...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید