An intention of MapReduce Sets for External Source Output expressions analysis has to suggest criteria how External Source Output expressions in External Source Output data can be defined in a meaningful way and how they should be compared. Similitude based MapReduce Sets for External Source Output Expression Analysis and MapReduce Sets for Assignment is expected to adhere to fundamental princi...

Using parametric and nonparametric procedures, we identify the apparent source of cost inefficiency in banking. Unexplained inefficiencies of 20 to 25% from earlier studies are reduced to 1 to 5% when, in addition to commonly specified cost function influences, variables reflecting the external business environment and common industry indicators of "productivity" are added. While these same pro...

National energy planning has become increasingly complex owing to a pressing need to incorporate sustainability considerations. In this context, we applied least-cost and cost-risk optimization models to allocate energy sources for sustainable development in the Korean electric power generation industry. The least-cost model determined an electricity generation mix from 2012 to 2030 that incurs...

In environments where GNSS is unavailable or not useful for positioning, the use of low cost MEMS-based inertial sensors has paved a way to a more cost effective solution. Of particular interest is a foot mounted pedestrian navigation system, where zero velocity updates (ZUPT) are used with the standard strapdown navigation algorithm in a Kalman filter to restrict the error growth of the low co...

BACKGROUND Measures of mechanical work may be useful in evaluating efficiency of walking during pregnancy. Various adaptations in the body during pregnancy lead to altered gait, consequently contributing to the total energy cost of walking. Measures of metabolic energy expenditure may not be reliable for measuring energetic cost of gait during pregnancy as pregnancy results in numerous metaboli...

We extend LDL to allow programs to call external procedures and vice versa. This extension allows the mod-ularization of LDL, since external predicates are equivalent to external procedures written in LDL. External predicates are viewed as innnite relations so that the traditional semantics of logic programs remain applicable. To avoid computing innnite relations, well-formedness conditions for...

We extend LDl to allow programs to call external procedures and vice versa. This extension allows the modularization of L Dl, since external predicates are equivalent to external procedures written in L3 DL. External predicates are viewed as infinite relations so that the traditional semantics of logic programs remain ap plicable. To avoid computing infinite relations, wellformedness conditions...

The purpose of this study was to assess the validity of the CDC-RTI Diabetes CostEffectiveness Model by comparing rates of diabetes incidence and complications to existing published results. We performed 47 internal and external validation exercises comparing the model-simulated outcomes with the outcomes from 24 published trials. To simulate the outcomes for each published study, we input a co...

We extend LDL to allow programs to call external procedures and vice versa. This extension allows the modularization of LDL, since external predicates are equivalent to external procedures written in LDL. External predicates are viewed as infinite relations so that the traditional semantics of logic programs remain applicable. To avoid computing infinite relations, wellformedness conditions for...

this paper proposes a hybrid control scheme for the synchronization of two chaotic duffing oscillator system, subject to uncertainties and external disturbances. the novelty of this scheme is that the linear quadratic regulation (lqr) control, sliding mode (sm) control and gaussian radial basis function neural network (grbfnn) control are combined to chaos synchronization with respect to extern...