Companies' OHS internal structures: Types and theoretical foundations

An organization manages to regulate, standardize and optimize its operations in a way that places health and safety first by considering Health, Safety, Environment and Ergonomics (HSEE). In order to provide a theoretical foundation for Companies’ Occupational Health and Safety Internal Structures (COHSIS) allowing the focus on safety, COHSIS and its fundamentals were reviewed and described based on a brief literature review, which have included both papers published in journals, as well as works made available by selected organizations with mature safety culture. Three COHSIS were defined for description of its fundamentals, enabling improve the usability of its terminologies and provide the mentioned theoretical foundation.

Gamification e game-based learning: uma abordagem lúdica à aprendizagem

Relatório de estágio de mestrado em Ensino de Informática

Da gestão da informação à gestão do conhecimento: uma proposta para a e-Administração em Portugal

O trabalho proposto tem como objetivo apresentar um projeto de elaboração de um sistema de informação que visa gerir o desenvolvimento de uma ontologia promovida pelo organismo de coordenação da política arquivística para a classificação e avaliação da informação na Administração Central e Local, em Portugal. Entre os produtos propostos a partir do referido sistema, conta-se um website no qual é possível consultar toda a informação contida na ontologia, bem como descarregar versões da mesma, com níveis diferentes de semântica. A referida ontologia foi promovida pelo órgão coordenador da política arquivística portuguesa, e tem por base uma Lista consolidada (LC) de processos de processos de negócio da Administração Pública (AP). Esta lista de natureza incremental e colaborativa foi desenvolvida a partir da identificação de uma macroestrutura representativa das funções exercidas pela AP, a Macroestrutura Funcional (MEF). Concretizado este produto e colocado à disposição da comunidade, na página oficial da Direção-Geral do Livro, dos Arquivos e das Bibliotecas (DGLAB), importa potenciar a sua aplicabilidade. Neste sentido, encontra-se em curso um projeto que envolve os autores, em contexto universitário, orientado para o desenvolvimento de um vocabulário formal, um modelo de dados que represente este conjunto de conceitos referentes aos processos de negócio e aos relacionamentos entre eles. Pretende-se que esta ontologia possa vir a ser disponibilizada em listas ou diretórios de ontologias com mecanismos de pesquisa (bibliotecas de ontologias) de modo a incrementar a sua utilização na web semântica, para além da sua utilização como esquema de classificação em sistemas eletrónicos de gestão de arquivos (SEGA), businesse intelligence systems e sistemas de gestão do conhecimento. Com esta comunicação pretende-se dar a conhecer à comunidade de profissionais um projeto de aplicação transversal para todas as entidades públicas e para as empresas com interesse na área.

Da modelação matemática à simulação computacional: a experimentação matemática no ensino

Tese de Doutoramento em Ciências (área de especialização em Matemática).

Da modelação matemática à simulação computacional: a experimentação matemática no ensino

Tese de Doutoramento em Ciências (área de especialização em Matemática).

Inquérito sobre as bibliotecas dos Serviços de Documentação: relatório do questionário aplicado em 2014

Os dados que fundamentam este relatório encontram-se disponíveis em: http://hdl.handle.net/1822/39007

A comunicação do compromisso para com o desenvolvimento sustentável, das organizações portuguesas certificadas em qualidade, ambiente e segurança

Dissertação de mestrado em Engenharia Industrial (área de especialização em Qualidade, Segurança e Manutenção)

Sistema de Informação para gestão da produção e manutenção de ferramentas

Dissertação de mestrado em Engenharia de Sistemas

Sistema de apoio a rondas de segurança

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores

Criação de um sistema de apoio para o suporte avançado de vida

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Eletrónica Médica)

Interação multimodal de dispositivos robóticos em ambiente simulado

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Modelação de governo electrónico para países emergentes: O caso de São Tomé e Príncipe

Tese de Doutoramento em Tecnologias e Sistemas de Informação

ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data

We study the problem of privacy-preserving proofs on authenticated data, where a party receives data from a trusted source and is requested to prove computations over the data to third parties in a correct and private way, i.e., the third party learns no information on the data but is still assured that the claimed proof is valid. Our work particularly focuses on the challenging requirement that the third party should be able to verify the validity with respect to the specific data authenticated by the source — even without having access to that source. This problem is motivated by various scenarios emerging from several application areas such as wearable computing, smart metering, or general business-to-business interactions. Furthermore, these applications also demand any meaningful solution to satisfy additional properties related to usability and scalability. In this paper, we formalize the above three-party model, discuss concrete application scenarios, and then we design, build, and evaluate ADSNARK, a nearly practical system for proving arbitrary computations over authenticated data in a privacy-preserving manner. ADSNARK improves significantly over state-of-the-art solutions for this model. For instance, compared to corresponding solutions based on Pinocchio (Oakland’13), ADSNARK achieves up to 25× improvement in proof-computation time and a 20× reduction in prover storage space.

O perfil e as motivações do visitante gastronómico e do enoturista de Guimarães

Dissertação de mestrado em Geografia (área de especialização em Planeamento e Gestão do Território)

A comunicação online: a página Web como o BIO Empresarial: estratégias de comunicação visual e web design

Dissertação de mestrado em Ciências da Comunicação (área de especialização em Audiovisuais e Multimédia)