Coherent Integration of Databases by Abductive Logic Programming

We introduce an abductive method for a coherent integration of independent data-sources. The idea is to compute a list of data-facts that should be inserted to the amalgamated database or retracted from it in order to restore its consistency. This method is implemented by an abductive solver, called Asystem, that applies SLDNFA-resolution on a meta-theory that relates different, possibly contradicting, input databases. We also give a pure model-theoretic analysis of the possible ways to `recover' consistent data from an inconsistent database in terms of those models of the database that exhibit as minimal inconsistent information as reasonably possible. This allows us to characterize the `recovered databases' in terms of the `preferred' (i.e., most consistent) models of the theory. The outcome is an abductive-based application that is sound and complete with respect to a corresponding model-based, preferential semantics, and -- to the best of our knowledge -- is more expressive (thus more general) than any other implementation of coherent integration of databases

Sulfide quinone reductase (SQR) activity in Chlorobium

AbstractMembranes of the green sulfur bacterium, Chlorobium limicola f, thiosulfatophilum, catalyze the reduction of externally added isoprenoid quinones by sulfide. This activity is highly sensitive to stigmatellin and aurachins. It is also inhibited by 2-n-nonyl-4-hydroxyquinoline-N-oxide, antimycin, myxothiazol and cyanide. It is concluded that in sulfide oxidizing bacteria like Chlorobium, sulfide oxidation involves a sulfide-quinone reductase (SQR) similar to the one found in Oscilatoria limnetica [Arieli, B., Padan, E. and Shahak, Y. (1991) J. Biol. Chem. 266. 104–111]

Using penetration depth for phase matching in photonic crystal waveguides

A new method of design for the phase-matching in waveguides is suggested. The approach is based on utilizing the concept of the penetration depth of light into the waveguide walls. The lateral components of wavevectors are employed to adjust the phase-matching condition in the propagation direction. The method is demonstrated in two systems: one using single and the other using double photonic-crystal mirrors

Neural Network Mechanisms Underlying Stimulus Driven Variability Reduction

It is well established that the variability of the neural activity across trials, as measured by the Fano factor, is elevated. This fact poses limits on information encoding by the neural activity. However, a series of recent neurophysiological experiments have changed this traditional view. Single cell recordings across a variety of species, brain areas, brain states and stimulus conditions demonstrate a remarkable reduction of the neural variability when an external stimulation is applied and when attention is allocated towards a stimulus within a neuron's receptive field, suggesting an enhancement of information encoding. Using an heterogeneously connected neural network model whose dynamics exhibits multiple attractors, we demonstrate here how this variability reduction can arise from a network effect. In the spontaneous state, we show that the high degree of neural variability is mainly due to fluctuation-driven excursions from attractor to attractor. This occurs when, in the parameter space, the network working point is around the bifurcation allowing multistable attractors. The application of an external excitatory drive by stimulation or attention stabilizes one specific attractor, eliminating in this way the transitions between the different attractors and resulting in a net decrease in neural variability over trials. Importantly, non-responsive neurons also exhibit a reduction of variability. Finally, this reduced variability is found to arise from an increased regularity of the neural spike trains. In conclusion, these results suggest that the variability reduction under stimulation and attention is a property of neural circuits

Lipid Profile and Serum Characteristics of the Blind Subterranean Mole Rat, Spalax

to underground life resulted in structural and molecular-genetic differences comparing to above-ground mammals. These differences include higher myocardial maximal oxygen consumption, increased lung diffusion capacity, increased blood vessels density, and unique expression patterns of cancer and angiogenesis related genes such as heparanase, vascular endothelial growth factor, and P53. revealed special features in this mammal. pursue underground, dietary components, and evolutionary genetic adaptations. Unfolding the genetic basis of these differences will probably result in unique treatments for a variety of human diseases such as dyslipedemias, inflammation and cancer

An Algebraic Theory for Data Linkage

There are countless sources of data available to governments, companies, and citizens, which can be combined for good or evil. We analyse the concepts of combining data from common sources and linking data from different sources. We model the data and its information content to be found in a single source by an ordered partial monoid, and the transfer of information between sources by different types of morphisms. To capture the linkage between a family of sources, we use a form of Grothendieck construction to create an ordered partial monoid that brings together the global data of the family in a single structure. We apply our approach to database theory and axiomatic structures in approximate reasoning. Thus, ordered partial monoids provide a foundation for the algebraic study for information gathering in its most primitive form