First-order queries on finite structures over the reals

We investigate properties of finite relational structures over the reals expressed by first-order sentences whose predicates are the relations of the structure plus arbitrary polynomial inequalities, and whose quantifiers can range over the whole set of reals. In constraint programming terminology, this corresponds to Boolean real polynomial constraint queries on finite structures. The fact that quantifiers range over all reals seems crucial; however, we observe that each sentence in the first-order theory of the reals can be evaluated by letting each quantifier range over only a finite set of real numbers without changing its truth value. Inspired by this observation, we then show that when all polynomials used are linear, each query can be expressed uniformly on all finite structures by a sentence of which the quantifiers range only over the finite domain of the structure. In other words, linear constraint programming on finite structures can be reduced to ordinary query evaluation as usual in finite model theory and databases. Moreover, if only "generic" queries are taken into consideration, we show that this can be reduced even further by proving that such queries can be expressed by sentences using as polynomial inequalities only those of the simple form x <y

Towards an ASM thesis for reflective sequential algorithms

Starting from Gurevich's thesis for sequential algorithms (the so-called "sequential ASM thesis"), we propose a characterization of the behaviour of sequential algorithms enriched with reflection. That is, we present a set of postulates which we conjecture capture the fundamental properties of reflective sequential algorithms (RSAs). Then we look at the plausibility of an ASM thesis for the class of RSAs, defining a model of abstract state machine (which we call reflective ASM) that we conjecture captures the class of RSAs as defined by our postulates

Mobile Communication Device Usage: Perceptions of Non-Supervisory Employees

The increased usage of mobile communication devices (MCDs) in the workplace has been controversial regarding whether they increase or decrease productivity, whether work-life balance is affected by use, and whether employers have the right to monitor usage. This paper includes research that addressed each of these three issues linked to employee use of MCDs. Past research provided conflicting results in three areas - work-life balance, productivity, and employee monitoring. A quantitative study of 60 non-supervisory employees in Arizona, Michigan, and Illinois, consisting of an online survey, was carried out to determine perceptions of whether use of MCDs for work purposes affects work-life balance or productivity and perceptions on employers monitoring usage of work-issued MCDs. Sixty-seven percent of respondents stated that their duties require the use of MCDs and, of those 62%, each stated that his or her MCD is a Smartphone. The majority stated that Smartphones were MCDs given to them by the employer. Other MCDs were cell phones and tablets which, combined, accounted for 35% of the responses. Fifty-three percent of the respondents stated that the use of the MCD did not impact work-life balance, eighty-eight percent stated that the use of the MCD increased productivity, and eighty-seven percent stated that their employer does not monitor usage of their MCD. Research findings may vary and depend on participants. Supervisors may have different viewpoints. However, the required use of these devices in the workplace keeps increasing, so it is appropriate for employers to clearly find a benefit for their use

Incremental View Maintenance For Collection Programming

In the context of incremental view maintenance (IVM), delta query derivation is an essential technique for speeding up the processing of large, dynamic datasets. The goal is to generate delta queries that, given a small change in the input, can update the materialized view more efficiently than via recomputation. In this work we propose the first solution for the efficient incrementalization of positive nested relational calculus (NRC+) on bags (with integer multiplicities). More precisely, we model the cost of NRC+ operators and classify queries as efficiently incrementalizable if their delta has a strictly lower cost than full re-evaluation. Then, we identify IncNRC+; a large fragment of NRC+ that is efficiently incrementalizable and we provide a semantics-preserving translation that takes any NRC+ query to a collection of IncNRC+ queries. Furthermore, we prove that incremental maintenance for NRC+ is within the complexity class NC0 and we showcase how recursive IVM, a technique that has provided significant speedups over traditional IVM in the case of flat queries [25], can also be applied to IncNRC+.Comment: 24 pages (12 pages plus appendix

Genetic Structure of American Black Bears in the Desert Southwest of North America

Abstract American black bears (Ursus americanus) have recolonized parts of their former range in the Trans-Pecos region of western Texas after a \u3e40-year absence. Assessment of genetic variation, structuring, gene flow, and dispersal among bear populations along the borderlands of Mexico and Texas is important to gain a better understanding of recolonization by large carnivores. We evaluated aspects of genetic diversity and gene flow for 6 sampling areas of black bears in southwestern North America using genotypic data from 7 microsatellite loci. Our results indicated that genetic diversity generally was high in the metapopulation of black bears in northern Mexico and western Texas. The episodic gene flow occurring via desert corridors between populations in northern Mexico and those in western Texas has permitted the establishment of only moderate levels of genetic structuring. Bayesian clustering analyses and assignment testing depicted the presence of 3 subpopulations among our 6 sampling areas and attested to the generally panmictic nature of bear populations in the borderlands region. The potentially ephemeral nature of the small populations in western Texas and genotypic characteristics of bears recolonizing these habitats attest to the importance of linkages along this portion of the borderlands of the United States and Mexico to effectively conserve and manage the species in this part of its range

On the tree-transformation power of XSLT

XSLT is a standard rule-based programming language for expressing transformations of XML data. The language is currently in transition from version 1.0 to 2.0. In order to understand the computational consequences of this transition, we restrict XSLT to its pure tree-transformation capabilities. Under this focus, we observe that XSLT~1.0 was not yet a computationally complete tree-transformation language: every 1.0 program can be implemented in exponential time. A crucial new feature of version~2.0, however, which allows nodesets over temporary trees, yields completeness. We provide a formal operational semantics for XSLT programs, and establish confluence for this semantics

Impact of geriatric comorbidity and polypharmacy on cholinesterase inhibitors prescribing in dementia

<p>Abstract</p> <p>Background</p> <p>Although most guidelines recommend the use of cholinesterase inhibitors (ChEIs) for mild to moderate Alzheimer's Disease, only a small proportion of affected patients receive these drugs. We aimed to study if geriatric comorbidity and polypharmacy influence the prescription of ChEIs in patients with dementia in Germany.</p> <p>Methods</p> <p>We used claims data of 1,848 incident patients with dementia aged 65 years and older. Inclusion criteria were first outpatient diagnoses for dementia in at least three of four consecutive quarters (incidence year). Our dependent variable was the prescription of at least one ChEI in the incidence year. Main independent variables were polypharmacy (defined as the number of prescribed medications categorized into quartiles) and measures of geriatric comorbidity (levels of care dependency and 14 symptom complexes characterizing geriatric patients). Data were analyzed by multivariate logistic regression.</p> <p>Results</p> <p>On average, patients were 78.7 years old (47.6% female) and received 9.7 different medications (interquartile range: 6-13). 44.4% were assigned to one of three care levels and virtually all patients (92.0%) had at least one symptom complex characterizing geriatric patients. 13.0% received at least one ChEI within the incidence year. Patients not assigned to the highest care level were more likely to receive a prescription (e.g., no level of care dependency vs. level 3: adjusted Odds Ratio [OR]: 5.35; 95% CI: 1.61-17.81). The chance decreased with increasing numbers of symptoms characterizing geriatric patients (e.g., 0 vs. 5+ geriatric complexes: OR: 4.23; 95% CI: 2.06-8.69). The overall number of prescribed medications had no influence on ChEI prescription and a significant effect of age could only be found in the univariate analysis. Living in a rural compared to an urban environment and contacts to neurologists or psychiatrists were associated with a significant increase in the likelihood of receiving ChEIs in the multivariate analysis.</p> <p>Conclusions</p> <p>It seems that not age as such but the overall clinical condition of a patient including care dependency and geriatric comorbidities influences the process of decision making on prescription of ChEIs.</p

The Flexibility of Nonconsciously Deployed Cognitive Processes: Evidence from Masked Congruence Priming

Background: It is well accepted in the subliminal priming literature that task-level properties modulate nonconscious processes. For example, in tasks with a limited number of targets, subliminal priming effects are limited to primes that are physically similar to the targets. In contrast, when a large number of targets are used, subliminal priming effects are observed for primes that share a semantic (but not necessarily physical) relationship with the target. Findings such as these have led researchers to conclude that task-level properties can direct nonconscious processes to be deployed exclusively over central (semantic) or peripheral (physically specified) representations. Principal Findings: We find distinct patterns of masked priming for "novel" and "repeated" primes within a single task context. Novel primes never appear as targets and thus are not seen consciously in the experiment. Repeated primes do appear as targets, thereby lending themselves to the establishment of peripheral stimulus-response mappings. If the source of the masked priming effect were exclusively central or peripheral, then both novel and repeated primes should yield similar patterns of priming. In contrast, we find that both novel and repeated primes produce robust, yet distinct, patterns of priming. Conclusions: Our findings indicate that nonconsciously elicited cognitive processes can be flexibly deployed over both central and peripheral representations within a single task context. While we agree that task-level properties can influence nonconscious processes, our findings sharply constrain the extent of this influence. Specifically, our findings are inconsistent with extant accounts which hold that the influence of task-level properties is strong enough to restrict the deployment of nonconsciously elicited cognitive processes to a single type of representation (i.e. central or peripheral).13 page(s