A feasible theory of truth over combinatory algebra

We define an applicative theory of truth TPT which proves totality exactly for the polynomial time computable functions. TPT has natural and simple axioms since nearly all its truth axioms are standard for truth theories over an applicative framework. The only exception is the axiom dealing with the word predicate. The truth predicate can only reflect elementhood in the words for terms that have smaller length than a given word. This makes it possible to achieve the very low proof-theoretic strength. Truth induction can be allowed without any constraints. For these reasons the system TPT has the high expressive power one expects from truth theories. It allows embeddings of feasible systems of explicit mathematics and bounded arithmetic. The proof that the theory TPT is feasible is not easy. It is not possible to apply a standard realisation approach. For this reason we develop a new realisation approach whose realisation functions work on directed acyclic graphs. In this way, we can express and manipulate realisation information more efficiently.

Same same but different: Locational policies in small and medium-sized European cities

Globalized interurban competition is affecting cities of various sizes and locations. Small and medium-sized cities have to find ways to position themselves in global markets by formulating locational policies. This paper outlines an analytical framework of locational policies that cities adopt in order to increase their competitiveness. By comparing two European small and mediumsized cities (Lucerne and Ulm), we examine manifestations of locational policies and compare if these policies are being diverse or resemble each other. We found that strategies of both cities are sharing the intentions to be competitive, but their policy choices differ because the economic and political context is enabling or restricting certain kinds of locational policies. Furthermore, the findings point to the high explanatory power of municipal tax autonomy when studying locational policies.

Good reproducibility of heart rate variability after orthostatic challenge in patients with a history of acute coronary syndrome

BACKGROUND: Several parameters of heart rate variability (HRV) have been shown to predict the risk of sudden cardiac death (SCD) in cardiac patients. There is consensus that risk prediction is increased when measuring HRV during specific provocations such as orthostatic challenge. For the first time, we provide data on reproducibility of such a test in patients with a history of acute coronary syndrome. METHODS: Sixty male patients (65+/-8years) with a history of acute coronary syndrome on stable medication were included. HRV was measured in supine (5min) and standing (5min) position on 2 occasions separated by two weeks. For risk assessment relevant time-domain [standard deviation of all R-R intervals (SDNN) and root mean squared standard differences between adjacent R-R intervals (RMSSD)], frequency domain [low-frequency power (LF), high-frequency power (HF) and LF/HF power ratio] and short-term fractal scaling component (DF1) were computed. Absolute reproducibility was assessed with the standard errors of the mean (SEM) and 95% limits of random variation, and relative reproducibility by the intraclass correlation coefficient (ICC). RESULTS: We found comparable SEMs and ICCs in supine position and after an orthostatic challenge test. All ICCs were good to excellent (ICCs between 0.636 and 0.869). CONCLUSIONS: Reproducibility of HRV parameters during orthostatic challenge is good and comparable with supine position.

Seven years of annual pollen influx at the forest limit in the Swiss Alps studied by pollen traps: relations to vegetation and climate

Annual pollen influx has been monitored in short transects across the altitudinal tree limit in four areas of the Swiss Alps with the use of modified Tauber traps placed at the ground surface. The study areas are Grindelwald (8 traps), Aletsch (8 traps), Simplon (5 traps), and Zermatt (5 traps). The vegetation around the traps is described. The results obtained are: (1) Peak years of pollen influx (one or two in seven years) follow years of high average air temperatures during June–November of the previous year for Larix and Picea, and less clearly for Pinus non-cembra, but not at all for Pinus cembra and Alnus viridis. (2) At the upper forest limit, the regional pollen influx of trees (trees absent within 100 m of the pollen trap) relates well to the average basal area of the same taxon within 10–15 km of the study areas for Pinus cembra, Larix, and Betula, but not for Picea, Pinus non-cembra, and Alnus viridis. (3) The example of Zermatt shows that pollen influx characterises the upper forest limit, if the latter is more or less intact. (4) Presence/absence of Picea, Pinus cembra, Larix, Pinus non-cembra, and Alnus viridis trees within 50–100 m of the traps is apparent in the pollen influx in peak years of pollen influx but not in other years, suggesting that forest-limit trees produce significant amounts of pollen only in some years. (5) Pollen influx averaged over the study period correlates well with the abundance of plants around the pollen traps for conifer trees (but not deciduous trees), Calluna, Gramineae, and Cyperaceae, and less clearly so Compositae Subfam. Cichorioideae and Potentilla-type. (6) Influx of extra-regional pollen derived from south of the Alps is highest in Simplon, which is open to southerly winds, slightly lower in Aletsch lying just north of Simplon, and lowest in Zermatt sheltered from the south by high mountains and Grindelwald lying north of the central Alps.

The Honey Bee Pathosphere of Mongolia: European Viruses in Central Asia

Parasites and pathogens are apparent key factors for the detrimental health of managed European honey bee subspecies, Apis mellifera. Apicultural trade is arguably the main factor for the almost global distribution of most honey bee diseases, thereby increasing chances for multiple infestations/infections of regions, apiaries, colonies and even individual bees. This imposes difficulties to evaluate the effects of pathogens in isolation, thereby creating demand to survey remote areas. Here, we conducted the first comprehensive survey for 14 honey bee pathogens in Mongolia (N = 3 regions, N = 9 locations, N = 151 colonies), where honey bee colonies depend on humans to overwinter. In Mongolia, honey bees, Apis spp., are not native and colonies of European A. mellifera subspecies have been introduced ~60 years ago. Despite the high detection power and large sample size across Mongolian regions with beekeeping, the mite Acarapis woodi, the bacteria Melissococcus plutonius and Paenibacillus larvae, the microsporidian Nosema apis, Acute bee paralysis virus, Kashmir bee virus, Israeli acute paralysis virus and Lake Sinai virus strain 2 were not detected, suggesting that they are either very rare or absent. The mite Varroa destructor, Nosema ceranae and four viruses (Sacbrood virus, Black queen cell virus, Deformed wing virus (DWV) and Chronic bee paralysis virus) were found with different prevalence. Despite the positive correlation between the prevalence of V. destructor mites and DWV, some areas had only mites, but not DWV, which is most likely due to the exceptional isolation of apiaries (up to 600 km). Phylogenetic analyses of the detected viruses reveal their clustering and European origin, thereby supporting the role of trade for pathogen spread and the isolation of Mongolia from South-Asian countries. In conclusion, this survey reveals the distinctive honey bee pathosphere of Mongolia, which offers opportunities for exciting future research.

Modern diatom, cladocera, chironomid, and chrysophyte cyst assemblages as quantitative indicators for the reconstruction of past environmental conditions in the Alps. II. Nutrients

Surface sediments from 68 small lakes in the Alps and 9 well-dated sediment core samples that cover a gradient of total phosphorus (TP) concentrations of 6 to 520 μg TP l-1 were studied for diatom, chrysophyte cyst, cladocera, and chironomid assemblages. Inference models for mean circulation log10 TP were developed for diatoms, chironomids, and benthic cladocera using weighted-averaging partial least squares. After screening for outliers, the final transfer functions have coefficients of determination (r2, as assessed by cross-validation, of 0.79 (diatoms), 0.68 (chironomids), and 0.49 (benthic cladocera). Planktonic cladocera and chrysophytes show very weak relationships to TP and no TP inference models were developed for these biota. Diatoms showed the best relationship with TP, whereas the other biota all have large secondary gradients, suggesting that variables other than TP have a strong influence on their composition and abundance. Comparison with other diatom – TP inference models shows that our model has high predictive power and a low root mean squared error of prediction, as assessed by cross-validation.

Asset Pricing with Heterogeneous Agents, Incomplete Markets and Trading Constraints

The consumption capital asset pricing model is the standard economic model used to capture stock market behavior. However, empirical tests have pointed out to its inability to account quantitatively for the high average rate of return and volatility of stocks over time for plausible parameter values. Recent research has suggested that the consumption of stockholders is more strongly correlated with the performance of the stock market than the consumption of non-stockholders. We model two types of agents, non-stockholders with standard preferences and stock holders with preferences that incorporate elements of the prospect theory developed by Kahneman and Tversky (1979). In addition to consumption, stockholders consider fluctuations in their financial wealth explicitly when making decisions. Data from the Panel Study of Income Dynamics are used to calibrate the labor income processes of the two types of agents. Each agent faces idiosyncratic shocks to his labor income as well as aggregate shocks to the per-share dividend but markets are incomplete and agents cannot hedge consumption risks completely. In addition, consumers face both borrowing and short-sale constraints. Our results show that in equilibrium, agents hold different portfolios. Our model is able to generate a time-varying risk premium of about 5.5% while maintaining a low risk free rate, thus suggesting a plausible explanation for the equity premium puzzle reported by Mehra and Prescott (1985).

Body mass index trajectories and predictors among 3rd to 12th graders using growth curve mixture modeling the Child and Adolescent Trial for Cardiovascular Health (CATCH) study

This dissertation examined body mass index (BMI) growth trajectories and the effects of gender, ethnicity, dietary intake, and physical activity (PA) on BMI growth trajectories among 3rd to 12th graders (9-18 years of age). Growth curve model analysis was performed using data from The Child and Adolescent Trial for Cardiovascular Health (CATCH) study. The study population included 2909 students who were followed up from grades 3-12. The main outcome was BMI at grades 3, 4, 5, 8, and 12. ^ The results revealed that BMI growth differed across two distinct developmental periods of childhood and adolescence. Rate of BMI growth was faster in middle childhood (9-11 years old or 3rd - 5th grades) than in adolescence (11-18 years old or 5th - 12th grades). Students with higher BMI at 3rd grade (baseline) had faster rates of BMI growth. Three groups of students with distinct BMI growth trajectories were identified: high, average, and low. ^ Black and Hispanic children were more likely to be in the groups with higher baseline BMI and faster rates of BMI growth over time. The effects of gender or ethnicity on BMI growth differed across the three groups. The effects of ethnicity on BMI growth were weakened as the children aged. The effects of gender on BMI growth were attenuated in the groups with a large proportion of black and Hispanic children, i.e., “high” or “average” BMI trajectory group. After controlling for gender, ethnicity, and age at baseline, in the “high BMI trajectory”, rate of yearly BMI growth in middle childhood increased 0.102 for every 500 Kcals increase (p=0.049). No significant effects of percentage of energy from total fat and saturated fat on BMI growth were found. Baseline BMI increased 0.041 for every 30 minutes increased in moderate-to-vigorous PA (MVPA) in the “low BMI trajectory”, while Baseline BMI decreased 0.345 for every 30 minutes increased in vigorous PA (VPA) in the “high BMI trajectory”. ^ Childhood overweight and obesity interventions should start at the earliest possible ages, prior to 3rd grade and continue through grade school. Interventions should focus on all children, but specifically black and Hispanic children, who are more likely to be highest at-risk. Promoting VPA earlier in childhood is important for preventing overweight and obesity among children and adolescents. Interventions should target total energy intake, rather than only percentage of energy from total fat or saturated fat. ^

Analyses of shocked quartz from the K-P boundary

The precise cause and timing of the Cretaceous-Paleocene (K-P) mass extinction 65 Ma ago remains a matter of debate. Many advocate that the extinction was caused by a meteorite impact at Chicxulub, Mexico, and a number of potential kill-mechanisms have been proposed for this. Although we now have good constraints on the size of this impact and chemistry of the target rocks, estimates of its environmental consequences are hindered by a lack of knowledge about the obliquity of this impact. An oblique impact is likely to have been far more catastrophic than a sub-vertical one, because greater volumes of volatiles would have been released into the atmosphere. The principal purpose of this study was to characterize shocked quartz within distal K-P ejecta, to investigate whether the quartz distribution carried a signature of the direction and angle of impact. Our analyses show that the total number, maximum and average size of shocked quartz grains all decrease gradually with paleodistance from Chicxulub. We do not find particularly high abundances in Pacific sites relative to Atlantic and European sites, as has been previously reported, and the size-distribution around Chicxulub is relatively symmetric. Ejecta samples at any one site display features that are indicative of a wide range of shock pressures, but the mean degree of shock increases with paleodistance. These shock- and size-distributions are both consistent with the K-P layer having been formed by a single impact at Chicxulub. One site in the South Atlantic contains quartz indicating an anomalously high average shock degree, that may be indicative of an oblique impact with an uprange direction to the southeast +/- 45°. The apparent continuous coverage of proximal ejecta in this quadrant of the crater, however, suggests a relatively high impact angle of >45°. We conclude that some of the more extreme predictions of the environmental consequences of a low-angle impact at Chicxulub are probably not applicable.

Monitoreo de parásitos patógenos en afluentes agroindustriales

Las aguas residuales son potenciales portadoras de enteroparásitos patógenos para el hombre cuya dosis infectiva puede ser mínima y prolongado el tiempo de sobrevivencia de huevos y quistes en el ambiente. La reglamentación limita la presencia de huevos de helmintos y, hasta el año 2000, no proponía una técnica para su detección. Este trabajo se realizó para caracterizar parasitológicamente los efluentes procedentes de agroindustrias. La capacitación en la identificación microscópica demandó la confección de fichas que describen las características de huevos de helmintos. Se efectuaron ensayos con muestras de bodegas y aceiteras en los puntos detectados de contaminación. Los métodos fueron adaptados a las particularidades de los efluentes. Los resultados no señalaron presencia de helmintos; no obstante, se hallaron Cyclospora e Isospora, protozoarios que, por su alto poder infectivo, también constituyen un riesgo para el hombre. Sin embargo, no están contemplados por la legislación. Respecto a helmintos, es necesario un estudio comparativo de las técnicas de detección para efluentes agroindustriales, con el fin de establecer las que optimicen su recuperación. En cuanto a otras especies es preciso continuar investigando su presencia para evaluar la conveniencia de incorporarlas a la reglamentación.

Estado de conservación de bosques de Maytenus boaria Mol. (maitén) en quebradas cordilleranas (Departamento San Carlos, Mendoza, Argentina)

Los bosques de Maytenus boaria Mol. (maitén) se distribuyen en Mendoza en el borde oriental de la Cordillera Frontal en el Dpto. de San Carlos y constituyen valiosos relictos. El objetivo del trabajo fue estudiar el estado de conservación de estos bosques en umbría y solana entre 1500 y 1640 m s.n.m. en quebradas de esta cordillera. Para ello se relevó el número de individuos por clase diamétrica (adultos, jóvenes y renovales) y sus características de vitalidad-deterioro. Los bosques relevados se presentan esquemáticamente mediante perfiles que sintetizan su fisonomía, principales características ambientales y la presencia de disturbios. Si se considera la totalidad de los adultos de las poblaciones inventariadas (100 maitenes) sólo 19% están sanos, 50% débiles, 17% decrépitos y 14% muertos en pie; esto reflejaría algún tipo de estrés que reduce su vitalidad o que estarían alcanzando la vejez. La causa del deterioro en jóvenes y renovales se debe al ataque por insectos y/o por ramoneo del ganado; debido al alto deterioro medio de los renovales (65%) y jóvenes (88%) la renovación del bosque es incierta. Se concluye que es necesario iniciar la conservación de estos bosques y profundizar en su conocimiento. Se trata del primer estudio de bosques de maitén en las quebradas de la Cordillera Frontal de Mendoza.

Factores que influyen en la adopción de tecnologías de conservación de suelos en el secano interior de Chile Central

El desarrollo de sistemas agrícolas sustentables es un desafío en el contexto de políticas e incentivos tendientes a la conservación de los recursos naturales, especialmente en zonas de secano. El presente estudio examina variables demográficas y productivas que influyen en la adopción de tecnologías de conservación de suelos en 90 pequeños productores del secano interior de Chile Central, en las comunas de Pencahue y Curepto. Se utilizó un modelo de regresión Probit, el cual asocia la adopción de las tecnologías con las variables: edad del agricultor, tamaño familiar, superficie predial y forma de tenencia de la tierra; presencia de: plantaciones forestales, invernaderos, aboneras, animales mayores en el predio; experiencia en comercialización del productor y participación en actividades de capacitación. El modelo seleccionado tiene un alto poder de predicción, llegando a clasificar correctamente un 92,2% de las observaciones. Los resultados econométricos muestran que la participación en actividades de extensión, la superficie predial, la presencia de plantaciones forestales y el uso de aboneras, influyen de manera positiva y significativa sobre la adopción de tecnologías conservacionistas. Resulta relevante el impacto de la capacitación sobre la adopción de tecnologías de alto grado de inversión, así como la incorporación de prácticas de conservación de bajo nivel de inversión como las aboneras.

A compact lightweight multipurpose ground-penetrating radar for glaciological applications

We describe a compact lightweight impulse radar for radio-echo sounding of subsurface structures designed specifically for glaciological applications. The radar operates at frequencies between 10 and 75 MHz. Its main advantages are that it has a high signal-to-noise ratio and a corresponding wide dynamic range of 132 dB due mainly to its ability to perform real-time stacking (up to 4096 traces) as well as to the high transmitted power (peak voltage 2800 V). The maximum recording time window, 40 ?s at 100 MHz sampling frequency, results in possible radar returns from as deep as 3300 m. It is a versatile radar, suitable for different geophysical measurements (common-offset profiling, common midpoint, transillumination, etc.) and for different profiling set-ups, such as a snowmobile and sledge convoy or carried in a backpack and operated by a single person. Its low power consumption (6.6 W for the transmitter and 7.5 W for the receiver) allows the system to operate under battery power for mayor que7 hours with a total weight of menor que9 kg for all equipment, antennas and batteries.

Growth of AlN oriented films on insulating substrates.

This work describes the structural and piezoelectric assessment of aluminum nitride (AlN) thin films deposited by pulsed-DC reactive sputtering on insulating substrates. We investigate the effect of different insulating seed layers on AlN properties (crystallinity, residual stress and piezoelectric activity). The seed layers investigated, silicon nitride (Si3N4), silicon dioxide (SiO2), amorphous tantalum oxide (Ta2O5), and amorphous or nano-crystalline titanium oxide (TiO2) are deposited on glass plates to a thickness lower than 100 nm. Before AlN films deposition, their surface is pre-treated with a soft ionic cleaning, either with argon or nitrogen ions. Only AlN films grown of TiO2 seed layers exhibit a significant piezoelectric activity to be used in acoustic device applications. Pure c-axis oriented films, with FWHM of rocking curve of 6º, stress below 500 MPa, and electromechanical coupling factors measured in SAW devices of 1.25% are obtained. The best AlN films are achieved on amorphous TiO2 seed layers deposited at high target power and low sputtering pressure. On the other hand, AlN films deposited on Si3N4, SiO2 and TaOx exhibit a mixed orientation, high stress and very low piezoelectric activity, which invalidate their use in acoustic devices.

Terapia por láser de baja potencia: consideraciones óptico-físicas y biológicas determinantes en su aplicación clínica.

Objetivos : Analizar la distribución de energía en un tejido cuando se emplea terapia por láser de baja potencia y estudiar las especificaciones mínimas de equipos de terapia láser para estimar la dosis. Material y métodos: Se ha empleado el método de Monte Carlo para obtener la distribución de energía absorbida por la piel para dos tipos de láser y la teoría de la difusión para estimar la longitud de penetración y el recorrido libre medio. Se ha estudiado la variación de esa distribución en función de la raza (caucásico, asiático, afroamericano) y para dos localizaciones anatómicas distintas. Se ha analizado la información facilitada por diversos fabricantes de equipos comerciales para determinar si es necesario adaptar la dosimetría recomendada. Resultados: La radiación láser infrarroja (810nm) se absorbe mayoritariamente en un espesor de piel de 1,9±0,2mm para caucásicos, entre 1,73±0,08mm (volar del antebrazo) y 1,80±0,11mm (palma) para asiáticos y entre 1,25±0,09mm (volar del antebrazo) y 1,65±0,2mm (palma) para afroamericanos. El recorrido libre medio de la luz siempre es menor que 0,69±0,09mm. Para los equipos comerciales analizados la única característica geométrica del haz láser que se menciona es la superficie que oscila entre 0,08 y 1cm2, pero no se especifica cómo es la distribución de energía, la divergencia del haz, forma de la sección transversal, etc. Conclusiones:Dependiendo del equipo de terapia por láser de baja potencia utilizado, el tipo de paciente y la zona a tratar, el clínico debe adaptar las dosis recomendadas. Abstract: Objectives: To analyze the distribution of energy deposited in a tissue when this is irradiated with a low power laser and to study the minimum characteristics that manufacturers of low power laser therapy equipments should include to estimate the dosage. Material and methods: Monte Carlo simulation was performed to determine the absorption location of the laser energy. The diffusion theory was used to estimate penetration depth and mean free path. Variation of this distribution was studied based on three different skin types (Caucasians, Asians and Afroamericans) and for two different anatomic locations: palm and volar forearm. Information given by several manufactures of low power laser therapy equipments has been analyzed. Results: Infrared (810 nm) laser radiation is mainly absorbed in a skin layer of thickness 1.9±0.2mm for Caucasians, from 1.73±0.08mm (volar forearm) to 1.80±0.11mm (palm) for Asians, and from 1.25±0.09mm (volar forearm) to 1.65±0.2mm (palm) for Afroamericans. The light mean free path is lower than 0.69±0.09mm for all cases. The laser beam characteristics (beam shape, energy distribution on a transversal section, divergence, incidence angle,etc.) are not usually specified by the manufacturers. Only beam size (ranging from 0.08 to 1cm2) is given in some cases. Discussion and conclusions: Depending on the low power laser therapy equipment, on the patient and on the anatomic area to be treated, the staff should adapt the recommended dosage for each individual case.