Diagnosing and correcting design inconsistencies in source code with logical abduction

Correcting design decay in source code is not a trivial task. Diagnosing and subsequently correcting inconsistencies between a software system’s code and its design rules (e.g., database queries are only allowed in the persistence layer) and coding conventions can be complex, time-consuming and error-prone. Providing support for this process is therefore highly desirable, but of a far greater complexity than suggesting basic corrective actions for simplistic implementation problems (like the “declare a local variable for non-declared variable” suggested by Eclipse).We present an abductive reasoning approach to inconsistency correction that consists of (1) a means for developers to document and verify a system’s design and coding rules, (2) an abductive logic reasoner that hypothesizes possible causes of inconsistencies between the system’s code and the documented rules and (3) a library of corrective actions for each hypothesized cause. This work builds on our previous work, where we expressed design rules as equality relationships between sets of source code artifacts (e.g., the set of methods in the persistence layer is the same as the set of methods that query the database). In this paper, we generalize our approach to design rules expressed as user-defined binary relationships between two sets of source code artifacts (e.g., every state changing method should invoke a persistence method).We illustrate our approach on the design of IntensiVE, a tool suite that enables defining sets of source code artifacts intensionally (by means of logic queries) and verifying relationships between such sets.     

Time-correlated single photon counting FLIM: some considerations for physiologists

Recent developments in cellular imaging now permit the minimally invasive study of protein interactions in living cells. These advances are of enormous interest to cell biologists, as proteins rarely act in isolation, but rather in concert with others in forming cellular machinery. Up until recently, all protein interactions had to be determined in vitro using biochemical approaches. This biochemical legacy has provided cell biologists with the basis to test defined protein-protein interactions not only inside cells, but now also with spatial resolution. More recent developments in TCSPC imaging are now also driving towards being able to determine protein interaction rates with similar spatial resolution, and together, these experimental advances allow investigators to perform biochemical experiments inside living cells. Here, we discuss some findings we have made along the way which may be useful for physiologists to consider.     

Modeling and Managing Interactions among Business Processes

Most workflow management systems (WfMSs) only support the separate andindependent execution of business processes. However, processes often needto interact with each other, in order to synchronize the execution of theiractivities, to exchange process data, to request execution of services, orto notify progresses in process execution. Recent market trends also raisethe need for cooperation and interaction between processes executed in differentorganizations, posing additional challenges. In fact, in order to reduce costsand provide better services, companies are pushed to increase cooperation and toform virtual enterprises, where business processes span across organizationalboundaries and are composed of cooperating workflows executed in differentorganizations. Workflow interaction in a cross-organizational environment iscomplicated by the heterogeneity of workflow management platforms on top ofwhich workflows are defined and executed and by the different and possiblycompeting business policies and business goals that drive process executionin each organization.In this paper we propose a model and system that enable interactionbetween workflows executed in the same or in different organizations. Weextend traditional workflow models by allowing workflows to publish andsubscribe to events, and by enabling the definition of points in the processexecution where events should be sent or received. Event notifications aremanaged by a suitable event service that is capable of filtering andcorrelating events, and of dispatching them to the appropriate targetworkflow instances. The extended model can be easily mapped onto anyworkflow model, since event specific constructs can be specified by means ofordinary workflow activities, for which we provide the implementation. Inaddition, the event service is easily portable to different platforms, anddoes not require integration with the WfMS that supports the cooperatingworkflows. Therefore, the proposed approach is applicable in virtually anyenvironment and is independent on the specific platform adopted     

Subacute proteome changes following traumatic injury of the developing brain: Implications for a dysregulation of neuronal migration and neurite arborization

Traumatic brain injury (TBI) is a major cause of morbidity and mortality among children and adolescents. To gain insight into developmental events influenced by TBI, we analyzed subacute mouse brain proteome changes in a percussion head trauma model at P7 ipsi- and contralateral to the site of injury. The comparison of brain proteomes of trauma mice and controls revealed reproducible changes in the intensity of 28 proteins (30 protein spots) in response to trauma. The changes detected suggest that TBI leads to apoptosis, inflammation, and oxidative stress. These changes were consistent with our results of histological and biochemical evaluation of the brains which revealed widespread apoptotic neurodegeneration, microglia activation, and increased levels of protein carbonyls. Furthermore, we detected changes in proteins involved in neuronal migration as well as axonal and dendritic growth and guidance, suggesting interference of trauma with these developmental events.     

Phasic norepinephrine: a neural interrupt signal for unexpected events

Extensive animal studies indicate that the neuromodulator norepinephrine plays an important role in specific aspects of vigilance, attention and learning, putatively serving as a neural interrupt or reset function. The activity of norepinephrine-releasing neurons in the locus coeruleus during attentional tasks is modulated not only by the animal's level of engagement and the sensory inputs, but also by temporally rich aspects of internal decision-making processes. Here, we propose that it is unexpected changes in the world within the context of a task that activate the noradrenergic interrupt signal. We quantify this idea in a Bayesian model of a well-studied visual discrimination task, demonstrating that the model captures a rich repertoire of noradrenergic responses at the sub-second temporal resolution.     

Influences of the insertion method in glass ionomer cement porosity

The aim of this study was to evaluate the presence of porosities inside the glass ionomer cement (GIC) after different techniques of material insertion. MATERIAL AND METHOD: Specimens were prepared with high‐viscosity GIC Ketac Molar Easymix and divided into three groups according to the insertion method: spatula (PI), Centrix injector (CI), and low‐cost syringe (LCS). The specimens were fractured and observed with scanning electronic microscopy to quantitatively evaluate porosity inside the material using Image J Software. RESULTS: Statistical analysis, ANOVA application, and Tukey test to significance level of 5%, revealed that there was no statistical difference between the groups. CONCLUSION: Although the use of LCS has not decreased the porosity of the material, this insertion method is easy, accessible, and low cost, which makes it a viable alternative of use in the ART technique and in others bucal health programs. Microsc. Res. Tech., 2012. © 2012 Wiley Periodicals, Inc.     

A covert attention P300-based brain-computer interface: Geospell

The Farwell and Donchin P300 speller interface is one of the most widely used brain-computer interface (BCI) paradigms for writing text. Recent studies have shown that the recognition accuracy of the P300 speller decreases significantly when eye movement is impaired. This report introduces the GeoSpell interface (Geometric Speller), which implements a stimulation framework for a P300-based BCI that has been optimised for operation in covert visual attention. We compared the Geospell with the P300 speller interface under overt attention conditions with regard to effectiveness, efficiency and user satisfaction. Ten healthy subjects participated in the study. The performance of the GeoSpell interface in covert attention was comparable with that of the P300 speller in overt attention. As expected, the effectiveness of the spelling decreased with the new interface in covert attention. The NASA task load index (TLX) for workload assessment did not differ significantly between the two modalities. PRACTITIONER SUMMARY: This study introduces and evaluates a gaze-independent, P300-based brain-computer interface, the efficacy and user satisfaction of which were comparable with those off the classical P300 speller. Despite a decrease in effectiveness due to the use of covert attention, the performance of the GeoSpell far exceeded the threshold of accuracy with regard to effective spelling.     

A short term −12° head down tilt does not mimic microgravity in terms of human gonadal function

A significant reversible decrease in testosterone (T) has been associated with microgravity in male rodents and humans. Urinary T excretion increases in primates under hypergravity. Hypogonadism is somehow related to abnormally high levels of leptin (L), a hormone produced by the adipose tissue which has been found to increase under microgravity simulation conditions like head down bed rest (HDBR). The aim of this study was to assess hemodynamic and pituitary-adrenal and -gonadal adaptation to an acute HDBR test to be eventually used on a routine basis to get better prepared to next space flights. The Authors performed a 1 hour ?12° HDBR in 6 male and 6 female volunteers who underwent heart rate and blood pressure measurement together with a blood draw three times at 30 min intervals from the start to the end of the test for L, T, estradiol (E₂), LH, androstenedione (A), cortisol (F), ACTH. 12 age- and sexmatched control subjects followed the same protocol except for keeping the sitting position all the time. According to the ANOVA for repeated measures, no changes occurred in L, T, E₂ or LH whereas A, F and ACTH significantly decreased independently of gender. During HDBR systolic blood pressure decreased in both genders, diastolic blood pressure decreased significantly only in men and HR showed a more clear-cut decrease in women than in men. As a conclusion, such an acute steep-slope HDBR protocol may be efficiently used to testing immediate individual haemodynamic or adrenal response to microgravity but is not suitable for studies concerning gonadal adaptation.     

Physical Properties of Vegetable Oil and Chlorinated Ethene Mixtures

Laboratory experiments were conducted to investigate the abiotic interactions of soybean oil (SoyOil) and chlorinated ethene (CE) nonaqueous phase liquids (NAPLs). The mixed NAPL density and interfacial tension behaved ideally, as predicted by the volume ratio. The mixed NAPL viscosity increased exponentially from that of the pure CE to that of pure SoyOil as the volume fraction increased. The measured contact angle was highly variable and was unpredictable as a function of the volume composition of the mixed NAPL. The physical property effects indicate that the mobilization of residual CE NAPLs because of SoyOil injection is unlikely. Equilibrium dissolution of CEs from the NAPL mixtures behaved linearly as a function of the mole fraction. Dissolved SoyOil in simulated groundwater enhanced the dissolution of trichloroethene (TCE) during flow tests, increasing the effluent TCE concentration from 141?to?202?mg/L. The ready intermingling of the CE dense nonaqueous phase liquids (DNAPLs) and SoyOil indicate that such interactions may be significant at sites where vegetable oil is injected into DNAPL source areas to enhance in situ anaerobic bioremediation.     

Condom Use Among High-Risk Adolescents: Testing the Influence of Alcohol Use on the Relationship of Cognitive Correlates of Behavior.

The goal of this study was the exploration of distal effects of alcohol use on condom use. Criminally involved adolescents completed an initial measure of attitudes, beliefs, and prior behavior. Of the 300 who completed the initial measurement, 267 (89%) completed a behavioral assessment 6 months later. Analyses validated a theoretical model of condom use intentions and indicated that intentions and attitudes measured at baseline were significant predictors of condom use behavior 6 months later. Neither alcohol use nor alcohol problems moderated relationships among model variables or the influence of intentions and attitudes on behavior. The findings do not support a distal role for alcohol use in altering the cognitive correlates of condom use intentions and behavior among high-risk adolescents. (PsycINFO Database Record (c) 2010 APA, all rights reserved)