Learning Instantiation in First-Order Logic

Contains fulltext : 286055.pdf (Publisher’s version ) (Open Access)AITP 202

An explorative study of interface support for image searching

In this paper we study interfaces for image retrieval systems. Current image retrieval interfaces are limited to providing query facilities and result presentation. The user can inspect the results and possibly provide feedback on their relevance for the current query. Our approach, in contrast, encourages the user to group and organise their search results and thus provide more fine-grained feedback for the system. It combines the search and management process, which - according to our hypothesis - helps the user to onceptualise their search tasks and to overcome the query formulation problem. An evaluation, involving young design-professionals and di®erent types of information seeking scenarios, shows that the proposed approach succeeds in encouraging the user to conceptualise their tasks and that it leads to increased user satisfaction. However, it could not be shown to increase performance. We identify the problems in the current setup, which when eliminated should lead to more effective searching overall

Microfiber abundance associated with coral tissue varies geographically on the Belize Mesoamerican Barrier Reef System

Ocean plastic pollution is a global problem that causes ecosystem degradation. Crucial knowledge gaps exist concerning patterns in microfiber abundance across regions and ecosystems, as well as the role of these pollutants within the environment. Here, we quantified the abundance of microfibers in coral samples collected from the Belize Mesoamerican Barrier Reef System (MBRS) using a polarized light microscope and identified a subsample of these to the polymer level using an Attenuated Total Reflectance Fourier Transform Infrared Spectroscopy microscope. Microfibers were found in all coral samples with rayon being identified as the most common microfiber, comprising 85% of quantified pollutants. We found a greater average abundance of microfibers in coral samples from the Sapodilla Cayes (296 ± SE 89) than in samples from the Drowned Cayes (75 ± SE 14), indicating spatial variation in microfiber abundance within coral tissue along the MBRS. These results demonstrate that corals on the Belize MBRS interact with microfibers and that microfiber abundance on reefs varies spatially due to point sources of pollution and local oceanography. As rayon from clothing typically enters the ocean through wastewater effluent, alterations to waste water infrastructure may prove useful in decreasing rayon pollution in coastal waters

Identification of Azadinium species and a new azaspiracid from Azadinium poporum in Puget Sound, Washington State, USA

The identification of a new suite of toxins, called azaspiracids (AZA), as the cause of human illnesses after the consumption of shellfish from the Irish west coast in 1995, resulted in interest in understanding the global distribution of these toxins and of species of the small dinoflagellate genus Azadinium, known to produce them. Clonal isolates of four species of Azadinium, A. poporum, A. cuneatum, A. obesum and A. dalianense were obtained from incubated sediment samples collected from Puget Sound, Washington State in 2016. These Azadinium species were identified using morphological characteristics confirmed by molecular phylogeny. Whereas AZA could not be detected in any strains of A. obesum, A. cuneatum and A. dalianense, all four strains of A. poporum produced a new azaspiracid toxin, based on LC–MS analysis, named AZA-59. The presence of AZA-59 was confirmed at low levels in situ using a solid phase resin deployed at several stations along the coastlines of Puget Sound. Using a combination of molecular methods for species detection and solid phase resin deployment to target shellfish monitoring of toxin at high-risk sites, the risk of azaspiracid shellfish poisoning can be minimized

Nonlinear electrodynamics and CMB polarization

Recently WMAP and BOOMERanG experiments have set stringent constraints on the polarization angle of photons propagating in an expanding universe: $\Delta \alpha = (-2.4 \pm 1.9)^\circ$. The polarization of the Cosmic Microwave Background radiation (CMB) is reviewed in the context of nonlinear electrodynamics (NLED). We compute the polarization angle of photons propagating in a cosmological background with planar symmetry. For this purpose, we use the Pagels-Tomboulis (PT) Lagrangian density describing NLED, which has the form $L\sim (X/\Lambda^4)^{\delta - 1}\; X$, where $X=1/4 F_{\alpha\beta} F^{\alpha \beta}$, and $\delta$ the parameter featuring the non-Maxwellian character of the PT nonlinear description of the electromagnetic interaction. After looking at the polarization components in the plane orthogonal to the ($x$)-direction of propagation of the CMB photons, the polarization angle is defined in terms of the eccentricity of the universe, a geometrical property whose evolution on cosmic time (from the last scattering surface to the present) is constrained by the strength of magnetic fields over extragalactic distances.Comment: 17 pages, 2 figures, minor changes, references adde

Preparation of single cell detritus from Laminaria sacchat¡rina as a hatchery diet for bivlabe mollucs.

A high-yield technique is described for the elaboration of single cell detritus (SCD) from Laminaria saccharina, based on the sequential action of C1H, enzymes (endoglucanases and cellulases) and 2 bacteria showing a high degree of cellobiotic, proteolytic, and alginolytic activity (CECT 5255 and CECT 5256). Over 85% of dried particles of L. saccharina were transformed into a suspension of free cell and bacterial and detrital particles after 24 hours of bacterial activity with this technique. These particles were less than 20 μm in diameter, constituting a suitable diet for bivalve mollusks. After 72 hours 99% of the total particulate volume consisted of particles less than 20 μm in diameter. Tests of hatchery diets for the seed of clam Ruditapes decussatus revealed increases of 54% and 68% for live weight and length, respectively, when SCD from L. saccharina was used as the sole dietary component compared with a live phytoplankton diet. However, SCD from L. saccharina is not a suitable food for the larvae of R. decussatus.Postprint

Quantum computing implementations with neutral particles

We review quantum information processing with cold neutral particles, that is, atoms or polar molecules. First, we analyze the best suited degrees of freedom of these particles for storing quantum information, and then we discuss both single- and two-qubit gate implementations. We focus our discussion mainly on collisional quantum gates, which are best suited for atom-chip-like devices, as well as on gate proposals conceived for optical lattices. Additionally, we analyze schemes both for cold atoms confined in optical cavities and hybrid approaches to entanglement generation, and we show how optimal control theory might be a powerful tool to enhance the speed up of the gate operations as well as to achieve high fidelities required for fault tolerant quantum computation.Comment: 19 pages, 12 figures; From the issue entitled "Special Issue on Neutral Particles

The RNA chaperone Hfq is essential for the virulence of Salmonella typhimurium

The RNA chaperone, Hfq, plays a diverse role in bacterial physiology beyond its original role as a host factor required for replication of Qβ RNA bacteriophage. In this study, we show that Hfq is involved in the expression and secretion of virulence factors in the facultative intracellular pathogen, Salmonella typhimurium. A Salmonella hfq deletion strain is highly attenuated in mice after both oral and intraperitoneal infection, and shows a severe defect in invasion of epithelial cells and a growth defect in both epithelial cells and macrophages in vitro. Surprisingly, we find that these phenotypes are largely independent of the previously reported requirement of Hfq for expression of the stationary phase sigma factor, RpoS. Our results implicate Hfq as a key regulator of multiple aspects of virulence including regulation of motility and outer membrane protein (OmpD) expression in addition to invasion and intracellular growth. These pleiotropic effects are suggested to involve a network of regulatory small non-coding RNAs, placing Hfq at the centre of post-transcriptional regulation of virulence gene expression in Salmonella. In addition, the hfq mutation appears to cause a chronic activation of the RpoE-mediated envelope stress response which is likely due to a misregulation of membrane protein expression

The COMPASS Experiment at CERN

The COMPASS experiment makes use of the CERN SPS high-intensitymuon and hadron beams for the investigation of the nucleon spin structure and the spectroscopy of hadrons. One or more outgoing particles are detected in coincidence with the incoming muon or hadron. A large polarized target inside a superconducting solenoid is used for the measurements with the muon beam. Outgoing particles are detected by a two-stage, large angle and large momentum range spectrometer. The setup is built using several types of tracking detectors, according to the expected incident rate, required space resolution and the solid angle to be covered. Particle identification is achieved using a RICH counter and both hadron and electromagnetic calorimeters. The setup has been successfully operated from 2002 onwards using a muon beam. Data with a hadron beam were also collected in 2004. This article describes the main features and performances of the spectrometer in 2004; a short summary of the 2006 upgrade is also given.Comment: 84 papes, 74 figure

Search for displaced vertices arising from decays of new heavy particles in 7 TeV pp collisions at ATLAS

We present the results of a search for new, heavy particles that decay at a significant distance from their production point into a final state containing charged hadrons in association with a high-momentum muon. The search is conducted in a pp-collision data sample with a center-of-mass energy of 7 TeV and an integrated luminosity of 33 pb^-1 collected in 2010 by the ATLAS detector operating at the Large Hadron Collider. Production of such particles is expected in various scenarios of physics beyond the standard model. We observe no signal and place limits on the production cross-section of supersymmetric particles in an R-parity-violating scenario as a function of the neutralino lifetime. Limits are presented for different squark and neutralino masses, enabling extension of the limits to a variety of other models.Comment: 8 pages plus author list (20 pages total), 8 figures, 1 table, final version to appear in Physics Letters