نتایج جستجو برای: local branching algorithm
تعداد نتایج: 1252980 فیلتر نتایج به سال:
in this study, we discuss the capacitated facility location-allocation problem with uncertain parameters in which the uncertainty is characterized by given finite numbers of scenarios. in this model, the objective function minimizes the total expected costs of transportation and opening facilities subject to the robustness constraint. to tackle the problem efficiently and effectively, an effici...
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously introduced for nets. This new object is defined for event structures, it is called a branching cell. Our aim is to bring an interpretation of branching cells as a right notion of “local state”, for concurrent systems. W...
In this paper we present an overview of recent work on lattice and measure-valued models of catalytic reactions and in particular catalytic branching systems. The main phenomena exhibited by nearly critical branching systems are dimension-dependent clumping in small and large space and time scales. Special emphasis is given to the e ects which occur when the catalyst is highly clumped and in pa...
Mucormycosis is a rare but highly invasive opportunistic fungal infection. Gastrointestinal disease although uncommon is highly fatal. We report a case of jejunal mucormycosis in a 24 year old undernourished female with preceding surgical intervention for acute intestinal obstruction of tubercular etiology. On 8th post-operative day, she developed oozing from suture line, prompting e...
We provide a new algorithm to determine stuttering equivalence with time complexity O(m logn), where n is the number of states and m is the number of transitions of a Kripke structure. This algorithm can also be used to determine branching bisimulation in O(m(log |Act |+ logn)) time where Act is the set of actions in a labelled transition system. Theoretically, our algorithm substantially impro...
Many organs of higher organisms are heavily branched structures and arise by an apparently similar process of branching morphogenesis. Yet the regulatory components and local interactions that have been identified differ greatly in these organs. It is an open question whether the regulatory processes work according to a common principle and how far physical and geometrical constraints determine...
In this paper a combination of Evolution Programming and Branching is used to solve some typical problems in space trajectory design: finding a number of possible minimum cost transfers, including the global one, between two celestial bodies. The idea is to use a limited population evolving for a small number of generations, according to some specific evolution rules, in subregions of the solut...
Recently Osorio et al [1] reported that probability distribution of epileptic seizure energies and inter-seizure intervals follow a power law with exponents 1.67 and 1.5 respectively. Earlier Beggs and Plenz [2] had observed spontaneous neuronal avalanches in neocortical tissues. The distribution of sizes of these avalanches, computed by summing local field potentials, followed a power law with...
The Directed Maximum Leaf Out-Branching problem is to find an out-branching (i.e. a rooted oriented spanning tree) in a given digraph with the maximum number of leaves. In this paper, we obtain two combinatorial results on the number of leaves in out-branchings. We show that – every strongly connected n-vertex digraph D with minimum indegree at least 3 has an out-branching with at least (n/4) −...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید