Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

The basal ganglia and semantic engagement: Potential insights from semantic priming in individuals with subcortical vascular lesions, Parkinson's disease, and cortical lesions

The impact of basal ganglia dysfunction on semantic processing was investigated by comparing the performance of individuals with nonthalamic subcortical (NS) vascular lesions, Parkinson's disease (PD), cortical lesions, and matched controls on a semantic priming task. Unequibiased lexical ambiguity primes were used in auditory prime-target pairs comprising 4 critical conditions; dominant related (e.g., bank-money), subordinate related (e.g., bank-river), dominant unrelated (e.g.,foot-money) and subordinate unrelated (e.g., bat-river). Participants made speeded lexical decisions (word/nonword) on targets using a go-no-go response. When a short prime-target interstimulus interval (ISI) of 200 ins was employed, all groups demonstrated priming for dominant and subordinate conditions, indicating nonselective meaning facilitation and intact automatic lexical processing. Differences emerged at the long ISI (1250 ms), where control and cortical lesion participants evidenced selective facilitation of the dominant meaning, whereas NS and PD groups demonstrated a protracted period of nonselective meaning facilitation. This finding suggests a circumscribed deficit in the selective attentional engagement of the semantic network on the basis of meaning frequency, possibly implicating a disturbance of frontal-subcortical systems influencing inhibitory semantic mechanisms.

Representing organizational structures in enterprise architecture : an ontology-based approach

Arquitetura Corporativa promove o estabelecimento de uma visão holística da estrutura e forma de trabalho de uma organização. Um dos aspectos abordados em Arquitetura Corporativa está associada a "estrutura ativa" da organização, que diz respeito a “quem" realiza as atividades organizacionais. Várias abordagens têm sido propostas a fim de proporcionar um meio para a representação de Arquitetura Corporativa, entre as quais ARIS, RM-ODP, UPDM e ArchiMate. Apesar da aceitação por parte da comunidade, as abordagens existentes se concentram em propósitos diferentes, têm limitações de escopo e algumas não têm semântica de mundo real bem definida. Além das abordagens de modelagem, muitas abordagens de ontologias têm sido propostas, a fim de descrever o domínio de estrutura ativa, incluindo as ontologias de SUPER Project, TOVE, Enterprise Ontology e W3C Org Ontology. Embora especificadas para fundamentação semântica e negociação de significado, algumas das abordagens propostas têm fins específicos e cobertura limitada. Além disso, algumas das abordagens não são definidas usando linguagens formais e outras são especificadas usando linguagens sem semântica bem definida. Este trabalho apresenta uma ontologia de referência bem fundamentada para o domínio organizacional. A ontologia organizacional de referência apresentada abrange os aspectos básicos discutidos na literatura organizacional, tais como divisão do trabalho, relações sociais e classificação das unidades estruturais. Além disso, também abrange os aspectos organizacionais definidos em abordagens existentes, levando em consideração tanto abordagens de modelagem quanto abordagens ontológicas. A ontologia resultante é especificada em OntoUML e estende os conceitos sociais de UFO-C.

A Digital Game Development Education Project

The success of the digital game industry is spawning several undergraduate degrees aiming at the training of digital game developers. Building adequate new courses curricula is not a trivial task and demands a profound analysis of the scientific areas to introduce as well as the dependencies throughout the entire degree. Another important aspect of every academic educational plan are the satellite projects that promote entrepreneurship and provide practical professional experiences to students. This paper presents the main guidelines adopted in the creation of the first digital game development undergraduate degree created in Portugal.

Being happy, healthy and whole watching movies that affect our emotions

This paper discusses the power of emotions in our health, happiness and wholeness, and the emotional impact of movies. It presents iFelt, an interactive video application to classify, access, explore and visualize movies based on their emotional properties and impact.

Towards Emotional Interaction: Using Movies to Automatically Learn Users' Emotional States

The HCI community is actively seeking novel methodologies to gain insight into the user’s experience during interaction with both the application and the content. We propose an emotional recognition engine capable of automatically recognizing a set of human emotional states using psychophysiological measures of the autonomous nervous system, including galvanic skin response, respiration, and heart rate. A novel pattern recognition system, based on discriminant analysis and support vector machine classifiers is trained using movies’ scenes selected to induce emotions ranging from the positive to the negative valence dimension, including happiness, anger, disgust, sadness, and fear. In this paper we introduce an emotion recognition system and evaluate its accuracy by presenting the results of an experiment conducted with three physiologic sensors.

Da partilha à acção colectiva dos cidadãos: O contributo dos Novos Media no apelo à dádiva de medula óssea

O contributo das redes sociais na luta contra o cancro tem sido conhecida, especialmente, pelo sucesso de movimentos de cidadãos com o objectivo de sensibilizar a sociedade portuguesa para a dádiva de medula óssea. Este tipo de campanhas solidárias, com o apoio dos Novos Media, foi um fenómeno iniciado em 2009 e tem vindo a desenvolver-se, sobretudo, no Facebook. Desde então, novos movimentos têm aparecido regularmente nesta rede social e ajudado a um aumento significativo do registo de dadores. Interessa-nos perceber como se desenvolvem este tipo de campanhas e que factores, contribuíram para o seu sucesso, procurando averiguar não só o poder da Web 2.0, mas também questões sobre a comunicação, a imagem e os media. O sucesso destes movimentos vai muito além da simples presença no Facebook. A análise global do sistema de comunicação é fundamental para compreender o diferente nível de sucesso atingido por cada movimento. No presente artigo, fazemos uma análise comparativa entre os principais movimentos de cidadãos, ocorridos entre 2009 e 2011, que comprova as supracitadas hipóteses.

Os Media Participativos e o poder da Identidade na Oncologia: o Cidadão e a Instituição enquanto Marcas interactivas

Neste artigo procuramos averiguar a relevância que as marcas e identidades têm nas plataformas participativas no contexto da saúde, em particular na oncologia. Apesar de estas plataformas disponibilizarem aos cidadãos e instituições as mesmas ferramentas, a sua capacidade de mobilização não é a mesma. As instituições parecem ter maior facilidade, mas nem sempre tal acontece. Discutir o conceito de marca e de identidade contribuirá para responder a esta questão, bem como compreender porque é que as diferenças entre os cidadãos e as instituições se podem atenuar nos novos media. Baseamos a nossa análise na observação de páginas do Facebook, de instituições oncológicas e de grupos de apoio de cidadãos; num conjunto de entrevistas a doentes e familiares oncológicos; e em diferentes estudos na saúde. No fim, procura-se esclarecer a importância do estudo das marcas e da identidade, como possível directriz de novas soluções nos media participativos, que contribuam para atenuar o problema individual do cidadão que se relaciona com o cancro.

The decentralized social networking systems towards mobilizing actions of citizenship and solidarity against cancer

The goal of the present study is mapping the nature of possible contributions of participatory online platforms in citizen actions that may contribute in the fight against cancer and its associated consequences. These platforms are usually associated with entertainment: in that sense, we intent to test their validity in other domains such as health, as well as contribute to an expanded perception of their potential by their users. The research is based on the analysis of online solidarity networks, namely the ones residing on Facebook, Orkut and the blogosphere, that citizens have been gradually resorting to. The research is also based on the development of newer and more efficient solutions that provide the individual (directly or indirectly affected by issues of oncology) with the means to overcome feelings of impotence and fatality. In this article, we aim at summarizing the processes of usage of these decentralized, freer participatory platforms by citizens and institutions, while attempting to unravel existing hype and stigma; we also provide a first survey of the importance and the role of institutions in this kind of endeavor; lastly, we present a prototype, developed in the context of the present study, that is specifically dedicated to addressing oncology through social media. This prototype is already available online at www.talkingaboutcancer.org, however, still under development and testing. The main objective of this platform is to allow every citizen to freely build their network of contacts and information, according to their own individual and/ or collective needs and desires.

Animação Viral, Vanguarda Trash e o Capital Simbólico dos nossos Piores Defeitos: a Ideologia de Bruno Aleixo

"Bruno Aleixo" is a viral animation character, created by the Portuguese collective GANA, that surfaced online in 2008. Their animation works have meanwhile crossed onto the most diverse media, and have been branching out in multiple webs of narratives, constantly referring to each other, as well as constantly quoting disparate references such as film classics, chatrooms and TV ads for detergents. This paper attempts a triple analysis of this object of study: the ways in which technology has been fostering non-linear narratives while widening the available aesthetic spectrum, the ways in which processes of cultural consumerism are being reinvented in light of the web 2.0, and the use of "pseudo-nonsense" as a process of oblique cultural psychoanalysis. We will further attempt to demonstrate how new media and web networks have been contributing to a fragmentation of audiences, as well as a blurring between dominant cultures and sub-cultural phenomena; and we will end by positing that the structural principles behind the "Bruno Aleixo" series can be applied in social and cultural contexts situated at the opposite end of the spectrum of traditional expectations regarding Animation.

Economic Analysis of Occupational Risk Prevention in the Construction Sector

The construction sector has one of the worst occupational safety and health records in Europe. The costs of this scenario are very high, namely costs for workers and their families, costs to organizations, resulting from the absence of workers due to illness, insurance premiums, costs resulting from reduced productivity, cost of replacement and training of workers, etc., and costs to society, which in turn increases the costs of health systems. This paper presents and discusses the development of a methodology for economic evaluation in the context of risk management, which will allow senior management to support decision making. The possible application of this methodology to the construction sector is discussed.

Fiber average size and distribution dependence on the electrospinning parameters of poly(vinylidene fluoride trifluoroethylene)) membranes for biomedical applications

Poly(vinylidene fluoride-trifluoethylene) electrospun membranes were obtained from a blend of dimethylformamide (DMF) and methylethylketone (MEK) solvents. The inclusion of the MEK to the solvent system promotes a faster solvent evaporation allowing complete polymer crystallization during the jet travelling between the tip and the grounded collector. Several processing parameters were systematically changed to study their influence on fiber dimensions. Applied voltage and inner needle diameter do not have large influence on the electrospun fiber average diameter but in the fiber diameter distribution. On the other hand, the increase of the distance between the needle tip to collector results in fibers with larger average diameter. Independently on the processing conditions, all mats are produced in the electroactive phase of the polymer. Further, MC-3T3-E1cell adhesion was not inhibited by the fiber mats preparation, indicating their potential use for biomedical applications.

Local piezoelectric response of single poly(vinylidene fluoride) electrospun fibers

It is shown that electrospun poly(vynilidene fluoride) nanofibers are fully poled right after preparation and show b-phase contents of 70%, therefore being able to be implemented into electroactive devices without further processing steps. Further,the local piezoelectric properties of individual electrospun fibers have been studied by piezoresponse force microscopy. Piezoelectric response, polarization switching, and nanoscale patterning of the fibers have been demonstrated.

Osteoblast, fibroblast and in vivo biological response to poly(vinylidene fluoride) based composite materials

Electroactivematerials can be taken to advantage for the development of sensors and actuators as well as for novel tissue engineering strategies. Composites based on poly(vinylidenefluoride),PVDF,have been evaluated with respect to their biological response. Cell viability and proliferation were performed in vitro both with Mesenchymal Stem Cells differentiated to osteoblasts and Human Fibroblast Foreskin 1. In vivo tests were also performed using 6-week-old C57Bl/6 mice. It was concluded that zeolite and clay composites are biocompatible materials promoting cell response and not showing in vivo pro-inflammatory effects which renders both of them attractive for biological applications and tissue engineering, opening interesting perspectives to development of scaffolds from these composites. Ferrite and silver nanoparticle composites decrease osteoblast cell viability and carbon nanotubes decrease fibroblast viability. Further, carbon nanotube composites result in a significant increase in local vascularization accompanied an increase of inflammatory markers after implantation.