Adaptive base stock policy is a well-known tool for managing inventories in non-stationary demand environments. This paper presents empirical tests of this policy using aggregate, firmlevel data. First, we extend a single-item adaptive base stock policy in previous literature to a multi-item case. Second, we transform the policy derived for the multi-item case to a regression model that relates...

This thesis studies decidable fragments of first-order logic which are relevant to the field of nonclassical logic and knowledge representation. We show that refinements of resolution based on suitable liftable orderings provide decision procedures for the subclasses E+, K, and DK of firstorder logic. By the use of semantics-based translation methods we can embed the description logic ALB and e...

The paper presents a tableau calculus for a linear time tem poral logic for reasoning about processes and events in concurrent sys tems The logic is based on temporal connectives in the style of Transac tion Logic BK and explicit quanti cation over states The language extends rst order logic with sequential and parallel conjunction parallel disjunction and temporal implication Explicit quanti c...

A theoretical model is developed for n–p–n mid-infrared transistor lasers (TLs) with a strain-balanced Ge0.85Sn0.15 multiple quantum well (MQW) structure in their base. The variation of the optical confinement factor, modal gain, and threshold current density rigorously investigated different numbers (N) QWs MQW structure. results show that overall factor gain increase N. frequency response MQW...

human adipose tissue represents an abundant, practical and appealing source of donor tissue for autologous cell replacement. recent findings have shown that stem cells within the stromalvascular fraction of adipose tissue display a multilineage developmental potential. adipose tissue-derived stem cells can be differentiated towards adipogenic, osteogenic, chondrogenic,myogenic and neurogenic li...

Generally ordering policies are done by two methods, including fix order quantity (FOQ) and fix order period (FOP). These methods are static and either the quantity of ordering or the procedure of ordering is fixing in throughout time horizon. In real environments, demand is varying in any period and may be considered as uncertainty. When demand is variable in any period, the traditional and st...

We use imperatives to refute a näıve analysis of update potentials (force-operators attaching to sentences), arguing for a dynamic analysis of imperative force as restrictable, directed, and embeddable. We propose a dynamic, non-modal analysis of conditional imperatives, as a counterpoint to static, modal analyses (e.g., Schwager [16]). Our analysis retains Kratzer’s [8] analysis of if-clauses ...

In this research, the modal parameters of a beam in free-free condition are extracted by performing different experiments in laboratory. For this purpose, two different techniques are employed. The first methodology is considered as a time domain method in Operational Modal Analysis. While the other one is frequency domain impact hammer test which is categorized as an Experimental Modal Analysi...

In this paper a multi-modal approach is presented and validated on real data to estimate the brain neuronal sources based on EEG and fMRI. Combining these two modalities can lead to source estimations with high spatio-temporal resolution. The joint method is based on the idea of linear model already presented in the literature where each of the data modalities are first modeled linearly based o...