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.

A lower bound in Nehari's theorem on the polydisc

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

The concentration of foreigners in French schools: interaction effects in place?

This paper explores the existence of negative peer-group pressures derived from the concentration of foreigners in French lower secondary schools. Using different dependent variables (number of years spent in lower secondary education, grades in 4th ‘and 3rd year and track election in upper secondary schooling) the analyses indicate that the much disputed existence of significant and negative effects of the concentration of foreign students in schools depends on the method used for the estimation. If we assume that the concentration of foreigners is a random and exogenous process, then the multivariate analyses confirm negative interactions. If, on the contrary, we question the assumption that this contextual information is not end the result of prior sorting mechanisms of individuals across social spaces, the concentration of foreigners has no statistical impact on attainment.

Strong minimax lower bounds for learning

Minimax lower bounds for concept learning state, for example, thatfor each sample size $n$ and learning rule $g_n$, there exists a distributionof the observation $X$ and a concept $C$ to be learnt such that the expectederror of $g_n$ is at least a constant times $V/n$, where $V$ is the VC dimensionof the concept class. However, these bounds do not tell anything about therate of decrease of the error for a {\sl fixed} distribution--concept pair.\\In this paper we investigate minimax lower bounds in such a--stronger--sense.We show that for several natural $k$--parameter concept classes, includingthe class of linear halfspaces, the class of balls, the class of polyhedrawith a certain number of faces, and a class of neural networks, for any{\sl sequence} of learning rules $\{g_n\}$, there exists a fixed distributionof $X$ and a fixed concept $C$ such that the expected error is larger thana constant times $k/n$ for {\sl infinitely many n}. We also obtain suchstrong minimax lower bounds for the tail distribution of the probabilityof error, which extend the corresponding minimax lower bounds.

Minimax lower bounds for the two-armed bandit problem

We obtain minimax lower bounds on the regret for the classicaltwo--armed bandit problem. We provide a finite--sample minimax version of the well--known log $n$ asymptotic lower bound of Lai and Robbins. Also, in contrast to the log $n$ asymptotic results on the regret, we show that the minimax regret is achieved by mere random guessing under fairly mild conditions on the set of allowable configurations of the two arms. That is, we show that for {\sl every} allocation rule and for {\sl every} $n$, there is a configuration such that the regret at time $n$ is at least 1 -- $\epsilon$ times the regret of random guessing, where $\epsilon$ is any small positive constant.

Design and construction of precision heat fluxmeters

InAlAs/InGaAs/InP based high electron mobility transistor devices have been structurally and electrically characterized, using transmission electron microscopy and Raman spectroscopy and measuring Hall mobilities. The InGaAs lattice matched channels, with an In molar fraction of 53%, grown at temperatures lower than 530¿°C exhibit alloy decomposition driving an anisotropic InGaAs surface roughness oriented along [1math0]. Conversely, lattice mismatched channels with an In molar fraction of 75% do not present this lateral decomposition but a strain induced roughness, with higher strength as the channel growth temperature increases beyond 490¿°C. In both cases the presence of the roughness implies low and anisotropic Hall mobilities of the two dimensional electron gas.

Exact lower bounds to the ground-state energy of spin systems: The two-dimensional S=1/2 antiferromagnetic Heisenberg model

We present a very simple but fairly unknown method to obtain exact lower bounds to the ground-state energy of any Hamiltonian that can be partitioned into a sum of sub-Hamiltonians. The technique is applied, in particular, to the two-dimensional spin-1/2 antiferromagnetic Heisenberg model. Reasonably good results are easily obtained and the extension of the method to other systems is straightforward.

A Neanderthal Lower Incisor from Cova del Gegant (Sitges, Barcelona, Spain)

Cova del Gegant is located near the city of Sitges (Barcelona, Spain). The cave is a small karst system which contains Upper Pleistocene archaeological and paleontological material (DauRa et al., 2005). The site was first excavated in 1954 and then in 1972 and 1974- (Viñas, 1972; Viñas & Villalta, 1975) and in 1985 and 1989 (maRtínez et al., 1985; moRa, 1988; maRtínez et al., 1990). Finally, in 2007, Grup de Recerca del Quaternari has restarted the archaeological research at Cova del Gegant (DauRa, 2008; DauRa et al., 2010). A human mandible was recovered during the first field season in 1954 and was recently published by DauRa et al. (2005). In the present study, we describe a new human tooth (left I2) that appeared, like the mandible, in a revision of the faunal material recovered from the site in 1974-1975. The specimen preserves the entire crown and the cervical two thirds of the root (Figure 1). The lack of the root apex makes it difficult to determine if the tooth was fully developed at the time of death. However, CT analysis reveals a pulp cavity that could be still open, suggesting root formation was incomplete. The specimen shows only slight dental wear corresponding to stage 2 of Molnar (1971 en Hillson, 1996). Morphologically, the crown shows slight shovelling and a lingual tubercle and appears similar to Neandertal incisors. Standard crown measurements (buccolingual diameter=7.7 mm; mesiodistal diameter= 7.3 mm) (Figure 2) suggest a fairly large tooth, particularly in the BL dimension, again resembling Neandertals in this regard. Discriminant analysis classified the Gegant incisor as Neandertal with a 99.8% posterior probability (Table 2). Association of this tooth with the previously described mandible is considered unlikely given the different ages at death estimated for each. Thus, there appear to be two individuals preserved in the sediments of the Gegant cave, one adult and one subadult (around 8-10 years old).

Fifth-order cyclicity and organic matter contents relationship (Lower Eocene, Pyrenees)

The Upper Limestone Member of the Corones Formation of the Spanish Pyrenees consists of various units (Lower and Upper Foraminifera Units, Shale Unit, Cherty-ostracode Unit, Ostracode Unit and Chara-ostracode Unit) and offers strong facies and lateral thickness (20 to 80 m) variations. Detailed facies analyses, fifth-order cycles and organic geochemical determinations in the central domain of the Corones platform carbonates (Cherty-ostracode Unit), lower Eocene in age, were carried out to establish a case of close relationship between variations in organic matter productivity and cyclicity with annual period. The Cherty-ostracode Unit displays a continuous and pervasive fifth-order cyclicity, represented by 5 cycles. Each cycle consists of a lower part (mollusc facies) and an upper part (laminated ostracode facies). The calculated fifth-order cycle period ranges from about 17,000 to 28,000 years, which falls within the Milankovitch Band. Variations in organic matter content related to these carbonate cycles have been established. The lower mollusc facies members show a low organic carbon content and Hydrogen Index (HI) below 0.6% in weight and 261, respectively. By contrast, the upper laminated ostracode facies members show high organic carbon contents (up to 2% in weight) and high HI (between 164 and 373), and are also characterized by important silicification processes (the content in chert is up to 30%). The organic geochemistry resulting from these organic rich levels reflects a contribution of algal marine input.

Quality of life following third molar removal under conscious sedation

Aim: The aim of this study was to assess quality of life (QoL) and degree of satisfaction among outpatients subjected to surgical extraction of all four third molars under conscious sedation. A second objective was to describe the evolution of self-reported pain measured in a visual analogue scale (VAS) in the 7 days after extraction. Study design: Fifty patients received a questionnaire assessing social isolation, working isolation, eating and speaking ability, diet modifications, sleep impairment, changes in physical appearance, discomfort at suture removal and overall satisfaction at days 4 and 7 after surgery. Pain was recorded by patients on a 100-mm pain visual analogue scale (VAS) every day after extraction until day 7. Results: Thirty-nine patients fulfilled correctly the questionnaire. Postoperative pain values suffered small fluctuations until day 5 (range: 23 to 33 mm in a 100-mm VAS), when dicreased significantly. A positive association was observed between difficult ranked surgeries and higher postoperative pain levels. The average number of days for which the patient stopped working was 4.9. Conclusion: The removal of all third molars in a single appointment causes an important deterioration of the patient"s QoL during the first postoperative week, especially due to local pain and eating discomfort.

Técnicas radiológicas para la identificación anatómica del conducto dentario inferior respecto al tercer molar inferior

La correcta identificación anatómica del conducto dentario inferior, por el que circula el nervio dentario inferior, con respecto al tercer molar es esencial cuando es preciso practicar la exéresis de los cordales inferiores incluidos, puesto que la proximidad de ambas estructuras condiciona la posibilidad de lesionar dicho nervio. En este artículo, se revisa el estudio radiológico del conducto dentario inferior y se comentan las diferentes técnicas de diagnóstico por la imagen (ortopantomografía, radiografías periapicales y oclusales y tomografía axial computadorizada), así como sus diversas indicaciones y los signos radiológicos útiles para determinar la situación y trayecto del conducto dentario inferior con respecto a los ápices.

Gazpacho consumption is associated with lower blood pressure and reduced hypertension in a high cardiovascular risk cohort. Cross-sectional study of the PREDIMED trial

Hypertension is a major public health problem and a leading cause of death and disability in both developed and developing countries, affecting onequarter of the world"s adult population. Our aim was to evaluate whether the consumption of gazpacho, a Mediterranean vegetable-based cold soup rich in phytochemicals, is associated with lower blood pressure (BP) and/or reduced prevalence of hypertension in individuals at high cardiovascular risk. Methods and results: We selected 3995 individuals (58% women, mean age 67 y) at high cardiovascular risk (81% hypertensive) recruited into the PREDIMED study. BP, weight, and dietary and physical activity data were collected. In multivariate linear regression analyses, after adjustment, moderate and high gazpacho consumption categories were associated with reduced mean systolic BP of 1.9 mm Hg [95% confidence interval (CI): 3.4; 0.6] and 2.6 mm Hg (CI: 4.2; 1.0), respectively, and reduced diastolic BP of 1.5 mm Hg (CI: 2.3; 0.6) and 1.9 mm Hg (CI: 2.8; 1.1). By multiple-adjusted logistic regression analysis, gazpacho consumption was associated with a lower prevalence of hypertension, with OR Z 0.85 (CI: 0.73; 0.99) for each 250 g/week increase and OR Z 0.73 (CI: 0.55; 0.98) for high gazpacho consumption groups compared to the no-consumption group. Conclusions: Gazpacho consumption was inversely associated with systolic and diastolic BP and prevalence of hypertension in a cross-sectional Mediterranean population at high cardiovascular risk. The association between gazpacho intake and reduction of BP is probably due to synergy among several bioactive compounds present in the vegetable ingredients used to make the recipe.

Gazpacho consumption is associated with lower blood pressure and reduced hypertension in a high cardiovascular risk cohort. Cross-sectional study of the PREDIMED trial

Hypertension is a major public health problem and a leading cause of death and disability in both developed and developing countries, affecting onequarter of the world"s adult population. Our aim was to evaluate whether the consumption of gazpacho, a Mediterranean vegetable-based cold soup rich in phytochemicals, is associated with lower blood pressure (BP) and/or reduced prevalence of hypertension in individuals at high cardiovascular risk. Methods and results: We selected 3995 individuals (58% women, mean age 67 y) at high cardiovascular risk (81% hypertensive) recruited into the PREDIMED study. BP, weight, and dietary and physical activity data were collected. In multivariate linear regression analyses, after adjustment, moderate and high gazpacho consumption categories were associated with reduced mean systolic BP of 1.9 mm Hg [95% confidence interval (CI): 3.4; 0.6] and 2.6 mm Hg (CI: 4.2; 1.0), respectively, and reduced diastolic BP of 1.5 mm Hg (CI: 2.3; 0.6) and 1.9 mm Hg (CI: 2.8; 1.1). By multiple-adjusted logistic regression analysis, gazpacho consumption was associated with a lower prevalence of hypertension, with OR Z 0.85 (CI: 0.73; 0.99) for each 250 g/week increase and OR Z 0.73 (CI: 0.55; 0.98) for high gazpacho consumption groups compared to the no-consumption group. Conclusions: Gazpacho consumption was inversely associated with systolic and diastolic BP and prevalence of hypertension in a cross-sectional Mediterranean population at high cardiovascular risk. The association between gazpacho intake and reduction of BP is probably due to synergy among several bioactive compounds present in the vegetable ingredients used to make the recipe.

A performance lower bound for quadratic timing recovery accounting for the symbol transition density

The symbol transition density in a digitally modulated signal affects the performance of practical synchronization schemes designed for timing recovery. This paper focuses on the derivation of simple performance limits for the estimation of the time delay of a noisy linearly modulated signal in the presence of various degrees of symbol correlation produced by the varioustransition densities in the symbol streams. The paper develops high- and low-signal-to-noise ratio (SNR) approximations of the so-called (Gaussian) unconditional Cramér–Rao bound (UCRB),as well as general expressions that are applicable in all ranges of SNR. The derived bounds are valid only for the class of quadratic, non-data-aided (NDA) timing recovery schemes. To illustrate the validity of the derived bounds, they are compared with the actual performance achieved by some well-known quadratic NDA timing recovery schemes. The impact of the symbol transitiondensity on the classical threshold effect present in NDA timing recovery schemes is also analyzed. Previous work on performancebounds for timing recovery from various authors is generalized and unified in this contribution.