Design and evaluation of web interface signs to improve web usability : a semiotic framework

Technological innovations, the development of the internet, and globalization have increased the number and complexity of web applications. As a result, keeping web user interfaces understandable and usable (in terms of ease-of-use, effectiveness, and satisfaction) is a challenge. As part of this, designing userintuitive interface signs (i.e., the small elements of web user interface, e.g., navigational link, command buttons, icons, small images, thumbnails, etc.) is an issue for designers. Interface signs are key elements of web user interfaces because ‘interface signs’ act as a communication artefact to convey web content and system functionality, and because users interact with systems by means of interface signs. In the light of the above, applying semiotic (i.e., the study of signs) concepts on web interface signs will contribute to discover new and important perspectives on web user interface design and evaluation. The thesis mainly focuses on web interface signs and uses the theory of semiotic as a background theory. The underlying aim of this thesis is to provide valuable insights to design and evaluate web user interfaces from a semiotic perspective in order to improve overall web usability. The fundamental research question is formulated as What do practitioners and researchers need to be aware of from a semiotic perspective when designing or evaluating web user interfaces to improve web usability? From a methodological perspective, the thesis follows a design science research (DSR) approach. A systematic literature review and six empirical studies are carried out in this thesis. The empirical studies are carried out with a total of 74 participants in Finland. The steps of a design science research process are followed while the studies were designed and conducted; that includes (a) problem identification and motivation, (b) definition of objectives of a solution, (c) design and development, (d) demonstration, (e) evaluation, and (f) communication. The data is collected using observations in a usability testing lab, by analytical (expert) inspection, with questionnaires, and in structured and semi-structured interviews. User behaviour analysis, qualitative analysis and statistics are used to analyze the study data. The results are summarized as follows and have lead to the following contributions. Firstly, the results present the current status of semiotic research in UI design and evaluation and highlight the importance of considering semiotic concepts in UI design and evaluation. Secondly, the thesis explores interface sign ontologies (i.e., sets of concepts and skills that a user should know to interpret the meaning of interface signs) by providing a set of ontologies used to interpret the meaning of interface signs, and by providing a set of features related to ontology mapping in interpreting the meaning of interface signs. Thirdly, the thesis explores the value of integrating semiotic concepts in usability testing. Fourthly, the thesis proposes a semiotic framework (Semiotic Interface sign Design and Evaluation – SIDE) for interface sign design and evaluation in order to make them intuitive for end users and to improve web usability. The SIDE framework includes a set of determinants and attributes of user-intuitive interface signs, and a set of semiotic heuristics to design and evaluate interface signs. Finally, the thesis assesses (a) the quality of the SIDE framework in terms of performance metrics (e.g., thoroughness, validity, effectiveness, reliability, etc.) and (b) the contributions of the SIDE framework from the evaluators’ perspective.

Effects of entorhinal cortex lesions on memory in different tasks

Lesions of the entorhinal cortex produce retrograde memory impairment in both animals and humans. Here we report the effects of bilateral entorhinal cortex lesions caused by the stereotaxic infusion of N-methyl-D-aspartate (NMDA) in rats at two different moments, before or after the training session, on memory of different tasks: two-way shuttle avoidance, inhibitory avoidance and habituation to an open field. Pre- or post-training entorhinal cortex lesions caused an impairment of performance in the shuttle avoidance task, which agrees with the previously described role of this area in the processing of memories acquired in successive sessions. In the inhibitory avoidance task, only the post-training lesions had an effect (amnesia). No effect was observed on the open field task. The findings suggest that the role of the entorhinal cortex in memory processing is task-dependent, perhaps related to the complexity of each task

The future of branded sportswear store formats in Germany 2030: Four images of the future

A fast changing dynamic business environment is becoming a norm today in different areas, including retailing. The aims of this study are to explore existing store formats of branded sportswear retailing and their characteristics, and to identify the trends which might shape their future. The ultimate goal, however, is to create and analyze images of the future of branded sportswear retailing in Germany 2030 by applying the methods of futures studies. As theoretical background, the cyclical theories of retail evolution have been used. Empirical material is obtained by conducting a Disaggregative Policy Delphi method based study, the aim of which is to obtain well–argued qualitative and quantitative information from experts about store format development in order to create future images based on cluster analysis. Flagship stores, Concept stores, Factory Outlets, Pop-up stores, E-commerce and M-commerce represent the diversity of store formats existing in Germany today. They have different aims, roles, and advantages which retailers try to leverage. However such trends as multichannel integration, technological enhancements, growing popularity of online channels, switching customer behaviors, customization and personalization, and economic turbulence might shape the future of sportswear retailing. Four future images constructed: “Multichannel Integration”, “Smart and Personal”, “Consumer Diversification”, and “Always Online” – describe alternative futures of German branded sportswear store formats in 2030 based on different trends, assumptions, hopes and fears. They also point out uncertainties in retailing such as cannibalization of channels, the growing power and expectations of consumers, the complexity of multichannel synergies, and the switching customer behavior. Constructed future images, thus, provide readers with an opportunity to imagine and explore alternative states of the future of branded sportswear store formats in Germany 2030. They could serve well as a tool to communicate the results to decision–makers, compare them, and to analyze to inspire and direct actions for a better future tomorrow.

Detection of somatic mutations of the PIG-A gene in Brazilian patients with paroxysmal nocturnal hemoglobinuria

Paroxysmal nocturnal hemoglobinuria (PNH) is an acquired clonal syndrome characterized by intravascular hemolysis mediated by complement, thrombotic events and alterations in hematopoiesis. Basically, the molecular events which underlie the complexity of the syndrome consist of the absence of the glycosylphosphatidylinositol (GPI) anchor as a consequence of somatic mutations in the PIG-A gene, located on the X chromosome. The GPI group is responsible for the attachment of many proteins to the cytoplasmic membrane. Two of them, CD55 and CD59, have a major role in the inhibition of the action of complement on the cellular membrane of blood cells. The absence of GPI biosynthesis can lead to PNH. Since mutations in the PIG-A gene are always present in patients with PNH, the aim of this study was to characterize the mutations in the PIG-A gene in Brazilian patients. The analysis of the PIG-A gene was performed using DNA samples derived from bone marrow and peripheral blood. Conformation-sensitive gel electrophoresis was used for screening the mutation and sequencing methods were used to identify the mutations. Molecular analysis permitted the identification of three point mutations in three patients: one G->A transition in the 5' portion of the second intron, one T->A substitution in the second base of codon 430 (Leu430->stop), and one deletion deltaA in the third base of codon 63. This study represents the first description of mutations in the PIG-A gene in a Brazilian population.

Rigorous development of safety-critical systems

Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well as significant damage to the environment. Therefore, their safety needs to be ensured. However, the development of safety-critical systems is not a trivial exercise. Hence, to preclude design faults and guarantee the desired behaviour, different industrial standards prescribe the use of rigorous techniques for development and verification of such systems. The more critical the system is, the more rigorous approach should be undertaken. To ensure safety of a critical computer-based system, satisfaction of the safety requirements imposed on this system should be demonstrated. This task involves a number of activities. In particular, a set of the safety requirements is usually derived by conducting various safety analysis techniques. Strong assurance that the system satisfies the safety requirements can be provided by formal methods, i.e., mathematically-based techniques. At the same time, the evidence that the system under consideration meets the imposed safety requirements might be demonstrated by constructing safety cases. However, the overall safety assurance process of critical computerbased systems remains insufficiently defined due to the following reasons. Firstly, there are semantic differences between safety requirements and formal models. Informally represented safety requirements should be translated into the underlying formal language to enable further veri cation. Secondly, the development of formal models of complex systems can be labour-intensive and time consuming. Thirdly, there are only a few well-defined methods for integration of formal verification results into safety cases. This thesis proposes an integrated approach to the rigorous development and verification of safety-critical systems that (1) facilitates elicitation of safety requirements and their incorporation into formal models, (2) simplifies formal modelling and verification by proposing specification and refinement patterns, and (3) assists in the construction of safety cases from the artefacts generated by formal reasoning. Our chosen formal framework is Event-B. It allows us to tackle the complexity of safety-critical systems as well as to structure safety requirements by applying abstraction and stepwise refinement. The Rodin platform, a tool supporting Event-B, assists in automatic model transformations and proof-based verification of the desired system properties. The proposed approach has been validated by several case studies from different application domains.

Enhanced expression of Ang-(1-7) during pregnancy

Pregnancy is a physiological condition characterized by a progressive increase of the different components of the renin-angiotensin system (RAS). The physiological consequences of the stimulated RAS in normal pregnancy are incompletely understood, and even less understood is the question of how this system may be altered and contribute to the hypertensive disorders of pregnancy. Findings from our group have provided novel insights into how the RAS may contribute to the physiological condition of pregnancy by showing that pregnancy increases the expression of both the vasodilator heptapeptide of the RAS, angiotensin-(1-7) [Ang-(1-7)], and of a newly cloned angiotensin converting enzyme (ACE) homolog, ACE2, that shows high catalytic efficiency for Ang II metabolism to Ang-(1-7). The discovery of ACE2 adds a new dimension to the complexity of the RAS by providing a new arm that may counter-regulate the activity of the vasoconstrictor component, while amplifying the vasodilator component. The studies reviewed in this article demonstrate that Ang-(1-7) increases in plasma and urine of normal pregnant women. In preeclamptic subjects we showed that plasma Ang-(1-7) was suppressed as compared to the levels found in normal pregnancy. In addition, kidney and urinary levels of Ang-(1-7) were increased in pregnant rats coinciding with the enhanced detection and expression of ACE2. These findings support the concept that in normal pregnancy enhanced ACE2 may counteract the elevation in tissue and circulating Ang II by increasing the rate of conversion to Ang-(1-7). These findings provide a basis for the physiological role of Ang-(1-7) and ACE2 during pregnancy.

Pitfalls in the assessment of murine atherosclerosis

This review provides examples of the fact that different procedures for the measurement of atherosclerosis in mice may lead to interpretation of the extent of atherosclerosis having markedly different biological and clinical significance for humans: 1) aortic cholesterol measurement is highly sensitive for the detection of early and advanced atherosclerosis lesions, but misses the identification of the location and complexity of these lesions that are so critical for humans; 2) the histological analysis of the aortic root lesions in simvastatin-treated and control mice reveals similar lesion morphology in spite of the remarkable simvastatin-induced reduction of the aortic cholesteryl ester content; 3) in histological analyses, chemical fixation and inclusion may extract the tissue fat and also shrink and distort tissue structures. Thus, the method may be less sensitive for the detection of slight differences among the experimental groups, unless a more suitable procedure employing physical fixation with histological sample freezing using optimal cutting temperature and liquid nitrogen is employed. Thus, when measuring experimental atherosclerosis in mice, investigators should be aware of several previously unreported pitfalls regarding the extent, location and complexity of the arterial lesion that may not be suitable for extrapolation to human pathology.

Morphometric analysis of feedforward pathways from the primary somatosensory area (S1) of rats

We used biotinylated dextran amine (BDA) to anterogradely label individual axons projecting from primary somatosensory cortex (S1) to four different cortical areas in rats. A major goal was to determine whether axon terminals in these target areas shared morphometric similarities based on the shape of individual terminal arbors and the density of two bouton types: en passant (Bp) and terminaux (Bt). Evidence from tridimensional reconstructions of isolated axon terminal fragments (n=111) did support a degree of morphological heterogeneity establishing two broad groups of axon terminals. Morphological parameters associated with the complexity of terminal arbors and the proportion of beaded Bp vs stalked Bt were found to differ significantly in these two groups following a discriminant function statistical analysis across axon fragments. Interestingly, both groups occurred in all four target areas, possibly consistent with a commonality of presynaptic processing of tactile information. These findings lay the ground for additional work aiming to investigate synaptic function at the single bouton level and see how this might be associated with emerging properties in postsynaptic targets.

THE ROLE OF CULTURAL AWARENESS IN BUILDING CHINESE HEALTH FOOD BRANDS Using Netnography in Searching Cultural Arguments to Be Used for Marketing Health Foods in China

Despite the complexity of the Chinese culture consumer product businesses should apply them in building brands for Chinese markets. There are reasons to believe that cultural values and attitudes affect the buying behavior of Chinese consumers. Companies that wish to create brands in China should therefore be aware of the prevailing cultural values and consumer attitudes. This thesis will examine which values and attitudes mostly affect Chinese consumers of health food products. The study will be done by conducting a netnography. Because netnography is actually a collection methods rather than a single method, other auxiliary methods will also be applied. These methods are emotion, language and sentiment analysis (ELS analysis). Emotion analysis will be conducted because cultural values are mostly built on emotional basis. Sentiment analysis will assist in recognizing the key factors that help to locate values and attitudes. Because the netnography will be conducted in Chinese web forums by a non-native researcher, linguistic aspects should also be analyzed in parallel with emotions and sentiment analysis. The study shows that the Chinese consumers of health food products put much importance on functional, analytical and collectivistic attitudes as well as social and psychological values. Of all the twelve cultural values defined, the role of family rose above all. Also perseverance, frugality, guanxi and harmony were highly presented. The attitudes were found by recognizing certain attitude factors. Of all the factors, health foods’ functional benefits and aesthetic content together with consumers’ value consciousness surpassed other factors. Besides these results that can be applied by foreign health food companies willing to enter Chinese consumer markets, also academia can benefit this new approach for conducting ethnographies online.

Formal development of resilient distributed systems

Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.

Chemical and volatile composition of jujube wines fermented by Saccharomyces cerevisiae with and without pulp contact and protease treatment

Abstract This study evaluated the chemical and volatile composition of jujube wines fermented with Saccharomyces cerevisiae A1.25 with and without pulp contact and protease treatment during fermentation. Yeast cell population, total reducing sugar and methanol contents had significant differences between nonextracted and extracted wine. The nonextracted wines had significantly higher concentrations of ethyl 9-hexadecenoate, ethyl palmitate and ethyl oleate than the extracted wines. Pulp contact also could enhance phenylethyl alcohol, furfuryl alcohol, ethyl palmitat and ethyl oleate. Furthermore, protease treatment can accelerate the release of fusel oils. The first principal component separated the wine from the extracted juice without protease from other samples based on the higher concentrations of medium-chain fatty acids and medium-chain ethyl esters. Sensory evaluation showed pulp contact and protease could improve the intensity and complexity of wine aroma due to the increase of the assimilable nitrogen.

Drumming toward communitas : a case study of facilitated recreational music making and the Arthurian method

The phenomenon of communitas has been described as a moment 'in and out of time' in which a collective of individuals may be experienced by one as equal and individuated in an environment stripped of structural attributes (Turner, 1 969). In these moments, emotional bonds form and an experience of perceived 'oneness' and synergy may be described. As a result of the perceived value of these experiences, it has been suggested by Sharpe (2005) that more clearly understanding how this phenomenon may be purposefully facilitated would be beneficial for leisure service providers. Consequently, the purpose of this research endeavor was to examine the ways in which a particular leisure service provider systematically employs specific methods and sets specific parameters with the intention of guiding participants toward experiences associated with communitas or "shared spirit" as described by the organization. A qualitative case study taking a phenomenological approach was employed in order to capture the depth and complexity of both the phenomenon and the purposefiil negotiation of experiences in guiding participants toward this phenomenon. The means through which these experiences were intentionally facilitated was recreational music making in a group drumming context. As such, an organization which employs specific methods of rhythm circle facilitation as well as trains other facilitators all over the world was chosen purposely for their recognition as the most respectable and credible in this field. The specific facilitator was chosen based on high recommendation by the organization due to her level of experience and expertise. Two rhythm circles were held, and participants were chosen randomly by the facilitator. Data was collected through observation in the first circle and participant- observation in the second, as well as through focus groups with circle participants. Interviews with the facilitator were held both initially to gain broad understanding of concepts and phenomenon as well as after each circle to reflect on each circle specifically. Data was read repeatedly to drawn out patterns which emerged and were coded and organized accordingly. It was found that this specific process or system of implementation lead to experiences associated with communitas by participants. In order to more clearly understand this process and the ways in which experiences associated with communitas manifest as a result of deliberate facilitator actions, these objective facilitator actions were plotted along a continuum relating to subjective participant experiences. These findings were then linked to the literature with regards to specific characteristics of communitas. In so doing, the intentional manifestation of these experiences may be more clearly understood for ftiture facilitators in many contexts. Beyond this, findings summarized important considerations with regards to specific technical and communication competencies which were found to be essential to fostering these experiences for participants within each group. Findings surrounding the maintenance of a fluid negotiation of certain transition points within a group rhythm event overall were also highlighted, and this fluidity was found to be essential to the experience of absorption and engagement in the activity and experience. Emergent themes of structure, control, and consciousness have been presented as they manifested and were found to affect experiences within this study. Discussions surrounding the ethics and authenticity of these particular methods and their implementation has also been generated throughout. In conclusion, there was a breadth as well as depth of knowledge found in unpacking this complex process of guiding individuals toward experiences associated with communitas. The implications of these findings contribute in broadening the current theoretical as well as practical understanding as to how certain intentional parameters may be set and methods employed which may lead to experiences of communitas, and as well contribute a greater knowledge to conceptualizing the manifestation of these experiences when broken down.

Hydraulic and fluvial geomorphological models for a bedrock channel reach of the Twenty Mile Creek /

Bedrock channels have been considered challenging geomorphic settings for the application of numerical models. Bedrock fluvial systems exhibit boundaries that are typically less mobile than alluvial systems, yet they are still dynamic systems with a high degree of spatial and temporal variability. To understand the variability of fluvial systems, numerical models have been developed to quantify flow magnitudes and patterns as the driving force for geomorphic change. Two types of numerical model were assessed for their efficacy in examining the bedrock channel system consisting of a high gradient portion of the Twenty Mile Creek in the Niagara Region of Ontario, Canada. A one-dimensional (1-D) flow model that utilizes energy equations, HEC RAS, was used to determine velocity distributions through the study reach for the mean annual flood (MAF), the 100-year return flood and the 1,000-year return flood. A two-dimensional (2-D) flow model that makes use of Navier-Stokes equations, RMA2, was created with the same objectives. The 2-D modeling effort was not successful due to the spatial complexity of the system (high slope and high variance). The successful 1 -D model runs were further extended using very high resolution geospatial interpolations inherent to the HEC RAS extension, HEC geoRAS. The modeled velocity data then formed the basis for the creation of a geomorphological analysis that focused upon large particles (boulders) and the forces needed to mobilize them. Several existing boulders were examined by collecting detailed measurements to derive three-dimensional physical models for the application of fluid and solid mechanics to predict movement in the study reach. An imaginary unit cuboid (1 metre by 1 metre by 1 metre) boulder was also envisioned to determine the general propensity for the movement of such a boulder through the bedrock system. The efforts and findings of this study provide a standardized means for the assessment of large particle movement in a bedrock fluvial system. Further efforts may expand upon this standardization by modeling differing boulder configurations (platy boulders, etc.) at a high level of resolution.

A study of the thermal decomposition of allyl t-butyl peroxide and 3-hydroperoxy-1-propene (allyl hydroperoxide) in toluene /|nby Krishnankutty Nair V. G. -- 260 St. Catharines [Ont. : s. n.],

Kinetics and product studies of the decompositions of allyl-t-butyl peroxide and 3-hydroperoxy- l-propene (allyl hydroperoxide ) in tolune were investigated. Decompositions of allyl-t-butyl peroxide in toluene at 130-1600 followed first order kinetics with an activation energy of 32.8 K.cals/mol and a log A factor of 13.65. The rates of decomposition were lowered in presence of the radical trap~methyl styrene. By the radical trap method, the induced decomposition at 1300 is shown to be 12.5%. From the yield of 4-phenyl-l,2- epoxy butane the major path of induced decomposition is shown to be via an addition mechanism. On the other hand, di-t-butYl peroxyoxalate induced decomposition of this peroxide at 600 proceeded by an abstraction mechanism. Induced decomposition of peroxides and hydroperoxides containing the allyl system is proposed to occur mainly through an addition mechanism at these higher temperatures. Allyl hydroperoxide in toluene at 165-1850 decomposes following 3/2 order kinetics with an Ea of 30.2 K.cals per mole and log A of 10.6. Enormous production of radicals through chain branching may explain these relatively low values of E and log A. The complexity of the reaction is indicated a by the formation of various products of the decomposition. A study of the radical attack of the hydro peroxide at lower temperatures is suggested as a further work to throw more light on the nature of decomposition of this hydroperoxide.

Exploring the effects of change on nursing practice in acute ambulatory care settings : a qualitative study

As a result of the current changes taking place in the delivery of acute care services, the emergence of acute ambulatory care (AAC) settings is expanding. According to a literature review, the volume, acuity, and complexity of patient care in these settings is increasing while the time the patients spend under the care of nurses is decreasing. Two forces, hospital downsizing and advancing technology, are identified as the major contributors to the shift in acute care delivery. The effects that these changes are having on the clinical nursing practice of registered nurses working in AAC settings are not known. Given that AAC settings are rapidly expanding, it can be anticipated that the delivery of nursing care will continue to be compressed into a shorter time frame. Therefore, the following qualitative research question was formulated: What are the problems and issues related to clinical nursing practice in acute ambulatory settings? The purpose of this study was to explore the problems and issues associated with change and clinical nursing practice including the educational needs of nurses working in MC settings. Specific objectives of the study included the following: (a) to explore the problems and issues related to nursing practice in select AAC settings; (b) to explore the similarities and differences in perspectives related to role expectation between nurse managers, nurse educators, and staff nurses; and (c) to develop a conceptual framework that will guide the construction of an instrument needed for further research. This study used semistructured individual interviews and focus group sessions to collect data from the three categories of registered nurses. More specifically, data were collected from one nurse manager, two charge nurses, two nurse educators and fifteen staff nurses, working in three different MC settings of a major teaching hospital. Collected data were separately analyzed by the researcher and an external rater following grounded theory methodology. By using open and axial coding, the problems and issues identified by nurses were grouped into several major and minor themes. In final analysis, by using selective coding, the four core themes (intensification, moderation, frustration, and adaptation) were extracted. Each core theme was presented and discussed in relation to hospital downsizing and advancing technology. The relationships among the four core themes were discussed and depicted in a model termed the "Impact and Consequence Model on Nursing Practice in MC Settings." Implications for further research are discussed and research hypotheses, based on the research findings, are presented.