Forecasting future retail sales is one of the most important activities that form the basis for all strategic and planning decisions in effective operations of retail businesses as well as retail supply chains. This chapter illustrates how to best model and forecast retail sales time series that contain both trend and seasonal variations. The effectiveness of data preprocessing such as detrendi...

Electronic health records are designed to provide online transactional data recording and reporting services that support the health care process. The characteristics of clinical data as it originates during the process of clinical documentation, including issues of data availability and complex representation models can make data mining applications challenging. Data preprocessing and transfor...

There are many models that have been used to simulate the rainfall-runoff relationship. The artificial neural network (ANN) model was selected to investigate an approach of improving daily runoff forecasting accuracy in terms of data preprocessing. Singular spectrum analysis (SSA) as one data preprocessing technique was adopted to deal with the model inputs and the SSA-ANN model was developed. ...

Temporal Logic Model Checking is a verification method in which we describe a system, the model, and then we verify whether some properties, expressed in a temporal logic formula, hold in the system. It has many industrial applications. In order to improve performance, some tools allow preprocessing of the model, verifying on-line a set of properties reusing the same compiled model; we prove th...

Abstract The increasing number of functions in modern vehicle leads to an exponential increase software complexity. validity and reliability all components must be ensured, making the use appropriate diagnostics systems indispensable. purpose such is collect process data about vehicle. To find issues during development, OEMs will usually have a development fleet thousands vehicles. challenge fo...