DipGame: A challenging negotiation testbed

There is a chronic lack of shared application domains to test advanced research models and agent negotiation architectures in Multiagent Systems. In this paper we introduce a friendly testbed for that purpose. The testbed is based on The Diplomacy Game where negotiation and the relationships between players play an essential role. The testbed profits from the existence of a large community of human players that know the game and can easily provide data for experiments. We explain the infrastructure in the paper and make it freely available to the AI community.     

The effect of the temporal resolution of NDVI data on season onset dates and trends across Canadian broadleaf forests

Satellite remote sensing has the potential to contribute to plant phenology monitoring at spatial and temporal scales relevant for regional and global scale studies. Historically, temporal composites of satellite data, ranging from 8 days to 16 days, have been used as a starting point for satellite-derived phenology data sets. In this study we assess how the temporal resolution of such composites affects the estimation of the start of season (SOS) by: 1) calibrating a relationship between satellite derived SOS with in situ leaf unfolding (LU) of trembling aspen (Populus tremuloides) across Canada and 2) quantifying the sensitivity of calibrated satellite SOS estimates and trends, over Canadian broadleaf forests, to the temporal resolution of NDVI data. SOS estimates and trends derived from daily NDVI data were compared to SOS estimates and trends derived from multiday NDVI composites that retain the exact date of the maximum NDVI value or that assume the midpoint of the multiday interval as the observation date. In situ observations of LU dates were acquired from the PlantWatch Canada network. A new Canadian database of cloud and snow screened daily 1-km resolution National Oceanic and Atmospheric Administration advanced very high resolution radiometer surface reflectance images was used as input satellite data. The mean absolute errors of SOS dates with respect to in situ LU dates ranged between 13 and 40 days. SOS estimates from NDVI composites that retain the exact date of the maximum NDVI value had smaller errors (~ 13 to 20 days). The sensitivity analysis reinforced these findings: SOS estimates from NDVI composites that use the exact date had smaller absolute deviations from the LU date (0 to − 5 days) than the SOS estimates from NDVI composites that use the midpoint (− 2 to − 27 days). The SOS trends between 1985 and 2007 were not sensitive to the temporal resolution or compositing methods. However, SOS trends at individual ecozones showed significant differences with the SOS trends from daily NDVI data (Taiga plains and the Pacific maritime zones). Overall, our results suggest that satellite based estimates of vegetation green-up dates should preferably use sub-sampled NDVI composites that include the exact observation date of the maximum NDVI to minimize errors in both, SOS estimates and SOS trend analyses. For trend analyses alone, any of the compositing methods could be used, preferably with composite intervals of less than 28 days. This is an important finding, as it suggests that existing long-term 10-day or 15-day NDVI composites could be used for SOS trend analyses over broadleaf forests in Canada or similar areas. Future studies will take advantage of the growing in situ phenology networks to improve the validation of satellite derived green-up dates.     

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.     

Enhancing 5th graders’ science content knowledge and self-efficacy through game-based learning

Many argue that games can positively impact learning by providing an intrinsically motivating and engaging learning environment for students in ways that traditional school cannot. Recent research demonstrates that games have the potential to impact student learning in STEM content areas and that collaborative gameplay may be of particular importance for learning gains. This study investigated the effects of collaborative and single game player conditions on science content learning and science self-efficacy. Results indicated that there were no differences between the two playing conditions; however, when conditions were collapsed, science content learning and self-efficacy significantly increased. Future research should focus on the composition of collaboration interaction among game players to assess what types of collaborative tasks may yield positive learning gains.     

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.