The t-SNARE syntaxin 4 is regulated during macrophage activation to function in membrane traffic and cytokine secretion

Activation of macrophages with lipopolysaccharide (LPS) induces the rapid synthesis and secretion of proinflammatory cytokines, such as tumor necrosis factor (TNFalpha), for priming the immune response [1, 2]. TNFalpha plays a key role in inflammatory disease [3]; yet, little is known of the intracellular trafficking events leading to its secretion. In order to identify molecules involved in this secretory pathway, we asked whether any of the known trafficking proteins are regulated by LPS. We found that the levels of SNARE proteins were rapidly and significantly up- or downregulated during macrophage activation. A subset of t-SNAREs (Syntaxin 4/SNAP23/Munc18c) known to control regulated exocytosis in other cell types [4, 5] was substantially increased by LPS in a temporal pattern coinciding with peak TNFalpha secretion. Syntaxin 4 formed a complex with Munc18c at the cell surface of macrophages. Functional studies involving the introduction of Syntaxin 4 cDNA or peptides into macrophages implicate this t-SNARE in a rate-limiting step of TNFalpha secretion and in membrane ruffling during macrophage activation. We conclude that in macrophages, SNAREs are regulated in order to accommodate the rapid onset of cytokine secretion and for membrane traffic associated with the phenotypic changes of immune activation. This represents a novel regulatory role for SNAREs in regulated secretion and in macrophage-mediated host defense.

Electrospun silk-elastin-like fiber mats for tissue engineering applications

Protein-based polymers are present in a wide variety of organisms fulfilling structural and mechanical roles. Advances in protein engineering and recombinant DNA technology allow the design and production of recombinant protein-based polymers (rPBPs) with an absolute control of its composition. Although the application of recombinant proteins as biomaterials is still an emerging technology, the possibilities are limitless and far superior to natural or synthetic materials, as the complexity of the structural design can be fully customized. In this work, we report the electrospinning of two new genetically engineered silk-elastin-like proteins (SELPs) consisting of alternate silk- and elastin-like blocks. Electrospinning was performed with formic acid and aqueous solutions at different concentrations without addition of further agents. The size and morphology of the electrospun structures was characterized by scanning electron microscopy showing to be dependent of concentration and solvent used. Treatment with air saturated with methanol was employed to stabilize the structure and promote water insolubility through a time-dependent conversion of random coils into β-sheets (FTIR). The resultant methanol-treated electrospun mats were characterized for swelling degree (570-720%), water vapour transmission rate (1083 g/m2/day) and mechanical properties (modulus of elasticity of ~126 MPa). Furthermore, the methanol-treated SELP fiber mats showed no cytotoxicity and were able to support adhesion and proliferation of normal human skin fibroblasts. Adhesion was characterized by a filopodia-mediated mechanism. These results demonstrate that SELP fiber mats can provide promising solutions for the development of novel biomaterials suitable for tissue engineering applications.

Automated traffic route identification through the shared nearest neighbour algorithm

Many organisations need to extract useful information from huge amounts of movement data. One example is found in maritime transportation, where the automated identification of a diverse range of traffic routes is a key management issue for improving the maintenance of ports and ocean routes, and accelerating ship traffic. This paper addresses, in a first stage, the research challenge of developing an approach for the automated identification of traffic routes based on clustering motion vectors rather than reconstructed trajectories. The immediate benefit of the proposed approach is to avoid the reconstruction of trajectories in terms of their geometric shape of the path, their position in space, their life span, and changes of speed, direction and other attributes over time. For clustering the moving objects, an adapted version of the Shared Nearest Neighbour algorithm is used. The motion vectors, with a position and a direction, are analysed in order to identify clusters of vectors that are moving towards the same direction. These clusters represent traffic routes and the preliminary results have shown to be promising for the automated identification of traffic routes with different shapes and densities, as well as for handling noise data.

Effect of poling state and morphology of piezoelectric poly(vinylidene fluoride) membranes for skeletal muscle tissue engineering

This work reports on the influence of polarization and morphology of electroactive poly(vinylidene fluoride), PVDF, on the biological response of myoblast cells. Non-poled, ‘‘poled +’’ and “poled-“ -PVDF were prepared in the form of films. Further, random and aligned electrospun -PVDF fiber mats were also prepared. It is demonstrated that negatively charged surfaces improve cell adhesion and proliferation and that the directional growth of the myoblast cells can be achieved by the cell culture on oriented fibers. Therefore, the potential application of electroative materials for muscle regeneration is demonstrated.

GUIsurfer: A Reverse Engineering Framework for User Interface Software

GUIsurfer: A Reverse Engineering Framework for User Interface Software

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.

Analysis of computing open source systems

Graphical user interfaces (GUIs) are critical components of today's open source software. Given their increased relevance, the correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing open source systems. We use static analysis techniques to generate models of the user interface behavior from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particular type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.

Estudo de adoção de tecnologias de cloud computing no contexto das PMES portuguesas

A sociedade atual é marcada por uma crescente competição entre as organizações, as quais para garantirem a sua sobrevivência têm que evoluir e utilizar a tecnologia de informação mais adequada. Num período em que as PMES portuguesas necessitam de reduzir custos e concentrarem-se mais no seu processo de negócio surge um novo paradigma tecnológico, a Computação na Nuvem, esta ainda é um paradigma bastante recente, onde os recursos de TI que apresentam características de elasticidade e dinâmicas são oferecidos ao cliente como um serviço, no qual este paga apenas o que consome (pagamento por utilização). A Cloud Computing com o seu novo paradigma permite às organizações, principalmente às PMES reduzirem custos, concentrarem-se no seu processo de negócio sem se preocuparem com a parte informática (cópias de segurança, assistência e perda de dados) e obter um retorno mais rápido do seu investimento. Este trabalho consiste no Estudo da Adoção Individual da Cloud Computing no contexto das PMEs Portuguesas, o qual apresenta como principais objetivos obter uma melhor compreensão do conceito Cloud Computing, entender a sua importância para os indivíduos das PMES, identificar os seus fatores de sucesso e insucesso e identificar as limitações sentidas de uma forma generalizada e de uma forma específica para as PMES Portuguesas. Para cumprir os objetivos mencionados anteriormente, efetuou-se uma extensa revisão de literatura, propôs-se um modelo conceptual de investigação com adaptações à Teoria Unificada de Aceitação e Uso de Tecnologia (UTAUT) e utilizou-se como instrumento de recolha de dados um questionário que foi enviado às PMES Portuguesas.

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.

Optimal design of piezolaminated structures using B-spline strip finite element models

A package of B-spline finite strip models is developed for the linear analysis of piezolaminated plates and shells. This package is associated to a global optimization technique in order to enhance the performance of these types of structures, subjected to various types of objective functions and/or constraints, with discrete and continuous design variables. The models considered are based on a higher-order displacement field and one can apply them to the static, free vibration and buckling analyses of laminated adaptive structures with arbitrary lay-ups, loading and boundary conditions. Genetic algorithms, with either binary or floating point encoding of design variables, were considered to find optimal locations of piezoelectric actuators as well as to determine the best voltages applied to them in order to obtain a desired structure shape. These models provide an overall economy of computing effort for static and vibration problems.

Sistemas distribuídos: serviços Grid Computing

A necessidade de poder computacional é crescente nas diversas áreas de actuação humana, tanto na indústria, como em ambientes académicos. Grid Computing permite a ligação de recursos computacionais dispersos de maneira a permitir a sua utilização mais eficaz, fornecendo aos utilizadores um acesso simplificado ao poder computacional de diversos sistemas. Os primeiros projectos de Grid Computing implicavam a ligação de máquinas paralelas ou aglomerados de alto desempenho e alto custo, disponíveis apenas em algumas instituições. Contrastando com o elevado custo dos super-computadores, os computadores pessoais e a Internet sofreram uma evolução significativa nos últimos anos. O uso de computadores dispersos em uma WAN pode representar um ambiente muito interessante para processamento de alto desempenho. Os sistemas em Grid fornecem a possibilidade de se utilizar um conjunto de computadores pessoais de modo a fornecer uma computação que utiliza recursos que de outra maneira estariam omissos. Este trabalho consiste no estudo de Grid Computing a nível de conceito e de arquitectura e numa análise ao seu estado actual hoje em dia. Como complemento foi desenvolvido um componente que permite o desenvolvimento de serviços para Grids (Grid Services) mais eficaz do que o modelo de suporte a serviços actualmente utilizado. Este componente é disponibilizado sob a forma um plug-in para a plataforma Eclipse IDE.