GUI Behavior from Source Code Analysis

When developing interactive applications, considering the correctness of graphical user interfaces (GUIs) code is essential. GUIs are critical components of today's software, and contemporary software tools do not provide enough support for ensuring GUIs' code quality. GUIsurfer, a GUI reverse engineering tool, enables evaluation of behavioral properties of user interfaces. It performs static analysis of GUI code, generating state machines that can help in the evaluation of interactive applications. This paper describes the design, software architecture, and the use of GUIsurfer through an example. The tool is easily re-targetable, and support is available to Java/Swing, and WxHaskell. The paper sets the ground for a generalization effort to consider rich internet applications. It explores the GWT web applications' user interface programming toolkit.

Real-time 3D interactive segmentation of echocardiographic data through user-based deformation of B-spline explicit active surfaces

Image segmentation is an ubiquitous task in medical image analysis, which is required to estimate morphological or functional properties of given anatomical targets. While automatic processing is highly desirable, image segmentation remains to date a supervised process in daily clinical practice. Indeed, challenging data often requires user interaction to capture the required level of anatomical detail. To optimize the analysis of 3D images, the user should be able to efficiently interact with the result of any segmentation algorithm to correct any possible disagreement. Building on a previously developed real-time 3D segmentation algorithm, we propose in the present work an extension towards an interactive application where user information can be used online to steer the segmentation result. This enables a synergistic collaboration between the operator and the underlying segmentation algorithm, thus contributing to higher segmentation accuracy, while keeping total analysis time competitive. To this end, we formalize the user interaction paradigm using a geometrical approach, where the user input is mapped to a non-cartesian space while this information is used to drive the boundary towards the position provided by the user. Additionally, we propose a shape regularization term which improves the interaction with the segmented surface, thereby making the interactive segmentation process less cumbersome. The resulting algorithm offers competitive performance both in terms of segmentation accuracy, as well as in terms of total analysis time. This contributes to a more efficient use of the existing segmentation tools in daily clinical practice. Furthermore, it compares favorably to state-of-the-art interactive segmentation software based on a 3D livewire-based algorithm.

Modifying fish gelatin electrospun membranes for biomedical applications: cross- linking and swelling behavior

Development of suitable membranes is a fundamental requisite for tissue and biomedical engineering applications. This work presents fish gelatin random and aligned electrospun membranes cross-linked with glutaraldehyde (GA). It was observed that the fiber average diameter and the morphology is not influenced by the GA exposure time and presents fibers with an average diameter around 250 nm. Moreover, when the gelatin mats are immersed in a phosphate buffered saline solution (PBS), they can retain as much as 12 times its initial weight of solution almost instantaneously, but the material microstructure of the fiber mats changes from the characteristic fibrous to an almost spherical porous structure. Cross-linked gelatin electrospun fiber mats and films showed a water vapor permeability of 1.37 ± 0.02 and 0.13 ± 0.10 (g.mm)/(m2.h.kPa), respectively. Finally, the processing technique and cross-linking process does not inhibit MC-3T3-E1 cell adhesion. Preliminary cell culture results showed good cell adhesion and proliferation in the cross-linked random and aligned gelatin fiber mats.

Consumer behavior and profile in cross border tourism destinations

Tourism is a phenomenon that moves millions of people around the world, taking as a major driver of the global economy. Such relevance is reflected in the proliferation of studies in the overall area known as tourism, under various perspectives and backgrounds. In the light of such multitude of insights our study aims at gaining a deeper understanding of customer profiling and behavior in cross-border tourism destinations. Previous studies conducted in such contexts suggest that cross-border regions (CBRs) are an attractive and desirable idea, yet requiring further theoretical and empirical research. The new configuration of many CBRs calls for a debate on issues concerning its development, raising up important dimensions, such as, organization and planning of common tourism destinations. There is still a gap in the understanding of destination management in CBRs and the customer profile and motivations. Overall this research aims at attaining a deeper understanding of the profile and behavior of consumers in tourism settings, addressing the predisposition for the destination. The study addresses the following research question: “What factors influence customer behavior and attitudes in a CBRs tourism destination?” To address our question we will take an interdisciplinary perspective bringing together inputs from marketing, tourism and local economics. When addressing consumer behavior in tourism previous studies considered the following constructs: involvement, place attachment, satisfaction and destination loyalty. In order to establish the causal relationships in our theoretical model, we intend to develop a predominant quantitative design, yet we plan to conduct exploratory interviews. In the analysis and discussion of results, we intend to use Structural Equation Modeling. It will further allow understanding how the constructs in the research model relate to each other in the specified context. Results are also expected to have managerial implications. Consequently our results may assist decision makers in developing their local policies.

Influence of discount price announcements on consumer's behavior

The theoretical framework that underpins this research study is based on the Prospect Theory formulated by Kahneman and Tversky, and Thaler's Mental Accounting Theory. The research aims to evaluate the consumers' behavior when different patterns of discount are offered (in percentage and absolute value and for larger and smaller discounts). Two experiments were conducted to explore these patterns of behavior and the results that were obtained supported the view that the framing effect was a common occurrence. The patterns of choice of individuals in a sample were found to be different due to changes in the ways discounts were offered. This can be explained by the various ways of presenting discount rates that had an impact on the influence of purchase intentions, recommendations and quality perception.

A JOINT EXPERIMENTAL ANALYSIS OF INVESTOR BEHAVIOR IN IPO PRICING METHODS

This article jointly examines the differences of laboratory versions of the Dutch clock open auction, a sealed-bid auction to represent book building, and a two-stage sealed bid auction to proxy for the “competitive IPO”, a recent innovation used in a few European equity initial public offerings. We investigate pricing, seller allocation, and buyer welfare allocation efficiency and conclude that the book building emulation seems to be as price efficient as the Dutch auction, even after investor learning, whereas the competitive IPO is not price efficient, regardless of learning. The competitive IPO is the most seller allocative efficient method because it maximizes offer proceeds. The Dutch auction emerges as the most buyer welfare allocative efficient method. Underwriters are probably seeking pricing efficiency rather than seller or buyer welfare allocative efficiency and their discretionary pricing and allocation must be important since book building is prominent worldwide.

Reported Use of Anabolic Steroids and Ergogenic Substances in Gym/Health Club Settings: Associations with Psychosocial and Exercise Behavior Factors

The industry of ergogenic supplements is increasing rapidly (Cole et al., 2003). Supplements may constitute an important aid for some vigourous exercise routines, but they may also be used as a hypothetical mean to achieve increases in muscular mass. This supposed effect of suplements can lead to its use by individuals who have high levels of drive for muscularity, a condition that is known to be associated with muscular dismorphy (or as it has been called recently vigorexia, Pope et al., 1997). Another psychological factor which can influence supplement consumption is exercise dependence, a borderline problem, as most studies present a prevalence of less than 10% in regular exercisers (Palmeira & Matos, 2006). Symptoms like tolerance or continuity could lead to the use of ergogenic aids to maintain the exercise levels. Also of interest for the understanding of the use of suplements are exercise frequency, volume and intensity, which could explain the ratesof consumption on a more physicological level.

Ecological aspects of American cutaneous leishmaniasis: 4. Observations on the endophilic behavior of the sandfly and the vectorial role of Psychodopygus intermedius in the Ribeira Valley region of the S.Paulo State, Brazil

The invasive tendency of Psychodopygus intermedius in the home environment, observed initially by Forattini et al. (1976), has now been confirmed by the demonstration of its high endophilic ability and by the use of human residences for shelter. Populations such as Lutzomyia migonei and Pintomyia fischeri were also present in that environment, though their low densities registered during this investigation could be an indication of their poor ability to overcome the barriers raised by the artificial environment. An objective epidemiological analysis based on the variables here given showed that human infection takes place in the extraforest environment, and the principal vectorial function falls, without doubt, on P. intermedius.

Surgical correction of scoliosis: Numerical analysis and optimization of the procedure

A previously developed model is used to numerically simulate real clinical cases of the surgical correction of scoliosis. This model consists of one-dimensional finite elements with spatial deformation in which (i) the column is represented by its axis; (ii) the vertebrae are assumed to be rigid; and (iii) the deformability of the column is concentrated in springs that connect the successive rigid elements. The metallic rods used for the surgical correction are modeled by beam elements with linear elastic behavior. To obtain the forces at the connections between the metallic rods and the vertebrae geometrically, non-linear finite element analyses are performed. The tightening sequence determines the magnitude of the forces applied to the patient column, and it is desirable to keep those forces as small as possible. In this study, a Genetic Algorithm optimization is applied to this model in order to determine the sequence that minimizes the corrective forces applied during the surgery. This amounts to find the optimal permutation of integers 1, ... , n, n being the number of vertebrae involved. As such, we are faced with a combinatorial optimization problem isomorph to the Traveling Salesman Problem. The fitness evaluation requires one computing intensive Finite Element Analysis per candidate solution and, thus, a parallel implementation of the Genetic Algorithm is developed.

Factors affecting nutrition behavior among middle-class adolescents in urban area of Northern region of Brazil

INTRODUCTION: Brazil has been called a nation in nutrition transitional because of recent increases in the prevalence of obesity and related chronic diseases. With overweight conditions already prevalent among middle-income populations, there exists a need to identify factors that influence nutrition behavior within this group. OBJECTIVE: To address this subject, a research study was implemented among middle-class adolescents attending a large private secondary school in Manaus, Amazonas, Brazil. The study determined the availability and accessibility of snack foods as well as subjects’ attitudes and preferences towards, and the influence of family and friends on healthy (high-nutrient density) snack choices. METHODS: The 4-stage process included: (a) a nutrition expert focus group discussion that reported local nutrition problems in general and factors related to adolescent nutrition, (b) an adolescent pilot survey (n=63) that solicited information about snacking preferences and habits as well as resources for nutrition information and snack money; (c) a survey of various area food market sources to determine the availability and accessibility of high nutrient density snacks; and (d) a follow-up adolescent survey (n=55) that measured snack food preferences and perceptions about their cost and availability. RESULTS: Results included the finding that, although affordable high nutrient density snacks were available, preferences for low nutrient density snacks prevailed. The adolescents were reportedly more likely to be influenced by and obtain nutrition information from family members than friends. CONCLUSION: From study results it is apparent that a focus on food availability will not automatically result in proper nutritional practices among adolescents. This fact and the parental influence detected are evidence of a need to involve adolescents and their parents in nutrition education campaigns to improve adolescent snack food choices.

Influence of HIV positive status on sexual behavior among males

OBJECTIVE: To compare HIV seronegative (HIV-) and HIV seropositive (HIV+) males in terms of sexual behavior with female and male partners of different types. METHOD: Cross-sectional study. From August 1994 to February 1995, a sample of 236 respondents (150 HIV- and 86 HIV+) recruited from public health centers in the State of S. Paulo (Brazil), answered a questionnaire, including questions on demographic aspects, HIV and AIDS related knowledge, sexual orientation, use of alcohol and other drugs, sexual behavior with regular and casual female and male partners, and perceived risk of HIV infection. Sexual behavior with regular and casual female and male partners within the previous three months, was investigated. RESULTS: A lower proportion of HIV+ engaged in sexual contact with regular female partners (p < .01) and in vaginal intercourse with this type of partner (p < .01). A lower proportion of HIV+ engaged in overall sexual activity (p < .001) and reported lower frequency of penetrative sexual practices (p < .05). A high level of condom use with female and male partners was identified with no significant differences being found between the two serostatus groups. Some risky sexual behavior was identified, however, especially with regular partners, suggesting that some men were continuing to practice unsafe sex. CONCLUSIONS: The high level of condom use identified suggests that safer sex advice has been taken up. Condom use was not universal, however, and some men continue to place themselves at risk, especially with regular partners. Prevention programs should strive not only to encourage HIV- to practice safer sex, but also to encourage HIV+ to do so in order to prevent further transmission of the virus.

Information and investor behavior surrounding earnings announcements

Preliminary version

Cyclic deformation of bidisperse two-dimensional foams

In-plane deformation of foams was studied experimentally by subjecting bidisperse foams to cycles of traction and compression at a prescribed rate. Each foam contained bubbles of two sizes with given area ratio and one of three initial arrangements: sorted perpendicular to the axis of deformation (iso-strain), sorted parallel to the axis of deformation (iso-stress), or randomly mixed. Image analysis was used to measure the characteristics of the foams, including the number of edges separating small from large bubbles N-sl, the perimeter (surface energy), the distribution of the number of sides of the bubbles, and the topological disorder mu(2)(N). Foams that were initially mixed were found to remain mixed after the deformation. The response of sorted foams, however, depended on the initial geometry, including the area fraction of small bubbles and the total number of bubbles. For a given experiment we found that (i) the perimeter of a sorted foam varied little; (ii) each foam tended towards a mixed state, measured through the saturation of N-sl; and (iii) the topological disorder mu(2)(N) increased up to an "equilibrium" value. The results of different experiments showed that (i) the change in disorder, Delta mu(2)(N), decreased with the area fraction of small bubbles under iso-strain, but was independent of it under iso-stress; and (ii) Delta mu(2)(N) increased with Delta N-sl under iso-strain, but was again independent of it under iso-stress. We offer explanations for these effects in terms of elementary topological processes induced by the deformations that occur at the bubble scale.

Ageing effects on the wettability behavior of laser textured silicon

In the present work we investigate the ageing of acid cleaned femtosecond laser textured < 100 > silicon surfaces. Changes in the surface structure and chemistry were analysed by Rutherford backscattering spectrometry (RBS) and X-ray photoelectron spectroscopy (XPS), in order to explain the variation with time of the water contact angles of the laser textured surfaces. It is shown that highly hydrophobic silicon surfaces are obtained immediately after laser texturing and cleaning with acid solutions (water contact angle >120 degrees). However these surfaces are not stable and ageing leads to a decrease of the water contact angle which reaches a value of 80 degrees. XPS analysis of the surfaces shows that the growth of the native oxide layer is most probably responsible for this behavior. (C) 2010 Elsevier B.V. All rights reserved.