Herbrand Theorems for Substructural Logics

Herbrand and Skolemization theorems are obtained for a broad family of first-order substructural logics. These logics typically lack equivalent prenex forms, a deduction theorem, and reductions of semantic consequence to satisfiability. The Herbrand and Skolemization theorems therefore take various forms, applying either to the left or right of the consequence relation, and to restricted classes of formulas.

Highly pathogenic adapted HIV-1 strains limit host immunity and dictate rapid disease progression.

OBJECTIVE: The study of HIV-1 rapid progressors has been limited to specific case reports. Nevertheless, identification and characterization of the viral and host factors involved in rapid progression are crucial when attempting to uncover the correlates of rapid disease outcome. DESIGN: We carried out comparative functional analyses in rapid progressors (n = 46) and standard progressors (n = 46) early after HIV-1 seroconversion (≤1 year). The viral traits tested were viral replicative capacity, co-receptor usage, and genomic variation. Host CD8 T-cell responses, humoral activity, and HLA immunogenetic markers were also determined. RESULTS: Our data demonstrate an unusual convergence of highly pathogenic HIV-1 strains in rapid progressors. Compared with standard progressors, rapid progressor viral strains show higher in-vitro replicative capacity (81.5 vs. 67.9%; P = 0.025) and greater X4/DM co-receptor usage (26.3 vs. 2.8%; P = 0.006) in early infection. Limited or absent functional HIV-1 CD8 T-cell responses and neutralizing activity were measured in rapid progressors. Moreover, the increase in common HLA allele-restricted CD8 T-cell escape mutations in rapid progressors acts as a signature of uncontrolled HIV-1 replication and early impairment of adaptive cellular responses. CONCLUSION: Our data support a dominant role for viral factors in rapid progressors. Robust HIV-1 replication and intrinsic viral properties limit host adaptive immune responses, thus driving rapid disease progression.

Herbivores differentially limit the seedling growth and sapling recruitment of two dominant rain forest trees

Resource heterogeneity may influence how plants are attacked and respond to consumers in multiple ways. Perhaps a better understanding of how this interaction might limit sapling recruitment in tree populations may be achieved by examining species’ functional responses to herbivores on a continuum of resource availability. Here, we experimentally reduced herbivore pressure on newly established seedlings of two dominant masting trees in 40 canopy gaps, across c. 80 ha of tropical rain forest in central Africa (Korup, Cameroon). Mesh cages were built to protect individual seedlings, and their leaf production and changes in height were followed for 22 months. With more light, herbivores increasingly prevented the less shade-tolerant Microberlinia bisulcata from growing as tall as it could and producing more leaves, indicating an undercompensation. The more shade-tolerant Tetraberlinia bifoliolata was much less affected by herbivores, showing instead near to full compensation for leaf numbers, and a negligible to weak impact of herbivores on its height growth. A stage-matrix model that compared control and caged populations lent evidence for a stronger impact of herbivores on the long-term population dynamics of M. bisulcata than T. bifoliolata. Our results suggest that insect herbivores can contribute to the local coexistence of two abundant tree species at Korup by disproportionately suppressing sapling recruitment of the faster-growing dominant via undercompensation across the light gradient created by canopy disturbances. The functional patterns we have documented here are consistent with current theory, and, because gap formations are integral to forest regeneration, they may be more widely applicable in other tropical forest communities. If so, the interaction between life-history and herbivore impact across light gradients may play a substantial role in tree species coexistence.

Does low phosphorus supply limit seedling establishment and tree growth in groves of ectomycorrhizal trees in a central African rainforest?

In a forest grove at Korup dominated by the ectomycorrhizal species Microberlinia bisulcata, an experiment tested whether phosphorus (P) was a limiting nutrient. P-fertilization of seven subplots 1995-97 was compared with seven controls. It led to large increases in soil P concentrations. Trees were measured in 1995 and 2000. M. bisulcata and four other species were transplanted into the treatments, and a wild cohort of M. bisulcata seedlings was followed in both. Leaf litter fall from trees and seedlings were analysed for nutrients. Growth of trees was not affected by added P. Transplanted seedlings survived better in the controls than added-P subplots: they did not grow better with added-P.M. bisulcata wildlings survived slightly better in the added-P subplots in yr 1 but not later. Litter fall and transplanted survivors had much higher concentrations of P (not N) in the added-P than control subplots. Under current conditions, it appears that P does not limit growth of trees or hinder seedling establishment, especially of M. bisculcata, in these low-P grove soils.

Towards the continuum limit in transport coefficient computations

The analytic continuation needed for the extraction of transport coefficients necessitates in principle a continuous function of the Euclidean time variable. We report on progress towards achieving the continuum limit for 2-point correlator measurements in thermal SU(3) gauge theory, with specific attention paid to scale setting. In particular, we improve upon the determination of the critical lattice coupling and the critical temperature of pure SU(3) gauge theory, estimating r0Tc ≃ 0.7470(7) after a continuum extrapolation. As an application the determination of the heavy quark momentum diffusion coefficient from a correlator of colour-electric fields attached to a Polyakov loop is discussed.

Factors influencing the accuracy of fetal weight estimation with a focus on preterm birth at the limit of viability: a systematic literature review

BACKGROUND Fetal weight estimation (FWE) is an important factor for clinical management decisions, especially in imminent preterm birth at the limit of viability between 23(0/7) and 26(0/7) weeks of gestation. It is crucial to detect and eliminate factors that have a negative impact on the accuracy of FWE. DATA SOURCES In this systematic literature review, we investigated 14 factors that may influence the accuracy of FWE, in particular in preterm neonates born at the limit of viability. RESULTS We found that gestational age, maternal body mass index, amniotic fluid index and ruptured membranes, presentation of the fetus, location of the placenta and the presence of multiple fetuses do not seem to have an impact on FWE accuracy. The influence of the examiner's grade of experience and that of fetal gender were discussed controversially. Fetal weight, time interval between estimation and delivery and the use of different formulas seem to have an evident effect on FWE accuracy. No results were obtained on the impact of active labor. DISCUSSION This review reveals that only few studies investigated factors possibly influencing the accuracy of FWE in preterm neonates at the limit of viability. Further research in this specific age group on potential confounding factors is needed.

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.

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.

Azacyclic FTY720 Analogues That Limit Nutrient Transporter Expression but Lack S1P Receptor Activity and Negative Chronotropic Effects Offer a Novel and Effective Strategy to Kill Cancer Cells in Vivo

FTY720 sequesters lymphocytes in secondary lymphoid organs through effects on sphingosine-1-phosphate (S1P) receptors. However, at higher doses than are required for immunosuppression, FTY720 also functions as an anticancer agent in multiple animal models. Our published work indicates that the anticancer effects of FTY720 do not depend on actions at S1P receptors but instead stem from FTY720s ability to restrict access to extracellular nutrients by down-regulating nutrient transporter proteins. This result was significant because S1P receptor activation is responsible for FTY720s dose-limiting toxicity, bradycardia, that prevents its use in cancer patients. Here, we describe diastereomeric and enantiomeric 3- and 4-C-aryl 2-hydroxymethyl pyrrolidines that are more active than the previously known analogues. Of importance is that these compounds fail to activate S1P1 or S1P3 receptors in vivo but retain inhibitory effects on nutrient transporter proteins and anticancer activity in solid tumor xenograft models. Our studies reaffirm that the anticancer activity of FTY720 does not depend upon S1P receptor activation and uphold the promise of using S1P receptor-inactive azacyclic FTY720 analogues in human cancer patients.

Herbivores limit the population size of big-leaf mahogany trees in an Amazonian forest

The Janzen–Connell hypothesis proposes that specialized herbivores maintain high numbers of tree species in tropical forests by restricting adult recruitment so that host populations remain at low densities. We tested this prediction for the large timber tree species, Swietenia macrophylla, whose seeds and seedlings are preyed upon by small mammals and a host-specific moth caterpillar Steniscadia poliophaea, respectively. At a primary forest site, experimental seed additions to gaps – canopy-disturbed areas that enhance seedling growth into saplings – over three years revealed lower survival and seedling recruitment closer to conspecific trees and in higher basal area neighborhoods, as well as reduced subsequent seedling survival and height growth. When we included these Janzen–Connell effects in a spatially explicit individual-based population model, the caterpillar's impact was critical to limiting Swietenia's adult tree density, with a > 10-fold reduction estimated at 300 years. Our research demonstrates the crucial but oft-ignored linkage between Janzen–Connell effects on offspring and population-level consequences for a long-lived, potentially dominant tree species.

Uppermost Limit, Extent, and Fluctuations of the Timberline and Treeline Ecocline in the Swiss Central Alps during the past 11,500 Years

Pollen and macrofossils were analyzed at two sites above today's treeline (or tree limit) in the Swiss Central Alps (Gouillé Loéré, 2503 m a.s.l., and Lengi Egga, 2557 m a.s.l.) to test two contrasting hypotheses about the natural formation of timberline (the upper limit of closed forest) in the Alps. Our results revealed that Pinus cembra--Larix decidua forests near timberline were rather closed between 9000 and 2500 B.C. (9600-4000 ¹⁴C yr BP), when timberline fluctuations occurred within a belt 100-150 m above today's tree limit. The treeline ecocline above timberline was characterized by the mixed occurrence of tree, shrub, dwarf-shrub, and herbaceous species, but it did not encompass more than 100-150 altitudinal meters. The uppermost limit reached by timberline and treeline during the Holocene was ca. 2420 and 2530 m, respectively, i.e., about 120 to 180 m higher than today. Between 3500 and 2500 B.C. (4700-4000 ¹⁴C yr BP) timberline progressively sank by about 300 m, while treeline was lowered only ca. 100 m. This change led to an enlargement of the treeline-ecocline belt (by ca. 300 m) after 2500 B.C. (4000 ¹⁴C yr BP). Above the treeline ecocline, natural meadows dominated by dwarf shrubs (e.g., Salix herbacea) and herbaceous species (e.g., Helianthemum, Taraxacum, Potentialla, Leontodon t., Cerastium alpinum t., Cirsium spinosissimum, Silene exscapa t., and Saxifraga stellaris) have been present since at least 11,000 cal yr ago. In these meadows tree and tall shrub species (>0.5 m) never played a major role. These results support the conventional hypothesis of a narrow ecocline with rather sharp upper timberline and treeline boundaries and imply that today's treeless alpine communities in the Alps are close to a natural stage. Pollen (percentages and influx), stomata, and charcoal data may be useful for determining whether or not a site was treeless. Nevertheless, a reliable and detailed record of past local vegetation near and above timberline is best achieved through the inclusion of macrofossil analysis.