Query Technologies and Applications for Program Comprehension

Industrial software systems are large and complex, both in terms of the software entities and their relationships. Consequently, understanding how a software system works requires the ability to pose queries over the design-level entities of the system. Traditionally, this task has been supported by simple tools (e.g., grep) combined with the programmer's intuition and experience. Recently, however, specialized code query technologies have matured to the point where they can be used in industrial situations, providing more intelligent, timely, and efficient responses to developer queries. This working session aims to explore the state of the art in code query technologies, and discover new ways in which these technologies may be useful in program comprehension. The session brings together researchers and practitioners. We survey existing techniques and applications, trying to understand the strengths and weaknesses of the various approaches, and sketch out new frontiers that hold promise.

Testing for Measurement Equivalence in Surveys: Dimensions of Social Trust across Cultural Contexts

Our study evaluates the dimensionality and equivalence of social trust across cultural contexts, using new data from Switzerland and the World Values Survey 2005–2008. Whereas some scholars assert that trust should be regarded as a coherent concept, others claim that trust is better conceived of as a multidimensional concept. In contrast to the conventional dichotomy of the forms of social trust, we identify three distinct forms of trust, namely, particularized, generalized, and identity-based trust. Moreover, we dispute the view that respondents understand the wording of survey questions regarding social trust differently between different cultural contexts, which would imply that comparative research on trust is a pointless endeavor. Applying multiple-group confirmatory factor analysis to the various constructs of social trust, we conclude that one may study relationships among the three forms of trust and other theoretical constructs as well as compare latent means across cultural contexts. Our analyses therefore provide an optimistic outlook for future comparative analyses that investigate forms of social trust across cultural contexts.

A day in the life of PubMed: analysis of a typical day's query log.

OBJECTIVE: To characterize PubMed usage over a typical day and compare it to previous studies of user behavior on Web search engines. DESIGN: We performed a lexical and semantic analysis of 2,689,166 queries issued on PubMed over 24 consecutive hours on a typical day. MEASUREMENTS: We measured the number of queries, number of distinct users, queries per user, terms per query, common terms, Boolean operator use, common phrases, result set size, MeSH categories, used semantic measurements to group queries into sessions, and studied the addition and removal of terms from consecutive queries to gauge search strategies. RESULTS: The size of the result sets from a sample of queries showed a bimodal distribution, with peaks at approximately 3 and 100 results, suggesting that a large group of queries was tightly focused and another was broad. Like Web search engine sessions, most PubMed sessions consisted of a single query. However, PubMed queries contained more terms. CONCLUSION: PubMed's usage profile should be considered when educating users, building user interfaces, and developing future biomedical information retrieval systems.

Cross-cultural equivalence and associations among food insecurity and parental influences of children's fruit and vegetable consumption

Over the past several decades, the prevalence of obesity has dramatically increased. Cause for concern has increased because overweight and obesity are major contributors to morbidity and mortality. Intervention research aimed at reducing the prevalence of obesity has identified the family, specifically the parent, as a key component of the home environment. However, findings from dietary behavior change interventions have been disheartening because few studies have reported meaningful change, suggesting methodological and/or measurement issues within the intervention process. A lack of appropriate mediators and cross-cultural equivalence may partially explain the reason for little change.^ The study aims were to (1) evaluate the psychometric properties and assess the cross cultural equivalence of the Food Insecurity Scale (paper 1) and the modified Parent Feeding Practices Questionnaire (paper 2) and to assess the overall relationships among food insecurity, parent mediators, and parent behaviors towards children's dietary behavior (paper 3) through structural equation modeling and tests of invariance. The study aims were accomplished through conducting secondary analyses using baseline data from English- and Spanish-speaking Hispanic women who participated in the Healthy Families: Step by Step (BHF) study.^ Results indicated that although the FIS and the mPFPQ exhibited sound psychometric properties, the instruments exhibited a lack of invariance across language spoken groups. The lack of invariance was more pronounced in the FIS. Results also supported the theoretical framework identifying parent's perceived barriers and self-efficacy as mediators of parent's behaviors toward improving children's health eating. Results did not suggest that the relationships were moderated by food insecurity.^ In conclusion, the identification of differential item functioning in food insecurity and parent feeding practices may be beneficial in enhancing tailored interventions through the incorporation of cultural differences into the change mechanisms. However, future research needs to be conducted to determine if the lack of invariance demonstrates the existence of item bias or if it is a reflection of true difference among the language spoken groups. Additionally, obesity intervention studies targeting parent/family barriers and parent self-efficacy to provide/encourage healthy diets may result in an increase in parent behaviors which promote healthy eating behaviors among children. Future research should also examine a more complete causal pathway to determine whether parental changes in the mediators ultimately lead to an increase in healthy dietary behavior among children.^

A note on the stable equivalence problem

We provide counterexamples to the stable equivalence problem in every dimension d ≥ 2. That means that we construct hypersurfaces H₁ , H₂ ⊂ C d+1 whose cylinders H₁ × C and H₂ × C are equivalent hypersurfaces in C d+2 , although H₁ and H₂ themselves are not equivalent by an automorphism of C d+1 . We also give, for every d ≥ 2, examples of two non-isomorphic algebraic varieties of dimension d which are biholomorphic.

Testing the Weak Equivalence Principle with an antimatter beam at CERN

The goal of the AEgIS experiment is to measure the gravitational acceleration of antihydrogen – the simplest atom consisting entirely of antimatter – with the ultimate precision of 1%. We plan to verify the Weak Equivalence Principle (WEP), one of the fundamental laws of nature, with an antimatter beam. The experiment consists of a positron accumulator, an antiproton trap and a Stark accelerator in a solenoidal magnetic field to form and accelerate a pulsed beam of antihydrogen atoms towards a free-fall detector. The antihydrogen beam passes through a moir ́e deflectometer to measure the vertical displacement due to the gravitational force. A position and time sensitive hybrid detector registers the annihilation points of the antihydrogen atoms and their time-of-flight. The detection principle has been successfully tested with antiprotons and a miniature moir ́e deflectometer coupled to a nuclear emulsion detector.

Learning an L1-regularized Gaussian Bayesian Network in the Equivalence Class Space

Learning the structure of a graphical model from data is a common task in a wide range of practical applications. In this paper, we focus on Gaussian Bayesian networks, i.e., on continuous data and directed acyclic graphs with a joint probability density of all variables given by a Gaussian. We propose to work in an equivalence class search space, specifically using the k-greedy equivalence search algorithm. This, combined with regularization techniques to guide the structure search, can learn sparse networks close to the one that generated the data. We provide results on some synthetic networks and on modeling the gene network of the two biological pathways regulating the biosynthesis of isoprenoids for the Arabidopsis thaliana plant

Analyzing Query Success and User Context

This paper describes the participation of DAEDALUS at the LogCLEF lab in CLEF 2011. This year, the objectives of our participation are twofold. The first topic is to analyze if there is any measurable effect on the success of the search queries if the native language and the interface language chosen by the user are different. The idea is to determine if this difference may condition the way in which the user interacts with the search application. The second topic is to analyze the user context and his/her interaction with the system in the case of successful queries, to discover out any relation among the user native language, the language of the resource involved and the interaction strategy adopted by the user to find out such resource. Only 6.89% of queries are successful out of the 628,607 queries in the 320,001 sessions with at least one search query in the log. The main conclusion that can be drawn is that, in general for all languages, whether the native language matches the interface language or not does not seem to affect the success rate of the search queries. On the other hand, the analysis of the strategy adopted by users when looking for a particular resource shows that people tend to use the simple search tool, frequently first running short queries build up of just one specific term and then browsing through the results to locate the expected resource

Enabling query technologies for the semantic sensor web

Sensor networks are increasingly being deployed in the environment for many different purposes. The observations that they produce are made available with heterogeneous schemas, vocabularies and data formats, making it difficult to share and reuse this data, for other purposes than those for which they were originally set up. The authors propose an ontology-based approach for providing data access and query capabilities to streaming data sources, allowing users to express their needs at a conceptual level, independent of implementation and language-specific details. In this article, the authors describe the theoretical foundations and technologies that enable exposing semantically enriched sensor metadata, and querying sensor observations through SPARQL extensions, using query rewriting and data translation techniques according to mapping languages, and managing both pull and push delivery modes.