We propose a new approach to testing conformance to a nondeterministic specification , in which testing proceeds only as long as increased test coverage is guaranteed. In testing that a system meets a nondeterministic specification [1], it is usually assumed that the system is fair to each transition of the specification (i.e., the system will make every possible nondeterministic choice if give...

Style is an integral part of natural language in written, spoken or machine generated forms. Humans have been dealing with style in language since the beginnings of language itself, but computers and machine processes have only recently begun to process natural language styles. Automatic processing of styles poses two interrelated challenges: classification and transformation. There have been r...

This paper presents a justi®cation of two qualitative counterparts of the expected utility criterion for decision under uncertainty, which only require bounded, linearly ordered, valuation sets for expressing uncertainty and preferences. This is carried out in the style of Savage, starting with a set of acts equipped with a complete preordering relation. Conditions on acts are given that imply ...

This paper presents a justiication of two qualitative counterparts of the expected utility criterion for decision under uncertainty, which only require bounded, linearly ordered, valuation sets for expressing uncertainty and preferences. This is carried out in the style of Savage, starting with a set of acts equipped with a complete preordering relation. Conditions on acts are given that imply ...

Followed up 733 adolescents, ages 12 to 14 years, from a community sample over a 1-year period. Depressive symptoms at 1-year follow-up, controlling for baseline depression levels, were predicted by negative life events (NLEs) in the previous 12 months, attributional style (AS), negative problem solving orientation (NPSO), and the interaction between NLEs and NPSO. In the presence, but not abse...

Forensic analysis of questioned electronic documents is very difficult, because the nature of the documents eliminates many kinds of informative differences. Recent work in authorship attribution demonstrates the practicality of analyzing documents based on authorial style, but the state of the art is confusing. Analyses are difficult to apply, little is known about type or rate of errors, and ...

Cognitive behavioural techniques are increasingly used as adjuncts to medication in the treatment of auditory hallucinations for people with schizophrenia. There are now literally hundreds of nurses trained in the use of cognitive behavioural interventions for psychosis. However, there is still disagreement about the nature of the cognitive processes that lead to deficits or biases in patients'...

We present a new corpus for computational stylometry, more specifically authorship attribution and the prediction of author personality from text. Because of the large number of authors (145), the corpus will allow previously impossible studies of variation in features considered predictive for writing style. The innovative meta-information (personality profiles of the authors) associated with ...

Current advances in shallow parsing and machine learning allow us to use results from these fields in a methodology for Authorship Attribution. We report on experiments with a corpus that consists of newspaper articles about national current affairs by different journalists from the Belgian newspaper De Standaard. Because the documents are in a similar genre, register, and range of topics, toke...