Many coherence-based approaches to inconsistency handling within propositional belief bases have been proposed so far. They consist in selecting one or several preferred consistent subbases of the given (usually inconsistent) stratified belief base (SBB), then using classical inference from some of the selected subbases. Unfortunately, deciding the corresponding inference relations is typically...

The terminology of sourcing, outsourcing and insourcing is developed in detail on the basis of the preliminary definitions of outsourcing and insourcing and related activities and competences as given in our three previous papers on business mereology, on the concept of a sourcement, and on outsourcing competence respectively. Besides providing more a detailed semantic analysis we will introduc...

Compton, K.J., Stratified least fixpoint logic, Theoretical Computer Science 131 (1994) 95-120. Stratified least jixpoint logic, or SLFP, characterizes the expressibility of stratified logic programs and, in a different formulation, has been used as a logic of imperative programs. These two formulations of SLFP are proved to be equivalent. A complete sequent calculus with one infinitary rule is...

We consider derivative-free black-box global optimization of expensive noisy functions, when most of the randomness in the objective is produced by a few influential scalar random inputs. We present a new Bayesian global optimization algorithm, called Stratified Bayesian Optimization (SBO), which uses this strong dependence to improve performance. Our algorithm is similar in spirit to stratific...

BACKGROUND The hepatitis C virus (HCV) genotype-specific impacts on the host metabolic alterations remained inconclusive. METHODS A prospective study including 229 (118 genotype 1 (G1) and 111 G2) consecutive chronic HCV patients who had completed a course of anti-HCV treatment and underwent pre- and 24 weeks post-treatment surveys of metabolic profiles was conducted. Patients were stratified...

BACKGROUND The potential impact of employment on maternal health, particularly in relation to gestational hypertension and pre-eclampsia, has been subject to research. However, there is limited evidence on associations between shift work and long working hours on the incidence of these conditions. AIMS To evaluate potential associations between maternal shift work and long working hours durin...

BACKGROUND The management of NSCLC has been transformed by stratified medicine. The National Lung Matrix Trial (NLMT) is a UK-wide study exploring the activity of rationally selected biomarker/targeted therapy combinations. PATIENTS AND METHODS The Cancer Research UK (CRUK) Stratified Medicine Programme 2 is undertaking the large volume national molecular pre-screening which integrates with t...

BACKGROUND Reproductive loss carries immeasurable human costs as well as being costly to the health care system. The objectives of this study were to determine the frequency and distribution of cytogenetically abnormal miscarriages from couples with recurrent miscarriage and to compare the results with the general population. METHODS A total of 420 specimens, including 29 pre-clinical, 237 em...

OBJECTIVE The aim of this study is to verify whether stratified epithelium-specific antinuclear antibodies are present in the sera of patients with erosive oral lichen planus and cutaneous lichen planus. METHODS We studied the pre-immune and immune serum of a rabbit immunized with a peptide corresponding to the N-terminus of the 70-kDa antigen chronic ulcerative stomatitis protein; sera from ...