247 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
Impairment of Adolescent Hippocampal Plasticity in a Mouse Model for Alzheimer's Disease Precedes Disease Phenotype
The amyloid precursor protein (APP) was assumed to be an important neuron-morphoregulatory protein and plays a central role in Alzheimer's disease (AD) pathology. In the study presented here, we analyzed the APP-transgenic mouse model APP23 using 2-dimensional gel electrophoresis technology in combination with DIGE and mass spectrometry. We investigated cortex and hippocampus of transgenic and wildtype mice at 1, 2, 7 and 15 months of age. Furthermore, cortices of 16 days old embryos were analyzed. When comparing the protein patterns of APP23 with wildtype mice, we detected a relatively large number of altered protein spots at all age stages and brain regions examined which largely preceded the occurrence of amyloid plaques. Interestingly, in hippocampus of adolescent, two-month old mice, a considerable peak in the number of protein changes was observed. Moreover, when protein patterns were compared longitudinally between age stages, we found that a large number of proteins were altered in wildtype mice. Those alterations were largely absent in hippocampus of APP23 mice at two months of age although not in other stages compared. Apparently, the large difference in the hippocampal protein patterns between two-month old APP23 and wildtype mice was caused by the absence of distinct developmental changes in the hippocampal proteome of APP23 mice. In summary, the absence of developmental proteome alterations as well as a down-regulation of proteins related to plasticity suggest the disturption of a normally occurring peak of hippocampal plasticity during adolescence in APP23 mice. Our findings are in line with the observation that AD is preceded by a clinically silent period of several years to decades. We also demonstrate that it is of utmost importance to analyze different brain regions and different age stages to obtain information about disease-causing mechanisms
- …