0 Getting Started 94 0.1 Installing Matita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94 0.2 Preparing a working directory . . . . . . . . . . . . . . . . . . . . . . 95 0.3 Matita interface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 0.4 Browsing the library . . . . . . . . . . . . . . . . . . . . . . . . . . . 96 0.5 Live DVD . . . . . . . . . . . . . . . . ....

Nowadays, enterprises cooperate more extensively with other enterprises during the entire product life cycle. Temporary alliances between various enterprises emerge such as those in Virtual Enterprises. Collaborative applications are demanded that enable enterprises to engage in such endeavors. This paper aims to present a framework with which collaborative applications can be characterized and...

The Virtual Company educational scenario engages students in a professional setting for working and learning. Students are enabled to develop competencies that are derived from professional practice. This allows us to use assessment strategies that are different from the practice in traditional educational settings. In the Virtual Company educational scenario the competence assessment procedure...

background and purpose: one of the most important elements of nursing ethics is patient advocacy, which instills patients’ sense of independence and autonomy. nurses’ perceptions of this concept can significantly influence their advocacy role. therefore, in this study, we aimed to assess nurses’ perceptions about this phenomenon. methods: in this cross-sectional study, 385 nurses were selected ...

In order to reduce the long commuting times for office workers, Fuji Xerox began experimenting with satellite offices. In this paper I will report on changes in the work styles of office workers working in satellite offices. The changes relate to job planning, independence, computer literacy, information sharing, job task concentration, communication, productivity, skill specialization, and tim...

We propose and compare two approaches for regression analysis of multilevel binary data when clusters are not necessarily nested: a GEE method that relies on a working independence assumption coupled with a three-step method for obtaining empirical standard errors, and a likelihood-based method implemented using Bayesian computational techniques. Implications of time-varying endogenous covariat...

We consider the problem of learning conditional independencies, expressed as a Markov network, from a probabilistic model. An eecient algorithm employing a greedy search has been developed earlier with promising empirical results. However, two issues were not addressed. First, the reason why the myopic search works so well globally has not been fully understood. Second, whether the algorithm ca...

This article outlines and summarizes the rationale and the working process that was undertaken by the National Spina Bifida Program to address the issues of transitioning throughout the life course for persons growing up with spina bifida. Their challenges include achieving independent living, vocational independence, community mobility, and participation in social activities, and health manage...

The Partnership for Older People Projects (POPP) were funded by the Department of Health to develop services for older people, aimed at promoting their health, well-being and independence and preventing or delaying their need for higher intensity or institutional care. The evaluation found that a wide range of projects resulted in improved quality of life for participants and considerable savin...

The primary aim of this paper is a description of a previously unanalyzed kind of numeral quantifiers in Japanese. While the purpose is modest, I believe that it might shed light on the Neo-Davidsonian semantic architecture (see Parsons 1990, Schein 1993 and Kratzer 1996 among others). Specifically, I will introduce Event Partitioning Quantifiers (EPQs), which have not been analyzed in literatu...