An assumption-driven case-specific model editor

A case sensitive intelligent model editor has been developed for constructing consistent lumped dynamic process models and for simplifying them using modelling assumptions. The approach is based on a systematic assumption-driven modelling procedure and on the syntax and semantics of process,models and the simplifying assumptions.

Impact of on-site testing for maternal syphilis on treatment delays, treatment rates, and perinatal mortality in rural South Africa: a randomised controlled trial

Background: Syphilis remains a significant cause of preventable perinatal death in developing countries with many women remaining untested and thus untreated. Syphilis testing in the clinic (on-site testing) may be a useful strategy to overcome this. We studied the impact of on-site syphilis testing on treatment delays and rates, and perinatal mortality. Methods: We conducted a cluster randomised controlled trial among seven pairs of primary healthcare clinics in rural South Africa, comparing on-site testing complemented by laboratory confirmation versus laboratory testing alone. Intervention clinics used the on-site test conducted by primary care nurses, with results and treatment available within an hour. Control clinics sent blood samples to the provincial laboratory, with results returned 2 weeks later. Results: Of 7134 women seeking antenatal care with available test results, 793 (11.1%) tested positive for syphilis. Women at intervention clinics completed treatment 16 days sooner on average (95% confidence interval: 11 to 21), though there was no significant difference in the proportion receiving adequate treatment at intervention (64%) and control (69%) clinics. There was also no significant difference in the proportion experiencing perinatal loss (3.3% v 5.1%; adjusted risk difference: -0.9%; 95% Cl -4.4 to 2.7). Conclusions: Despite reducing treatment delays, the addition of on-site syphilis testing to existing laboratory testing services did not lead to higher treatment rates or reduce perinatal mortality. However on-site testing for syphilis may remain an important option for improving antenatal care in settings where laboratory facilities are not available.

Testing hypotheses about the relationship between cannabis use and psychosis

Aim: To model the impact of rising rates of cannabis use on the incidence and prevalence of psychosis under four hypotheses about the relationship between cannabis use and psychosis. Methods: The study modelled the effects on the prevalence of schizophrenia over the lifespan of cannabis in eight birth cohorts: 1940-1944, 1945-1949, 1950-1954, 1955-1959, 1960-1964, 1965-1969, 1970-1974, 1975-1979. It derived predictions as to the number of cases of schizophrenia that would be observed in these birth cohorts, given the following four hypotheses: (1) that there is a causal relationship between cannabis use and schizophrenia; (2) that cannabis use precipitates schizophrenia in vulnerable persons; (3) that cannabis use exacerbates schizophrenia; and (4) that persons with schizophrenia are more liable to become regular cannabis users. Results: There was a steep rise in the prevalence of cannabis use in Australia over the past 30 years and a corresponding decrease in the age of initiation of cannabis use. There was no evidence of a significant increase in the incidence of schizophrenia over the past 30 years. Data on trends the age of onset of schizophrenia did not show a clear pattern. Cannabis use among persons with schizophrenia has consistently been found to be more common than in the general population. Conclusions: Cannabis use does not appear to be causally related to the incidence of schizophrenia, but its use may precipitate disorders in persons who are vulnerable to developing psychosis and worsen the course of the disorder among those who have already developed it. (C) 2003 Elsevier Science Ireland Ltd. All rights reserved.

Computational methods for prediction of T-cell epitopes - a framework for modelling, testing, and applications

Computational models complement laboratory experimentation for efficient identification of MHC-binding peptides and T-cell epitopes. Methods for prediction of MHC-binding peptides include binding motifs, quantitative matrices, artificial neural networks, hidden Markov models, and molecular modelling. Models derived by these methods have been successfully used for prediction of T-cell epitopes in cancer, autoimmunity, infectious disease, and allergy. For maximum benefit, the use of computer models must be treated as experiments analogous to standard laboratory procedures and performed according to strict standards. This requires careful selection of data for model building, and adequate testing and validation. A range of web-based databases and MHC-binding prediction programs are available. Although some available prediction programs for particular MHC alleles have reasonable accuracy, there is no guarantee that all models produce good quality predictions. In this article, we present and discuss a framework for modelling, testing, and applications of computational methods used in predictions of T-cell epitopes. (C) 2004 Elsevier Inc. All rights reserved.

Structural and Biochemical Correlates of Na(+), K(+)-ATPase Driven Ion Uptake Across the Posterior Gill Epithelium of the True Freshwater Crab, Dilocarcinus pagei (Brachyura, Trichodactylidae)

To better comprehend the structural and biochemical underpinnings of ion uptake across the gills of true freshwater crabs, we performed an ultrastructural, ultracytochemical and morphometric investigation, and kinetically characterized the Na(+), K(+)-ATPase, in posterior gill lamellae of Dilocarcinus pagei. Ultrastructurally, the lamellar epithelia are markedly asymmetrical: the thick, mushroom-shaped, proximal ionocytes contain elongate mitochondria (41% cell volume) associated with numerous (approximate to 14 mu m(2) membrane per mu m(3) cytoplasm), deep invaginations that house the Na(+), K(+)-ATPase, revealed ultracytochemically. Their apical surface is amplified (7.5 mu m(2) mu m(-2)) by stubby evaginations whose bases adjoin mitochondria below the subcuticular space. The apical membrane of the thin, distal ionocytes shows few evaginations (1.6 mu m(2) mu m(-2)), each surrounding a mitochondrion, abundant in the cytoplasm below the subcuticular space; basolateral invaginations and mitochondria are few. Fine basal cytoplasmic bridges project across the hemolymph space, penetrating into the thick ionocytes, suggesting ion movement between the epithelia. Microsomal Na(+), K(+)-ATPase specific activity resembles marine crabs but is approximate to 5-fold less than in species from fluctuating salinities, and freshwater shrimps, suggesting ion loss compensation by strategies other than Na(+) uptake. Enzyme apparent K(+) affinity attains 14-fold that of marine crabs, emphasizing the relevance of elevated K(+) affinity to the conquest of fresh water. Western blotting and biphasic ouabain inhibition disclose two alpha-subunit isoforms comprising distinct functional isoenzymes. While enzyme activity is not synergistically stimulated by NH(4)(+) and K(+), each increases affinity for the other, possibly assuring appropriate intracellular K(+) concentrations. These findings reveal specific structural and biochemical adaptations that may have allowed the establishment of the Brachyura in fresh water. J. Exp. Zool. 313A:508-523, 2010. (C) 2010 Wiley-Liss, Inc.

Double diffusion-driven convective instability of three-dimensional fluid-saturated geological fault zones heated from below

We conduct a theoretical analysis to investigate the double diffusion-driven convective instability of three-dimensional fluid-saturated geological fault zones when they are heated uniformly from below. The fault zone is assumed to be more permeable than its surrounding rocks. In particular, we have derived exact analytical solutions to the total critical Rayleigh numbers of the double diffusion-driven convective flow. Using the corresponding total critical Rayleigh numbers, the double diffusion-driven convective instability of a fluid-saturated three-dimensional geological fault zone system has been investigated. The related theoretical analysis demonstrates that: (1) The relative higher concentration of the chemical species at the top of the three-dimensional geological fault zone system can destabilize the convective flow of the system, while the relative lower concentration of the chemical species at the top of the three-dimensional geological fault zone system can stabilize the convective flow of the system. (2) The double diffusion-driven convective flow modes of the three-dimensional geological fault zone system are very close each other and therefore, the system may have the similar chance to pick up different double diffusion-driven convective flow modes, especially in the case of the fault thickness to height ratio approaching 0. (3) The significant influence of the chemical species diffusion on the convective instability of the three-dimensional geological fault zone system implies that the seawater intrusion into the surface of the Earth is a potential mechanism to trigger the convective flow in the shallow three-dimensional geological fault zone system.

Characterization of optically driven fluid stress fields with optical tweezers

We present a controlled stress microviscometer with applications to complex fluids. It generates and measures microscopic fluid velocity fields, based on dual beam optical tweezers. This allows an investigation of bulk viscous properties and local inhomogeneities at the probe particle surface. The accuracy of the method is demonstrated in water. In a complex fluid model (hyaluronic acid), we observe a strong deviation of the flow field from classical behavior. Knowledge of the deviation together with an optical torque measurement is used to determine the bulk viscosity. Furthermore, we model the observed deviation and derive microscopic parameters.

Trigeminal pain and quantitative sensory testing in painful peripheral diabetic neuropathy

Objective: To evaluate patients with Diabetes Mellitus type 2 and painful peripheral neuropathy in order to investigate oral complaints and facial somatosensory findings. Research design and methods: Case-control study; 29 patients (12 women, mean age 57.86 yo) with Diabetes Mellitus type 2 and 31 age-gender-matched controls were evaluated with a standardized protocol for general characteristics, orofacial pain, research diagnostic criteria for temporomandibular disorders, visual analogue scale and McGill Pain questionnaire, and a systematic protocol of quantitative sensory testing for bilateral facial sensitivity at the areas innervated by the trigeminal branches, which included the thermal detection by ThermoSensi 2, tactile evaluation with vonFrey filaments, and superficial pain thresholds with a superficial algometer (Micromar). Statistical analysis was performed with Wilcoxon, chi-square, confidence intervals and Spearman (p < 0.05). Results: Orofacial pain was reported by 55.2% of patients, and the most common descriptor was fatigue (50%); 17.2% had burning mouth. Myofascial temporomandibular disorders were diagnosed in 9(31%) patients. The study group showed higher sensory thresholds of pain at the right maxillary branch (p = 0.017) but sensorial differences were not associated with pain (p = 0.608). Glycemia and HbA(1c) were positively correlated with the quantitative sensory testing results of pain (p < 0.05) and cold (p = 0.044) perceptions. Higher pain thresholds were correlated with higher glycemia and glycated hemoglobin (p = 0.027 and p = 0.026). Conclusions: There was a high prevalence of orofacial pain and burning mouth was the most common complaint. The association of loss of pain sensation and higher glycemia and glycated hemoglobin can be of clinical use for the follow-up of DM complications. (C) 2010 Elsevier Ltd. All rights reserved.

Numerical simulation of double-diffusion driven convective flow and rock alteration in three-dimensional fluid-saturated geological fault zones

Numerical methods are used to simulate the double-diffusion driven convective pore-fluid flow and rock alteration in three-dimensional fluid-saturated geological fault zones. The double diffusion is caused by a combination of both the positive upward temperature gradient and the positive downward salinity concentration gradient within a three-dimensional fluid-saturated geological fault zone, which is assumed to be more permeable than its surrounding rocks. In order to ensure the physical meaningfulness of the obtained numerical solutions, the numerical method used in this study is validated by a benchmark problem, for which the analytical solution to the critical Rayleigh number of the system is available. The theoretical value of the critical Rayleigh number of a three-dimensional fluid-saturated geological fault zone system can be used to judge whether or not the double-diffusion driven convective pore-fluid flow can take place within the system. After the possibility of triggering the double-diffusion driven convective pore-fluid flow is theoretically validated for the numerical model of a three-dimensional fluid-saturated geological fault zone system, the corresponding numerical solutions for the convective flow and temperature are directly coupled with a geochemical system. Through the numerical simulation of the coupled system between the convective fluid flow, heat transfer, mass transport and chemical reactions, we have investigated the effect of the double-diffusion driven convective pore-fluid flow on the rock alteration, which is the direct consequence of mineral redistribution due to its dissolution, transportation and precipitation, within the three-dimensional fluid-saturated geological fault zone system. (c) 2005 Elsevier B.V. All rights reserved.

A framework for specification-based testing

Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications-in this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process. Flexibility is preserved, so that many testing strategies can be used. Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles.

Resonance fluorescence and Autler-Townes spectra of a two-level atom driven by two fields of equal frequencies

We study the effects of driving a two-level atom by two intense field modes that have equal frequencies but are otherwise distinguishable; the intensity of one mode is also assumed to be greater than that of the other. We calculate first the dressed states of the system, and then its resonance fluorescence and Autler-Townes absorption spectra. We find that the energy spectrum of the doubly dressed atom consists of a ladder of doublet continua. These continua manifest themselves in the fluorescence spectrum, where they produce continua at the positions of the Mellow sideband frequencies omega(L)+/-2 Omega of the strong field, and in the Autler-Townes absorption spectrum, which becomes a two-continuum doublet.

Resonance fluorescence spectrum of a two-level atom driven by a bichromatic field in a squeezed vacuum

The steady-state resonance fluorescence spectrum of a two-level atom driven by a bichromatic field in a broadband squeezed vacuum is studied. When the carrier frequency of the squeezed vacuum is tuned to the frequency of the central spectral line, anomalous spectral features, such as hole burning and dispersive profiles, can occur at the central line. We show that these features appear for wider, and experimentally more convenient, ranges of the parameters than in the case of monochromatic excitation. ?he absence of a coherent spectral component at the central line makes any experimental attempt to observe these features much easier. We also discuss the general features of the spectrum. When the carrier frequency of the squeezed vacuum is tuned to the first odd or even sidebands, the spectrum is asymmetric and only the sidebands an sensitive to phase. For appropriate choices of the phase the linewidths or only the odd or even sidebands can be reduced. A dressed-stale interpretation is provided.