Repositório RCAAP

F-IDE 2019 is the fifth international workshop on Formal Integrated Development Environment, held on October 7, 2019 in Porto, Portugal, as part of the FM 2019 World Congress on Formal Methods. High levels of safety, security and also privacy standards require the use of formal methods to specify and develop compliant software (sub)systems. Any standard comes with an assessment process, which requires a complete documentation of the application in order to ease the justification of design choices and the review of code and proofs. Ideally, an F-IDE dedicated to such developments should comply with several requirements. The first one is to associate a logical theory with a programming language, in a way that facilitates the tightly coupled handling of specification properties and program constructs. The second is to offer a language/environment simple enough to be usable by most developers, even if they are not fully acquainted with higher-order logics or set theory, in particular by making development of proofs as easy as possible. The third is to offer automated management of application documentation. It may also be expected that developments done with such an F-IDE are reusable and modular. Tools for testing and static analysis may be embedded within F-IDEs to support the assessment process. The workshop is a forum of exchange on different features related to F-IDEs. We solicited several kinds of contributions: research papers providing new concepts and results, position papers and research perspectives, experience reports, tool presentations. The workshop was open to contributions on all aspects of a system development process, including specification, design, implementation, analysis and documentation. The current edition is a one-day workshop with eight communications, offering a large variety of approaches, techniques and tools. Each submission was reviewed by three reviewers. We also had the honor of welcoming Wolfgang Ahrendt, from Chalmers University of Technology, who gave a keynote entitled What is KeY's key to software verification?

Context-awareness is a prominently desired feature in computing systems. Smartphones, smart cards or tags, wearables, sensor nodes, and many other devices enable a system to compute context for different users and environment. With ever increasing advances in hardware for such devices, the interactions with users are increasing every day. This enables the collection of a large amount of data about users, systems, and physical environment. With such data available to be leveraged, context-awareness will soon become a necessity. Such type of data collection happens most frequently in sensing applications enabled by wireless sensor network (WSN) devices. This paper discusses the concept of context for sensing applications, specifically related to Cyber Physical Systems (CPS). The paper highlights key aspects of context and its definition. This paper proposes, to the best of the author's knowledge, the first programming approach to build context-aware applications for WSN-based CPS. This paper provides a proof of concept for a framework to detect, manage and deploy context-aware applications.

Entusiasmados com a compreensão da relevância do design na orientação espacial e com o desenho de um programa de comunicação pictográfico no contexto escolar, adotamos a Escola Secundária Augusto Gomes como caso de estudo para a realização desta investigação. Deste modo, propomos refletir sobre a forma como os sistemas Wayfinding podem contribuir para uma melhoria da experiência de orientação em edificios públicos. Focados na comunicação visual, tivemos a intenção de aprofundar conhecimentos em torno do desenho de pictogramas, metodologias projetuais e características específicas desta tipologia de objeto gráfico. Neste contexto, sentimos a necessidade de compreender o estado da arte e as aplicaçoes decorrentes dos vários suportes disponiveis na atualidade. No final, resulta deste processo um exercicio que procura dar respostas a estas problemáticas, assim como a valorização do espaço, a relação com a comunidade escolar e o dominar, confiadamente, esta disciplina do design de comunicaçao.

A revista Renovação (1925-1926) foi escolhida como tema de dissertação pela expressão grafica que as suas capas continham, assim como a decada em que existiu, sendo o seu estudo considerado como um contributo valido para a perceção do revivalismo das revistas literárias e a sua importância para a historia da ilustração portuguesa. A revista Renovação, chegou a ser um sucesso comercial, segundo as tiragens analisadas na época, possivelmente por abrir as suas paginas a ilustradores e escritores que não circulavam habitualmente no espaço anarquista. Para a formação de uma investigação sobre a temática anteriormente referida analisou-se, tanto a historia e cultura ilustrativa em Portugal na epoca moderna, como também se efetuou um estudo comparativo entre as diferentes revistas da decada, os seus autores e ilustradores. A publicação da revista Renovação e' essencial para o estudo da evolução da ilustração da epoca, contanto com a presença de personalidades nacionais relevantes do modernismo, como Stuart Carvalhais, Roberto Nobre ou Bernardo Marques. Esta revista destacou-se em relação a outras publicações, na importância atribuída ã dimensão estética e grafica, na autonomia que atribuiu aos ilustradores que desempenhavam o papel grafico de conceção da capa e também na irreverência dos seus artigos que defendiam os direitos de um povo e lutavam pela mudança de contexto politico da década. Esta investigação tem como objetivo a caracterização técnica, formal e estética das ilustraçoes das capas da revista Renovação, concebidas entre os anos de 1925 e 1926. Escolheu-se esta revista em especifico, pelo facto de estar restrita ã um período peculiar da historia portuguesa, entre a primeira república e o regime salazãrista que se seguiu. A Renovação, suplemento de um jornal anarquista, foi alvo de perseguição no seu único ano de existência, transmitindo assim um desejo de liberdade e luta perante os seus leitores, que podera ter tido algum impacto nã conceção das ilustrações da revista. No decorrer desta investigação pretendeu-se entender o grau de importância ilustrativa e conteudo vanguardista das capas da revista Renovação. Como resultado proclama-se a revista Renovação como uma publicação com relevância para o estudo do revivalismo do seculo XX, ou seja, um caso de estudo importante para a pertinência que a imprensa da decada de 20 teve na evolução tanto da ilustração como do design grafico.

A presente investigação possui como objeto de estudo o cartaz publicitário na obra gráfica de António Pedro Barros Cruz Caldas (1897–1975), caricaturista, ilustrador e publicitário portuense e materializa-se num projeto de caráter teórico-prático que sistematiza todo o processo e conhecimento decorrentes da mesma. Através da realização deste projeto de investigação pretende-se contribuir para complementar a História do Design com o reconhecimento deste autor multifacetado e da sua obra, em particular nos cartazes publicitários, de modo a preencher a ausência de informação acessível sobre os mesmos. O projeto de investigação fundamenta-se através da vida e obra do autor e pelo contexto histórico do cartaz, num panorama nacional e internacional focando os movimentos artísticos e autores que se destacaram nesta vertente. Enquadra-se o cartaz publicitário num contexto histórico de modo a observar as suas condicionantes temporais, política e sociais para perceber as circunstâncias que levaram à evolução gráfica. O estudo realizado surge ancorado por um conjunto de questões de investigação, às quais o projeto se propõe responder com o intuito de criar uma base sólida na construção da monografia. Que importância é atribuída à obra gráfica publicitária de António Cruz Caldas, e de que forma foi influente no panorama nacional, qual a pertinência da realização de um documento monográfico sobre o autor de modo a contextualizar a sua obra gráfica e qual o contributo deste para a História do Design Português. O objetivo principal deste projeto é a realização de um projeto prático, monografia biográfica, de modo a preservar e divulgar António Cruz Caldas, o estudo do cartaz publicitário e a sua evolução ao longo das décadas, assim como este autor foi adaptando o seu trabalho às diversas mudanças político-sociais do país através de uma análise comparativa do seu trabalho com os projetos dos seus contemporâneos através da criação de uma cronologia comparativa. Metodologicamente a investigação inicia-se através de recolha e análise de dados sobre o autor e o cartaz publicitário, revisão de literatura para colmatar as informações necessárias, verificar se nenhum documento preenche os requisitos a que este projeto se propõe, tratamento dos dados recolhidos e entrevistas a especialistas sobre o caso em estudo. No desenvolvimento do projeto prático, as metodologias centraram-se no campo específico do design editorial, desde a conceção à implementação final. Os resultados encontram-se disseminados na componente prática do projeto de investigação, dividida entre o presente documento e o projeto editorial que o acompanha, possibilitando a identificação de uma pluralidade de discursos estéticos, fruto de diversas influências nacionais e internacionais que se procuraram rastrear e apresentar. Os objetos editoriais apresentados, nos conteúdos e na forma adotada, pretendem contribuir para enaltecer o reconhecimento de António Cruz Caldas e da sua obra na vertente dos cartazes publicitários.

Porto, uma cidade Liberal? Quantos de nós já ouvimos esta expressão? Uma expressão fundada em mitos, conceções de uma historiografia cristalizada no tempo ou uma realidade? Nesta dissertação pretendemos levantar, analisar e verificar quem foram as personalidades, mais ou menos conhecidas que assumiram, de formas mais ou menos coerentes as suas posições pró-Absolutistas ou pró- Liberais na cidade do Porto entre 1818 e 1833. Este intervalo temporal refere-se à formação do Sinédrio e até ao fim do Cerco do Porto, finalizado em agosto de 1833, após o que o teatro de operações da Guerra Civil passa para o Sul de Portugal. Não focaremos apenas os seus líderes, mas também quem participou ativamente neste período conturbado da História da Cidade do Porto, configurando um Património e Memória que consubstancia de forma material e imaterial como igualmente tentaremos demonstrar. Ao longo da nossa investigação, tornou-se evidente que a nossa proposta de problemática desta dissertação teria razão de ser dada a riqueza dos dados, muitos deles que cremos inéditos e que nos motivou a ir o mais fundo possível nas questões que nos propusemos responder, anda que dentro das limitações de uma dissertação de mestrado. O que aqui fica será o ponto de partida para mais estudos, sejam em sede de produção científica, seja em futuros estudos pós-graduados. Esta dissertação assenta, como referido acima, com a formação do Sinédrio em 1818, relembra a Belfastada e as execuções de 7 de maio de 1829, terminando com o levantamento do Cerco do Porto em agosto de 1833. Num espaço de 15 anos iremos apresentar diferentes, diversas e variadas personalidades que se mantiveram fiéis à sua ideologia ou mudaram consoante as suas necessidades, conveniência ou carácter, para o que criamos o termo Situacionista, dado que reflete um posicionamento pessoal, mas que por vezes teve impactos nos que os rodeavam. Para tal foram levantadas questões estruturais e lacunares: Quem são estes apoiantes? Se sempre apoiaram o mesmo ideário político? De que maneira o apoiaram e como agiram? Que consequências trouxe este período da nossa História para estes homens? Com este estudo foi-nos possível estabelecer uma série de objetivos que nos propusemos atingir, não na intenção de desmitificar um Porto Liberal, mas que tinha uma diversidade política complexa em que as correntes ideológicas, tanto inspiradas no Romantismo Liberal, no conservadorismo político, social ou económico que poderia não alinhar em ideologias, no Miguelismo absoluto ou na fluidez das circunstâncias. A cidade do Porto não poderia ficar de fora ou alheia à situação nacional, tanto pela sua importância estratégica a todos os níveis, como pelo que, pese a diversidade política, sempre foi uma cidade que era e é ciosa das suas liberdades. Estas liberdades enquanto cidade e coletivo humano, não têm que necessariamente alinhar com diretivas ou imposições de agendas políticas. Poderíamos vi ter Portuenses Liberais ou Miguelistas, porque os houveram e os documentos assim o provam, mas tal não se confronta com o sentido de liberdade de comércio, de decisão, e todo o mais que caracterizava a Cidade do Porto desde há muito. De notar que em 2020 se iniciam múltiplas iniciativas que evocam o Bicentenário da Revolução (ou pronunciamento militar?) de 24 de Agosto de 1820, e que se estende em termos de propostas de estudos na História e no Património até ao início da Regeneração. Mas refira-se que este período foi multiplamente relembrado na Monarquia Constitucional e ainda na I República, esmorecendo na historiografia do Estado Novo. A História por vezes não se compadece com os vencidos e foi construída toda uma historiografia quase panegírica do lado Liberal, relegando o ideário Miguelista para um campo demonizado, ideologicamente fechado e no lado errado da História. Dentro desta reflexão, não tomando partidos, obrigação difícil, mas máxima do historiador ou do que para lá caminha, tentamos que esta dissertação tomasse este caminho. Trazer à luz os dois lados, pois o situacionismo apenas serve de ponte para os que para tal lhe convinha, como ainda hoje. Atrevemo-nos a dizer que nem todos os Liberais se pautavam pelas mesmas linhas ideológicas, bastando referir os que não se reviam no Duque de Bragança e o Miguelistas, em que muitos, apesar do seu conservadorismo, não aprovavam os métodos e comportamentos do regime do filho mais novo de Dona Carlota Joaquina. A temática abordada nesta dissertação foi fruto de dúvidas que levaram a questões e daí à problemática. Um pouco metaforicamente utilizamos a figura de Jano, o deus romano de duas caras. Estas duas caras simbolizam, neste contexto uma cidade do Porto que talvez não fosse tão Liberal quanto a historiografia do século XIX e XX nos queira transmitir. Qual a real dimensão do partido Liberal na cidade e qual a influência dos valores conservadores e Absolutistas nas várias camadas sociais, desde as elites ao povo das ruas? Se existiu uma guerra, foi necessário existir dois lados, portanto, quem são estes? Quem são os “atores” deste episódio da História de Portugal?

A presente investigação, de cariz qualitativo, apresenta-se como um estudo de caso, procurando adquirir e contemplar conhecimentos acerca da vertente social das Necessidades Adicionais de Suporte (NAS) tendo como objetivo primordial analisar esta realidade no contexto de um aluno com síndrome de Down e surdez associada, que se encontra institucionalizado e estuda numa Escola de Referência para o Ensino e Educação Bilingue. Para a recolha de dados, foram realizadas entrevistas estruturadas aos profissionais que trabalham com o aluno no seu quotidiano escolar. Os resultados obtidos e apresentados nesta dissertação demonstram o trabalho adequado que os profissionais desempenham com o aluno e como os mesmos estão refletidos mediante as suas perceções sobre crianças institucionalizadas. Os resultados demonstram também que a escola bem como a instituição em que o jovem vive trabalham em parceria de forma a potencializar ao máximo as capacidades cognitivas que o jovem apresenta e têm como objetivo principal prepará-lo o melhor possível para a vida adulta que o espera.

Atualmente, a iluminação pública é essencial numa cidade, sendo importante para assegurar a segurança e conforto dos cidadãos (motoristas ou pedestres) nos períodos noturnos. Isso implica a existência de uma grande rede de iluminação artificial e consequentemente um elevado consumo de energia, sendo a iluminação pública responsável por cerca de 3% do consumo total de energia em Portugal. Um dos problemas da maioria dos sistemas de iluminação pública existentes ´e o uso de tecnologia antiquada, sendo uma solução a implementação de tecnologias e sistemas de iluminação mais modernos e mais eficientes. É necessário encontrar e desenvolver soluções que permitam tornar as infraestruturas de iluminação pública mais eficientes, este trabalho propõe o estudo e revisão de soluções e abordagens praticadas atualmente, propondo assim uma abordagem que permite obter uma maior eficiência na iluminação e, consequentemente, uma diminuição dos custos. A solução desenvolvida ao longo desta dissertação tem em consideração as características operacionais de cada luminária, permitindo a deteção de falhas na operação das mesmas (manutenção preventiva) e o controlo e otimização do fluxo luminoso através de um sensor de luminosidade. Neste trabalho foram utilizados dados reais de uma rede de iluminação pública, provenientes de luminárias equipadas com tecnologia LED.

Durante o período de vindimas os produtores de uvas enfrentam longos peíodos de espera para realizar a descarga das suas uvas nas empresas produtoras de vinhos. Estes tempos de espera têm um impacto negativo na qualidade dos vinhos. O objetivo deste projeto consiste em estudar e utilizar algoritmos de otimização para resolver este problema. Neste sentido, foi desenvolvido um Algoritmo Genético, que através de um conjunto de inputs iniciais, encontrar a melhor solução para a otimização do escalonamento dos camiões dos produtores, assim como otimizar o processamento das uvas. Após o Algoritmo Genético obter a solução mais apta para um certo cenário, os colaboradores responsáveis pela receção dos camiões de uvas poderão então visualizar informações sobre a mesma através de dashboards criados no Kibana e que permitem verificar várias informações, tais como: as ações que cada entidade (camiões, tegões e prensas) deve efetuar e quando, a quantidade de uvas de cada entidade ao longo do tempo e tempos médias de espera por tipo de uva. Com os resultados obtidos e com a ajuda das visualizações gráficas dos mesmos, haverá um melhor uso da capacidade de produção disponível, otimização do espaço utilizado durante todo o processo e diminuição do tempo de espera dos produtores, evitando assim, a perda de qualidade dos vinhos.

In competitive electricity markets with deep concerns for the efficiency level, demand response programs gain considerable significance. As demand response levels have decreased after the introduction of competition in the power industry, new approaches are required to take full advantage of demand response opportunities. This paper presents DemSi, a demand response simulator that allows studying demand response actions and schemes in distribution networks. It undertakes the technical validation of the solution using realistic network simulation based on PSCAD. The use of DemSi by a retailer in a situation of energy shortage, is presented. Load reduction is obtained using a consumer based price elasticity approach supported by real time pricing. Non-linear programming is used to maximize the retailer’s profit, determining the optimal solution for each envisaged load reduction. The solution determines the price variations considering two different approaches, price variations determined for each individual consumer or for each consumer type, allowing to prove that the approach used does not significantly influence the retailer’s profit. The paper presents a case study in a 33 bus distribution network with 5 distinct consumer types. The obtained results and conclusions show the adequacy of the used methodology and its importance for supporting retailers’ decision making.

A gestão pública é apresentada com um novo olhar pelos conceitos da literatura, atualmente, alicerçada na gestão, no planejamento estratégico, na inovação e na inteligência organizacional, bem como na busca pela excelência na prestação de serviços com foco no cidadão (Castro & Castro, 2014). Neste contexto, surge a necessidade de implementar sistemas de gestão do desempenho, abrangendo toda a organização, com o objetivo de manter o alinhamento estratégico, contribuindo para o êxito dos objetivos da organização. A presente pesquisa utilizou o instrumento proposto por Ferreira e Otley (2009), com objetivo geral de analisar o sistema de medição do desempenho organizacional da instituição de ensino federal denominada Instituto Federal de Educação, Ciência e Tecnologia de Mato Grosso do Sul- IFMS. O método utilizado foi o estudo de caso, de natureza descritiva e a coleta de dados foi realizada através de entrevistas gravadas de questões semi-estruturadas. Sendo assim, através da pesquisa, identificou-se que a organização dispõe de um sistema de avaliação de desempenho individual, focado mais na ascensão funcional do servidor não havendo a real medição de desempenho organizacional baseada nos objetivos e atingimento de metas. Por outro lado, observamos também que, quanto ao mecanismo de avaliação de desempenho organizacional, este é indepedente do sistema de avaliação de desempenho individual, não havendo correlação. Quando comparamos o sistema de avaliação existente com as etapas propostas por Chiavenato (2008), expressamos a necessidade de implementação de um sistema de avaliação do desempenho organizacional contemplando todos os níveis da organização, alinhados aos objetivos e metas estratégicas. Por fim, os resultados podem contribuir para que os gestores reconheçam e implementem um modelo de sistema de avaliação e gestão do desempenho que vise incluir as metas institucionais e individuais, admitindo a aferição dos resultados estabelecidos com os objetivos estratégicos da organização.

A elaboração deste projeto pretende descrever os objetivos e procedimentos exigidos na concretização da atividade de auditoria financeira, tendo como âmbito o esclarecimento e abordagem de todos os aspetos essenciais para o desenvolvimento do trabalho de um auditor externo. Numa primeira abordagem será realizado uma contextualização deste relatório com o panorama teórico que rege em Portugal, os aspetos principais como, o planeamento, materialidade, risco de auditoria, e a sua finalidade, Certificação Legal de Contas. Enquadramento importante para o desenrolar das atividades desenvolvidas na auditoria financeira. Pretende-se revelar e descrever os serviços prestados na empresa acolhedora, os procedimentos envolvidos na confirmação de contas, apresentando os trabalhos realizados na sede da entidade, assim como a identificação dos vários procedimentos para validar todas as rúbricas das demonstrações financeiras. Finalizando com as apreciações globais deste estágio.

O presente relatório de estágio foca-se na experiência desenvolvida no Consulado Honorário de Itália no Porto. Antes de apresentar as funções realizadas durante o mencionado estágio, os tópicos apresentados no segundo capítulo têm uma função de contextualização e abordam, nomeadamente, os temas da identidade e da cultura nacional, com foco particular na identidade transnacional e nas pessoas de nacionalidades mistas. De seguida, são apresentadas as relações entre Portugal e Itália de um ponto de vista geral, histórico e diplomático. Posteriormente, é ilustrado o funcionamento da rede diplomática italiana em Portugal, partindo da organização geral do Ministério dos Negócios Estrangeiros italiano até chegar ao específico caso da Embaixada de Itália em Lisboa e do Consulado Honorário de Itália no Porto, com relativas informações e mudanças históricas e funcionais. Após a prévia contextualização, no capítulo três são apresentadas as funções e as tarefas práticas realizadas durante o estágio, inclusive um trabalho paralelo realizado na mesma instituição relacionado aos tópicos de cultura e de identidade. Por fim, no capítulo quatro são reportadas as ligações que juntam o conhecimento adquirido durante o Mestrado em Estudos Interculturais para Negócios e durante o estágio.

As Tecnologias da Informação e Comunicação, ao proporcionar o acesso fácil e sem custos à informação, têm assumido um papel fundamental na divulgação da informação económicofinanceira e nas práticas de prestação de contas na Administração Pública, promovendo uma cultura de accountability nas organizações públicas Portuguesas. Este estudo tem como objetivo geral analisar e avaliar as práticas de divulgação de informação económico-financeira das autarquias locais através do website de cada município. Tendo em conta o objetivo geral, procedemos à elaboração de um estudo descritivo e exploratório sobre a informação divulgada nos websites e respetiva usabilidade, com recurso à técnica de análise de conteúdo e à ferramenta automática – Woorank. A amostra é constituída por 93 municípios da NUT III, selecionados por critérios de representatividade. Face aos resultados obtidos, verificou-se que ainda existem alguns websites que não divulgam alguns dos itens de divulgação obrigatória. Não se verificando em nenhum dos itens uma pontuação de 100%. Relativamente à informação de caráter facultativo, concluímos que a maioria das autarquias disponibiliza essa informação. Quanto às características dos websites verificamos que o tempo de carregamento das páginas é um ponto a ter em consideração para uma melhor qualidade de pesquisa para o utilizador. Este estudo é inovador na medida em que utilizamos uma ferramenta automática para carcterizar a usabilidade dos sitios web dos municípios analisados.

Os incentivos fiscais assumem um papel importante na tomada de decisão de investimento. A sua atribuição permite que esses investimentos se traduzam numa redução ao pagamento de imposto sobre o rendimento empresarial. É unânime a importância do investimento num país, só assim é possível potenciar o seu desenvolvimento económico e social. Dessa forma, a atribuição de incentivos fiscais ao investimento são uma estratégia económica em que, através da fiscalidade, se procura melhorar a competitividade de um país. Neste trabalho foi efetuada uma análise ao sistema fiscal e sistema de incentivos fiscais previstos em três países da União Europeia: Portugal, Espanha e Irlanda. Com base nesta análise, foram realizados quatro casos de estudo baseados nos incentivos fiscais previstos no Código Fiscal ao Investimento Português. Nestas análises, foram apuradas as taxas efetivas de imposto do três países. O principal objetivo é analisar a competitividade dos incentivos fiscais portugueses em comparação com os restantes países em estudo. Por outro lado, no final, foi feita uma breve análise aos montantes de Investimento Direto Estrangeiro dos três países. Esta análise teve como finalidade perceber se o país que apresenta melhores taxas efetivas de imposto consegue a maior atração de IDE. Assim, os resultados demonstram que Portugal apresenta um regime de incentivos fiscais competitivo, no entanto, essa competitividade não se traduz na atração de IDE.

Objetivo – Investigar a influência que as mensagens tabágicas, presentes nas redes sociais digitais, têm perante as atitudes e intenções de fumar de estudantes do ensino superior português. Metodologia – Estudo empírico de corte transversal com uma amostra de estudantes, onde foi utilizada uma pesquisa descritiva de natureza quantitativa confirmatória, a partir da identificação de um modelo teórico, suportado pela revisão da literatura sobre o tema, suscetível de estudar relações entre variáveis latentes. A recolha de dados foi efetuada através de inquérito por questionário online, obtendo-se uma amostra de 405 respostas válidas. As hipóteses foram testadas por um modelo de equações estruturais. Resultados – Foram comprovadas cerca de metade das hipóteses propostas, sendo garantido o sentido de associaçao inicial de todas. Foram obtidas diferentes capacidades preditivas das variáveis independentes e interessantes níveis correlacionais. Foi assegurada a validade convergente das escalas de medida, mas, não a divergente de uma delas, apesar de adequada qualidade psicométrica geral. Limitações/implicações – Os resultados carecem ser examinados com todo o cuidado face à utilização de uma amostra não probabilística. A inexistência de trabalhos similares, no setor em análise português, gerou algumas limitações na discussão de resultados. Em termos de implicações teóricas destacamos que a gestão de redes sociais digitais é determinante para alterar atitudes, intenções e comportamentos tabágicos. As implicações práticas permitem indicar claras recomendações para os gestores de saúde pública, sobre o tabagismo entre os estudantes. Em concreto, (o uso de) diversos tipos de redes sociais digitais podem conduzir a diferentes atitudes e intenções tabágicas. Originalidade/valor – O estudo com estudantes, à data, foi o primeiro realizado em Portugal, onde se investigou um modelo teórico sobre a influência das redes sociais digitais nas atitudes tabágicas e intenções de fumar.

Este trabalho é parte de um projeto investigação-ação composto por três fases, onde o objetivo final é a criação de um modelo de blockchain que suporte smart-contracts capazes de gerir a troca de serviços de imagiologia no sistema nacional de saúde português. A primeira fase consiste na revisão da literatura sobre blockchain e no método de custeio baseado em atividade e tempo (TDABC), de forma a identificar as atuais áreas de investigação e viabilidade do modelo de custo. A segunda fase consiste na criação de um modelo de preços de transferência após análise dos custos com base no método TDABC. A terceira fase consiste na criação de um modelo de blockchain, onde o smart-contract irá operar na gestão de serviços de imagiologia dentro do sistema de saúde nacional português. O primeiro grande objetivo deste trabalho é em perceber em que áreas de negócio pode a tecnologia de blockchain ter impacto, bem como vantagens e limitações. O segundo grande objetivo é descobrir o potencial do TDABC como metodologia de custeio nos serviços de saúde. Durante esta primeira fase do projeto concluímos que a tecnologia blockchain tem potencial para ser usada, entre outros, no setor de saúde. Fomos também capazes de identificar vantagens e desvantagens bem como limitações que têm de ser resolvidas. A revisão da literatura sobre o TDABC permite-nos concluir que a metodologia tem potencial para superar metodologias convencionais de cálculos de custo no sistema de saúde bem como na identificação e mapeamento dos processos.

O estudo da história da interpretação é uma área que permite ainda muita pesquisa e que deve estar associado ao estudo da história como um todo. Pretende-se dar uma visão do trabalho dos intérpretes no Portugal do séc. XVI interligada com a história do país nesse século. Depois de uma análise mais genérica do trabalho dos intérpretes portugueses no séc. XVI, focar-nos-emos sobre os intérpretes no Brasil durante os primeiros anos da sua colonização. A interpretação no Brasil teve precedência sobre a tradução, e o conhecimento das línguas autóctones foi de grande importância para os portugueses de então, sendo por isso um caso interessante de analisar. Os Jesuítas são uma importante fonte para nos dar a conhecer os primeiros intérpretes no Brasil, quer pelas suas cartas e literatura que nos deixaram muitos registos, quer por terem formado o seu próprio colégio de intérpretes. A influência que estes tiveram sobre as línguas nativas, a criação da língua geral e a passagem de uma língua originalmente ágrafa a uma língua escrita são igualmente temas de análise neste trabalho. A revisão bibliográfica permitiu encontrar relatos de e sobre vários intérpretes, bem como estudos que analisam a influência exercida pelos Jesuítas na língua tupi que, para além de evangelizadores, e por força da sua missão, eram intérpretes.

Com o avanço da tecnologia, os dispositivos móveis de ecrã tátil tornaram-se uma das principais interfaces de interação entre humanos e tecnologia. A sua utilização abrange todos os estratos da sociedade, o que faz com que os ecrãs táteis sejam um instrumento relevante para estudar os mecanismos que influenciam a nossa forma de interagir com dispositivos móveis. Esta interação associada à utilização massiva destes dispositivos, permite a recolha de uma grande variedade de dados de interação dos utilizadores. Esta dissertação apresenta uma abordagem para formalizar padrões de interação baseados em dados biométricos comportamentais, que são recolhidos através dos ecrãs táteis, e permitem estudar diferentes fatores humanos. São apresentados dois casos de estudo em que esta abordagem foi aplicada, demonstrando a sua elevada versatilidade. O primeiro caso de estudo está relacionado com a estimulação da memória e como a idade e género influenciam a forma de interagir com dispositivos móveis. Este estudo é relevante na medida em que pode permitir o desenvolvimento de aplicações móveis que se adaptam aos utilizadores e às suas características. O segundo caso de estudo está relacionado com a autenticação contínua, sendo propostas duas abordagens diferentes para criar um sistema de autenticação que valida a identidade do utilizador. Este sistema irá permitir aumentar a segurança e a eficácia da autenticação, através da garantia de que as aplicações do smartphone só são acedidas por quem tem autorização para tal.

The main purpose of this paper is to propose a Multi-Agent Autonomic and Bio-Inspired based framework with selfmanaging capabilities to solve complex scheduling problems using cooperative negotiation. Scheduling resolution requires the intervention of highly skilled human problem-solvers. This is a very hard and challenging domain because current systems are becoming more and more complex, distributed, interconnected and subject to rapidly changing. A natural Autonomic Computing (AC) evolution in relation to Current Computing is to provide systems with Self-Managing ability with a minimum human interference.