On the k-Boundedness for Existential Rules

The chase is a fundamental tool for existential rules. Several chase variants are known, which differ on how they handle redundancies possibly caused by the introduction of nulls. Given a chase variant, the halting problem takes as input a set of existential rules and asks if this set of rules ensures the termination of the chase for any factbase. It is well-known that this problem is undecidable for all known chase variants. The related problem of boundedness asks if a given set of existential rules is bounded, i.e., whether there is a predefined upper bound on the number of (breadth-first) steps of the chase, independently from any factbase. This problem is already undecidable in the specific case of datalog rules. However, knowing that a set of rules is bounded for some chase variant does not help much in practice if the bound is unknown. Hence, in this paper, we investigate the decidability of the k-boundedness problem, which asks whether a given set of rules is bounded by an integer k. We prove that k-boundedness is decidable for three chase variants, namely the oblivious, semi-oblivious and restricted chase.Comment: 20 pages, revised version of the paper published at RuleML+RR 201

Changes in MEG resting-state networks are related to cognitive decline in type 1 diabetes mellitus patients

OBJECTIVE: Integrity of resting-state functional brain networks (RSNs) is important for proper cognitive functioning. In type 1 diabetes mellitus (T1DM) cognitive decrements are commonly observed, possibly due to alterations in RSNs, which may vary according to microvascular complication status. Thus, we tested the hypothesis that functional connectivity in RSNs differs according to clinical status and correlates with cognition in T1DM patients, using an unbiased approach with high spatio-temporal resolution functional network.; METHODS: Resting-state magnetoencephalographic (MEG) data for T1DM patients with (n=42) and without (n=41) microvascular complications and 33 healthy participants were recorded. MEG time-series at source level were reconstructed using a recently developed atlas-based beamformer. Functional connectivity within classical frequency bands, estimated by the phase lag index (PLI), was calculated within eight commonly found RSNs. Neuropsychological tests were used to assess cognitive performance, and the relation with RSNs was evaluated.; RESULTS: Significant differences in terms of RSN functional connectivity between the three groups were observed in the lower alpha band, in the default-mode (DMN), executive control (ECN) and sensorimotor (SMN) RSNs. T1DM patients with microvascular complications showed the weakest functional connectivity in these networks relative to the other groups. For DMN, functional connectivity was higher in patients without microangiopathy relative to controls (all p<0.05). General cognitive performance for both patient groups was worse compared with healthy controls. Lower DMN alpha band functional connectivity correlated with poorer general cognitive ability in patients with microvascular complications.; DISCUSSION: Altered RSN functional connectivity was found in T1DM patients depending on clinical status. Lower DMN functional connectivity was related to poorer cognitive functioning. These results indicate that functional connectivity may play a key role in T1DM-related cognitive dysfunction

Das Spannungsdiagramm des Drehstrom-Kollektor-Nebenschlußmotors und seine Konstanten

n/

Competition between benthic cyanobacteria and diatoms as influenced by different grain sizes and temperatures

An experimental laboratory set-up was used to study the influence of different grain size compositions and temperatures on the growth of benthic cyanobacteria and diatoms, and on the competition between these 2 groups. Monospecific cultures of 3 species of cyanobacteria (Merismopedia punctata, Microcoleus chthonoplastes, Oscillatoria limosa), and of 2 species of benthic diatoms (Phaeodactylum tricornutum and Nitzschia sp.) were used. The organisms were cultured in 100 ml flasks filled with medium and 3 different kinds of sediment: (1) Sand (fine sand, 63 to 200 µm), (2) Mud-I (mixed fine sand and mud <63 µm in the ratio 80:20 wt %), (3) Mud-II (mixed fine sand and mud in the ratio 50:50 wt %). Experimental temperatures were 10, 15 and 25°C. At 10°C and 15°C, both diatom species achieved the highest biomass on the sediments of the finest grain size (50 wt % < 63 µm) while cyanobacteria achieved low biomass levels. Coarsening of sediments at the same temperature levels revealed a gradually lower biomass of the diatoms. Particularly on sand, the diatoms never reached the same concentrations of chlorophyll a as on mud. The cyanobacteria, on the other hand, had the highest biomass on sand at 15°C. In the competition experiments the benthic diatom species Nitzschia sp. dominated all types of sediments at 10°C and 15°C. The experiments at 25°C were dominated by the filamentous cyanobacterium M. chthonoplastes. This indicates the importance of abiotic conditions for the distribution and abundance of benthic phototrophic micro-organisms

Hydration-Scanning Tunneling Microscopy as a Reliable Method for Imaging Biological Specimens and Hydrophilic Insulators

The recently discovered high lateral conductivity of molecularly thin adsorbed water films enables investigation of biological specimens, and even of surfaces of hydrophilic insulators by scanning tunneling microscopy (STM). Here we demonstrate the capabilities of this method, which we call hydration-STM (HSTM), with images of various specimens taken in humid atmosphere: We obtained images of a glass coverslip, collagen molecules, tobacco mosaic virus, lipid bilayers and cryosectioned bovine achilles tendon on mica. To elucidate the physical mechanism of this conduction phenomenon we recorded current-voltage curves on hydrated mica. This revealed a basically ohmic behavior of the J-V curves without a threshold voltage to activate the current transport and indicates that electrochemistry probably does not dominate the surface conductivity. We assume that the conduction mechanism is due to structuring of water at the surface

Efeito do EGB761 (Extrato de Ginkgo biloba) sobre a qualidade de vida em pacientes asmáticos moderados submetidos a tratamento de manutenção

A busca de tratamentos alternativos e eficazes para o controle da asma brônquica é fator importante na melhora da qualidade de vida dos portadores da doença. O efeito do extrato de Ginkgo biloba (Ginkgo biloba L.), na resposta asmática ao tratamento de manutenção para asma brônquica moderada persistente, foi estudado em um ensaio clínico randomizado, cego, placebo controlado

Logic Programming and Logarithmic Space

We present an algebraic view on logic programming, related to proof theory and more specifically linear logic and geometry of interaction. Within this construction, a characterization of logspace (deterministic and non-deterministic) computation is given via a synctactic restriction, using an encoding of words that derives from proof theory. We show that the acceptance of a word by an observation (the counterpart of a program in the encoding) can be decided within logarithmic space, by reducing this problem to the acyclicity of a graph. We show moreover that observations are as expressive as two-ways multi-heads finite automata, a kind of pointer machines that is a standard model of logarithmic space computation