A probability distribution can be given to the set of isomorphism classes of models with universe {1, . . . , n} of a sentence in rst-order logic. We study the entropy of this distribution and derive a result from the 0-1 law for rst-order sentences.

We describe the strategies used to engage organizational and physician leadership through design, preparation, and support to achieve an inpatient Computerized Physician Order Entry (CPOE) rate over 70% by 1,700 physicians.

A probability distribution can be given to the set of isomorphism classes of models with universe {1, . . . , n} of a sentence (i.e. closed formula) in first-order logic. We study the entropy of this distribution and derive a result from the 0-1 law for first-order sentences.

A novel and generic approach named as "history-oriented envisioning" is proposed to qualitatively envision all the possible and the sound situations focusing on our intended partial behaviors and actions of an objective system. Some basic notations called a "partial history" and a "partial situation" are introduced as the extensions of the conventional history and its situations representing qu...

This paper presents the first results of a semanticpragmatic model which assigns a specific label to the relevant words of dialogue utterances and predicts their F0 value. The originality of this work lies in the kind of utterances the model has been designed for: dialogue utterances. The labels of the model represent the degrees of both the expected/unexpected and known/unknown aspects of the ...

Asymmetric information models predict a “pecking order” which reflects a combination of owner-manager preferences and external capital supply constraints whenever insiders know more about the true value of the firm’s prospects than outsiders. The pecking order results in retained earnings being the most preferred source of finance, then debt and finally the issue of new shares to outsiders. Usi...

A logical model of images is presented, as a theoretical foundation of information systems allowing the retrieval of images on the basis of their form (typically via visual queries) and content. The proposed model offers a multiple representation of images, extending along three dimensions: form, content and abstraction. At each dimension, a first-order logic is postulated as a representation a...

Surveys for mountain pine beetle are undertaken across a range of scales to provide forest managers with up-to-date information regarding the location, extent, and numbers of infested trees. Remote sensing provides new opportunities to detect and map mountain pine beetle damage to inform management and mitigation decisions. The key to using remotely sensed data is to identify how this new infor...