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.

Climate-pollen relationships AD 1901-1996 in two small mires near the forest limit in the northern and central Swiss Alps

Climatic relationships were established in two 210Pb dated pollen sequences from small mires closely surrounded by forest just below actual forest limits (but about 300 m below potential climatic forest limits) in the northern Swiss Alps (suboceanic in climate; mainly with Picea) and the central Swiss Alps (subcontinental; mainly Pinus cembra and Larix) at annual or near-annual resolution from ad 1901 to 1996. Effects of vegetational succession were removed by splitting the time series into early and late periods and by linear detrending. Both pollen concentrations detrended by the depth-age model and modified percentages (in which counts of dominant pollen types are down-weighted) are correlated by simple linear regression with smoothed climatic parameters with one-and two-year timelags, including average monthly and April/September daylight air temperatures and with seasonal and annual precipitation sums. Results from detrended pollen concentrations suggest that peat accumulation is favoured in the northern-Alpine mire either by early snowmelt or by summer precipitation, but in the central-Alpine mire by increased precipitation and cooler summers, suggesting a position of the northern-Alpine mire near the upper altitudinal limit of peat formation, but of the central-Alpine mire near the lower limit. Results from modified pollen percentages indicate that pollen pro duction by plants growing near their upper altitudinal limit is limited by insufficient warmth in summer, and pollen production by plants growing near their lower altitudinal limit is limited by too-high temperatures. Only weakly significant pollen/climate relationships were found for Pinus cembra and Larix, probably because they experience little climatic stress growing 300 m below the potential climatic forest limit.

Optimal Central Banker Contracts and Common Agency

This paper considers the contacting approach to central banking in the context of a simple common agency model. The recent literature on optimal contracts suggests that the political principal of the central bank can design the appropriate incentive schemes that remedy for time-inconsistency problems in monetary policy. The effectiveness of such contracts, however, requires a central banker that attaches a positive weight to the incentive scheme. As a result, delegating monetary policy under such circumstances gives rise to the possibility that the central banker may respond to incentive schemes offered by other potential principals. We introduce common agency considerations in the design of optimal central banker contracts. We introduce two principals - society (government) and an interest group, whose objectives conflict with society's and we examine under what circumstances the government-offered or the interest-group-offered contract dominates. Our results largely depend on the type of bias that the interest group contract incorporates. In particular, when the interest group contract incorporates an inflationary bias the outcome depends on the principals' relative concern of the incentive schemes' costs. When the interest group contract incorporates an expansionary bias, however, it always dominates the government contract. A corollary of our results is that central banker contracts aiming to remove the expansionary bias of policymakers should be written explicitly in terms of the perceived bias.

Respiratory rhythm generation: A modeling study of the respiratory central pattern generator and the phrenic motor neuron

The respiratory central pattern generator is a collection of medullary neurons that generates the rhythm of respiration. The respiratory central pattern generator feeds phrenic motor neurons, which, in turn, drive the main muscle of respiration, the diaphragm. The purpose of this thesis is to understand the neural control of respiration through mathematical models of the respiratory central pattern generator and phrenic motor neurons. ^ We first designed and validated a Hodgkin-Huxley type model that mimics the behavior of phrenic motor neurons under a wide range of electrical and pharmacological perturbations. This model was constrained physiological data from the literature. Next, we designed and validated a model of the respiratory central pattern generator by connecting four Hodgkin-Huxley type models of medullary respiratory neurons in a mutually inhibitory network. This network was in turn driven by a simple model of an endogenously bursting neuron, which acted as the pacemaker for the respiratory central pattern generator. Finally, the respiratory central pattern generator and phrenic motor neuron models were connected and their interactions studied. ^ Our study of the models has provided a number of insights into the behavior of the respiratory central pattern generator and phrenic motor neurons. These include the suggestion of a role for the T-type and N-type calcium channels during single spikes and repetitive firing in phrenic motor neurons, as well as a better understanding of network properties underlying respiratory rhythm generation. We also utilized an existing model of lung mechanics to study the interactions between the respiratory central pattern generator and ventilation. ^

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.

Effects of a bifenthrin-treated net on the natural enemies Aphidius colemani (Haliday) and Adalia bipunctata L. in a cucumber crop in Central Spain. Semi-field experiments

Pest management practices that rely on pesticides are growing increasingly less effective and environmentally inappropriate in many cases and the search of alternatives is under focus nowadays. Exclusion of pests from the crop by means of pesticide-treated screens can be an eco-friendly method to protect crops, especially if pests are vectors of important diseases. The mesh size of nets is crucial to determine if insects can eventually cross the barrier or exclude them because there is a great variation in insect size depending on the species. Long-lasting insecticide-treated (LLITN) nets, factory pre-treated, have been used since years to fight against mosquitoes vector of malaria and are able to retain their biological efficacy under field for 3 years. In agriculture, treated nets with different insecticides have shown efficacy in controlling some insects and mites, so they seem to be a good tool in helping to solve some pest problems. However, treated nets must be carefully evaluated because can diminish air flow, increase temperature and humidity and decrease light transmission, which may affect plant growth, pests and natural enemies. As biological control is considered a key factor in IPM nowadays, the potential negative effects of treated nets on natural enemies need to be studied carefully. In this work, the effects of a bifentrhin-treated net (3 g/Kg) (supplied by the company Intelligent Insect Control, IIC) on natural enemies of aphids were tested on a cucumber crop in Central Spain in autumn 2011. The crop was sown in 8x6.5 m tunnels divided in 2 sealed compartments with control or treated nets, which were simple yellow netting with 25 mesh (10 x 10 threads/cm2; 1 x 1 mm hole size). Pieces of 2 m high of the treated-net were placed along the lateral sides of one of the two tunnel compartments in each of the 3 available tunnels (replicates); the rest was covered by a commercial untreated net of a similar mesh. The pest, Aphis gossypii Glover (Aphidae), the parasitoid Aphidius colemani (Haliday) (Braconidae) and the predator Adalia bipunctata L. (Coccinellidae) were artificially introduced in the crop. Weekly sampling was done determining the presence or absence of the pest and the natural enemies (NE) in the 42 plants/compartment as well as the number of insects in 11 marked plants. Environmental conditions (temperature, relative humidity, UV and PAR radiation) were recorded. Results show that when aphids were artificially released inside the tunnels, neither its number/plant nor their distribution was affected by the treated net. A lack of negative effect of the insecticide-treated net on natural enemies was also observed. Adalia bipunctata did not establish in the crop and only a short term control of aphids was observed one week after release. On the other hand, A. colemani did establish in the crop and a more long-term effect on the numbers of aphids/plant was detected irrespective of the type of net. KEY WORDS: bifenthrin-treated net, Adalia bipunctata, Aphidius colemani, Aphis gossypii, semi-field

The operator algebra approach to quantum groups

A relatively simple definition of a locally compact quantum group in the C*-algebra setting will be explained as it was recently obtained by the authors. At the same time, we put this definition in the historical and mathematical context of locally compact groups, compact quantum groups, Kac algebras, multiplicative unitaries, and duality theory.

Brain localization for arbitrary stimulus categories: a simple account based on Hebbian learning.

A central theme of cognitive neuroscience is that different parts of the brain perform different functions. Recent evidence from neuropsychology suggests that even the processing of arbitrary stimulus categories that are defined solely by cultural conventions (e.g., letters versus digits) can become spatially segregated in the cerebral cortex. How could the processing of stimulus categories that are not innate and that have no inherent structural differences become segregated? We propose that the temporal clustering of stimuli from a given category interacts with Hebbian learning to lead to functional localization. Neural network simulations bear out this hypothesis.

Bridging grafts and transient nerve growth factor infusions promote long-term central nervous system neuronal rescue and partial functional recovery.

Grafts of favorable axonal growth substrates were combined with transient nerve growth factor (NGF) infusions to promote morphological and functional recovery in the adult rat brain after lesions of the septohippocampal projection. Long-term septal cholinergic neuronal rescue and partial hippocampal reinnervation were achieved, resulting in partial functional recovery on a simple task assessing habituation but not on a more complex task assessing spatial reference memory. Control animals that received transient NGF infusions without axonal-growth-promoting grafts lacked behavioral recovery but also showed long-term septal neuronal rescue. These findings indicate that (i) partial recovery from central nervous system injury can be induced by both preventing host neuronal loss and promoting host axonal regrowth and (ii) long-term neuronal loss can be prevented with transient NGF infusions.

The Mirage of the State: Why the West has failed in Afghanistan, Iraq, Libya, Mali and Central African Republic? Jean Monnet/Robert Schuman Paper Series Vol. 14 No. 15, July 2014

The state still matters. However, the members of the Euro-Atlantic community may be misinterpreting this crucial baseline prior launching their military interventions since 2001. The latest violence and collapse of the state of Iraq after the invasion of Northern Iraq by a radical Sunni Muslim terrorist group, so-called Islamic State of Iraq and Syria (ISIS), demonstrate once again the centrality and requirement of a functioning state in order to maintain violent forces to disrupt domestic and regional stability. Since 2001, the US and its European allies have waged wars against failed-states in order to increase this security and national interests, and then have been involved in some type of state-building.1 This has been the case in Afghanistan, Iraq, Libya, Mali, and Central African Republic (CAR). France went into Mali (2012) and CAR (2013), which preceded two European Union military and civilian Common Security and Defense Policy missions (CSDP), in order to avoid the collapse of these two states. The threat of the collapse of both states was a concern for the members of the Euro-Atlantic community as it could have spread to the region and causing even greater instabilities. In Mali, the country was under radical Islamic pressures coming from the North after the collapse of Libya ensuing the 2011 Western intervention, while in CAR it was mainly an ethno-religious crisis. Failed states are a real concern, as they can rapidly become training grounds for radical groups and permitting all types of smuggling and trafficking.2 In Mali, France wanted to protect its large French population and avoid the fall of Mali in the hands of radical Islamic groups directly or indirectly linked to Al-Qaeda. A fallen Mali could have destabilized the region of the Sahel and ultimately affected the stability of Southern European borders. France wanted to avoid the development of a safe haven across the Sahel where movements of people and goods are uncontrolled and illegal.3 Since the end of the Cold War, Western powers have been involved in stabilizing neighborhoods and regions, like the Balkans, Africa, and Middle East, which at the exceptions of the Balkans, have led to failed policies. 9/11 changes everything. The US, under President George W. Bush, started to wage war against terrorism and all states link to it. This started a period of continuous Western interventions in this post-9/11 era in Afghanistan, Iraq, Libya, Mali and CAR. If history has demonstrated one thing, the members of the Euro-Atlantic community are struggling and will continue to struggle to stabilize Afghanistan, Iraq, Libya, Mali and Central African Republic (CAR) for one simple reason: no clear endgame. Is it the creation of a state à la Westphalian in order to permit these states to operate as the sole guarantor of security? Or is the reestablishment of status quo in these countries permitting to exit and end Western operations? This article seeks to analyze Western interventions in these five countries in order to reflect on the concept of the state and the erroneous starting point for each intervention.4 In the first part, the political status of each country is analyzed in order to understand the internal and regional crisis. In a second time, the concept of the state, framed into the Buzanian trinity, is discussed and applied to the cases. In the last part the European and American civilian-military doctrines are examined in accordance with their latest military interventions and in their broader spectrum.

Méthode simple et facile pour lever les plans : suivie d'un traité du nivellement, d'un abrégé des règles de lavis et des éléments de trigonométrie rectiligne /

Mode of access: Internet.