A preliminary idea for an 8-competitive, log2 DMAX + log2 log2 1/U asymptotic-space, interface generation algorithm for two-level hierarchical scheduling of constrained-deadline sporadic tasks on a uniprocessor

Consider a single processor and a software system. The software system comprises components and interfaces where each component has an associated interface and each component comprises a set of constrained-deadline sporadic tasks. A scheduling algorithm (called global scheduler) determines at each instant which component is active. The active component uses another scheduling algorithm (called local scheduler) to determine which task is selected for execution on the processor. The interface of a component makes certain information about a component visible to other components; the interfaces of all components are used for schedulability analysis. We address the problem of generating an interface for a component based on the tasks inside the component. We desire to (i) incur only a small loss in schedulability analysis due to the interface and (ii) ensure that the amount of space (counted in bits) of the interface is small; this is because such an interface hides as much details of the component as possible. We present an algorithm for generating such an interface.

Pictorial health warnings on cigarette packs and the impact on women

OBJECTIVE : To analyze the association between the pictorial graphic health warnings on cigarette packs and their impact on intention to quit smoking among women. METHODS : Population-based cross-sectional study among 265 women daily smokers in the State of Paraná in 2010. The sample size was calculated using cluster sampling. Participants were asked whether they had seen any pictorial graphic health warnings in the past 30 days, whether these warnings made them think about quitting, and intensity of these thoughts. The data was analyzed using logistic regression and the independent variables included age, educational attainment, whether they had children, whether they had attempted to quit smoking in the past 12 months, age of smoking initiation, number of cigarettes smoked per day, their town of residence, and how soon after waking do they smoke their first cigarette. RESULTS : Participants (91.7%) reported seeing the pictorial graphic health warnings in the past 30 days. Women with elementary education or below and women with some/complete high school education were more likely to think about quitting smoking after seeing the pictorial graphic health warningsthan women with higher education (OR = 4.85; p = 0.0028 and OR = 2.91; p = 0.05), respectively). Women who attempted to quit smoking in the past 12 months were more likely to think about quitting than women who had not (OR = 2.49; p = 0.001). Quit attempts within the last 12 months were associated with intensity of these thoughts (OR = 2.2; p = 0.03). CONCLUSIONS : Results show an association between pictorial graphic health warnings and intent to quit smoking among women with warnings having a greater impact among women with less education and who had attempted to quit smoking within the past year. Tobacco control strategies should be implemented across all groups of women regardless of their educational attainment.

Contributos do otimismo para a empregabilidade: boas práticas de acolhimento e integração

Foi no âmbito da realização da investigação, que tem como propósito geral contribuir para o conhecimento na área de Recursos Humanos, que efetuamos este estudo definindo como tema os contributos do Otimismo e Adaptabilidade para a Empregabilidade. Tem como objetos de estudo as práticas de Acolhimento & Integração das Pessoas no Grupo Valpi e de que forma o otimismo, reforça e se correlaciona com esse processo. Adicionalmente, procura avaliar o nível de empregabilidade dos seus colaboradores na sua dimensão da adaptabilidade pessoal, especialmente o papel do otimismo, tendo como base o modelo de Fugate, Kinicki e Ashforth (2004). A metodologia de investigação seguiu uma abordagem metodológica mista, por inquérito de pesquisa quantitativa e qualitativa, com recurso à utilização de instrumentos de recolha de dados, respetivamente, por questionário e por entrevista, utilizando a técnica de grupo de discussão focalizada. O questionário de escala de resposta do tipo Likert já existente, suportando o modelo de investigação proposto e as variáveis em estudo, foi aplicado a uma amostra intencional da população, por conveniência e aleatória. Foram inquiridos cem participantes por questionário e participaram cinco elementos no grupo de discussão focalizada, tendo sido neste caso escolhido uma amostra por conveniência e não aleatória, com interlocutores privilegiados da empresa. Os dados deste estudo permitem-nos concluir que o otimismo é uma variável relevante quer do ponto de vista da organização, quer do ponto de vista do individuo.

Atuação do fisioterapeuta dermatofuncional e seu reconhecimento pelos profissionais de saúde da região de Lisboa

Mestrado em Fisioterapia

Integrating the theme approach with aspectual scenarios

Dissertação de Mestrado em Engenharia Informática

Type System for the ComponentJ Programming Language

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Informática.

Hospitalization flow in the public and private systems in the state of Sao Paulo, Brazil

OBJECTIVE To describe the migration flows of demand for public and private hospital care among the health regions of the state of Sao Paulo, Brazil. METHODS Study based on a database of hospitalizations in the public and private systems of the state of Sao Paulo, Southeastern Brazil, in 2006. We analyzed data from 17 health regions of the state, considering people hospitalized in their own health region and those who migrated outwards (emigration) or came from other regions (immigration). The index of migration effectiveness of patients from both systems was estimated. The coverage (hospitalization coefficient) was analyzed in relation to the number of inpatient beds per population and the indexes of migration effectiveness. RESULTS The index of migration effectiveness applied to the hospital care demand flow allowed characterizing health regions with flow balance, with high emigration of public and private patients, and with high attraction of public and private patients. CONCLUSIONS There are differences in hospital care access and opportunities among health regions in the state of Sao Paulo, Brazil.

Sistema de detecção e localização de veículos subaquáticos

Mestrado em Engenharia Electrotécnica e de Computadores.Área de Especialização de Sistemas Autónomos

From e-learning systems to specialised e-learning services

Learning systems are evolving from component based and centralized architectures towards service oriented and decentralized architectures. The standardization of e-learning content and interoperability is a powerful force in this evolution. In this chapter we put in perspective the evolution of e-learning systems and standards, and argue that specialized services will play an important role in future learning systems, especially in those targeted for competitive learning.

Beliefs and Conflicts in a Real World Multi-Agent System

In a real world multiagent system, where the agents are faced with partial, incomplete and intrinsically dynamic knowledge, conflicts are inevitable. Frequently, different agents have goals or beliefs that cannot hold simultaneously. Conflict resolution methodologies have to be adopted to overcome such undesirable occurrences. In this paper we investigate the application of distributed belief revision techniques as the support for conflict resolution in the analysis of the validity of the candidate beams to be produced in the CERN particle accelerators. This CERN multiagent system contains a higher hierarchy agent, the Specialist agent, which makes use of meta-knowledge (on how the con- flicting beliefs have been produced by the other agents) in order to detect which beliefs should be abandoned. Upon solving a conflict, the Specialist instructs the involved agents to revise their beliefs accordingly. Conflicts in the problem domain are mapped into conflicting beliefs of the distributed belief revision system, where they can be handled by proven formal methods. This technique builds on well established concepts and combines them in a new way to solve important problems. We find this approach generally applicable in several domains.

N’A Barraca com Maria do Céu Guerra em Dona Maria, a louca, de António Cunha: relatório de estágio

Relatório de Estágio submetido à Escola Superior de Teatro e Cinema para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teatro - especialização em Artes Performativas - Interpretação.

Classificação automática de textos baseada em ontologias

Dissertação de Mestrado em Engenharia Informática

Desenvolvimento de um Controlador de Boundary Scan (Ieee 1149.1)

Mestrado em Engenharia Electrotécnica e de Computadores - Área de Especialização em Automação e Sistemas

Marketing for future: Eddmi – Pass Platform

In a highly competitive market companies know that having quality products or provide good services is not enough to keep customers "faithful". Currently, quality of products/services, location and price are fundamental aspects customers expect to get on every purchase, so they look for ways to distinguish companies. This can happen either in a strictly materialistic way or by evaluation of intangible metrics such as having his opinion appreciated or being part of a selected group of "premium" customers. Therefore, companies must find ways to value and reward its customers in order to keep them "faithful" to their products or services. Loyalty systems are one means to achieve this goal, however, due to its nature and how they are implemented, often companies end up having low acceptance, without achieving intended objectives. In an era of technological revolution, where global average adoption of smartphones and tablets is 74% and 40% [Our Mobile Planet, 2014], the opportunity to reinvent loyalty systems reappears. Throughout this thesis a new tool, relying on the latest technologies and aiming to fulfill this market opportunity, will be presented. The main idea is to use ancient loyalty concepts, such as stamps or pointscards, and transforms them into digital cards, to be used in digital wallets, introducing an innovative technology component based on Apple's Passbook technology. The main goal is to create a platform for managing the card’s life cycle, allowing anyone to create, edit, distribute and analyze the data, and also create a new communication channel with customers, improving the customer-­‐supplier relationship and enhancing the mobile-­‐marketing.

Reformulação de um Sistema de Gestão de Consumos de Energia

Atualmente a energia é considerada um vetor estratégico nas diversas organizações. Assim sendo, a gestão e a utilização racional da energia são consideradas instrumentos fundamentais para a redução dos consumos associados aos processos de produção do sector industrial. As ações de gestão energética não deverão ficar pela fase do projeto das instalações e dos meios de produção, mas sim acompanhar a atividade da Empresa. A gestão da energia deve ser sustentada com base na realização regular de diagnósticos energéticos às instalações consumidoras e concretizada através de planos de atuação e de investimento que apresentem como principal objetivo a promoção da eficiência energética, conduzindo assim à redução dos respetivos consumos e, consequentemente, à redução da fatura energética. Neste contexto, a utilização de ferramentas de apoio à gestão de energia promovem um consumo energético mais racional, ou seja, promovem a eficiência energética e é neste sentido que se insere este trabalho. O presente trabalho foi desenvolvido na Empresa RAR Açúcar e apresentou como principais objetivos: a reformulação do Sistema de Gestão de Consumos de Energia da Empresa, a criação de um modelo quantitativo que permitisse ao Gestor de Energia prever os consumos anuais de água, fuelóleo e eletricidade da Refinaria e a elaboração de um plano de consumos para o ano de 2014 a partir do modelo criado. A reformulação do respetivo Sistema de Gestão de Consumos resultou de um conjunto de etapas. Numa primeira fase foi necessário efetuar uma caraterização e uma análise do atual Sistema de Gestão de Consumos da Empresa, sistema composto por um conjunto de sete ficheiros de cálculo do programa Microsoft Excel©. Terminada a análise, selecionada a informação pertinente e propostas todas as melhorias a introduzir nos ficheiros, procedeu-se à reformulação do respetivo SGE, reduzindo-se o conjunto de ficheiros de cálculo para apenas dois ficheiros, um onde serão efetuados e visualizados todos os registos e outro onde serão realizados os cálculos necessários para o controlo energético da Empresa. O novo Sistema de Gestão de Consumos de Energia será implementado no início do ano de 2015. Relativamente às alterações propostas para as folhas de registos manuais, estas já foram implementadas pela Empresa. Esta aplicação prática mostrou-se bastante eficiente uma vez que permitiu grandes melhorias processuais nomeadamente, menores tempos de preenchimento das mesmas e um encurtamento das rotas efetuadas diariamente pelos operadores. Através do levantamento efetuado aos diversos contadores foi possível identificar todas as áreas onde será necessário a sua instalação e a substituição de todos os contadores avariados, permitindo deste modo uma contabilização mais precisa de todos os consumos da Empresa. Com esta reestruturação o Sistema de Gestão de Consumos tornou-se mais dinâmico, mais claro e, principalmente, mais eficiente. Para a criação do modelo de previsão de consumos da Empresa foi necessário efetuar-se um levantamento dos consumos históricos de água, eletricidade, fuelóleo e produção de açúcar de dois anos. Após este levantamento determinaram-se os consumos específicos de água, fuelóleo e eletricidade diários (para cada semana dos dois anos) e procedeu-se à caracterização destes consumos por tipo de dia. Efetuada a caracterização definiu-se para cada tipo de dia um consumo específico médio com base nos dois anos. O modelo de previsão de consumos foi criado com base nos consumos específicos médios dos dois anos correspondentes a cada tipo de dia. Procedeu-se por fim à verificação do modelo, comparando-se os consumos obtidos através do modelo (consumos previstos) com os consumos reais de cada ano. Para o ano de 2012 o modelo apresenta um desvio de 6% na previsão da água, 12% na previsão da eletricidade e de 6% na previsão do fuelóleo. Em relação ao ano de 2013, o modelo apresenta um erro de 1% para a previsão dos consumos de água, 8% para o fuelóleo e de 1% para a eletricidade. Este modelo permitirá efetuar contratos de aquisição de energia elétrica com maior rigor o que conduzirá a vantagens na sua negociação e consequentemente numa redução dos custos resultantes da aquisição da mesma. Permitirá também uma adequação dos fluxos de tesouraria à necessidade reais da Empresa, resultante de um modelo de previsão mais rigoroso e que se traduz numa mais-valia financeira para a mesma. Foi também proposto a elaboração de um plano de consumos para o ano de 2014 a partir do modelo criado em função da produção prevista para esse mesmo ano. O modelo apresenta um desvio de 24% na previsão da água, 0% na previsão da eletricidade e de 28% na previsão do fuelóleo.