نتایج جستجو برای: local branching algorithm

تعداد نتایج: 1252980  

Journal: :journal of optimization in industrial engineering 2012
ragheb rahmaniani abdosalam ghaderi mohammad saidi mehrabad

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...

2005
Samy Abbes Albert Benveniste

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...

1999
DONALD A. DAWSON Donald A. Dawson Klaus Fleischmann

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...

2016
Jan Friso Groote Anton Wijs

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...

2013
Dagmar Iber Denis Menshykau

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...

2004
Massimiliano Vasile

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...

2010
M. V. Simkin V. P. Roychowdhury

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...

2008
Noga Alon Fedor V. Fomin Gregory Gutin Michael Krivelevich Saket Saurabh

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) −...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید