Non-polynomial Worst-Case Analysis of Recursive Programs

We study the problem of developing efficient approaches for proving worst-case bounds of non-deterministic recursive programs. Ranking functions are sound and complete for proving termination and worst-case bounds of nonrecursive programs. First, we apply ranking functions to recursion, resulting in measure functions. We show that measure functions provide a sound and complete approach to prove worst-case bounds of non-deterministic recursive programs. Our second contribution is the synthesis of measure functions in nonpolynomial forms. We show that non-polynomial measure functions with logarithm and exponentiation can be synthesized through abstraction of logarithmic or exponentiation terms, Farkas' Lemma, and Handelman's Theorem using linear programming. While previous methods obtain worst-case polynomial bounds, our approach can synthesize bounds of the form $\mathcal{O}(n\log n)$ as well as $\mathcal{O}(n^r)$ where $r$ is not an integer. We present experimental results to demonstrate that our approach can obtain efficiently worst-case bounds of classical recursive algorithms such as (i) Merge-Sort, the divide-and-conquer algorithm for the Closest-Pair problem, where we obtain $\mathcal{O}(n \log n)$ worst-case bound, and (ii) Karatsuba's algorithm for polynomial multiplication and Strassen's algorithm for matrix multiplication, where we obtain $\mathcal{O}(n^r)$ bound such that $r$ is not an integer and close to the best-known bounds for the respective algorithms.Comment: 54 Pages, Full Version to CAV 201

Prevalence and subtypes of Influenza A Viruses in Wild Waterfowl in Norway 2006-2007

The prevalence of influenza A virus infection, and the distribution of different subtypes of the virus, were studied in 1529 ducks and 1213 gulls shot during ordinary hunting from August to December in two consecutive years, 2006 and 2007, in Norway. The study was based on molecular screening of cloacal and tracheal swabs, using a pan-influenza A RT-PCR. Samples found to be positive for influenza A virus were screened for the H5 subtype, using a H5 specific RT-PCR, and, if negative, further subtyped by a RT-PCR for the 3'-part of the hemagglutinin (HA) gene, encompassing almost the entire HA2, and the full-length of the neuraminidase (NA) gene, followed by sequencing and characterization. The highest prevalence (12.8%) of infection was found in dabbling ducks (Eurasian Wigeon, Common Teal and Mallard). Diving ducks (Common Goldeneye, Common Merganser, Red-breasted Merganser, Common Scoter, Common Eider and Tufted Duck) showed a lower prevalence (4.1%). In gulls (Common Gull, Herring Gull, Black-headed Gull, Lesser Black-headed Gull, Great Black-backed Gull and Kittiwake) the prevalence of influenza A virus was 6.1%. The infection prevalence peaked during October for ducks, and October/November for gulls. From the 16 hemagglutinin subtypes known to infect wild birds, 13 were detected in this study. Low pathogenic H5 was found in 17 dabbling ducks and one gull

Generality of shear thickening in suspensions

Suspensions are of wide interest and form the basis for many smart fluids. For most suspensions, the viscosity decreases with increasing shear rate, i.e. they shear thin. Few are reported to do the opposite, i.e. shear thicken, despite the longstanding expectation that shear thickening is a generic type of suspension behavior. Here we resolve this apparent contradiction. We demonstrate that shear thickening can be masked by a yield stress and can be recovered when the yield stress is decreased below a threshold. We show the generality of this argument and quantify the threshold in rheology experiments where we control yield stresses arising from a variety of sources, such as attractions from particle surface interactions, induced dipoles from applied electric and magnetic fields, as well as confinement of hard particles at high packing fractions. These findings open up possibilities for the design of smart suspensions that combine shear thickening with electro- or magnetorheological response.Comment: 11 pages, 9 figures, accepted for publication in Nature Material

Volumizing effects of a smooth, highly cohesive, viscous 20-mg/mL hyaluronic acid volumizing filler: prospective European study

<p>Abstract</p> <p>Background</p> <p>Facial volume loss contributes significantly to facial aging. The 20-mg/mL hyaluronic acid (HA) formulation used in this study is a smooth, highly cohesive, viscous, fully reversible, volumizing filler indicated to restore facial volume. This first prospective study evaluated use in current aesthetic clinical practice.</p> <p>Methods</p> <p>A pan-European evaluation conducted under guidelines of the World Association of Opinion and Marketing Research, the trial comprised a baseline visit (visit 1) and a follow-up (visit 2) at 14 ± 7 days posttreatment. Physicians photographed patients at each visit. Each patient was treated with the 20-mg/mL HA volumizing filler as supplied in standard packaging. Procedural details, aesthetic outcomes, safety, and physician and patient ratings of their experience were recorded.</p> <p>Results</p> <p>Fifteen physicians and 70 patients (91% female; mean age: 50 years) participated. Mean volume loss at baseline was 3.7 (moderate) on the Facial Volume Loss Scale. Local anesthesia was used in 64.3% of cases. Most injections (85%) were administered with needles rather than cannulas. Of the 208 injections, 59% were in the malar region, primarily above the periosteum. Subcutaneous injections were most common for other sites. The mean total injection volume per patient was 4.6 mL. The mean volume loss score declined significantly (<it>P </it>< .001) to 2.1 at visit 2. On the Global Aesthetic Improvement Scale, 88% and 76% of the treatments were rated very much improved or much improved by physicians and patients, respectively. Of the physicians, 95.6% rated this HA filler as very or fairly easy to use. Similarly, 92% of patients were very likely or quite likely to return for treatment; nearly all (98%) would recommend this treatment to friends. Transient (mean duration: 5.5 days) injection-site adverse events (AEs) occurred in 24 patients. Bruising was the most common AE.</p> <p>Conclusion</p> <p>The 20-mg/mL smooth, highly cohesive, viscous, volumizing HA filler was effective, well tolerated, and easy to use in current clinical practice. Participants were very likely to recommend this product to colleagues and friends, and patients would be very or quite likely to request this product for future treatments.</p

Evaluation of the effect of patient education on rates of falls in older hospital patients: Description of a randomised controlled trial

Background. Accidental falls by older patients in hospital are one of the most commonly reported adverse events. Falls after discharge are also common. These falls have enormous physical, psychological and social consequences for older patients, including serious physical injury and reduced quality of life, and are also a source of substantial cost to health systems worldwide. There have been a limited number of randomised controlled trials, mainly using multifactorial interventions, aiming to prevent older people falling whilst inpatients. Trials to date have produced conflicting results and recent meta-analyses highlight that there is still insufficient evidence to clearly identify which interventions may reduce the rate of falls, and falls related injuries, in this population. Methods and design. A prospective randomised controlled trial (n = 1206) is being conducted at two hospitals in Australia. Patients are eligible to be included in the trial if they are over 60 years of age and they, or their family or guardian, give written consent. Participants are randomised into three groups. The control group continues to receive usual care. Both intervention groups receive a specifically designed patient education intervention on minimising falls in addition to usual care. The education is delivered by Digital Video Disc (DVD) and written workbook and aims to promote falls prevention activities by participants. One of the intervention groups also receives follow up education training visits by a health professional. Blinded assessors conduct baseline and discharge assessments and follow up participants for 6 months after discharge. The primary outcome measure is falls by participants in hospital. Secondary outcome measures include falls at home after discharge, knowledge of falls prevention strategies and motivation to engage in falls prevention activities after discharge. All analyses will be based on intention to treat principle. Discussion. This trial will examine the effect of a single intervention (specifically designed patient education) on rates of falls in older patients in hospital and after discharge. The results will provide robust recommendations for clinicians and researchers about the role of patient education in this population. The study has the potential to identify a new intervention that may reduce rates of falls in older hospital patients and could be readily duplicated and applied in a wide range of clinical settings. Trial Registration. ACTRN12608000015347

Post-puff respiration measures on smokers of different tar yield cigarettes

The purpose of this study was to determine the effect of different tar yield cigarette brands on the post-puff inhalation/exhalation depth and duration for established smokers of the brands. The study was conducted with 74 established smokers of 1–17 mg Federal Trade Commission (FTC) tar products. The subjects were participating in a five-day inpatient clinical biomarker study during which time they were allowed to smoke their own brand of cigarette whenever they wished. On two separate days, the subjects' breathing pattern was measured using respiratory inductive plethysmography while they smoked one cigarette. This enabled the measurement of the post-puff inhalation volume, exhalation volume, inhalation duration, and exhalation duration for each subject after each puff on two of their own brand of cigarettes

Is it feasible to deliver a complex intervention to improve the outcome of falls in people with dementia? A protocol for the DIFRID feasibility study

Background: People with dementia (PWD) experience ten times as many incident falls as people without dementia. Little is known about how best to deliver services to people with dementia following a fall. We used an integrated, mixed-methods approach to develop a new intervention which combines theory generated via a realist synthesis and data on current provision and pathways, gathered through a prospective observational study as well as qualitative interviews, focus groups, and ethnographic observation. This intervention is to be tested in a feasibility study in the UK National Health Service. Methods: People living with dementia in one of three geographical areas will be eligible for the study if they experience a fall requiring healthcare attention and have an informal carer. Potential participants will be identified by community services (primary care, paramedics, telecare), secondary care (ED; facilitated discharge services; rehabilitation outreach teams) and research case registers. Participants will receive a complex multidisciplinary intervention focused on their goals and interests for up to 12 weeks. The intervention will be delivered by occupational therapists, physiotherapists and rehabilitation support workers. Feasibility outcomes will include recruitment and retention, suitability and acceptability of outcome measures and acceptability, feasibility and fidelity of intervention components. PWD outcome measures will include number of falls, Montreal Cognitive Assessment (MOCA), European Quality of Life Instrument (EQ-5D-5L), Quality of Life–Alzheimer’s Disease Scale (QOL-AD), Modified Falls Efficacy Scale (MFES) and Goal Attainment Scaling (GAS). PWD outcome measures completed by an informal carer will include Disability Assessment for Dementia (DAD), EQ-5D-5L Proxy, QoL-AD Proxy and a Health Utilisation Questionnaire (HUQ), The carer outcome measure will be the Zarit Burden Interview (ZBI). An embedded process evaluation will explore barriers and facilitators to recruitment and intervention delivery. Discussion: The study results will inform whether and how a larger multicentre RCT should be undertaken. A full RCT would have the potential to show how outcomes can be improved for people with dementia who have fallen. Ethics and dissemination: The National Research Ethics Service Committee Newcastle and North Tyneside 2 approved the feasibility study. Trial registration: International Standard Randomised Controlled Trial Registry Registration number: ISRCTN41760734 Date of registration: 16/11/201

Updating known distribution models for forecasting climate change impact on endangered species

To plan endangered species conservation and to design adequate management programmes, it is necessary to predict their distributional response to climate change, especially under the current situation of rapid change. However, these predictions are customarily done by relating de novo the distribution of the species with climatic conditions with no regard of previously available knowledge about the factors affecting the species distribution. We propose to take advantage of known species distribution models, but proceeding to update them with the variables yielded by climatic models before projecting them to the future. To exemplify our proposal, the availability of suitable habitat across Spain for the endangered Bonelli’s Eagle (Aquila fasciata) was modelled by updating a pre-existing model based on current climate and topography to a combination of different general circulation models and Special Report on Emissions Scenarios. Our results suggested that the main threat for this endangered species would not be climate change, since all forecasting models show that its distribution will be maintained and increased in mainland Spain for all the XXI century. We remark on the importance of linking conservation biology with distribution modelling by updating existing models, frequently available for endangered species, considering all the known factors conditioning the species’ distribution, instead of building new models that are based on climate change variables only.Ministerio de Ciencia e Innovación and FEDER (project CGL2009-11316/BOS