245 research outputs found
Averages of Fourier coefficients of Siegel modular forms and representation of binary quadratic forms by quadratic forms in four variables
Let be a a negative discriminant and let vary over a set of
representatives of the integral equivalence classes of integral binary
quadratic forms of discriminant . We prove an asymptotic formula for for the average over of the number of representations of by an
integral positive definite quaternary quadratic form and obtain results on
averages of Fourier coefficients of linear combinations of Siegel theta series.
We also find an asymptotic bound from below on the number of binary forms of
fixed discriminant which are represented by a given quaternary form. In
particular, we can show that for growing a positive proportion of the
binary quadratic forms of discriminant is represented by the given
quaternary quadratic form.Comment: v5: Some typos correcte
Using Scenarios to Validate Requirements through the use of Eye-Tracking in Prototyping
Research has shown that eliciting and capturing the correct behavior of systems reduces the number of defects that a system contains. A requirements engineer will model the functions of the system to gain a comprehensive understanding of the system in question. Engineers must verify the model for correctness by either having another engineer review it or build a prototype and validate with a stakeholder. However, research has shown that this form of verification can be ineffective because looking at an existing model can be suggestive and stump the development of new ideas. This paper provides an automated technique that can be used as an unbiased review of use case scenarios. Using the prototype and a scenario, a stakeholder can be guided through the use case scenario demonstrating where they expect to find the next step while their eye movements are tracked. Analysis of the eye tracking data can be used to identify missing requirements such as interaction steps that should have alternative sequences or determining problems with the flow of actions
Recommended from our members
Who uses outpatient healthcare services under Ghana’s health protection scheme and why?
Background: The National Health Insurance Scheme (NHIS) was launched in Ghana in 2003 with the main objective of increasing utilisation to healthcare by making healthcare more affordable. Previous studies on the NHIS have repeatedly highlighted that cost of premiums is one of the major barriers for enrollment. However, despite introducing premium exemptions for pregnant women, older people, children and indigents, many Ghanaians are still not active members of the NHIS. In this paper we investigate why there is limited success of the NHIS in improving access to healthcare in Ghana and whether social exclusion could be one of the limiting barriers. The study explores this by looking at the Social, Political, Economic and Cultural (SPEC) dimensions of social exclusion.
Methods: Using logistic regression, the study investigates the determinants of health service utilisation using SPEC variables including other variables. Data was collected from 4050 representative households in five districts in Ghana covering the 3 ecological zones (coastal, forest and savannah) in Ghana.
Results: Among 16,200 individuals who responded to the survey, 54 % were insured. Out of the 1349 who sought health care, 64 % were insured and 65 % of them had basic education and 60 % were women. The results from the logistic regressions show health insurance status, education and gender to be the three main determinants of health care utilisation. Overall, a large proportion of the insured who reported ill, sought care from formal health care providers compared to those who had never insured in the scheme.
Conclusion: The paper demonstrates that the NHIS presents a workable policy tool for increasing access to healthcare through an emphasis on social health protection. However, affordability is not the only barrier for access to health services. Geographical, social, cultural, informational, political, and other barriers also come into play
Pharmacological Analysis of Ionotropic Glutamate Receptor Function in Neuronal Circuits of the Zebrafish Olfactory Bulb
Although synaptic functions of ionotropic glutamate receptors in the olfactory bulb have been studied in vitro, their roles in pattern processing in the intact system remain controversial. We therefore examined the functions of ionotropic glutamate receptors during odor processing in the intact olfactory bulb of zebrafish using pharmacological manipulations. Odor responses of mitral cells and interneurons were recorded by electrophysiology and 2-photon Ca2+ imaging. The combined blockade of AMPA/kainate and NMDA receptors abolished odor-evoked excitation of mitral cells. The blockade of AMPA/kainate receptors alone, in contrast, increased the mean response of mitral cells and decreased the mean response of interneurons. The blockade of NMDA receptors caused little or no change in the mean responses of mitral cells and interneurons. However, antagonists of both receptor types had diverse effects on the magnitude and time course of individual mitral cell and interneuron responses and, thus, changed spatio-temporal activity patterns across neuronal populations. Oscillatory synchronization was abolished or reduced by AMPA/kainate and NMDA receptor antagonists, respectively. These results indicate that (1) interneuron responses depend mainly on AMPA/kainate receptor input during an odor response, (2) interactions among mitral cells and interneurons regulate the total olfactory bulb output activity, (3) AMPA/kainate receptors participate in the synchronization of odor-dependent neuronal ensembles, and (4) ionotropic glutamate receptor-containing synaptic circuits shape odor-specific patterns of olfactory bulb output activity. These mechanisms are likely to be important for the processing of odor-encoding activity patterns in the olfactory bulb
Heart Rate and Use of Beta-Blockers in Stable Outpatients with Coronary Artery Disease
<p><b>Background:</b> Heart rate (HR) is an emerging risk factor in coronary artery disease (CAD). However, there is little contemporary data regarding HR and the use of HR-lowering medications, particularly beta-blockers, among patients with stable CAD in routine clinical practice. The goal of the present analysis was to describe HR in such patients, overall and in relation to beta-blocker use, and to describe the determinants of HR.</p>
<p><b>Methods and Findings:</b> CLARIFY is an international, prospective, observational, longitudinal registry of outpatients with stable CAD, defined as prior myocardial infarction or revascularization procedure, evidence of coronary stenosis of >50%, or chest pain associated with proven myocardial ischemia. A total of 33,438 patients from 45 countries in Europe, the Americas, Africa, Middle East, and Asia/Pacific were enrolled between November 2009 and July 2010. Most of the 33,177 patients included in this analysis were men (77.5%). Mean (SD) age was 64.2 (10.5) years, HR by pulse was 68.3 (10.6) bpm, and by electrocardiogram was 67.2 (11.4) bpm. Overall, 44.0% had HR≥70 bpm. Beta-blockers were used in 75.1% of patients and another 14.4% had intolerance or contraindications to beta-blocker therapy. Among 24,910 patients on beta-blockers, 41.1% had HR≥70 bpm. HR≥70 bpm was independently associated with higher prevalence and severity of angina, more frequent evidence of myocardial ischemia, and lack of use of HR-lowering agents.</p>
<p><b>Conclusions:</b> Despite a high rate of use of beta-blockers, stable CAD patients often have resting HR≥70 bpm, which was associated with an overall worse health status, more frequent angina and ischemia. Further HR lowering is possible in many patients with CAD. Whether it will improve symptoms and outcomes is being tested.</p>
Global gene expression patterns in the post-pneumonectomy lung of adult mice
<p>Abstract</p> <p>Background</p> <p>Adult mice have a remarkable capacity to regenerate functional alveoli following either lung resection or injury that exceeds the regenerative capacity observed in larger adult mammals. The molecular basis for this unique capability in mice is largely unknown. We examined the transcriptomic responses to single lung pneumonectomy in adult mice in order to elucidate prospective molecular signaling mechanisms used in this species during lung regeneration.</p> <p>Methods</p> <p>Unilateral left pneumonectomy or sham thoracotomy was performed under general anesthesia (n = 8 mice per group for each of the four time points). Total RNA was isolated from the remaining lung tissue at four time points post-surgery (6 hours, 1 day, 3 days, 7 days) and analyzed using microarray technology.</p> <p>Results</p> <p>The observed transcriptomic patterns revealed mesenchymal cell signaling, including up-regulation of genes previously associated with activated fibroblasts (Tnfrsf12a, Tnc, Eln, Col3A1), as well as modulation of Igf1-mediated signaling. The data set also revealed early down-regulation of pro-inflammatory cytokine transcripts and up-regulation of genes involved in T cell development/function, but few similarities to transcriptomic patterns observed during embryonic or post-natal lung development. Immunohistochemical analysis suggests that early fibroblast but not myofibroblast proliferation is important during lung regeneration and may explain the preponderance of mesenchymal-associated genes that are over-expressed in this model. This again appears to differ from embryonic alveologenesis.</p> <p>Conclusion</p> <p>These data suggest that modulation of mesenchymal cell transcriptome patterns and proliferation of S100A4 positive mesenchymal cells, as well as modulation of pro-inflammatory transcriptome patterns, are important during post-pneumonectomy lung regeneration in adult mice.</p
Determination of regional lung air volume distribution at mid-tidal breathing from computed tomography: A retrospective study of normal variability and reproducibility
© 2014 Fleming et al.; licensee BioMed Central Ltd. Background: Determination of regional lung air volume has several clinical applications. This study investigates the use of mid-tidal breathing CT scans to provide regional lung volume data.Methods: Low resolution CT scans of the thorax were obtained during tidal breathing in 11 healthy control male subjects, each on two separate occasions. A 3D map of air volume was derived, and total lung volume calculated. The regional distribution of air volume from centre to periphery of the lung was analysed using a radial transform and also using one dimensional profiles in three orthogonal directions.Results: The total air volumes for the right and left lungs were 1035 +/- 280 ml and 864 +/- 315 ml, respectively (mean and SD). The corresponding fractional air volume concentrations (FAVC) were 0.680 +/- 0.044 and 0.658 +/- 0.062. All differences between the right and left lung were highly significant (p < 0.0001). The coefficients of variation of repeated measurement of right and left lung air volumes and FAVC were 6.5% and 6.9% and 2.5% and 3.6%, respectively. FAVC correlated significantly with lung space volume (r = 0.78) (p < 0.005). FAVC increased from the centre towards the periphery of the lung. Central to peripheral ratios were significantly higher for the right (0.100 +/- 0.007 SD) than the left (0.089 +/- 0.013 SD) (p < 0.0001).Conclusion: A technique for measuring the distribution of air volume in the lung at mid-tidal breathing is described. Mean values and reproducibility are described for healthy male control subjects. Fractional air volume concentration is shown to increase with lung size.Air Liquid
- …