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.

Genital manifestations of schistosomiasis mansoni in women: important but neglected

Egg-induced lesions in the upper and the lower female reproductive tract are important complications of the infection with Schistosoma mansoni. The understanding of the pathophysiology and pathology of genital lesions is only rudimentary, simple and reliable diagnostic tools are not at hand, epidemiological data do not exist and how to treat best the women affected, is not known. In view of recent advances in the understanding of genital lesions induced by S. haematobium the existing literature is critically analysized and possible consequences of female genital schistosomiasis are outlined. We estimate that 6 to 27 % girls and women with intestinal schistosomiasis, at least temporarily, suffer from pathology induced by eggs sequestered somewhere in their genital organs. This is a mattern of concern and warrants more research into the epidemiology, pathology, diagnosis and therapy of this disease entity.

A lower bound in Nehari's theorem on the polydisc

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

Volumetric quantification of atherosclerotic plaque in CT considering partial volume effect.

Coronary artery calcification (CAC) is quantified based on a computed tomography (CT) scan image. A calcified region is identified. Modified expectation maximization (MEM) of a statistical model for the calcified and background material is used to estimate the partial calcium content of the voxels. The algorithm limits the region over which MEM is performed. By using MEM, the statistical properties of the model are iteratively updated based on the calculated resultant calcium distribution from the previous iteration. The estimated statistical properties are used to generate a map of the partial calcium content in the calcified region. The volume of calcium in the calcified region is determined based on the map. The experimental results on a cardiac phantom, scanned 90 times using 15 different protocols, demonstrate that the proposed method is less sensitive to partial volume effect and noise, with average error of 9.5% (standard deviation (SD) of 5-7mm(3)) compared with 67% (SD of 3-20mm(3)) for conventional techniques. The high reproducibility of the proposed method for 35 patients, scanned twice using the same protocol at a minimum interval of 10 min, shows that the method provides 2-3 times lower interscan variation than conventional techniques.

Prevalence of chronic conditions – Musculoskeletal Conditions

IPH has estimated and forecast the number of adults with MSCs for the years 2010, 2015 and 2020. In the Republic of Ireland, the data are based on the Survey of Lifestyle, Attitudes and Nutrition (SLÁN) 2007 . The data describe the number of people who report that they have experienced doctor-diagnosed MSC in the previous 12 months:     Lower back pain or any other chronic back condition     Rheumatoid arthritis (inflammation of the joints)     Osteoarthritis (arthrosis, joint degradation) Data are  available by age and sex for each Local Health Office of the Health Service Executive (HSE) in the Republic of Ireland. In Northern Ireland, the data are based on the Health and Social Wellbeing Survey 2005/06 and Understanding Society 2009. The data describe the number of adults who:     Have ever consulted a doctor about back pain     Are currently receiving treatment for musculoskeletal problems (such as arthritis, rheumatism)     Have ever been told by a doctor or other health professional that they had have arthritis? Data are available by age and sex for each Local Government District in Northern Ireland. There are significant differences between the definitions used in RoI and NI and North-South comparisons are not valid. The RoI measures relate to specific MSCs in the previous 12 months that had been diagnosed by a doctor. The NI measures relate to doctor-consultations at any time in the past, doctor-diagnosis at any time in the past and current treatment. The IPH estimated prevalence per cents may be marginally different to estimated prevalence per cents taken directly from the reference study. There are two reasons for this: 1) The IPH prevalence estimates relate to 2010 while the reference studies relate to earlier years (Northern Ireland Health and Social Wellbeing Survey 2005/06, Survey of Lifestyle, Attitudes and Nutrition 2007, Understanding Society 2009). Although we assume that the risk of the condition in the risk groups do not change over time, the distribution of the number of people in the risk groups in the population changes over time (eg the population ages).  This new distribution of the risk groups in the population means that the risk of the condition is weighted differently to the reference study and this results in a different overall prevalence estimate. 2) The IPH prevalence estimates are based on a statistical model of the reference study. The model includes a number of explanatory variables to predict the risk of the condition. Therefore the model does not include records from the reference study that are missing data on these explanatory variables. A prevalence estimate for a condition taken directly from the reference study would include these records.

Lutzomyia sand flies (Diptera: Psychodidae) from middle and lower Putumayo department, Colombia, with new records to the country

A total of 4,840 phlebotomine sand flies from 54 localities in Putumayo department (=state), in the Colombian Amazon region, were collected in Shannon traps, CDC light traps, resting places and from human baits. At least 42 Lutzomyia species were registered for the first time to the department. Psychodopygus and Nyssomyia were the subgenera with the greatest number of taxa, the most common species being L. (N.) yuilli and L. (N.) pajoti. They were sympatric in a wide zone of Putumayo, indicating that they should be treated as full species (new status). Among the anthropophilic sand flies, L. gomezi and L. yuilli were found in intradomiciliar, peridomestic, urban or forest habitats. L. richardwardi, L. claustrei, L. nocticola and L. micropyga are reported for the first time in the Colombian Amazon basin. L. pajoti, L. sipani and L. yucumensis are new records for Colombia.

Patterns of sex work contact among men in the general population of Switzerland, 1987-2000

OBJECTIVES: To analyse the prevalence of lifetime recourse to prostitution (LRP) among men in the general population of Switzerland from a trend and cohort perspective. METHODS: Using nine repeated representative cross-sectional surveys from 1987 to 2000, age-specific estimates of LRP were computed. Trends and period effect were analysed as the evolution of cross-sectional population estimates within age groups and overall. Cohort analysis relied on cohorts constructed from the 1989 survey and followed in subsequent waves. Age and cohort effects were modelled using logistic regression and non-parametric monotone regression. RESULTS: Whereas prevalence for the younger groups was found to be logically lower, there was no consistent increasing or decreasing trend over the years; there was no significant period effect. For the 17-30 year age group, the mean estimate over 1987-2000 was 11.5% (range 8.3 to 12.7%); for the 31-45 year group, the mean was 21.5% (range over 1989-2000 20.3 to 23.0%). Regarding cohort analysis, the prevalence of LRP was found to increase steeply in the youngest ages before reaching a plateau near the age of 40 years. At the age of 43 years, the prevalence was estimated to be 22.6% (95% CI 21.1% to 24.1%). CONCLUSIONS: The steep increase in the cohort-wise prevalence of LRP in younger ages calls for a concentration of prevention activities in young people. If the plateauing at approximately 40 years of age is not followed by a further increase later in life, which is not known, then consumers of paid sex would be repeat buyers only, a fact that should be taken into account by prevention.

Undernutrition in children with profound intellectual and multiple disabilities (PIMD): its prevalence and influence on quality of life.

BACKGROUND: To estimate the prevalence of undernutrition among children with profound intellectual and multiple disabilities (PIMD) and to explore its influence on quality of life. METHODS: Seventy-two children with PIMD (47 male; 25 female; age range 2 to 15 years 4 months; mean age 8.6, SD 3.6) underwent an anthropometric assessment, including body weight, triceps skinfold thickness, segmental measures and recumbent length. Undernutrition was determined using tricipital skinfold percentile and z-scores of weight-for-height and height-for-age. The quality of life of each child was evaluated using the QUALIN questionnaire adapted for profoundly disabled children. RESULTS: Twenty-five children (34.7%) were undernourished and seven (9.7%) were obese. Among undernourished children only eight (32 %) were receiving food supplements and two (8%) had a gastrostomy, of which one was still on a refeeding programme. On multivariate analysis, undernutrition was one of the independent predictors of lower quality of life. CONCLUSION: Undernutrition remains a matter of concern in children with PIMD. There is a need to better train professionals in systematically assessing the nutritional status of profoundly disabled children in order to start nutritional management when necessary.

Lower faecal egg excretion in chemically-induced diabetic mice infected with Schistosoma mansoni due to impaired egg maturation

The effect of streptozotocin-induced diabetes mellitus was studied in mice infected with Schistosoma mansoni. Faecal egg excretion was lower in diabetic mice but worm load and total amount of eggs in the intestine tissue were equal to the control group. Evaluation of an oogram showed a great number of immature dead eggs and a low number of mature eggs in diabetic mice. It was therefore concluded that faecal egg excretion was lower in diabetic mice due to impaired egg maturation.

Long-term health-related quality of life and walking capacity of lung recipients with and without bronchiolitis obliterans syndrome.

BACKGROUND: Outcome after lung transplantation (LTx) is affected by the onset of bronchiolitis obliterans syndrome (BOS) and lung function decline. Reduced health-related quality of life (HRQL) and physical mobility have been shown in patients developing BOS, but the impact on the capacity to walk is unknown. We aimed to compare the long-term HRQL and 6-minute walk test (6MWT) between lung recipients affected or not by BOS Grade > or =2. METHODS: Fifty-eight patients were prospectively followed for 5.6 +/- 2.9 years after LTx. Assessments included the St George's Respiratory Questionnaire (SGRQ) and the 6MWT, which were performed yearly. Moreover, clinical complications were recorded to estimate the proportion of the follow-up time lived without clinical intercurrences after transplant. Analyses were performed using adjusted linear regression and repeated-measures analysis of variance. RESULTS: BOS was a significant predictor of lower SGRQ scores (p < 0.01) and reduced time free of clinical complications (p = 0.001), but not of 6MWT distance (p = 0.12). At 7 years post-transplant, results were: 69.0 +/- 21.8% vs 86.9 +/- 5.6%, p < 0.05 (SGRQ); 58.5 +/- 21.6% vs 88.7 +/- 11.4%, p < 0.01 (proportion of time lived without clinical complications); and 82.2 +/- 10.9% vs 91.9 +/- 14.2%, p = 0.27 (percent of predicted 6MWT), respectively, for patients with BOS and without BOS. CONCLUSIONS: Despite significantly less time lived without clinical complications and progressive decline of self-reported health status, the capacity to walk of patients affected by BOS remained relatively stable over time. These findings may indicate that the development of moderate to severe BOS does not prevent lung recipients from walking independently and pursuing an autonomous life.

Error estimate and control in the MSFV method for multiphase flow in porous media

n this paper the iterative MSFV method is extended to include the sequential implicit simulation of time dependent problems involving the solution of a system of pressure-saturation equations. To control numerical errors in simulation results, an error estimate, based on the residual of the MSFV approximate pressure field, is introduced. In the initial time steps in simulation iterations are employed until a specified accuracy in pressure is achieved. This initial solution is then used to improve the localization assumption at later time steps. Additional iterations in pressure solution are employed only when the pressure residual becomes larger than a specified threshold value. Efficiency of the strategy and the error control criteria are numerically investigated. This paper also shows that it is possible to derive an a-priori estimate and control based on the allowed pressure-equation residual to guarantee the desired accuracy in saturation calculation.

2003 Revised Estimates for Public Services - Estimate for the Department of Health and Children

2003 Revised Estimates for Public Services – Estimate for the Department of Health and Children Estimate of the amount required in the year ending 31 December, 2003 for the salaries and expenses of the Office of the Minister for Health and Children (including Oifig an Ard- Chláraitheora), and certain other services administered by that Office, including grants to Health Boards and miscellaneous grants. Click here to download PDF 52kb

2003 Revised Estimates for Public Services Estimate for the Department of Health and Children

Click here to download PDF