A semiotic engineering approach to user interface design

Designing software involves good perception, good reasoning, and a talent to express oneself effectively through programming and interactive languages. Semiotic theories can help HCI designers increase their power to perceive, reason and communicate. By presenting some of the results we have reached with semiotic engineering over the last few years, we suggest that the main contributions of semiotic theory in supporting HCI design are: to provide designers with new perceptions on the process and product of HCI design; to bind together all the stages of software development and use, giving them a unique homogeneous treatment; and to pose innovative questions that extend the frontiers of HCI investigations.     

Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs

We consider the issue of exploiting the structural form of Esterel programs to partition the algorithmic RSS (reachable state space) fix-point construction used in model-checking techniques. The basic idea sounds utterly simple, as seen on the case of sequential composition: in P; Q, first compute entirely the states reached in P, and then only carry on to Q, each time using only the relevant transition relation part. Here a brute-force symbolic breadth-first search would have mixed the exploration of P and Q instead, in case P had different behaviors of various lengths, and that would result in irregular BBD representation of temporary state spaces, a major cause of complexity in symbolic model-checking.Difficulties appear in our decomposition approach when scheduling the different transition parts in presence of parallelism and local signal exchanges. Program blocks (or “Macro-states”) put in parallel can be synchronized in various ways, due to dynamic behaviors, and considering all possibilities may lead to an excessive division complexity. The goal is here to find a satisfactory trade-off between compositional and global approaches. Concretely we use some of the features of the TiGeR BDD library, and heuristic orderings between internal signals, to have the transition relation progress through the program behaviors to get the same effect as a global RSS computation, but with much more localized transition applications. We provide concrete benchmarks showing the usefulness of the approach.     

Treatment of acute lymphoblastic leukemia. 30 years' experience at St. Jude Children's Research Hospital

BACKGROUND: Therapy for childhood lymphoblastic leukemia has evolved during the past three decades, but key questions about what are the least toxic, most effective forms of treatment remain unanswered because of the lack of comprehensive follow-up information. METHODS: To assess long-term outcome in the series of clinical trials conducted at St. Jude Hospital, we compared the results of treatment typical of four eras: exploratory combination chemotherapy (era 1, 1962 to 1966; 91 patients), regimens for the control of meningeal leukemia (era 2, 1967 to 1979; 825 patients), limited intensification of therapy (era 3, 1979 to 1983; 428 patients), and extended intensification of therapy (era 4, 1984 to 1988; 358 patients). ("Intensification" refers to strategies of systemic chemotherapy that are more aggressive than conventional ones.) The major end points were survival and event-free survival; we also calculated the relative risk of treatment failure and the rate of relapse or death after treatment ended (post-treatment failure rate). RESULTS: The probability of event-free survival improved significantly in each successive era (P < 0.001 by the log-rank test), reaching 71 percent in era 4. There was a decrease of approximately 50 percent in the risk of treatment failure from one era to the next in each subgroup of patients defined according to different combinations of the leukocyte count, race, age, and sex. Leukemia appeared to be eradicated in patients who remained in complete remission for three years or more after treatment in era 4. The incidence of death due to nonleukemic causes remained 4 to 6 percent despite the trend toward more intensive treatment. An estimated 765 patients (45 percent) are long-term survivors; most of them (80 percent) have no health problems related to leukemia or its treatment. CONCLUSIONS: The development and successful application of preventive therapy for meningeal leukemia, followed by the intensification of systemic chemotherapy, has progressively improved the rate of cure of childhood lymphoblastic leukemia, with relatively few adverse sequelae.     

On exploiting static and dynamically mined metadata for exploratory web searching

Most Web Search Engines (WSEs) are appropriate for focalized search, i.e., they make the assumption that users can accurately describe their information need using a small sequence of terms. However, as several user studies have shown, a high percentage of search tasks are exploratory, and focalized search very commonly leads to inadequate interactions and poor results. This paper proposes exploiting static and dynamically mined metadata for enriching web searching with exploration services. Online results clustering, which is a mining task of dynamic nature since it is based on query-dependent snippets, is useful for providing users with overviews of the top results and thus allowing them to restrict their focus to the desired parts. On the other hand, the various static metadata that are available to a search engine (e.g., domain, language, date, and filetype) are commonly exploited only through the advanced (form-based) search facilities that some WSEs offer (and users rarely use). We propose an approach that combines both kinds of metadata by adopting the interaction paradigm of dynamic taxonomies and faceted exploration, which allows the users to restrict their focus gradually using both static and dynamically derived metadata. Special focus is given on the design and analysis of incremental algorithms for speeding up the exploration process. The experimental evaluation over a real WSE shows that this combination results to an effective, flexible, and efficient exploration experience. Finally, we report the results of a user study indicating that this direction is promising in terms of user preference, satisfaction, and effort.     

Multi-product economic lot scheduling problem with manufacturing and remanufacturing using a basic period policy

In this research we study the multi-product Economic Lot Scheduling Problem (ELSP) with manufacturing and remanufacturing opportunities. Manufacturing and remanufacturing operations are performed on the same production line. Both manufactured and remanufactured products have the same quality thus they fulfil the same demand stream. Tang and Teunter (2006) firstly studied this type of Economic Lot Scheduling Problem with Returns (ELSPR) and presented a complex algorithm for the optimal solution. More recently Teunter, Tang, and Kaparis (2009) proposed several heuristics to deal with the same problem using more computational efficient approaches. However, both studies have limited the attention to the common cycle policy with the assumption that a single (re)manufacturing lot is used for each item in each cycle. Relaxing the constraint of common cycle time and a single (re)manufacturing lot for each item in each cycle, we propose a simple, easy to implement algorithm, based on Segerstedt (1999), to solve the model using a basic period policy. Several numerical examples show the applicability of the algorithm and the cost savings.     

Is cheating a human function? The roles of presence,state hostility,and enjoyment in an unfair video game

In sports and board games, when an opponent cheats, the other players typically greet it with disdain, anger, and disengagement. However, work has yet to fully address the role of the computer cheating in video games. In this study, participants played either a cheating or a non-cheating version of a modified open-source tower-defense game. Results indicate that when a computer competitor cheats, players perceive the opponent as being more human. Cheating also increases player aggravation and presence, but does not affect enjoyment of the experience. Additionally, players that firmly believed that their opponent was controlled by the computer exhibited significantly less state hostility compared to players that were less certain of the nature of their competitor. Game designers can integrate subtle levels of cheating into computer opponents without any real negative responses from the players. The results indicate that minor levels of cheating might also increase player engagement with video games.     

Fine structure of the male accessory glands of Triatoma rubrofasciata (De Geer, 1773) (Hemiptera, Triatominae)

Male of Triatoma rubrofasciata has four elongated sac-like reproductive mesodermic accessory glands, lined by an inner single layer of secretory cells, with basal plasma membrane infolds and short apical microvilli, and externally enveloped by a thin visceral muscle layer. The secretory cells have a well-developed rough endoplasmic reticulum, Golgi complex, mitochondria, and secretory granules. In one day old adult the gland cells are poorly developed, presenting small, electron-transparent secretory granules scattered among the rough endoplasmatic reticulum, whereas in three days old adult these cells have the cisternae of the rough endoplasmatic reticulum varing size degree, filled with granular electrondense content. In five days old males the secretory granules increase in diameter, being released to the gland lumen. Therefore, there is an increase of the secretory activity according to male maturation.     

Intra- and interspecific mineral composition variability of commercial instant coffees and coffee substitutes: Contribution to mineral intake

The present paper reports the amount and estimated daily mineral intake of nine elements (Ca, Mg, K, Na, P, Fe, Mn, Cr and Ni) in commercial instant coffees and coffee substitutes (n = 49). Elements were quantified by high-resolution continuum source flame (HR-CS-FAAS) and graphite furnace (HR-CS-GFAAS) atomic absorption spectrometry, while phosphorous was evaluated by a standard vanadomolybdophosphoric acid colorimetric method.Instant coffees and coffee substitutes are rich in K, Mg and P (>100 mg/100 g dw), contain Na, Ca and Fe in moderate amounts (>1 mg/100 g), and trace levels of Cr and Ni. Among the samples analysed, plain instant coffees are richer in minerals (p < 0.001), except for Na and Cr. Blends of coffee substitutes (barley, malt, chicory and rye) with coffee (20–66%) present intermediate amounts, while lower quantities are found in substitutes without coffee, particularly in barley.From a nutritional point of view the results indicate that the mean ingestion of two instant beverages per day (total of 4 g instant powder), either with or without coffee, cannot be regarded as important sources of minerals to the human diet, although providing a supplementation of some minerals, particularly Mg and Mn in instant coffees. Additionally, and for authentication purposes, the correlations observed between some elements and the coffee percentage in the blends, with particular significance for Mg amounts, provides a potential tool for the estimation of coffee in substitute blends.     

Discovery of an Allosteric Ligand Binding Site in SMYD3 Lysine Methyltransferase

SMYD3 is a multifunctional epigenetic enzyme with lysine methyltransferase activity and various interaction partners. It is implicated in the pathophysiology of cancers but with an unclear mechanism. To discover tool compounds for clarifying its biochemistry and potential as a therapeutic target, a set of drug-like compounds was screened in a biosensor-based competition assay. Diperodon was identified as an allosteric ligand; its R and S enantiomers were isolated, and their affinities to SMYD3 were determined (K_D=42 and 84 μM, respectively). Co-crystallization revealed that both enantiomers bind to a previously unidentified allosteric site in the C-terminal protein binding domain, consistent with its weak inhibitory effect. No competition between diperodon and HSP90 (a known SMYD3 interaction partner) was observed although SMYD3–HSP90 binding was confirmed (K_D=13 μM). Diperodon clearly represents a novel starting point for the design of tool compounds interacting with a druggable allosteric site, suitable for the exploration of noncatalytic SMYD3 functions and therapeutics with new mechanisms of action.     

Photoconductivity and photoluminescence under bias in GaInNAs/GaAs MQW p-i-n structures

The low temperature photoluminescence under bias (PLb) and the photoconductivity (PC) of a p-i-n GaInNAs/GaAs multiple quantum well sample have been investigated. Under optical excitation with photons of energy greater than the GaAs bandgap, PC and PLb results show a number of step-like increases when the sample is reverse biased. The nature of these steps, which depends upon the temperature, exciting wavelength and intensity and the number of quantum wells (QWs) in the device, is explained in terms of thermionic emission and negative charge accumulation due to the low confinement of holes in GaInNAs QWs. At high temperature, thermal escape from the wells becomes much more dominant and the steps smear out.