INTRODUCTION This article is part of the Focus Theme of Methods of Information in Medicine on "Big Data and Analytics in Healthcare". BACKGROUND Depression is a common and often undiagnosed condition for patients with diabetes. It is also a condition that significantly impacts healthcare outcomes, use, and cost as well as elevating suicide risk. Therefore, a model to predict depression among ...

The Mao-Kung Ting is one of the most precious artifacts in the National Palace Museum. Having five-hundred-character inscription cast inside, the Mao-Kung Ting is regarded as a very important historical document, dating back to 800 B.C.. Motivated by revealing the great nature of the artifact and interpreting it into a meaningful narrative, we have proposed an innovative Virtual Exhibition Syst...

Practical Experience has shown that the agglomeration and successful rate of the entrepreneurial activity in the industrial clusters was much higher than non-industrial clusters, the aim of this paper is to contribute to a greater understanding of the process about how the industrial cluster promote the entrepreneurial activities functioning as the incubator of the entrepreneurs and enterprises...

Model checking is an automatic verification technique for finite state concurrent systems such as sequential circuit designs and communication protocols. Specifications are expressed in propositional temporal logic. An exhaustive search of the global state transition graph or system model is used to determine if the specification is true or not. If the specification is not satisfied, a countere...

We consider a multi-type Moran model (in continuous time) with selection and typedependent mutation. This paper is concerned with the evolution of genealogical information forward in time. For this purpose we define and analytically characterize a pathvalued Markov process that contains in its state at time t the extended ancestral lines (adding genealogical distances) of the population alive a...

Due to the nature of the geological and mining activities, different input parameters in the grade estimation and mineral resource evaluation are always tainted with uncertainties. It is possible to investigate the uncertainties related to the measurements and parameters of the variogram model using the fuzzy kriging method instead of the kriging method. The fuzzy kriging theory has already bee...

A temperature prediction method of Insulated Gate Bipolar Transistor (IGBT) module based on autoregressive moving average model is proposed. Historical and current temperature datum of IGBT module is indispensable to the ARMA method, temperature time series is obtained by uniform sampling, and autoregressive (AR) model is constructed. Temperature time series prediction of IGBT module is realize...