Methodological challenges encountered in summarizing evidence-based practice.

This paper details the challenges encountered by authors summarizing evidence from a primary study to describe a treatment's effectiveness using an effect size (ES) estimate. Dilemmas that are encountered, including how to calculate and interpret the pertinent standardized mean difference ES for results from studies of various research designs, are described. Recommendations are offered to authors of primary studies and to those conducting summaries of primary studies. (PsycINFO Database Record (c) 2011 APA, all rights reserved)     

Aspects of latex particle size control for improved water blush resistance

Latex films have a tendency to "blush" when exposed to water. The swelling of trapped hydrophilic material, which results in pockets with different refractive indices, is proposed as a possible model for blushing. A pressure-sensitive latex was developed on the basis of this model. The blush was improved by the choice of the surfactant and control of the particle diameter. The resulting latex has an unusual particle growth behavior during polymerization. The particle size distribution (PSD) was characterized by dynamic light scattering (DLS), electron microscopy (SEM/TEM) and atomic force microscopy (AFM). The data are in a good agreement with our proposed growth model.     

Design and evaluation of tiled parallel coordinate visualization of multichannel EEG data

The field of visualization assists data interpretation in many areas, but does not manage all types of data equally well. This holds, in particular, for time-varying multichannel EEG data. No existing method can successfully visualize simultaneous information from all channels in use at all time steps. To address this problem, a new visualization method is presented based on the parallel coordinate method and making use of a tiled organization. This tiled organization employs a two-dimensional row-column representation, rather than a one-dimensional arrangement in columns as used for classical parallel coordinates. The usefulness of the new method, referred to as tiled parallel coordinates (TPC), is demonstrated by a particular type of EEG data. It can be applied to an arbitrary number of time steps, handling the maximum number of channels currently in use. An extensive user evaluation shows that, for a typical EEG assessment task, data evaluation by the TPC method is faster than by an existing clinical EEG visualization method, without loss of information. The generality of the TPC method makes it widely applicable to other time-varying multivariate data types     

An extension of lazy abstraction with interpolation for programs with arrays

Lazy abstraction with interpolation-based refinement has been shown to be a powerful technique for verifying imperative programs. In presence of arrays, however, the method suffers from an intrinsic limitation, due to the fact that invariants needed for verification usually contain universally quantified variables, which are not present in program specifications. In this work we present an extension of the interpolation-based lazy abstraction framework in which arrays of unknown length can be handled in a natural manner. In particular, we exploit the Model Checking Modulo Theories framework to derive a backward reachability version of lazy abstraction that supports reasoning about arrays. The new approach has been implemented in a tool, called safari, which has been validated on a wide range of benchmarks. We show by means of experiments that our approach can synthesize and prove universally quantified properties over arrays in a completely automatic fashion.     

On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic

Van Lambalgen (1990) proposed a translation from a language containing a generalized quantifierQ into a first-order language enriched with a family of predicatesR _i, for every arityi (or an infinitary predicateR) which takesQxg(x, y₁,..., y_n) to x(R(x, y₁,..., y₁) (x,y₁,...,y_n)) (y ₁,...,y_n are precisely the free variables ofQx). The logic ofQ (without ordinary quantifiers) corresponds therefore to the fragment of first-order logic which contains only specially restricted quantification. We prove that it is decidable using the method of analytic tableaux. Related results were obtained by Andréka and Németi (1994) using the methods of algebraic logic.     

Embedding robotic surgery into routine practice and impacts on communication and decision making: a review of the experience of surgical teams

While an increasing number of healthcare providers are purchasing surgical robots because of anticipated improvements in patient outcomes, their implementation into practice is highly variable. In robotic surgery, the surgeon is physically separated from the patient and the rest of the team with the potential to impact communication and decision making in the operating theatre and subsequently patient safety. Drawing on the approach of realist evaluation, in this article we review reports of the experience of surgical teams that have introduced robotic surgery to identify how and in what contexts robotic surgery is successfully integrated into practice and how and in what contexts it affects communication and decision making. Our analysis indicates that, while robotic surgery might bring about a number of benefits, it also creates new challenges. Robotic surgery is associated with increased operation duration, which has implications for patient safety, but strategies to reduce it can be effective with appropriate support from hospital administration and nursing management. The separation of the surgeon from the team can compromise communication but may be overcome through use of standardised communication. While surgeon situation awareness may be affected by the separation, the ergonomic benefits of robotic surgery may reduce stress and tiredness and enhance surgeon decision making. Our review adds to the existing literature by revealing strategies to support the introduction of robotic surgery and contextual factors that need to be in place for these to be effective.     

Reasoning about plan revision in BDI agent programs

Facilities for handling plan execution failures are essential for agents which must cope with the effects of nondeterministic actions, and some form of failure handling can be found in most mature agent programming languages and platforms. While such features simplify the development of more robust agents, they make it hard to reason about the execution of agent programs, e.g., to verify their correctness. In this paper, we present an approach to the verification of agent programs which admit exceptional executions. We consider executions of the BDI-based agent programming language 3APL in which plans containing non-executable actions can be revised using plan revision rules, and present a logic for reasoning about normal and exceptional executions of 3APL programs. We provide a complete axiomatization for the logic and, using a simple example, show how to express properties of 3APL programs as formulas of the logic.     

TouchTone: Interactive Local Image Adjustment Using Point‐and‐Swipe

Recent proliferation of camera phones, photo sharing and social network services has significantly changed how we process our photos. Instead of going through the traditional download‐edit‐share cycle using desktop editors, an increasing number of photos are taken with camera phones and published through cellular networks. The immediacy of the sharing process means that on‐device image editing, if needed, should be quick and intuitive. However, due to the limited computational resources and vastly different user interaction model on small screens, most traditional local selection methods can not be directly adapted to mobile devices. To address this issue, we present TouchTone, a new method for edge‐aware image adjustment using simple finger gestures. Our method enables users to select regions within the image and adjust their corresponding photographic attributes simultaneously through a simple point‐and‐swipe interaction. To enable fast interaction, we develop a memory‐ and computation‐efficient algorithm which samples a collection of 1D paths from the image, computes the adjustment solution along these paths, and interpolates the solutions to entire image through bilateral filtering. Our system is intuitive to use, and can support several local editing tasks, such as brightness, contrast, and color balance adjustments, within a minute on a mobile device.     

Why men and women continue to use social networking sites: The role of gender differences

Organizations increasingly use social media and especially social networking sites (SNS) to support their marketing agenda, enhance collaboration, and develop new capabilities. However, the success of SNS initiatives is largely dependent on sustainable user participation. In this study, we argue that the continuance intentions of users may be gender-sensitive. To theorize and investigate gender differences in the determinants of continuance intentions, this study draws on the expectation-confirmation model, the uses and gratification theory, as well as the self-construal theory and its extensions. Our survey of 488 users shows that while both men and women are motivated by the ability to self-enhance, there are some gender differences. Specifically, while women are mainly driven by relational uses, such as maintaining close ties and getting access to social information on close and distant networks, men base their continuance intentions on their ability to gain information of a general nature. Our research makes several contributions to the discourse in strategic information systems literature concerning the use of social media by individuals and organizations. Theoretically, it expands the understanding of the phenomenon of continuance intentions and specifically the role of the gender differences in its determinants. On a practical level, it delivers insights for SNS providers and marketers into how satisfaction and continuance intentions of male and female SNS users can be differentially promoted. Furthermore, as organizations increasingly rely on corporate social networks to foster collaboration and innovation, our insights deliver initial recommendations on how organizational social media initiatives can be supported with regard to gender-based differences.     

Knowing when not to use the Internet: Shyness and adolescents’ on-line and off-line interactions with friends

The goal of the study was to explore the content of on-line and off-line peer interactions among shy and non-shy adolescents. Participants were 148 ten-to-eighteen year old adolescents in Rome, Italy (n = 98) and Ottawa, Canada (n = 50). Participants completed self reports of shyness and loneliness and web logs of their interactions with friends both in person and on-line. Among the results, there was little general difference in the general content and emotion expressed during the two modalities of interaction with friends, both of which were used in a wide variety of ways. Importantly, shy participants used the on-line modality more extensively than their non-shy counterparts to express negative emotions and to convey content regarding negative exchanges with peers. Such use of electronic communication may be an important contributor to their loneliness.