When managing a computing system, it is better to predict problems before they occur, rather than just observing them when they occur. Our research develops self-interested agents designed for the prediction of resource usages, that is, assessing the likelihood of upcoming demands by users on the limited resources and detecting potential problems from the observations of human-computer interact...

Results Treatmenteffectsweremodest butthe CBT condition gave significantly greater improvement in overall symptom severity thanthe SPTorTAUconditions combined (F (1,53)1⁄44.14; P1⁄40.05).Both the CBTand SPT conditions combined gave significantlygreater improvement in severityof delusions than did theTAU condition (F (1,53)1⁄44.83;P1⁄40.03). Clinically significant improvementswere achievedby 7/2...

We formalize a mathematical approach to probabilistic logic for zero-order logic and derive new inequalities that are necessary and sufficient for consistent probability assignments to propositions. We prove that a complete theory of probabilistic logic requires the a priori assignment of probabilities for a system with k basic propositions. We also show that a proposal due to Cheeseman, namely...

A set of operat ions for construct ing a lgebra ic specif icat ions in an arbi t rary logical system is presented. This builds on the f ramework provided by Goguen and Burstal l 's work on the not ion of an inst i tut ion as a formal isat ion of the concept of a logical system for wri t ing specif icat ions. We show how to introduce free variables into the sentences of an arbi t rary institutio...

Constructing a knowledge based system requires the identification of the conceptual primitives and problem-solving strategy that will permit capturing the expertise in an adapted way. This paper presents an approach to support the elaboration of such a conceptual model by data-abstraction. Our work is motivated by the objective of constructing models that correspond to how experts solve problem...

This paper presents the outline and performance of an automatic syllable boundary detection system. The syllabification of phonemes is performed with a rule-based system, implemented in a Java program. Phonemes are categorized into 6 classes and specific rules are developed to deal with a French spontaneous speech corpus. Moreover, the proposed phonemes, classes and rules are listed in an exter...

BACKGROUND The incidence of non-intercepted prescription errors and the risk factors involved, including the impact of computerised order entry (CPOE) systems on such errors, are unknown. Our objective was to determine the incidence, type, severity, and related risk factors of non-intercepted prescription dose errors. PATIENTS AND METHODS A prospective, comparative cohort study in two clinica...

The notion of a “hierarchy of sciences”, in which academic fields can be ordered from “hard” to “soft”, is an old one. However, efforts to develop a measure of hardness of a field—the field’s level of paradigm development—to date have not been highly successful. Here I explore the possibility of using a text-based similarity measure to quantify the extent of consensus in a field, which is theor...

The problem of determining exemplary lecturers is included in the multi-criteria decision making because assessment can be based on predetermined criteria. Consequently, an important aspect improving quality education institution. In order for final outcomes to objective and examine various values each criterion characteristic, decision-making processes are obviously required. goal this study p...