Formalization of Transform Methods using HOL Light

Transform methods, like Laplace and Fourier, are frequently used for analyzing the dynamical behaviour of engineering and physical systems, based on their transfer function, and frequency response or the solutions of their corresponding differential equations. In this paper, we present an ongoing project, which focuses on the higher-order logic formalization of transform methods using HOL Light theorem prover. In particular, we present the motivation of the formalization, which is followed by the related work. Next, we present the task completed so far while highlighting some of the challenges faced during the formalization. Finally, we present a roadmap to achieve our objectives, the current status and the future goals for this project.Comment: 15 Pages, CICM 201

Foraging patterns of acorn woodpeckers (Melanerpes formicivorus) on valley oak (Quercus lobata Née) in two California oak savanna-woodlands

Landscape characteristics and social behavior can affect the foraging patterns of seed-dependent animals. We examine the movement of acorns from valley oak (Quercus lobata) trees to granaries maintained by acorn woodpeckers (Melanerpes formicivorus) in two California oak savanna-woodlands differing in the distribution of Q. lobata within each site. In 2004, we sampled Q. lobata acorns from 16 granaries at Sedgwick Reserve in Santa Barbara County and 18 granaries at Hastings Reserve in Monterey County. Sedgwick has lower site-wide density of Q. lobata than Hastings as well as different frequencies of other Quercus species common to both sites. We found acorn woodpeckers foraged from fewer Q. lobata seed source trees (Kg = 4.1 ± 0.5) at Sedgwick than at Hastings (Kg = 7.6 ± 0.6) and from fewer effective seed sources (Nem* = 2.00 and 5.78, respectively). The differences between sites are due to a greater number of incidental seed sources used per granary at Hastings than at Sedgwick. We also found very low levels of seed source sharing between adjacent granaries, indicating that territoriality is strong at both sites and that each social group forages on its own subset of trees. We discovered an interesting spatial pattern in the location of granaries. At Sedgwick, acorn woodpeckers situated their granaries within areas of higher-than-average tree density, while at Hastings, they placed them within areas of lower-than-average tree density, with the outcome that granaries at the two sites were located in areas of similar valley oak density. Our results illustrate that landscape characteristics might influence the number of trees visited by acorn woodpeckers and the locations of territories, while woodpecker social behavior, such as territoriality, shapes which trees are visited and whether they are shared with other social groups

Does training with amplitude modulated tones affect tone-vocoded speech perception?

Temporal-envelope cues are essential for successful speech perception. We asked here whether training on stimuli containing temporal-envelope cues without speech content can improve the perception of spectrally-degraded (vocoded) speech in which the temporal-envelope (but not the temporal fine structure) is mainly preserved. Two groups of listeners were trained on different amplitude-modulation (AM) based tasks, either AM detection or AM-rate discrimination (21 blocks of 60 trials during two days, 1260 trials; frequency range: 4Hz, 8Hz, and 16Hz), while an additional control group did not undertake any training. Consonant identification in vocoded vowel-consonant-vowel stimuli was tested before and after training on the AM tasks (or at an equivalent time interval for the control group). Following training, only the trained groups showed a significant improvement in the perception of vocoded speech, but the improvement did not significantly differ from that observed for controls. Thus, we do not find convincing evidence that this amount of training with temporal-envelope cues without speech content provide significant benefit for vocoded speech intelligibility. Alternative training regimens using vocoded speech along the linguistic hierarchy should be explored

Pregabalin, celecoxib, and their combination for treatment of chronic low-back pain

Background - The efficacy and safety of the association of celecoxib [a selective cyclooxygenase-2 (COX-2) inhibitor] and pregabalin (commonly used to control neuropathic pain), compared with monotherapy of each, were evaluated for the treatment of chronic low-back pain, a condition known to be due to neuropathic as well as nociceptive pain mechanisms. Materials and methods - In this prospective randomized trial, 36 patients received three consecutive 4-week treatment regimes, randomly assigned: celecoxib plus placebo, pregabalin plus placebo, and celecoxib plus pregabalin. All patients were assessed by using a visual analogue scale (VAS, 0\u2013100 mm) and the Leeds Assessment of Neuropathic Symptoms and Signs (LANSS) pain scale by an investigator blinded to the administered pharmacological treatment. Results - Celecoxib and pregabalin were effective in reducing low-back pain when patients were pooled according to LANSS score. The association of celecoxib and pregabalin was more effective than either monotherapy in a mixed population of patients with chronic low-back pain and when data were pooled according to LANSS score. Adverse effects of drug association and monotherapies were similar, with reduced drug consumption in the combined therapy. Conclusions - Combination of celecoxib and pregabalin is more effective than monotherapy for chronic low-back pain, with similar adverse effects

Polygenic susceptibility to prostate and breast cancer: implications for personalised screening

BACKGROUND: We modelled the efficiency of a personalised approach to screening for prostate and breast cancer based on age and polygenic risk-profile compared with the standard approach based on age alone.METHODS: We compared the number of cases potentially detectable by screening in a population undergoing personalised screening with a population undergoing screening based on age alone. Polygenic disease risk was assumed to have a log-normal relative risk distribution predicted for the currently known prostate or breast cancer susceptibility variants (N = 31 and N = 18, respectively).RESULTS: Compared with screening men based on age alone (aged 55-79: 10-year absolute risk >= 2%), personalised screening of men age 45-79 at the same risk threshold would result in 16% fewer men being eligible for screening at a cost of 3% fewer screen-detectable cases, but with added benefit of detecting additional cases in younger men at high risk. Similarly, compared with screening women based on age alone (aged 47-79: 10-year absolute risk >= 2.5%), personalised screening of women age 35-79 at the same risk threshold would result in 24% fewer women being eligible for screening at a cost of 14% fewer screen-detectable cases.CONCLUSION: Personalised screening approach could improve the efficiency of screening programmes. This has potential implications on informing public health policy on cancer screening. British Journal of Cancer (2011) 104, 1656 -1663. doi: 10.1038/bjc.2011.118 www.bjcancer.com Published online 5 April 2011 (C) 2011 Cancer Research U

Improved imputation accuracy of rare and low-frequency variants using population-specific high-coverage WGS-based imputation reference panel

Genetic imputation is a cost-efficient way to improve the power and resolution of genome-wide association (GWA) studies. Current publicly accessible imputation reference panels accurately predict genotypes for common variants with minor allele frequency (MAF) >= 5% and low-frequency variants (0.5Peer reviewe

Complexity absorption : A processual strategic approach to corporate entrepreneurship strategy

The author Haina Zhang acknowledges the support of research grant received from the Lancaster University Research Committee (award reference: SGS21/33). The author is also grateful to Professor David Brown for his suggestions on earlier version of this paper.Peer reviewedPublisher PD