An Entailment Relation for Reasoning on the Web

Reasoning on the Web is receiving an increasing attention because of emerging fields such as Web adaption and Semantic Web. Indeed, the advanced functionalities striven for in these fields call for reasoning capabilities. Reasoning on the Web, however, is usually done using existing techniques rarely fitting the Web. As a consequence, additional data processing like data conversion from Web formats (e.g. XML or HTML) into some other formats (e.g. classical logic terms and formulas) is often needed and aspects of the Web (e.g. its inherent inconsistency) are neglected. This article first gives requirements for an entailment tuned to reasoning on the Web. Then, it describes how classical logic’s entailment can be modified so as to enforce these requirements. Finally, it discusses how the proposed entailment can be used in applying logic programming to reasoning on the Web

Theory of the Half-Polarized Quantum Hall States

We report a theoretical analysis of the half-polarized quantum Hall states observed in a recent experiment. Our numerical results indicate that the ground state energy of the quantum Hall $\nu= 2/3$ and $\nu= 2/5$ states versus spin polarization has a downward cusp at half the maximal spin polarization. We map the two-component fermion system onto a system of excitons and describe the ground state as a liquid state of excitons with non-zero values of exciton angular momentum.Comment: 4 pages (RevTeX), 3 figures (PostScript), added reference

Size and location of radish 1 chromosome regions carrying the fertility restorer Rfk1 gene in spring turnip rape

In spring turnip rape (Brassica rapa L. spp. oleifera) the most promising F1 hybrid system would be the Ogu-INRA CMS/Rf system. A Kosena fertility restorer gene Rfk1, homologue of the Ogura restorer gene Rfo, was successfully transferred from oilseed rape into turnip rape and that restored the fertility in female lines carrying Ogura cms. The trait was, however, unstable in subsequent generations. The physical localization of the radish chromosomal region carrying the Rfk1 gene was investigated using 8 GISH (genomic in situ hybridization) and BAC-FISH (bacterial artificial chromosome fluorescence in situ hybridization) methods. The metaphase chromosomes were hybridized using radish DNA as the genomic probe and BAC64 probe, which is linked with Rfo gene. Both probes showed a signal in the chromosome spreads of the restorer line 4021-2 Rfk of turnip rape but not in the negative control line 4021B. The GISH analyses clearly showed that the turnip rape restorer plants were either monosomic (2n=2x=20+1R) or disomic (2n=2x=20+2R) addition lines with one or two copies of a single alien chromosome region originating from radish. In the BAC-FISH analysis, double dot signals were detected in sub-terminal parts of the radish chromosome arms showing that the fertility restorer gene Rfk1 was located in this additional radish chromosome. Detected disomic addition lines were found to be unstable for turnip rape hybrid production. Using the BAC-FISH analysis, weak signals were sometimes visible in two chromosomes of turnip rape and a homologous region of Rfk1 in chromosome 9 of the B. rapa A genome was verified with BLAST analysis. In the future this homologous area in A genome could be substituted with radish chromosome area carrying the Rfk1 gene.Comment: "The final publication is available at http://www.springerlink.com". http://www.springer.com/open+access/authors+rights?SGWID=0-176704-12-683201-0 non-commercial pre-print servers like arXiv.org can ... be updated with the author's accepted version. ... Acknowledgement ... accompanied by the text "The final publication is available at http://www.springerlink.com

Diverse population trajectories among coexisting species of subarctic forest moths

Records of 232 moth species spanning 26 years (total catch of ca. 230,000 specimens), obtained by continuous light‐trapping in Kevo, northernmost subarctic Finland, were used to examine the hypothesis that life‐history traits and taxonomic position contribute to both relative abundance and temporal variability of Lepidoptera. Species with detritophagous or moss‐feeding larvae, species hibernating in the larval stage, and species pupating during the first half of the growing season were over‐represented among 42 species classified as abundant during the entire sampling period. The coefficients of variation in annual catches of species hibernating as eggs averaged 1.7 times higher than those of species hibernating as larvae or pupae. Time‐series analysis demonstrated that periodicity in fluctuations of annual catches is generally independent of life‐history traits and taxonomic affinities of the species. Moreover, closely related species with similar life‐history traits often show different population dynamics, undermining the phylogenetic constraints hypothesis. Species with the shortest (1 year) time lag in the action of negative feedback processes on population growth exhibit the largest magnitude of fluctuations. Our analyses revealed that only a few consistent patterns in the population dynamics of herbivorous moths can be deduced from life‐history characteristics of the species. Moreover, the diversity of population behaviour in one moth assemblage challenges any conventional wisdom suggesting predictable patterns. Our results raise several questions about perceptions and paradigms in insect population dynamics and stress the need for research on detritivorous insect population dynamics, as well as the need for more assemblage‐wide studies using common trapping methods to provide comparative data on related and unrelated species with different life‐history traits.Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/146872/1/pope0295.pd

Single nucleotide polymorphisms to discriminate different classes of hybrid between wild Atlantic salmon and aquaculture escapees

201

Current temporal trends in moth abundance are counter to predicted effects of climate change in an assemblage of subarctic forest moths

Changes in climate are influencing the distribution and abundance of the world's biota, with significant consequences for biological diversity and ecosystem processes. Recent work has raised concern that populations of moths and butterflies (Lepidoptera) may be particularly susceptible to population declines under environmental change. Moreover, effects of climate change may be especially pronounced in high latitude ecosystems. Here, we examine population dynamics in an assemblage of subarctic forest moths in Finnish Lapland to assess current trajectories of population change. Moth counts were made continuously over a period of 32 years using light traps. From 456 species recorded, 80 were sufficiently abundant for detailed analyses of their population dynamics. Climate records indicated rapid increases in temperature and winter precipitation at our study site during the sampling period. However, 90% of moth populations were stable (57%) or increasing (33%) over the same period of study. Nonetheless, current population trends do not appear to reflect positive responses to climate change. Rather, time‐series models illustrated that the per capita rates of change of moth species were more frequently associated negatively than positively with climate change variables, even as their populations were increasing. For example, the per capita rates of change of 35% of microlepidoptera were associated negatively with climate change variables. Moth life‐history traits were not generally strong predictors of current population change or associations with climate change variables. However, 60% of moth species that fed as larvae on resources other than living vascular plants (e.g. litter, lichen, mosses) were associated negatively with climate change variables in time‐series models, suggesting that such species may be particularly vulnerable to climate change. Overall, populations of subarctic forest moths in Finland are performing better than expected, and their populations appear buffered at present from potential deleterious effects of climate change by other ecological forces.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/106856/1/gcb12529.pd

Within-season changes in habitat use of forest-dwelling boreal bats

Bats utilize forests as roosting sites and feeding areas. However, it has not been documented how bats utilize these habitats in the boreal zone with methods afforded by recent technological advances. Forest structure and management practices can create a variety of three-dimensional habitats for organisms capable of flight, such as bats. Here, we study the presence of boreal bats in a forest forming a mosaic of different age classes, dominant tree species, canopy cover, soil fertility, and other environmental variables, throughout their active season in the summer using passive ultrasound detectors. Our results indicate a preference for mature forest by Eptesicus nilssonii and a pooled set of Myotis bats. Both groups of bats also showed temporal changes in their habitat use regarding forest age. In June and July, both groups occurred more often in mature than young forests, but from August onwards, the difference in occurrence became less evident in Myotis and disappeared completely in E. nilssonii. In addition, E. nilssonii was more often present in forests with low canopy cover, and its occurrence shifted from coniferous forests to deciduous forests during the season. The results reflect the within-season dynamics of bat communities and their ability to utilize different types of forest as environmental conditions change. Yet, the results most importantly emphasize the importance of mature forests to bat diversity and the need to conserve such environments in the boreal zone.Peer reviewe

The puzzle of HD 104994 (WR 46)

Intense coordinated spectroscopic and photometric monitoring of the suspected Wolf-Rayet binary WR 46 in 1999 reveals clear periodic variations, P = 0.329 ± 0.013 days, in the radial velocities of the emission lines of highest ionization potential, O VI and N V, found deepest in the Wolf-Rayet wind and thus least likely to be perturbed by a companion. These are accompanied by coherent variability in the profiles of lines with lower ionization/excitation potential and in the continuum flux. Most probably originating from orbital motion of the Wolf-Rayet component of the binary, this periodic radial velocity signal disappears from time to time, thus creating a puzzle yet to be solved. We show that the entangled patterns of the line profile variability are mainly governed by transitions between high and low states of the system's continuum flux.Facultad de Ciencias Astronómicas y Geofísica

The puzzle of HD 104994 (WR 46)

Intense coordinated spectroscopic and photometric monitoring of the suspected Wolf-Rayet binary WR 46 in 1999 reveals clear periodic variations, P = 0.329 ± 0.013 days, in the radial velocities of the emission lines of highest ionization potential, O VI and N V, found deepest in the Wolf-Rayet wind and thus least likely to be perturbed by a companion. These are accompanied by coherent variability in the profiles of lines with lower ionization/excitation potential and in the continuum flux. Most probably originating from orbital motion of the Wolf-Rayet component of the binary, this periodic radial velocity signal disappears from time to time, thus creating a puzzle yet to be solved. We show that the entangled patterns of the line profile variability are mainly governed by transitions between high and low states of the system's continuum flux.Facultad de Ciencias Astronómicas y Geofísica

Smoking in pregnancy, adolescent mental health and cognitive performance in young adult offspring: results from a matched sample within a Finnish cohort

$\textbf{Background:}$ The association between prenatal exposure to maternal cigarette smoking (PEMCS) and adult cognition is debated, including if there are differences according to sex. We aimed to determine if there are associations between PEMCS and cognition in early adulthood in men and women and examine if observed associations were mediated by adolescent mental health factors that are associated with cognition, namely psychotic-like experiences (PLEs), inattention and hyperactivity, and other externalizing behaviors. $\textbf{Methods:}$ Participants were 471 individuals drawn from the general population-based Northern Finland 1986 Birth Cohort (NFBC 1986) followed up from pregnancy and birth to early adulthood; individuals with PEMCS were matched with those without PEMCS by socioeconomic and demographic factors. Cognitive performance in adulthood was assessed with a range of tests and their association with PEMCS was measured by sex using hierarchical linear regression, unadjusted and then controlling for potential confounders, mediators and moderators, including adolescent mental health factors. $\textbf{Results:}$ There were no associations between PEMCS and cognitive scores in females. In males, there were associations with vocabulary (beta = -0.444, 95% CI: -0.783, -0.104) and matrix reasoning (beta = -0.379, 95% CI: -0.711, -0.047). $\textbf{Conclusions:}$ While associations between PEMCS and cognition were limited, observed findings with measures of general intelligence in males contribute to suggestions of differences in response to PEMCS by sex. Furthermore, observed associations may be partly mediated by earlier inattention and hyperactivity. Findings add support to efforts aimed to eliminate smoking in pregnancy.The Northern Finland Birth Cohort 1986 is funded by the University of Oulu, University Hospital of Oulu, Academy of Finland, Sigrid Juselius Foundation, European Commission (EURO-BLCS, Framework 5 award QLG1-CT-2000- 01643), and NIH/NIMH (5R01MH63706:02). Cambridge Cognition Ltd. provided support in the form of salaries for author Jennifer H. Barnett