LOTOS is a speciication language, but it is not very useful without a design methodology that describes the process from initial speciication construction to implementation. In this paper we discuss the tools to support such a design process. The language, method and tools are beginning to be used in realistic applications, but the research on them continues. This paper concentrates on the curr...

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

Knowledge base (KB) refinement is a suitable technique to support expert system (ES) validation. When used for validation, KB refinement should be guided not only by the number of errors to solve but also by the importance of those errors. Most serious errors should be solved first, even causing other errors of lower importance but assuring a neat validity gain. These are the bases for IMPROVER...

‎we consider nonconvex vector optimization problems with variable ordering structures in banach spaces‎. ‎under certain boundedness and continuity properties we present necessary conditions for approximate solutions of these problems‎. ‎using a generic approach to subdifferentials we derive necessary conditions for approximate minimizers and approximately minimal solutions of vector optimizatio...

OBJECTIVE We sought to determine the frequency and type of decision support alerts by location and ordering provider role during Computerized Provider Order Entry (CPOE) medication ordering. Using these data we adjusted the decision support tools to reduce the number of alerts. DESIGN Retrospective analyses were performed of dose range checks (DRC), drug-drug interaction and drug-allergy aler...