Sobre sinthoma /

A partir da «teoria do sonho» de Freud, passando pela linguística de Saussure, pela Topologia e pela função do Nome-do-Pai, este artigo aborda a evolução do ensino de Lacan sobre o sintoma – o que faz signo sobre a falha do sujeito. Este trabalho dá particular ênfase ao sintoma psicótico, com o objectivo de demonstrar o que pode estabilizar uma psicose, sendo o sinthoma joyciano o mais eficaz, permitindo a restauração social através do gozo literário.

Aplicação de redes neuronais no planeamento de emergência em barragens de aterro

O controlo de segurança para preservação da integridade estrutural da barragens é, durante a fase de exploração normal, uma actividade que tem essencialmente como elemento fulcral as inspecções à estrutura e os dados resultantes das observações periódicas da obra, apoiando-se em modelos de comportamento da mesma. Neste sentido, a análise de situações de emergência requer, em regra, a atenção de um especialista em segurança de barragens, o qual poderá, perante os resultados da observação disponíveis e da aplicação de modelos do comportamento da estrutura, identificar o nível de alerta adequado à situação que se está a viver na barragem. Esta abordagem tradicional de controlo de segurança é um processo eficaz mas que apresenta a desvantagem de poder decorrer um período de tempo significativo entre a identificação de um processo anómalo e a definição do respectivo nível de gravidade. O uso de novas tecnologias de apoio à decisão e o planeamento de emergência podem contribuir para minorar os efeitos desta desvantagem. O presente trabalho consiste no desenvolvimento de um modelo de aferição do comportamento de uma barragem através da aplicação de redes neuronais do tipo Perceptrão Multicamadas aos resultados da observação de uma barragem de aterro, por forma a identificar anomalias de comportamento e a quantificar o correspondente nível de alerta. A tese divide-se essencialmente em duas partes. A primeira parte aborda os aspectos que se relacionam com as barragens de aterro, nomeadamente definindo as soluções estruturais mais correntes e identificando os principais tipos de deteriorações que podem surgir nestas estruturas. São, igualmente, abordadas as questões que se relacionam com o controlo de segurança e o planeamento de emergência em barragens de aterro. A segunda parte do trabalho versa sobre o modelo de rede neuronal desenvolvido em linguagem de programação java – o modelo ALBATROZ. Este modelo permite definir o nível de alerta em função do nível de água na albufeira, da pressão registada em quatro piezómetros localizados no corpo e na fundação da barragem e do caudal percolado através da barragem e respectiva fundação. Nesta parte, o trabalho recorre, aos resultados da observação da barragem de Valtorno/Mourão e usa os resultados de um modelo de elementos finitos (desenvolvido no Laboratório Nacional de Engenharia Civil, no âmbito do plano de observação da obra) por forma a simular o comportamento da barragem e fornecer dados para o treino da rede neuronal desenvolvida.O presente trabalho concluiu que o desenvolvimento de redes neuronais que relacionem o valor registado em algumas das grandezas monitorizadas pelo sistema de observação com o nível de alerta associado a uma situação anómala na barragem pode contribuir para a identificação rápida de situações de emergência e permitir agir atempadamente na sua resolução. Esta característica transforma a redes neuronais numa peça importante no planeamento de emergência em barragens e constitui, igualmente, um instrumento de apoio ao controlo de segurança das mesmas.

Comunicação nas organizações e tácticas de socialização : o caso dos estagiários de jornalismo televisivo

A presente investigação trata um tema muito discutido hoje em dia nos meios da comunicação social em Portugal, mas que se relaciona com uma problemática mais ampla de comunicação nas organizações: a integração dos estagiários de jornalismo nas estruturas redactoriais. Vários autores como Sara Meireles Graça, Paulo Faustino e José Luís Garcia têm-se debruçado sobre o problema do “corrupio” de jornalistas estagiários nas redacções e sobre outro tema muito controverso, directamente relacionado, que é o “trabalho escravo” no jornalismo (Garcia et. al., 2009, p. 147). Pretendemos aprofundar estas questões, averiguando a sua dimensão e qual o interesse das empresas neste e noutros processos de recrutamento e integração organizacional, assim como o que pensam sobre tudo isto os estagiários e outros intervenientes. O estudo terá como objecto as três estações generalistas de televisão em Portugal. A pesquisa empírica desenvolveu-se nestas três estações de televisão que, salvaguardando as suas particularidades, foram tomadas como organizações-exemplo para a análise dos processos de integração e socialização organizacional. Realizámos um estudo longitudinal com base numa metodologia de cariz qualitativo a partir do olhar, nomeadamente, dos responsáveis pelos estágios nas redacções e dos estagiários, que são os principais atores neste processo. Os resultados apontam para a existência em algumas televisões, de estagiários curriculares a desempenhar funções como se de jornalistas profissionais se tratassem. Em relação a este tema, também existem divergências de opinião entre as entidades que regulam a profissão e as que representam as televisões. Quanto às tácticas de socialização, as televisões conseguem formar profissionais autónomos, apesar da existência de alguns casos de insatisfação e desinvestimento por parte de estagiários.

La construcción social de lo visual: estudio de caso en la visión de la virgen de Piendamó en 1971 y su concreción estética en el santuario

Este trabajo responde a la iniciativa de referir el conocimiento académico adquirido al lugar de origen, de éste modo llevo a cabo un análisis enfocado hacia el papel de la construcción social de lo visual a partir de un elemento identitario relevante para el pueblo colombiano del cual provengo: La visión que tuvo una niña mestiza de once años, de la virgen en Piendamó, Cauca, Colombia en 1971. La reflexión parte del supuesto de que la aparición de la virgen responde a una construcción social, cuyo repositorio visual es la aparición de la virgen y luego su concreción estética en el santuario; busco explorar la aparición como respuesta a una serie de fenómenos que mantenían en tensión el campo social, los cuales se relacionan directamente con: 1. El origen del pueblo que le otorga la condición de bárbaro en relación a su Otro civilizado fundado en el marco de la encomienda española 2. La aparición de la virgen como mecanismo de tensión cultural 3. Producciones o disputas en torno a la aparición y su importancia para la comunidad. Esta propuesta se torna relevante en tanto hay un desplazamiento del análisis de lo visual como objeto, hacia las ideas de las cuales es repositorio, esto es hacia la forma en que lo visual es construido a la vez que construye el campo social de las relaciones. La aparición de la virgen es un dispositivo que permite leer mediante los estudios visuales la naturalización de los fenómenos culturales y los significados que perpetua, orientando el análisis hacia los significados reprimidos en ese proceso naturalizador. El marco de fuentes que componen ésta propuesta consisten en: Entrevistas realizadas en campo, observación y análisis del santuario, revisión, análisis y selección de producción mediática, artística y académica, todo ello a la luz de José Luís Brea, Mieka Bal, Homi Bhabha, Bolívar Echeverría, Alberto Flores Galindo, Michel Foucault, Judith Buttler, Sergei Gruzinski, Enrique Dussel entre otros.

Indagaciones visuales en la representación fotográfica del foto estudio Rosales: cartografía de los flujos de poder. Apuntes de navegación de -un velero llamado- Plataforma_SUR

La presente investigación indaga desde los Estudios Culturales, y en especial a partir del entrecruzamiento entre los Estudios Visuales (Estudios Culturales de lo visual en la acepción de José Luís Brea) y las prácticas artísticas, unos potenciales modos-otros para (re)leer la representación fotográfica de género, clase y etnia. En tal virtud, este trabajo parte del análisis de la visualidad -los modos de ver y ser vistos- que los distintos grupos sociales registraron para la posteridad en un determinado número de series de retratos fotográficos producidos por el Foto Estudio Rosales entre 1925 y 1965 en la ciudad de Ibarra. La idea de un “retrato consensuado” entre retratado y retratante permite pensar en una suerte de mise-en-scène (puesta en escena) como forma discursiva de los llamados flujos de poder que décadas más tarde pueden ser rastreados en tales imágenes fotográficas. El desarrollo argumentativo y estructural de esta tesis puede ser leída como un texto dramatúrgico que, en tres actos (partes) establece los tres momentos del “drama”. Así, el primer acto está reservado a la presentación del conflicto en el que establecemos los personajes [sociales] y la trama que suponen las preguntas de investigación y las precisiones conceptuales y metodológicas. El segundo acto, conocido en la dramaturgia como el desarrollo, permite rastrear en tres capítulos -concebidos como tres casos de estudio- las tensiones que, en torno a los modos de retratarse y ser retratados, desarrollaron los diferentes grupos como parte de sus estrategias de visibilizacion. El conflicto es llevado aquí a las disputas por el encuadre del retrato fotográfico, una porción poética de lo real retratado por el fotógrafo para “la eternidad”. En la parte final, el llamado desenlace, sistematiza una serie de conclusiones que permiten pensar un marco metodológico para poner en marcha políticas-otras de ver y ser vistos.

Decay to equilibrium for jump processes with heavy tails

The case is made for a more careful analysis of the large time asymptotic of infinite particle systems in the thermodynamic limit beyond zero density. The insufficiency of current analysis even in the model case of free particles is demonstrated. Recent advances based on more sophisticated analytical tools like functions of mean variation and Hardy spaces are sketched.

Aplicacao do geoprocessamento no estudo da impermeabilidade urbana

The environmental impact of urbanization due to the surface impervious growing and inadequacy of urban occupation induces to a significant increase of inundation events in every urban center. Hence, this paper focuses the concept of impervious surface as an indicator of environment impact, expressed through the changing of pervious areas in impervious areas by paving cover or building occupation. It is taken as a case study 13 areas pertaining to Canoas City, Rio Grande do Sul – Metropolitan area of Porto Alegre, Brazil. The main goal of the methodology process is to achieve information about types of land cover for studying the association with urban impermeability level. Therefore, the manipulation of municipal digital cartographic base of Canoas City with aerial photographs, through the geoprocessing applied in geographic information system toolbox (GIS), allows this research to produce data about of urban impervious areas generation. These results could help the urban settlement planning to reduce the impervious cover and the hydrological impact in its implementation.

Impactos da aprendizagem organizacional nas práticas de auditoria interna : um estudo no Banco do Brasil

Diante de mercados globais, interligados em tempo real, as empresas se vêem diante do desafio de se tornarem mais flexíveis, centrarem-se em suas principais competências e, sobretudo, terem a capacidade de dar respostas rápidas e adequadas às mudanças, em um ambiente onde a tempestividade da resposta pode ditar o sucesso ou o fracasso de uma empresa. Nesse contexto, a auditoria interna, em razão do seu posicionamento estratégico e permeabilidade por toda a organização, pode contribuir mais efetivamente para a melhoria dos processos produtivos e de gestão das organizações, através de uma atuação diferenciada de seus auditores. Por sua vez, a aprendizagem organizacional, entendida como um processo de apropriação e geração de novos conhecimentos, voltado para a construção ou desenvolvimento de novas competências, pode potencializar o valor agregado dos trabalhos de auditoria. Dentro dessa perspectiva, a resolução coletiva de problemas, baseada nas constatações de auditoria, pode tornar-se um veículo eficaz para alavancar o processo de aprendizagem por toda a organização. O presente trabalho procura avaliar os impactos da difusão dos princípios e conceitos de aprendizagem organizacional nas práticas de trabalho dos auditores internos, através de uma estratégia focada na resolução coletiva de problemas, tomando como objeto de pesquisa o processo desenvolvido na área de auditoria interna do Banco do Brasil S.A. A pesquisa, qualitativa na sua essência e orientada pela Grounded Theory (Glaser & Strauss, 1967; Strauss & Corbin, 1990), abrangeu o acompanhamento de 30 eventos desenvolvidos no âmbito da unidade de pesquisa, desembocando em 34 fontes primárias, derivadas de relatos, relatórios, transcrição de vídeos e entrevistas, memorandos, etc. Como resultante, o trabalho apresenta e avalia os principais impactos verificados nas práticas de auditoria interna, bem como nas ações dos indivíduos participantes do processo. O estudo abrange, também, a identificação das principais barreiras para aprendizagem e das competências básicas requeridas para condução de um processo de aprendizagem organizacional dessa natureza.

Contribuição ao estudo da viabilidade da cura do concreto por energia solar

O presente trabalho visou a utilização da energia solar na cura de pré-fabricados de concreto. Para tanto, foi utilizado dois modelos. O primeiro modelo constou da utilização de coletores solares planos, ligados até uma câmara de cura por um sistema de dutos; A radiação direta do sol incide sobre os coletores, que acumulam energia, que é removida pela água que circula pelos mesmos, levando essa energia através do sistema de distribuição (dutos) até a câmara de cura; Essa câmara, possui uma pista metálica em sua base, onde a energia é cedida para os pré-fabricados de concreto; Esse ciclo de captação distribuição e consumo é repetido a cada hora do dia, onde há radiação solar; Um segundo modelo constou de uma heliocâmara, princípio de um destilador solar convencional, onde a radiação incide diretamente sobre a câmara de cura; A radiação, penetra pela cobertura e forma-se um efeito estufa no interior da câmara, aquecendo seu interior e consequentemente os pré-fabricados de concreto; Avaliou-se os dois sistemas para as estações de verão e inverno na cidade de Porto Alegre (dias típicos) e concluiu-se que para o verão, tanto o sistema com coletores solares quanto o sistema com heliocâmaras poderão ser utilizados. No período de inverno, nenhum destes sistemas serão satisfatórios, porém suas utilizações serão viáveis em conjunto com uma fonte de energia alternativa; A energia solar constitui-se assim numa importante fonte de energia a ser utilizada em pré-fabricados de concreto.

Functionalization of dendrimers for improved gene delivery to mesenchymal stem cell

Disease, injury, and age problems compromise human quality of life and continuously motivate the search for new and more efficacious therapeutic approaches. The field of Tissue Regeneration and Engineering has greatly evolved over the last years, mainly due to the combination of the important advances verified in Biomaterials Science and Engineering with those of Cell and Molecular Biology. In particular, a new and promising area arose – Nanomedicine – that takes advantage of the extremely small size and especial chemical and physical properties of Nanomaterials, offering powerful tools for health improvement. Research on Stem Cells, the self-renewing progenitors of body tissues, is also challenging to the medical and scientific communities, being expectable the appearance of new and exciting stem cell-based therapies in the next years. The control of cell behavior (namely, of cell proliferation and differentiation) is of key importance in devising strategies for Tissue Regeneration and Engineering. Cytokines, growth factors, transcription factors and other signaling molecules, most of them proteins, have been identified and found to regulate and support tissue development and regeneration. However, the application of these molecules in long-term regenerative processes requires their continuous presence at high concentrations as they usually present short half-lives at physiological conditions and may be rapidly cleared from the body. Alternatively, genes encoding such proteins can be introduced inside cells and be expressed using cell’s machinery, allowing an extended and more sustained production of the protein of interest (gene therapy). Genetic engineering of stem cells is particularly attractive because of their self-renewal capability and differentiation potential. For Tissue Regeneration and Engineering purposes, the patient’s own stem cells can be genetically engineered in vitro and, after, introduced in the body (with or without a scaffold) where they will not only modulate the behavior of native cells (stem cell-mediated gene therapy), but also directly participate in tissue repair. Cells can be genetically engineered using viral and non-viral systems. Viruses, as a result of millions of years of evolution, are very effective for the delivery of genes in several types of cells, including cells from primary sources. However, the risks associated with their use (like infection and immunogenic reactions) are driving the search for non-viral systems that will efficiently deliver genetic material into cells. Among them, chemical methods that are promising and being investigated use cationic molecules as carriers for DNA. In this case, gene delivery and gene expression level remain relatively low when primary cells are used. The main goal of this thesis was to develop and assess the in vitro potential of polyamidoamine (PAMAM) dendrimers based carriers to deliver genes to mesenchymal stem cells (MSCs). PAMAM dendrimers are monodispersive, hyperbranched and nanospherical molecules presenting unique characteristics that make them very attractive vehicles for both drug and gene delivery. Although they have been explored for gene delivery in a wide range of cell lines, the interaction and the usefulness of these molecules in the delivery of genes to MSCs remains a field to be explored. Adult MSCs were chosen for the studies due to their potential biomedical applications (they are considered multipotent cells) and because they present several advantages over embryonic stem cells, such as easy accessibility and the inexistence of ethical restrictions to their use. This thesis is divided in 5 interconnected chapters. Chapter I provides an overview of the current literature concerning the various non-viral systems investigated for gene delivery in MSCs. Attention is devoted to physical methods, as well as to chemical methods that make use of polymers (natural and synthetic), liposomes, and inorganic nanoparticles as gene delivery vectors. Also, it summarizes the current applications of genetically engineered mesenchymal stem cells using non-viral systems in regenerative medicine, with special focus on bone tissue regeneration. In Chapter II, the potential of native PAMAM dendrimers with amine termini to transfect MSCs is evaluated. The level of transfection achieved with the dendrimers is, in a first step, studied using a plasmid DNA (pDNA) encoding for the β-galactosidase reporter gene. The effect of dendrimer’s generation, cell passage number, and N:P ratio (where N= number of primary amines in the dendrimer; P= number of phosphate groups in the pDNA backbone) on the level of transfection is evaluated, being the values always very low. In a second step, a pDNA encoding for bone morphogenetic protein-2, a protein that is known for its role in MSCs proliferation and differentiation, is used. The BMP-2 content produced by transfected cells is evaluated by an ELISA assay and its effect on the osteogenic markers is analyzed through several classical assays including alkaline phosphatase activity (an early marker of osteogenesis), osteocalcin production, calcium deposition and mineralized nodules formation (late osteogenesis markers). Results show that a low transfection level is enough to induce in vitro osteogenic differentiation in MSCs. Next, from Chapter III to Chapter V, studies are shown where several strategies are adopted to change the interaction of PAMAM dendrimers with MSCs cell membrane and, as a consequence, to enhance the levels of gene delivery. In Chapter III, generations 5 and 6 of PAMAM dendrimers are surface functionalized with arginine-glycine-aspartic acid (RGD) containing peptides – experiments with dendrimers conjugated to 4, 8 and 16 RGD units were performed. The underlying concept is that by including the RGD integrin-binding motif in the design of the vectors and by forming RGD clusters, the level of transfection will increase as MSCs highly express integrins at their surface. Results show that cellular uptake of functionalized dendrimers and gene expression is enhanced in comparison with the native dendrimers. Furthermore, gene expression is dependent on both the electrostatic interaction established between the dendrimer moiety and the cell surface and the nanocluster RGD density. In Chapter IV, a new family of gene delivery vectors is synthesized consisting of a PAMAM dendrimer (generation 5) core randomly linked at the periphery to alkyl hydrophobic chains that vary in length and number. Herein, the idea is to take advantage of both the cationic nature of the dendrimer and the capacity of lipids to interact with biological membranes. These new vectors show a remarkable capacity for internalizing pDNA, being this effect positively correlated with the –CH2– content present in the hydrophobic corona. Gene expression is also greatly enhanced using the new vectors but, in this case, the higher efficiency is shown by the vectors containing the smallest hydrophobic chains. Finally, chapter V reports the synthesis, characterization and evaluation of novel gene delivery vectors based on PAMAM dendrimers (generation 5) conjugated to peptides with high affinity for MSCs membrane binding - for comparison, experiments are also done with a peptide with low affinity binding properties. These systems present low cytotoxicity and transfection efficiencies superior to those of native dendrimers and partially degraded dendrimers (Superfect®, a commercial product). Furthermore, with this biomimetic approach, the process of gene delivery is shown to be cell surface receptor-mediated. Overall, results show the potential of PAMAM dendrimers to be used, as such or modified, in Tissue Regeneration and Engineering. To our knowledge, this is the first time that PAMAM dendrimers are studied as gene delivery vehicles in this context and using, as target, a cell type with clinical relevancy. It is shown that the cationic nature of PAMAM dendrimers with amine termini can be synergistically combined with surface engineering approaches, which will ultimately result in suitable interactions with the cytoplasmic membrane and enhanced pDNA cellular entry and gene expression. Nevertheless, the quantity of pDNA detected inside cell nucleus is always very small when compared with the bigger amount reaching cytoplasm (accumulation of pDNA is evident in the perinuclear region), suggesting that the main barrier to transfection is the nuclear membrane. Future work can then be envisaged based on the versatility of these systems as biomedical molecular materials, such as the conjugation of PAMAM dendrimers to molecules able to bind nuclear membrane receptors and to promote nuclear translocation.

Studies in non-Gaussian analysis

This thesis presents general methods in non-Gaussian analysis in infinite dimensional spaces. As main applications we study Poisson and compound Poisson spaces. Given a probability measure μ on a co-nuclear space, we develop an abstract theory based on the generalized Appell systems which are bi-orthogonal. We study its properties as well as the generated Gelfand triples. As an example we consider the important case of Poisson measures. The product and Wick calculus are developed on this context. We provide formulas for the change of the generalized Appell system under a transformation of the measure. The L² structure for the Poisson measure, compound Poisson and Gamma measures are elaborated. We exhibit the chaos decomposition using the Fock isomorphism. We obtain the representation of the creation, annihilation operators. We construct two types of differential geometry on the configuration space over a differentiable manifold. These two geometries are related through the Dirichlet forms for Poisson measures as well as for its perturbations. Finally, we construct the internal geometry on the compound configurations space. In particular, the intrinsic gradient, the divergence and the Laplace-Beltrami operator. As a result, we may define the Dirichlet forms which are associated to a diffusion process. Consequently, we obtain the representation of the Lie algebra of vector fields with compact support. All these results extends directly for the marked Poisson spaces.

Distribuições hiperbólicas generalizadas: aplicações ao mercado português

O objectivo desta tese é discutir o uso das distribuições hiperbólicas generalizadas como modelo para os retornos logarítmicos de 4 activos do mercado de capitais Português. Os activos em análise são o índice Português PSI 20 e as 3 maiores empresas pertencentes ao PSI 20: PT, EDP e BCP. Os dados são constituidos pelos valores de fecho diário durante mais de 8 anos. Utilizando o software R procederemos à estimação dos parâmetros das distribuições para ajustamento aos dados empíricos. Para medir o grau de ajustamento das distribuições aos dados empíricos usamos os gráficos QQ-plots e 4 distâncias: Kolmogorov-Smirnov, Kuiper, Anderson-Darling e Fajardo-Farias-Ornelas. Os resultados obtidos permitem concluir que o melhor ajustamento é feito pela hiperbólica generalizada e em seguida a distribuição normal inversa gaussiana. Todas as distribuições desta família ajustam-se muito melhor que a distribuição normal. Por último temos uma aplicação ao cálculo do preço de derivados financeiros, nomeadamente a fórmula de uma opção de compra Europeia no modelo discutido.

Determinantes da despesa do turista de cruzeiro: evidência empírica das ilhas atlânticas da Madeira e das Canárias

O turismo de cruzeiro tem vindo a ganhar uma importância cada vez maior nas ilhas atlânticas das Canárias e da Madeira. Como consequência, as despesas dos passageiros dos cruzeiros contribuem cada vez mais para a economia local. O objetivo deste trabalho é investigar as determinantes da despesa do turista de cruzeiro, nomeadamente os efeitos das características sociodemográficas e das características relativas à viagem no montante e no padrão dessa despesa. Estimamos dois modelos de regressão, um modelo Logit e um modelo Tobit, para a despesa agregada e desagregada, utilizando os dados obtidos num questionário realizado nas ilhas da Madeira e das Canárias, no período de 2001 a 2005. Os resultados mostram a existência de diferentes perfis do turista de cruzeiro que estão associados a níveis diferentes de despesa. Verificamos que o perfil do turista que mais gasta é um passageiro do sexo feminino, trabalhador, com um curso superior e de nacionalidade não britânica. Níveis de escolaridade superiores estão associados a gastos maiores em quase todas as categorias da despesa. Além disso, o turista que deseja repetir a visita ao destino revela-se também como sendo mais gastador em qualquer categoria da despesa.

Rapid prototyping of ubiquitous computing environments

Ubiquitous computing raises new usability challenges that cut across design and development. We are particularly interested in environments enhanced with sensors, public displays and personal devices. How can prototypes be used to explore the users' mobility and interaction, both explicitly and implicitly, to access services within these environments? Because of the potential cost of development and design failure, these systems must be explored using early assessment techniques and versions of the systems that could disrupt if deployed in the target environment. These techniques are required to evaluate alternative solutions before making the decision to deploy the system on location. This is crucial for a successful development, that anticipates potential user problems, and reduces the cost of redesign. This thesis reports on the development of a framework for the rapid prototyping and analysis of ubiquitous computing environments that facilitates the evaluation of design alternatives. It describes APEX, a framework that brings together an existing 3D Application Server with a modelling tool. APEX-based prototypes enable users to navigate a virtual world simulation of the envisaged ubiquitous environment. By this means users can experience many of the features of the proposed design. Prototypes and their simulations are generated in the framework to help the developer understand how the user might experience the system. These are supported through three different layers: a simulation layer (using a 3D Application Server); a modelling layer (using a modelling tool) and a physical layer (using external devices and real users). APEX allows the developer to move between these layers to evaluate different features. It supports exploration of user experience through observation of how users might behave with the system as well as enabling exhaustive analysis based on models. The models support checking of properties based on patterns. These patterns are based on ones that have been used successfully in interactive system analysis in other contexts. They help the analyst to generate and verify relevant properties. Where these properties fail then scenarios suggested by the failure provide an important aid to redesign.