Sharpened lower bounds for cut elimination

We present sharpened lower bounds on the size of cut free proofs for first-order logic. Prior lower bounds for eliminating cuts from a proof established superexponential lower bounds as a stack of exponentials, with the height of the stack proportional to the maximum depth d of the formulas in the original proof. Our new lower bounds remove the constant of proportionality, giving an exponential stack of height equal to d − O(1). The proof method is based on more efficiently expressing the Gentzen-Solovay cut formulas as low depth formulas.

Optimal asymptotic bounds for spherical designs

"Vegeu el resum a l'inici del document del fitxer adjunt"

Evaluation of subsidies programs to sell green cars: Impact on prices, quantities and efficiency

During the recent period of economic crisis, many countries have introduced scrappage schemes to boost the sale and production of vehicles, particularly of vehicles designed to pollute less. In this paper, we analyze the impact of a particular scheme in Spain (Plan2000E) on vehicle prices and sales figures as well as on the reduction of polluting emissions from vehicles on the road. We considered the introduction of this scheme an exogenous policy change and because we could distinguish a control group (non-subsidized vehicles) and a treatment group (subsidized vehicles), before and after the introduction of the Plan, we were able to carry out our analysis as a quasi-natural experiment. Our study reveals that manufacturers increased vehicle prices by the same amount they were granted through the Plan (1,000 €). In terms of sales, econometric estimations revealed an increase of almost 5% as a result of the implementation of the Plan. With regard to environmental efficiency, we compared the costs (inverted quantity of money) and the benefits of the program (reductions in polluting emissions and additional fiscal revenues) and found that the Plan would only be beneficial if it boosted demand by at least 30%.

Risk Factors for Human T Cell Lymphotropic Virus Type I among Injecting Drug Users in Northeast Brazil: Possibly Greater Efficiency of Male to Female Transmission

It was observed in the city of Salvador, State of Bahia, the highest seroprevalence of human T cell lymphotropic virus type 1 (HTLV-I) infection in Brazil as demonstrated by national wide blood bank surveys. In this paper, we report results of an investigation of drug use and sexual behavior associated with HTLV-I infection among male and female injecting drug users (IDUs) in Salvador. A cross sectional study was conducted in the Historical District of Salvador from 1994-1996 (Projeto Brasil-Salvador) and 216 asymptomatic IDUs were selected using the snowball contact technique. Blood samples were collected for serological assays. Sera were screened for human immunodeficiency virus (HIV-1/2) and HTLV-I/II antibodies by ELISA and confirmed by Western blot. The overall prevalence of HTLV-I/II was 35.2% (76/216). The seroprevalence of HTLV-I, HTLV-II and HIV-1 was for males 22%, 11.3% and 44.1% and for females 46.2%, 10.3% and 74.4% respectively. HTLV-I was identified in 72.4% of HTLV positive IDUs. Variables which were significantly associated with HTLV-I infection among males included needle sharing practices, duration of injecting drug use, HIV-1 seropositivity and syphilis. Among women, duration of injecting drug use and syphilis were strongly associated with HTLV-I infection. Multivariate analysis did not change the direction of these associations. Sexual intercourse might play a more important role in HTLV-I infection among women than in men.

Amplification efficiency: linking baseline and bias in the analysis of quantitative PCR data.

Despite the central role of quantitative PCR (qPCR) in the quantification of mRNA transcripts, most analyses of qPCR data are still delegated to the software that comes with the qPCR apparatus. This is especially true for the handling of the fluorescence baseline. This article shows that baseline estimation errors are directly reflected in the observed PCR efficiency values and are thus propagated exponentially in the estimated starting concentrations as well as 'fold-difference' results. Because of the unknown origin and kinetics of the baseline fluorescence, the fluorescence values monitored in the initial cycles of the PCR reaction cannot be used to estimate a useful baseline value. An algorithm that estimates the baseline by reconstructing the log-linear phase downward from the early plateau phase of the PCR reaction was developed and shown to lead to very reproducible PCR efficiency values. PCR efficiency values were determined per sample by fitting a regression line to a subset of data points in the log-linear phase. The variability, as well as the bias, in qPCR results was significantly reduced when the mean of these PCR efficiencies per amplicon was used in the calculation of an estimate of the starting concentration per sample.

Schistosomiasis mansoni in Bananal (State of São Paulo, Brazil): I. Efficiency of diagnostic and treatment procedures

Bananal is an important focus of Schistosoma mansoni in the State of São Paulo. Accordingly, programmed active search for human cases, annual coproscopic surveys and treatment of infected cases were started in 1998, aiming at producing a sharp prevalence rate drop by the year 2000. S. mansoni eggs were searched for in two Kato-Katz slides per patient. Cases were followed up according to the routine of the local Family Health Program. In 1998, 130 samples out of 3,860 showed S. mansoni eggs; in 1999, 105 out of 3,550, and in 2000, 64 out of 3,528. Prevalence rates were 3.4%, 2.9%, and 1.8%, and average egg-counts 59, 64, and 79 eggs per gram of feces respectively. Prevalence rates decreased steadily after treatment, but persistently positive cases showed no significant decrease in parasite burdens. Egg count variation depended on sex and age bracket. Persistent residual cases admittedly preclude the eradication of this infection by only searching for and treating carriers. In addition, resistance to therapy and low sensitivity of fecal examinations, can not be ignored. Moderate to heavy worm burdens, frequently associated with hepatomegaly elsewhere, produced no serious cases in Bananal.

Value for Money Report - The Efficiency and Effectiveness of Long-Stay Residential Care for Adults within the Mental Health Services

Value for Money Report – The Efficiency and Effectiveness of Long-Stay Residential Care for Adults within the Mental Health Services Executive Summary and Contents PDF 164kb Chapters 1 and 2 – Introduction and Service Objectives PDF 504kb Chapter 3 plus annexes – Service Effectiveness and Efficiency PDF 3.7mb Chapter 4 – Service Resources PDF 2.4mb Chapters 5, 6 and 7 – Future Funding and Alternative Approaches, Key Performance Indicators, Conclusions and Recommendations PDF 2.4mb Appendices 1 to 6

Report On Public Consultation: Efficiency And Effectiveness Of Disability Services In Ireland

Report On Public Consultation: Efficiency And Effectiveness Of Disability Services In Ireland Click here to download PDF 1.67MB Other Relevant Documents: Click here to download Appendix A PDF 1.06MB Click here to download Summary of Key Proposals from The Review of Disability Policy PDF 250KB

Efficiency of flexible derotator in walking cerebral palsy children

Introduction The flexible derotator is one of the therapeutic resources used to combat primary and secondary abnormalities in walking cerebral palsy children. It was developed to reduce abnormal femoral and tibial torsions and lessen the latter's negative functional impact. Objective To determine the effect of wearing a flexible derotator on anatomic and functional parameters in walking cerebral palsy children. Methods We performed a retrospective study of walking cerebral palsy children by gathering data on bone-related parameters (femoral and tibial torsion) and functional parameters (distance and speed gait, and the energy expenditure index (EEI)). Fifteen walking cerebral palsy children were treated with the flexible derotator for one year and 15 untreated walking cerebral palsy children were included as controls. The two groups were compared in terms of the various parameters' change over time between the initial examination (the last examination prior to the start of the study or prior to use of the flexible derotator) and the final examination (after one year of follow-up). Results Right femoral anteversion and right and left external tibial torsion improved. There was a significant increase in distance and speed gait and a decrease in the EEI in walking cerebral palsy children. Conclusion Our retrospective study revealed a significant improvement in functional parameters in children with cerebral palsy, as a result of wearing the flexible derotator for at least 6 hours a day for a year. Bone parameters only improved slightly. Use of the flexible derotator could improve these children's quality of life.

Physicochemical aspects and efficiency of albuterol nebulization: comparison of three aerosol types in an in vitro pediatric model.

BACKGROUND: Advances in nebulizer design have produced both ultrasonic nebulizers and devices based on a vibrating mesh (vibrating mesh nebulizers), which are expected to enhance the efficiency of aerosol drug therapy. The aim of this study was to compare 4 different nebulizers, of 3 different types, in an in vitro model using albuterol delivery and physical characteristics as benchmarks. METHODS: The following nebulizers were tested: Sidestream Disposable jet nebulizer, Multisonic Infra Control ultrasonic nebulizer, and the Aerogen Pro and Aerogen Solo vibrating mesh nebulizers. Aerosol duration, temperature, and drug solution osmolality were measured during nebulization. Albuterol delivery was measured by a high-performance liquid chromatography system with fluorometric detection. The droplet size distribution was analyzed with a laser granulometer. RESULTS: The ultrasonic nebulizer was the fastest device based on the duration of nebulization; the jet nebulizer was the slowest. Solution temperature decreased during nebulization when the jet nebulizer and vibrating mesh nebulizers were used, but it increased with the ultrasonic nebulizer. Osmolality was stable during nebulization with the vibrating mesh nebulizers, but increased with the jet nebulizer and ultrasonic nebulizer, indicating solvent evaporation. Albuterol delivery was 1.6 and 2.3 times higher with the ultrasonic nebulizer and vibrating mesh nebulizers devices, respectively, than with the jet nebulizer. Particle size was significantly higher with the ultrasonic nebulizer. CONCLUSIONS: The in vitro model was effective for comparing nebulizer types, demonstrating important differences between nebulizer types. The new devices, both the ultrasonic nebulizers and vibrating mesh nebulizers, delivered more aerosolized drug than traditional jet nebulizers.

Efficiency of rubidium marking in Aedes albopictus (Diptera: Culicidae): preliminary evaluation on persistence of egg labeling, survival, and fecundity of marked female

Rubidium chloride (RbCl) has been used for the study of vector biology and behavior, although the efficacy of marking, egg production, and survivorship of marked females have been poorly studied. Four concentrations of RbCl were tested, among which 0.025 M was the best for marking Aedes albopictus: more than 80% of egg batches of females fed once with blood containing RbCl were marked; Rb-marked egg batches, interspersed with non marked ones were recovered until 61 days after a blood meal containing RbCl followed by non marked meals; RbCl was essentially detected in the abdomen of marked females, whose egg production and survivorship did not differ from non marked ones, at least in the three weeks following the Rb-marked blood meal.

Production of OER, a Quest for Efficiency

In most initiatives to publish Open Educational Resources (OER), the production of OER is the activity with the highest costs. Based on literature and personal experiences a list of relevant characteristics of production processes for OER are determined. Three cases are compared with each other on these characteristics. Most influence on costs are human costs and the type of OER created.

Mosquito traps designed to capture Aedes aegypti (Diptera: Culicidae) females: preliminary comparison of Adultrap, MosquiTRAP and backpack aspirator efficiency in a dengue-endemic area of Brazil

In this report, the efficiency of Adultrap under field conditions is compared to a CDC backpack aspirator and to MosquiTRAP. An urban dengue-endemic area of Rio de Janeiro was selected to evaluate the efficiency of mosquito traps in capturing Aedes aegypti females. Adultrap and aspirator captured similar numbers of Ae. aegypti females, with the former showing high specificity to gravid individuals (93.6%). A subsequent mark-release-recapture experiment was conducted to evaluate Adultrap and MosquiTRAP efficiency concomitantly. With a 6.34% recapture rate, MosquiTRAP captured a higher mean number of female Ae. aegypti per trap than Adultrap (Ç2 = 14.26; df = 1; p < 0,05). However, some MosquiTRAPs (28.12%) contained immature Ae. aegypti after 18 days of exposure in the field and could be pointed as an oviposition site for female mosquitoes. Both trapping methods, designed to collect gravid Ae. aegypti females, seem to be efficient, reliable and may aid routine Ae. aegypti surveillance.