Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

Abstract. Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineer an abstract model of a user interface directly from the GUI’s legacy code. We also present results from a case study. These results are encouraging and give evidence that the goal of reverse engineering user interfaces can be met with more work on this technique.

Models for the Reverse Engineering of Java/Swing Applications

Abstract. Interest in design and development of graphical user interface (GUIs) is growing in the last few years. However, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineering abstract GUI models directly from the Java/Swing code.

Seeing films: audiences reaction to local cultural products

This paper discusses the results of a large survey conducted in 2006 on the perception Portuguese movies’ audiences have of their own locally produced films. Audience’s reception of locally produced films is marked by the rejection of the consumption of these objects as a result of a bias against locally produced cultural artefacts. The prejudice shaping this relationship, not only demands for new cultural and social politics, but also raises a number of questions on local and European media industry’s ability to cope with its own audiences’ expectations. Finally, broader considerations are made on the different ways contemporary audiences are shaping media technologies, and their respective cultural artefacts, through their own use and reception of those technologies and artefacts.

Studies in search of a suitable experimental insect model for xenodiagnosis of hosts with Chagas' disease: 3 - On the interaction of vector species and parasite strain in the reaction of bugs to infection by Trypanosoma cruzi

The reaction of nine vector species of Chagas' disease to infection by seven different Trypanosoma cruzi strains; Berenice, Y, FL, CL, S. Felipe, Colombiana and Gávea, are examined and compared. On the basis of the insects' ability to establish and maintain the infection, vector species could be divided into two distinct groups which differ in their reaction to an acute infection by T. cruzi. While the proportion of positive bugs was found to be low in Triatoma infestans and Triatoma dimidiata it was high, ranging from 96.9% to 100% in the group of wild (Rhodnius neglectus, Triatoma rubrovaria)and essentially sylvatic vectors in process of adaptation to human dwellings, maintained under control following successful insecticidal elimination of Triatoma infestans (Panstrongylus megistus, Triatoma sordida and Triatoma pseudomaculata). An intermediate position is held by Triatoma brasiliensis and Rhodnius prolixus. This latter has been found to interchange between domestic and sylvatic environments. The most important finding is the strikingly good reaction between each species of the sylvatic bugs and practically all T. cruzi strains herein studied, thus indicating that the factors responsible for the excellent reaction of P.megistus to infection by Y strain, as previously reported also come into operation in the reaction of the same vector species to acute infections by five of the remaining T.cruzi strains. Comparison or data reported by other investigators with those herein described form the basis of the discussion of Dipetalogaster maximus as regards its superiority as a xenodiagnostic agent.

Coordination Chemistry of the (eta(6)-p-Cymene)ruthenium(II) Fragment with Bis-, Tris-, andTetrakis(pyrazol-1-yl)borate Ligands: Synthesis, Structural, Electrochemical, and CatalyticDiastereoselective Nitroaldol Reaction Studies

Novel [Ru(eta(6)-p-cymene)(kappa(2)-L)X] and [Ru(eta(6)-p-cymene)(kappa(3)-L)]X center dot nH(2)O complexes (L = bis-, tris-, or tetrakis-pyrazolylborate; X = Cl, N-3, PF6, or CF3SO3) are prepared by treatment of [Ru(eta(6)-p-cymene)Cl-2](2) with poly-(pyrazolyl)borate derivatives [M(L)] (L in general; in detail L = Ph(2)Bp = diphenylbis-(pyrazol-1-yl)borate; L = Tp = hydrotris(pyrazol-1-yl)borate; L = pzTp = tetrakis(pyrazol-1-yl)borate; L = Tp(4Bo) = hydrotris(indazol-1-yl)borate, L = T-p4Bo,T-5Me = (5-methylindazol-1-yl)borate; L = Tp(Bn,4Ph) = hydrotris(3-benzyl-4-phenylpyrazol-1-yl)borate; M = Na, K, or TI) and characterized by analytical and spectral data (IR, ESIMS, H-1 and C-13 NMR). The structures of [Ru(eta(6)-p-cymene)(Ph(2)Bp)Cl] (1) and [Ru(eta(6)-p-cymene)(Tp)Cl] (3) have been established by single-crystal X-ray diffraction analysis. Electrochemical studies allowed comparing the electron-donor characters of Tp and related ligands and estimating the corresponding values of the Lever E-L ligand parameter. The complexes [Ru(eta(6)-p-cymene)-(kappa(2)-L)X] and [Ru(eta(6)-p-cymene)(kappa(3)-L)]X center dot nH(2)O act as catalyst precursors for the diastereoselective nitroaldol reaction of benzaldehyde and nitroethane to the corresponding beta-nitroalkanol (up to 82% yield, at room temperature) with diastereoselectivity toward the formation of the threo isomer.

Analysis of ground reaction force and electromyographic activity of the gastrocnemius muscle during double support

O documento em anexo encontra-se na versão post-print (versão corrigida pelo editor).

Comparative analysis of the ground reaction forces, during the support phase, in a group of pregnant women on their 3rd trimester of pregnancy and in a group of not pregnant women

PURPOSE: To analyze and compare the Ground Reaction Forces (GRF), during the stance phase of walking in pregnant women in the 3rd trimester of pregnancy, and non pregnant women. METHODS: 20 women, 10 pregnant and 10 non pregnant, voluntarily took part in this study. GRF were measured (1000 Hz) using a force platform (BERTEC 4060-15), an amplifier (BERTEC AM 6300) and an analogical-digital converter of 16 Bits (Biopac). RESULTS: The study showed that there were significant differences among the two groups concerning absolute values of time of the stance phase. In what concerns to the normalized values the most significant differences were verified in the maximums values of vertical force (Fz3, Fz1) and in the impulse of the antero-posterior force (Fy2), taxes of growth of the vertical force, and in the period of time for the antero-posterior force (Fy) be null. CONCLUSIONS: It is easier for the pregnant to continue forward movement (push-off phase). O smaller growth rates in what concerns to the maximum of the vertical force (Fz1) for the pregnant, can be associated with a slower speed of gait, as an adaptation strategy to maintain the balance, to compensate the alterations in the position of her center of gravity due to the load increase. The data related to the antero-posterior component of the force (Fy), shows that there is a significant difference between the pregnant woman’s left foot and right foot, which accuses a different functional behavior in each one of the feet, during the propulsion phase (TS).

Study on the glycerolysis reaction of high free fatty acid oils for use as biodiesel feedstock

Biodiesel is the main alternative to fossil diesel and it may be produced from different feedstocks such as semi-refined vegetable oils, waste frying oils or animal fats. However, these feedstocks usually contain significant amounts of free fatty acids (FFA) that make them inadequate for the direct base catalyzed transesterification reaction (where the FFA content should be lower than 4%). The present work describes a possible method for the pre-treatment of oils with a high content of FFA (20 to 50%) by esterification with glycerol. In order to reduce the FFA content, the reaction between these FFA and an esterification agent is carried out before the transesterification reaction. The reaction kinetics was studied in terms of its main factors such astemperature, % of glycerin excess, % of catalyst used, stirring velocity and type of catalyst used. The results showed that glycerolysis is a promising pretreatment to acidic oils or fats (> 20%) as they led to the production of an intermediary material with a low content of FFA that can be used directly in thetransesterification reaction for the production of biodiesel. (C) 2011 Elsevier B.V. All rights reserved.

Differential expression of the eukaryotic release factor 3 (eRF3/GSPT1) according to gastric cancer histological types

Background: There are now several lines of evidence to suggest that protein synthesis and translation factors are involved in the regulation of cell proliferation and cancer development. Aims: To investigate gene expression patterns of eukaryotic releasing factor 3 (eRF3) in gastric cancer. Methods: RNA was prepared from 25 gastric tumour biopsies and adjacent non-neoplastic mucosa. Real time TaqMan reverse transcription polymerase chain reaction (RT-PCR) was performed to measure the relative gene expression levels. DNA was isolated from tumour and normal tissues and gene dosage was determined by a quantitative real time PCR using SYBR Green dye. Results: Different histological types of gastric tumours were analysed and nine of the 25 tumours revealed eRF3/GSPT1 overexpression; moreover, eight of the 12 intestinal type carcinomas analysed overexpressed the gene, whereas eRF3/GSPT1 was overexpressed in only one of the 10 diffuse type carcinomas (Kruskal-Wallis Test; p , 0.05). No correlation was found between ploidy and transcript expression levels of eRF3/GSPT1. Overexpression of eRF3/GSPT1 was not associated with increased translation rates because the upregulation of eRF3/GSPT1 did not correlate with increased eRF1 levels. Conclusions: Overexpression of eRF3/GSPT1 in intestinal type gastric tumours may lead to an increase in the translation efficiency of specific oncogenic transcripts. Alternatively, eRF3/GSPT1 may be involved in tumorigenesis as a result of its non-translational roles, namely (dis)regulating the cell cycle, apoptosis, or transcription.

Q192R polymorphism of the paraoxonase-1 gene as a risk factor for obesity in Portuguese women

Introduction - Obesity became a major public health problem as a result of its increasing prevalence worldwide. Paraoxonase-1 (PON1) is an esterase able to protect membranes and lipoproteins from oxidative modifications. At the PON1 gene, several polymorphisms in the promoter and coding regions have been identified. The aims of this study were i) to assess PON1 L55M and Q192R polymorphisms as a risk factor for obesity in women; ii) to compare PON1 activity according to the expression of each allele in L55M and Q192R polymorphisms; iii) to compare PON1 activity between obese and normal-weight women. Materials and methods - We studied 75 healthy (35.9±8.2 years) and 81 obese women (34.3±8.2 years). Inclusion criteria for obese subjects were body mass index ≥30 kg/m2 and absence of inflammatory/neoplasic conditions or kidney/hepatic dysfunction. The two PON1 polymorphisms were assessed by real-time PCR with TaqMan probes. PON1 enzymatic activity was assessed by spectrophotometric methods, using paraoxon as a substrate. Results - No significant differences were found for PON1 activity between normal and obese women. Nevertheless, PON1 activity was greater (P<0.01) for the RR genotype (in Q192R polymorphism) and for the LL genotype (in L55M polymorphism). The frequency of allele R of Q192R polymorphism was significantly higher in obese women (P<0.05) and was associated with an increased risk of obesity (odds ratio=2.0 – 95% confidence interval (1.04; 3.87)). Conclusion - 55M and Q192R polymorphisms influence PON1 activity. The allele R of the Q192R polymorphism is associated with an increased risk for development of obesity among Portuguese Caucasian premenopausal women.

Differential expression of CDC25 phosphatases splice variants in human breast cancer cells

Background: CDC25 phosphatases control cell cycle progression by activating cyclin dependent kinases. The three CDC25 isoforms encoding genes are submitted to alternative splicing events which generate at least two variants for CDC25A and five for both CDC25B and CDC25C. An over-expression of CDC25 was reported in several types of cancer, including breast cancer, and is often associated with a poor prognosis. Nevertheless, most of the previous studies did not address the expression of CDC25 splice variants. Here, we evaluated CDC25 spliced transcripts expression in anti-cancerous drug-sensitive and resistant breast cancer cell lines in order to identify potential breast cancer biomarkers. Methods: CDC25 splice variants mRNA levels were evaluated by semi-quantitative RT-PCR and by an original real-time RT-PCR assay. Results: CDC25 spliced transcripts are differentially expres-sed in the breast cancer cell lines studied. An up-regulation of CDC25A2 variant and an increase of the CDC25C5/C1 ratio are associated to the multidrug-resistance in VCREMS and DOXOR breast cancer cells, compared to their sensitive counterpart cell line MCF-7. Additionally, CDC25B2 tran-script is exclusively over-expressed in VCREMS resistant cells and could therefore be involved in the development of certain type of drug resistance. Conclusions: CDC25 splice variants could represent interesting potential breast cancer prognostic biomarkers.

Differential expression of GSPT1 GGCn alleles in cancer

The human eukaryotic release factor 3a (eRF3a), encoded by the G1 to S phase transition 1 gene (GSPT1; alias eRF3a), is upregulated in various human cancers. GSPT1 contains a GGCn polymorphism in exon 1, encoding a polyglycine expansion in the N-terminal of the protein. The longer allele, GGC12, was previously shown to be associated to cancer. The GGC12 allele was present in 2.2% of colorectal cancer patients but was absent in Crohn disease patients and in the control group. Real-time quantitative RT-PCR analysis showed that the GGC12 allele was present at up to 10-fold higher transcription levels than the GGC10 allele (P < 0.001). No GSPT1 amplifications were detected, and there was no correlation between the length of the alleles and methylation levels of the CpG sites inside the GGC expansion. Using flow cytometry, we compared the levels of apoptosis and proliferation rates between cell lines with different genotypes, but detected no significant differences. Finally, we used a cytokinesis-block micronucleus assay to evaluate the frequency of micronuclei in the same cell lines. Cell lines with the longer alleles had higher frequencies of micronuclei in binucleated cells, which is probably a result of defects in mitotic spindle formation. Altogether, these findings indicate that GSPT1 should be considered a potential proto-oncogene.

Modulation of translation factor's gene expression by histone deacetylase inhibitors in breast cancer cells

The histone deacetylase inhibitors sodium butyrate (NaBu) and trichostatin A (TSA) exhibit anti-proliferative activity by causing cell cycle arrest and apoptosis. The mechanisms by which NaBu and TSA cause apoptosis and cell cycle arrest are not yet completely clarified, although these agents are known to modulate the expression of several genes including cell-cycle- and apoptosis-related genes. The enzymes involved in the process of translation have important roles in controlling cell growth and apoptosis, and several of these translation factors have been described as having a causal role in the development of cancer. The expression patterns of the translation mechanism, namely of the elongation factors eEF1A1 and eEF1A2, and of the termination factors eRF1 and eRF3, were studied in the breast cancer cell line MCF-7 by real-time quantitative reverse transcription-polymerase chain reaction after a 24-h treatment with NaBu and TSA. NaBu induced inhibition of translation factors' transcription, whereas TSA caused an increase in mRNA levels. Thus, these two agents may modulate the expression of translation factors through different pathways. We propose that the inhibition caused by NaBu may, in part, be responsible for the cell cycle arrest and apoptosis induced by this agent in MCF-7 cells.

PPO Reaction Scale-up

O óxido de polifenileno com a marca comercial PPO® é uma das resinas principais produzidas na SABIC IP e o ingrediente principal do plástico de engenharia com a marca registada, Noryl®. A equipa de tecnologia de processo de PPO® desenvolve uma série de novos produtos em reactores de pequena escala, tanto em Selkirk como em Bergen op Zoom. Para se efectuar uma transição rápida da escala laboratorial para a fábrica, é necessário um conhecimento completo do reactor. O objectivo deste projecto consiste em esboçar linhas gerais para o scale-up de novos produtos de PPO1, do laboratório para a escala industrial, baseado no estudo de um tipo de PPO, PPO 803. Este estudo pode ser dividido em duas fases. Numa primeira fase, as receitas e os perfis da reacção são comparados, de onde se retiram as primeiras conclusões. Posteriormente, com base nestas conclusões, é realizado um planeamento experimental. O estudo inicial sugeriu que a receita, a temperatura inicial do reactor e a velocidade do agitador poderiam influenciar o tempo da reacção bem como a queda da velocidade intrínseca do polímero (IV drop). As reacções experimentais mostraram que a receita é o principal factor que influencia, tanto o tempo de reacção, como a queda de viscosidade intrínseca. O tempo de reacção será tanto maior quanto menor a agitação devido à má dispersão do oxigénio na mistura. O uso de temperaturas iniciais elevadas conduz a uma queda maior da viscosidade intrínseca devido à desactivação do catalisador. O método experimental utilizado no laboratório de Bergen op Zoom é um bom exemplo, simulador, do procedimento utilizado na fábrica.

A class of singular first order differential equations with applications in reaction-diffusion

Agências Financiadoras: FCT e MIUR