Function materialization in object bases: design, realization, andevaluation

View materialization is a well-known optimization technique of relational database systems. We present a similar, yet more powerful, optimization concept for object-oriented data models: function materialization. Exploiting the object-oriented paradigm-namely, classification, object identity, and encapsulation-facilitates a rather easy incorporation of function materialization into (existing) object-oriented systems. Only those types (classes) whose instances are involved in some materialization are appropriately modified and recompiled, thus leaving the remainder of the object system invariant. Furthermore, the exploitation of encapsulation (information hiding) and object identity provides for additional performance tuning measures that drastically decrease the invalidation and rematerialization overhead incurred by updates in the object base. First, it allows us to cleanly separate the object instances that are irrelevant for the materialized functions from those that are involved in the materialization of some function result, and this to penalize only those involved objects upon update. Second, the principle of information hiding facilitates fine-grained control over the invalidation of precomputed results. Based on specifications given by the data type implementor, the system can exploit operational semantics to better distinguish between update operations that invalidate a materialized result and those that require no rematerialization. The paper concludes with a quantitative analysis of function materialization based on two sample performance benchmarks obtained from our experimental object base system GOM     

Eye movements of young and older adults during reading.

The eye movements of young and older adults were tracked as they read sentences varying in syntactic complexity. In Experiment 1, cleft object and object relative clause sentences were more difficult to process than cleft subject and subject relative clause sentences; however, older adults made many more regressions, resulting in increased regression path fixation times and total fixation times, than young adults while processing cleft object and object relative clause sentences. In Experiment 2, older adults experienced more difficulty than young adults while reading cleft and relative clause sentences with temporary syntactic ambiguities created by deleting the that complementizers. Regression analyses indicated that readers with smaller working memories need more regressions and longer fixation times to process cleft object and object relative clause sentences. These results suggest that age-associated declines in working memory do affect syntactic processing. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Bacillary angiomatosis and bacillary peliosis in patients infected with human immunodeficiency virus: clinical characteristics in a case-control study

Clinical characteristics associated with bacillary angiomatosis and bacillary peliosis (BAP) in patients with human immunodeficiency virus (HIV) infection were evaluated in a case-control study; 42 case-patients and 84 controls were matched by clinical care institution. Case-patients presented with fever (temperature, > 37.8 degrees C; 93%), a median CD4 lymphocyte count of 21/mm3, cutaneous or subcutaneous vascular lesions (55%), lymphadenopathy (21%), and/or abdominal symptoms (24%). Many case-patients experienced long delays between medical evaluation and diagnosis of BAP (median, 4 weeks; range, 1 day to 24 months). Case-patients were more likely than controls to have fever, lymphadenopathy, hepatomegaly, splenomegaly, a low CD4 lymphocyte count, anemia, or an elevated serum level of alkaline phosphatase (AP) (P < .001). In multivariate analysis, a CD4 lymphocyte count of < 200/mm3 (matched odds ratio [OR], 9.9; P < .09), anemia reflected by a hematocrit value of < 0.36 (OR, 19.7; P < .04), and an elevated AP level of > or = 2.6 mukat/L (OR, 23.9; P < .05) remained associated with disease after therapy with zidovudine was controlled for. BAP should be considered an AIDS-defining opportunistic infection and should be included in the differential diagnosis for febrile, HIV-infected patients with cutaneous or osteolytic lesions, lymphadenopathy, abdominal symptoms, anemia, or an elevated serum level of AP.     

Anger reduction in early adolescents.

High-anger 6–8th graders received cognitive-relaxation coping skills (CRCS), social skills training (SST), or no treatment. Compared to the control, CRCS and SST were equally effective in reducing trait, general, and personal–situational anger and outward negative anger expression, as well as increasing controlled anger expression. On other variables, however, CRCS showed some superiority. Although both interventions led to equivalent reductions on one measure of anxiety, CRCS lowered depression, shyness, general deviance, and another measure of anxiety, whereas SST did not and was not significantly different from other groups. CRCS lowered school deviance more than SST. No between-group differences were found on self-esteem, alcohol consumption, or intoxication. Possible explanations of these findings were discussed, along with methodological issues. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Family psychosocial screening: should we focus on high-risk settings?

The objective of this study was to address the question of whether or not psychosocial screening should be focused on "high-risk" populations. A cross-sectional survey of mothers of young children was conducted in various clinics: 758 in teaching clinics, 444 in private practices, and 202 at a military clinic. The self-administered questionnaire covered demographic factors, problems in mothers family of origin, maternal depression, and substance abuse. Mothers in the teaching clinics were younger and had less education and lower incomes than mothers in private practices, with intermediate levels in the military clinic. However, a substantial proportion of mothers seen in all sites reported psychosocial problems. Approximately 20% of mothers in all sites reported a family history of alcoholism. Positive screens for maternal depression ranged from about 15% to 35%. Binge drinking was reported by 10% to 20% at different sites. Psychosocial problems were common even among families seen in "low-risk" settings. Focusing screening only on high-risk clinics would miss many families with psychosocial problems.     

Model Checking for a Class of Weighted Automata

A large number of different model checking approaches has been proposed during the last decade. The different approaches are applicable to different model types including untimed, timed, probabilistic and stochastic models. This paper presents a new framework for model checking techniques which includes some of the known approaches and enlarges the class of models to which model checking can be applied to the general class of weighted automata. The approach allows an easy adaption of model checking to models which have not been considered yet for this purpose. Examples for those new model types for which model checking can be applied are max/plus or min/plus automata which are well established models to describe different forms of dynamic systems and optimization problems. In this context, model checking can be used to verify temporal or quantitative properties of a system. The paper first presents briefly our class of weighted automata, as a very general model type. Then Valued Computational Tree Logic (CTL) is introduced as a natural extension of the well known branching time logic CTL. Afterwards, algorithms to check a weighted automaton with respect to a CTL) is introduced as a natural extension of the well known branching time logic CTL. Afterwards, algorithms to check a weighted automaton with respect to a CTL formula are presented. As a last result, bisimulation equivalence is extended to weighted automata and CTL$.     

Generic Polynomials with Few Parameters

We call a polynomial g(t₁, . . . , t_m,X ) over a field K generic for a group G if it has Galois group G as a polynomial inX , and if every Galois field extension N / L withK L and Gal(N / L) ≤ G arises as the splitting field of a suitable specializationg (λ₁, . . . , λ_m, X) withλ_i L. We discuss how the rationality of the invariant field of a faithful linear representation leads to a generic polynomial which is often particularly simple and therefore useful. Then we consider various examples and applications in characteristic 0 and in positive characteristic. These include results on so-called vectorial polynomials and a generalization of an embedding criterion given by Abhyankar. We give recursive formulas for generic polynomials over a field of defining characteristic for the groups of upper unipotent and upper triangular matrices, and explicit formulae for generic polynomials for the groups GU₂(q²) andGO₃ (q).