this paper sketches a framework for the separation of church and state and, with the framework in view, indicates why a government’s maintaining such separation poses challenges for balancing two major democratic ideals: preserving equality before the law and protecting liberty, including religious liberty. the challenge is particularly complex where healthcare is either provided or regulated b...

There exist various approaches to software testing and one popular approach is ‘path coverage’, in which emphasis is placed on testing all possible paths that can be executed in a programme module. This paper describes a novel approach in designing test cases using control flow criteria for path coverage.

We consider Poisson random balls in R, with the pair (center, radius) given by a Poisson point process in Rd×(0,+∞). According to the intensity measure of the Poisson process, we investigate the eventuality of covering the whole space with the union of the balls. We exhibit a disjunction phenomenon between the coverage with large balls (low frequency) and the coverage with small balls (high fre...

This paper covers the automated assessment of essays. Such marking requires the assessment of style, and where appropriate the assessment of content. The first part of this paper describes the assessment of style; while the second part proceeds to describe the assessment of content. Style The methodology used to assess style is based on a set of ‘common’ metrics, and requires some initial calib...

The advertising industry is seeking to use the unique data provided by the increasing usage of mobile devices and mobile applications (apps) to improve targeting and the experience with apps. As a consequence, understanding user behaviours with apps has gained increased interests from both academia and industry. In this paper we study user app engagement patterns and disruptions of those patter...

The techniques proposed in the literature for the Laser Guide Star absolute tilt determination suuer from some limitations, due to fundamental reasons and/or to practical aspects. A combination of two techniques is proposed here: the tri{static (Belen'kii 1995; Ragazzoni 1996a) and the auxiliary telescope (Ragazzoni, Esposito & Marchetti, 1995) conngura-tions leading to a solution where two aux...

Group Health Clinical Review Criteria are developed to assist in administering plan benefits. These criteria neither offer medical advice nor guarantee coverage. Group Health reserves the exclusive right to modify, revoke, suspend or change any or all of these Review Criteria, at Group Health's sole discretion, at any time, with or without notice. Member contracts differ in their benefits. Alwa...

A set of errors known to have led to security breaches in computer systems was analyzed. The analysis led to a categorization of these errors. After examining several proposed schemes for the categorization of software errors a new scheme was developed and used. This scheme classi es errors by their cause, the nature of their impact, and the type of change, or x, made to remove the error. The e...

Impact of the satellite data assimilation on the naval undersea capability is investigated using the ocean hydrographic data without and with satellite data assimilation. The former is the Navy’s Global Digital Environmental Model (GDEM) providing the monthly mean; and the latter is the Modular Ocean Data Assimilation System (MODAS) proving the synoptic data. The two environmental datasets are ...

Software architecture has already become one of the primary research areas in software engineering recently and how to test software architecture automatically, effectively and adequately is a difficulty in issues about software architecture. Currently, many people are doing the research of software architecture analyze, evaluation, testing and verification techniques, and some representative t...