We address a sequential decision problem that arises in the computation of symmetric Boolean functions of distributed data. We consider a collocated network, where each node’s transmissions can be heard by every other node. Each node has a Boolean measurement and we wish to compute a given Boolean function of these measurements. We suppose that the measurements are independent and Bernoulli dis...

background: the purpose of this study was to evaluate nodal irradiation with conventional three-field's technique. materials and methods: fifty patients with breast cancer were enrolled in this study. computed tomography scans in the supine treatment position were imported into a treatment planning system. levels i-iii axillary and supraclavicular nodes were identified and their depths to ...

In this paper we give the deenition of a solution concept in multicri-teria combinatorial optimization. We show how Pareto, max-ordering and lexicographically optimal solutions can be incorporated in this framework. Furthermore we state some properties of lexicographic max-ordering solutions , which combine features of these three kinds of optimal solutions. Two of these properties, which are d...

Distributed automata-based LTL model-checking relies on algorithms for finding accepting cycles in a Büchi automaton. The approach to distributed accepting cycle detection as presented in [9] is based on maximal accepting predecessors. The ordering of accepting states (hence the maximality) is one of the main factors affecting the overall complexity of model-checking as an imperfect ordering ca...

Background: This study assessed the optimal timing of computed tomography for detection of metastatic disease in locoregional lymph nodes in patients with rectal cancer who have undergone chemoradiotherapy. Materials and Methods: This observational retrospective study was performed in a single institution. All patients with locally advanced rectal cancer treated with chemoradiotherapy, followed...

In this paper, the classical economic production quantity (EPQ) model is developed for non-instantaneous deteriorating items by considering a relationship between the holding cost and the ordering cycle length. Two models are developed. First, the proposed model is considered when backorders are not permitted and this condition is waived for the second case. The cost functions associated with t...