The purpose of this pape take care in both observab is uncertain. Much of the problem; the take-home unobservable care, then jo true even when penalty m expected liability costs. In

The Bio-Rad Geenius HIV 1/2 assay was evaluated as an alternative to the INNO-LIA HIV 1/2 assay for the confirmation of HIV infection in 198 serum samples reactive to 4th-generation HIV enzyme immunoassays (EIAs). The Geenius assay correctly identified 85% of the samples, compared to 75% identified by the INNO-LIA assay, reduced the number of indeterminate results, and shortened the overall tur...

Department of Computer Science, National Tsing Hua University, No. 101, Section 2, Kuang-Fu Road, Hsinchu City 30013, Taiwan Department of Computer Science and Information Engineering, Chang Gung University, No. 259, Sanmin Rd., Guishan Township, Taoyuan City 33302, Taiwan Department of Computer Science and Communication Engineering, Providence University, No. 200, Sec. 7, Taiwan Boulevard, Sha...

Many applications of automated deduction require reasoning modulo some form of integer arithmetic. Unfortunately, theory reasoning support for the integers in current theorem provers is sometimes too weak for practical purposes. In this paper we propose a novel calculus for a large fragment of first-order logic modulo Linear Integer Arithmetic (LIA) that overcomes several limitations of existin...

ASOCS (Adaptive Self-Organizing Concurrent Systems) are a class of connectionist computational models which feature self-organized learn-ing and parallel execution. One area of ASOCS research is the development of an efficient implementation of ASOCS using current technology. A result of this research is the Location-Independent ASOCS model (LIA). LIA uses a parallel, asynchronous network of in...

Intelligent e-learning systems have revolutionized online education by providing individualized and personalized instruction for each learner. Nevertheless, till now very few systems were able to leave academic labs and be integrated in real commercial products. One of these few exceptions is the Learning Intelligent Advisor (LIA) described in this paper, built on results coming from several re...

The Pearl River Delta, one of the main regions of China’s export-oriented economy, has benefited from its traditional economic structure for three decades which in turn appeared to hinder further economic development recently. To advance industrial restructuring and upgrading, the governments have promulgated policies and appropriated special funds to optimize the industrial structure of the Pe...

Determining the link between permafrost and displacement rates of large unstable rock-slopes (LURSs) is fundamental for understanding future hazard scenarios establishing appropriate management strategies. From an inventory >500 LURSs in Norway, we investigate controls those with available information on their (299 LURSs), presenting first statistical evidence as main driver LURSs. The probabil...