992 resultados para proofofknowledge concurrent zero knowledge
Resumo:
Face à estagnação da tecnologia uniprocessador registada na passada década, aos principais fabricantes de microprocessadores encontraram na tecnologia multi-core a resposta `as crescentes necessidades de processamento do mercado. Durante anos, os desenvolvedores de software viram as suas aplicações acompanhar os ganhos de performance conferidos por cada nova geração de processadores sequenciais, mas `a medida que a capacidade de processamento escala em função do número de processadores, a computação sequencial tem de ser decomposta em várias partes concorrentes que possam executar em paralelo, para que possam utilizar as unidades de processamento adicionais e completar mais rapidamente. A programação paralela implica um paradigma completamente distinto da programação sequencial. Ao contrário dos computadores sequenciais tipificados no modelo de Von Neumann, a heterogeneidade de arquiteturas paralelas requer modelos de programação paralela que abstraiam os programadores dos detalhes da arquitectura e simplifiquem o desenvolvimento de aplicações concorrentes. Os modelos de programação paralela mais populares incitam os programadores a identificar instruções concorrentes na sua lógica de programação, e a especificá-las sob a forma de tarefas que possam ser atribuídas a processadores distintos para executarem em simultâneo. Estas tarefas são tipicamente lançadas durante a execução, e atribuídas aos processadores pelo motor de execução subjacente. Como os requisitos de processamento costumam ser variáveis, e não são conhecidos a priori, o mapeamento de tarefas para processadores tem de ser determinado dinamicamente, em resposta a alterações imprevisíveis dos requisitos de execução. `A medida que o volume da computação cresce, torna-se cada vez menos viável garantir as suas restrições temporais em plataformas uniprocessador. Enquanto os sistemas de tempo real se começam a adaptar ao paradigma de computação paralela, há uma crescente aposta em integrar execuções de tempo real com aplicações interativas no mesmo hardware, num mundo em que a tecnologia se torna cada vez mais pequena, leve, ubíqua, e portável. Esta integração requer soluções de escalonamento que simultaneamente garantam os requisitos temporais das tarefas de tempo real e mantenham um nível aceitável de QoS para as restantes execuções. Para tal, torna-se imperativo que as aplicações de tempo real paralelizem, de forma a minimizar os seus tempos de resposta e maximizar a utilização dos recursos de processamento. Isto introduz uma nova dimensão ao problema do escalonamento, que tem de responder de forma correcta a novos requisitos de execução imprevisíveis e rapidamente conjeturar o mapeamento de tarefas que melhor beneficie os critérios de performance do sistema. A técnica de escalonamento baseado em servidores permite reservar uma fração da capacidade de processamento para a execução de tarefas de tempo real, e assegurar que os efeitos de latência na sua execução não afectam as reservas estipuladas para outras execuções. No caso de tarefas escalonadas pelo tempo de execução máximo, ou tarefas com tempos de execução variáveis, torna-se provável que a largura de banda estipulada não seja consumida por completo. Para melhorar a utilização do sistema, os algoritmos de partilha de largura de banda (capacity-sharing) doam a capacidade não utilizada para a execução de outras tarefas, mantendo as garantias de isolamento entre servidores. Com eficiência comprovada em termos de espaço, tempo, e comunicação, o mecanismo de work-stealing tem vindo a ganhar popularidade como metodologia para o escalonamento de tarefas com paralelismo dinâmico e irregular. O algoritmo p-CSWS combina escalonamento baseado em servidores com capacity-sharing e work-stealing para cobrir as necessidades de escalonamento dos sistemas abertos de tempo real. Enquanto o escalonamento em servidores permite partilhar os recursos de processamento sem interferências a nível dos atrasos, uma nova política de work-stealing que opera sobre o mecanismo de capacity-sharing aplica uma exploração de paralelismo que melhora os tempos de resposta das aplicações e melhora a utilização do sistema. Esta tese propõe uma implementação do algoritmo p-CSWS para o Linux. Em concordância com a estrutura modular do escalonador do Linux, ´e definida uma nova classe de escalonamento que visa avaliar a aplicabilidade da heurística p-CSWS em circunstâncias reais. Ultrapassados os obstáculos intrínsecos `a programação da kernel do Linux, os extensos testes experimentais provam que o p-CSWS ´e mais do que um conceito teórico atrativo, e que a exploração heurística de paralelismo proposta pelo algoritmo beneficia os tempos de resposta das aplicações de tempo real, bem como a performance e eficiência da plataforma multiprocessador.
Resumo:
Os vídeo jogos ou jogos de computador têm vindo a crescer na sua relação com o público ganhando terreno e credibilidade nos benefícios que os jogadores obtêm quando usam este tipo de software, indo esses benefícios para além do divertimento associado à palavra jogo no seu sentido etimológico. Nos últimos anos cada vez mais o mercado e algumas das mais reputadas instituições de ensino têm dedicado especial atenção a este tipo de software, englobando nesses estudos diversas áreas desde a engenharia à saúde, incluindo ainda, estudos de cariz psicológico e sociológico reveladores de que estas experiências de entretenimento, cada vez mais disponíveis a todos, têm influência na sua envolvente de integração e relação com outros fenómenos de cariz social. Apreciado o estado da arte esta tese tem como principal objetivo servir de guia de iniciação a individuais ou pequenas equipas da área de desenvolvimento de software no caminho para o desenvolvimento de jogos de vídeo independentes, apresentando uma análise cuidada capaz de apoiar as equipas desde o momento zero, estando o mesmo estruturado de forma a refletir o entendimento das bases teóricas em que o desenvolvimento deste tipo de software assenta, o estado da arte sobre plataformas, análise de mercado e indústria, metodologias de desenvolvimento e equipas, e ainda analisadas algumas das mais relevantes ferramentas de desenvolvimento e criação de conteúdos. Como prova de conceito e componente de caráter experimental, este trabalho compreende ainda o desenvolvimento de um jogo de vídeo guiado pelas orientações e lições apreendidas durante o processo de estudo de forma a ser representativo da aplicação dessa aprendizagem, e ainda capaz de detalhar passo a passo cada fase do processo, com o objetivo de apoiar a preparação de pessoas interessadas em iniciar a aventura de desenvolver os seus próprios jogos e quem sabe dar início aos seus próprios negócios e empresas. O jogo desenvolvido replica um recente êxito, o jogo 2048, que apesar da sua mecânica simples revela-se um excelente desafio do ponto de vista da sua implementação, bem como o processo criativo adjacente no transformar algo tão simples e experimentado numa experiência nova capaz de atrair antigos jogadores e interesse de novos. O desenvolvimento e publicação da aplicação experimental, e após análise dos dados recolhidos, mostram-se reveladores de que é de fato possível a programadores independentes entrar num mercado de alto potencial, e que adquiridas as bases de conhecimento expostas no documento estarão em condições mais favoráveis para ultrapassar algumas das mais comuns barreiras no atingir desse objetivo.
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia Civil – Perfil Construção
Resumo:
Sabbatical Studies Report
Resumo:
ABSTRACT: Schizophrenia with its disabling features has been placed in the top ten of global burden of disease and is associated with long-term decline in functional ability. General Practitioners not only have an important role in treating patients with an established diagnosis of schizophrenia but they can also contribute significantly by identifying people in early stages of psychosis as they are the first hand medical help available and the duration of untreated psychosis is a good indicator of patient’s prognosis. This cross sectional survey, conducted at the clinics of General Practitioners, was designed to assess the knowledge and practices of general practitioners in Peshawar on diagnosis and treatment of schizophrenia. A semi structured questionnaire was used to assess their knowledge and practices regarding schizophrenia. The Knowledge/Practice was then categorized as good or poor based on their responses to the questions of the administered questionnaire. Overall, the results showed that the knowledge and practices of general practitioners of district Peshawar were poor regarding schizophrenia and may be responsible for delayed diagnosis, inadequate treatment and poor prognosis.
Resumo:
A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics
Resumo:
A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics
Resumo:
RESUMO: O envelhecimento populacional saudável ocupa parte da agenda do processo do envelhecimento humano, retratando uma preocupação social com repercussões nas economias societárias. O processo de envelhecimento, quando abordado fora do paradigma do envelhecimento saudável, desconsidera socialmente o potencial humano das pessoas idosas, promovendo a segregação e motivando atitudes de preconceito e discriminação, além de desperdiçar a experiência, o saber, a cultura e a capacidade de participação da pessoa idosa como contributo para a sociedade a que ela está inserida. O foco central da Política Nacional de Saúde do Idoso brasileira se inscreve na promoção de um envelhecimento saudável, nomeadamente por meio da manutenção da capacidade funcional ao valorizar a autonomia, a independência física e a integridade mental da pessoa idosa. O desafio para a viabilização do processo de envelhecimento ativo e bem-sucedido consiste na maximização das capacidades, potencialidades e recursos pessoais, comunitários e políticos. Pressupõe, também, uma concepção ampliada de viver, contextualizada no contínuo da vida, capaz de externar a preocupação com a saúde e o bem-estar, integrando as pessoas em fase de envelhecimento no contexto do ciclo de vida. Diante do exposto, a presente investigação objetivou conhecer os determinantes de envelhecimento ativo e bem-sucedido, numa população em processo de envelhecimento e relacioná-los com as ―práticas/conteúdos‖ e representações / significados‖ sobre o envelhecimento, as atividades físicas e a capacidade funcional. A investigação foi estruturada em três estudos: no primeiro foi criado e testado o instrumento ―Envelhecimento ativo, capacidade funcional e atividade física‖, na cidade de Lisboa, Portugal, e posteriormente realizada sua adaptação cultural e linguística do português de Portugal para o do Brasil. No segundo foi feita uma pesquisa observacional do tipo survey, descritiva e exploratória com o objetivo de conhecer as relações esteabelecidas entre o envelhecimento bem-sucedido, ativo, a atividade física e a capacidade funcional de uma população em processo de envelhecimento; e no terceiro momento foi realizado um estudo de cariz qualitativo com o objetivo de captar as percepções e comportamentos dos entrevistados diante do fato de se sentirem ou não pessoas idosas ou envelhecidas. Foram adotados os seguintes referenciais teóricos: envelhecimento ativo, envelhecimento bem sucedido, concepção muldidimensional do processual do envelhecimento (determinantes pessoais, familiares, sociais, psicocomunicacionais, econômicos e de saúde), atividade física e capacidade funcional e abordados à luz do perfil demográfico e da experiência das realidades européias, americana e brasileira. Foram triagulados métodos e técnicas (entrevista individual gravada, mensurações e questionário). Participaram pessoas com 60 anos de idade ou mais vinculadas que frequentam dois programas públicos destinados às pessoas idosas na cidade de Juiz de Fora, Minas Gerais, Brasil e foram excluidas as participações de pessoas com dependência para atividades da vida diária, para as atividades instrumentais da vida diária e com alteração do nível de consciência. Amostra aleatória estratificada composta por 326 participantes na qual foram realizadas mensurações e amostra por tipicidade construída a partir da base amostral composta de 87 participantes na qual foi realizada entrevista individual gravada. Atendidos todos os requisitos éticos e legais de pesquisa envolvendo seres humanos, segundo legislação brasileira. Aplicada Análise Fatorial e selecionados 11 fatores com 31 variáveis que contemplaram os determinantes do processo de envelhecimento ativo. Realizado reajustamento da análise fatorial,por questão de coerência conceptual, sendo selecionado oito fatores nomeados de acordo com o referencial teórico adotado que resultou em 25 variáveis que abordaram a participação em atividades e acesso aos serviços de saúde; à atividade física; à convivência, interação e avaliação do contato social; à escolaridade e renda; à saúde percebida e ao voluntariado. Utilizado como marcador para a atividade aeróbia o perfil da sobrecarga da atividade física semanal em consonância com diretrizes e recomendações de atividades aeróbias de intensidade moderada para as pessoas idosas. Identificado que 60,7% dos entrevistados realizam atividade física insuficiente. Os indicadores antropométricos utilizados evidenciaram índices de sobrepeso e de obesidade tanto entre os homens quanto entre as mulheres. Houve correlação do índice de massa corporal (IMC) com as medidas efetuadas segundo as faixas etárias. A análise inferencial possibilitou relacionar os determinantes do envelhecimento ativo, as medidas antropométricas e as variáveis sociodemográficas (escolaridade e idade), sendo obtidos os seguintes destaques: 1) à medida em que a idade aumenta, diminuem os níveis de prática da atividade física, dos contatos com as pessoas para conversar (das relações de convivência), dos trabalhos de voluntariado e das relações familiares e intergeracionais; 2) foi identificado um alinhamento conceptual dos diferentes determinantes concorrentes para um envelhecimento ativo à luz da prática da atividade física com a convivência e interação com os familiares e com auto-avaliação positiva da saúde percebida e atividade física; 3) quanto maior a idade menor os anos de escolaridade; 4) a diminuição da área transversa do braço e do IMC à medida que a idade aumenta, retratou diminuição da adiposidade corporal que está associada à perda da massa magra. A categorização do discurso dos 87 entrevistados permitiu captar a percepção do processo de envelhecimento por dois critérios antagônicos: preservação da autonomia e presença da deterioração. Foi caracterizado o sistema de crenças dos participantes com 1090 emissões de crenças. Houve tendência do sistema de crenças à centralidade com 638 (58,6%) crenças retratando concepções e situações difíceis de serem modificadas por processos educacionais. Os resultados obtidos diagnosticaram e reiteraram a tendência de incremento numérico de pessoas com 60 anos de idade ou mais na cidade brasileira de Juiz de Fora. Embora o estatuto do idoso esteja alicerçado em princípios do envelhecimento saudável e ativo ficou evidenciado a necessidade de estratégias para implementá-la com vistas a impactos sociais, econômicas e de saúde na perspectiva da prática de atividade física e da preservação da capacidade funcional. Constituem contribuição da presente investigação: 1) fundamentos teóricos e informação sobre juiz-foranos com 60 anos de idade ou mais segundo dimensões social, econômica, cultural e espiritual numa concepção ampliada de saúde; 2) abordagem do envelhecimento de forma processual e integrada, multidimensional e articulada com o ciclo da vida; 3) diagnóstico do grau de autonomia dos participantes permitindo subsidiar decisões para melhorar a capacidade funcional dos mesmos; 4) processo investigativo utilizando modelos teóricos que permitiram estabelecer um diagnóstico local e contextualizar o processo de envelhecimento para os participantes e 5) sobrecarga semanal de atividade física e os indicadores antropométricos dos participantes a ponto de subsidiar parâmetros de indicação terapêutica para manutenção da capacidade funcional.-------- ABSTRACT: The populational healthy aging holds part of the process of the human aging agenda, portraying a social concern with the repercussion in societary economies. The aging process when addressed out of the healthy aging paradigm socially disregard the human potential of the elderly, promoting segregation and motivating acts of prejudice and discrimination, in addition to the waste of experience, knowledge, culture and the participatory capacity of an older person in contributting to the society they are a part of. The Brazilian National Health Policy for the Elderly has its main focus in promoting the healthy aging, namely through the maintenance of the functional capacity by valuing the autonomy, physical independence and the mental integrity of the elderly person. The challenge of enabling the process of a successful and active aging lays in maximazing the capabilities, potencialities and personal, communitary and political resources. It infers additionaly a broad view of living, contextualized in the continuum of life, able to express concern with health and well-being, integrating the people in aging phase to the context of the life cycle. Hence, this research aimed to learn the determinants of active and successful aging in a population in aging process and relate them with the "practices/contents" and "representations/meanings" about aging, the physical activities and functional capacity. The investigation was structured in three studies: in the first it was developed and tested the instrument "Active Aging, Functional Capacity and Physical Activity" in the city of Lisboa, Portugal, and afterwards it was culturally and linguistically adapted from Portugal Portuguese to Brazilian Portuguese. The second study was an observational research with survey, descriptive and exploratory methods which aimed to learn the relations established between the successful aging, active aging, the physical activity and the functional capacity of a population in aging process; and the third comprised a qualitative study with the objective to collect the understanding and behavior of the interviewees based on the fact of either they saw themselves as elder or aged person or not. As theoretical framework were explored: active aging, successful aging, multidimensional concept of aging process (personal, familial, social, psycho-communicational, economic determinants), physical activity and functional capacity and explored based in demographic profile and in the European, American a Brazilian realities. Performed triangulation of methods and tecniques (recorded individual interviews, measurements and questionnaires). Participants were aged 60 or older included in two public services for the elderly population in the city of Juiz de Fora, Minas Gerais, Brazil and were excluded persons with dependency in both daily activities and instrumental daily activities and the persons with altered level of conciousness. Stratified ramdon sample of 326 participants in which were performed the measurements and typicality sample constructed from the sample basis of 87 participants whereupon the recorded individual interview was performed. Conforming to all the ethical and legal requirements of research with human beings according to the Brazilian legislation. Applied Factor Analysis and selected 11 factors and 31 variables that convey the determinants of the active aging process. Executed reajustment of factor analysis, for conceptual coherence, being selected eight factors named accordingly to the theoretical framework that resulted in 25 variables which approached the participation in activities and access to health care services; to physical activity; to coexistence, interaction and evaluation of social contact; to scholarity and income; to perceived health and volunteering. Used as marker to aerobic activity the profile of weekly physical activity overload in accordance with guidelines and reccomendations for moderate-intensity aerobic activities for older people. Identified that 60,7% of interviewees practice enough physical activity. Anthropometric markers evidence overweight and obesity levels both within men and women. There was correlation between body mass index (BMI) and measures carried out according to age ranges. The inferential analysis allowed relating the active aging determinants, the anthropometric measurements and sociodemographic variables (scholarity and age), obtaining the following highlights: 1) to the extent that age increases, lowers the levels of physical activity practice, of contact with people to talk to (social relationships), of volunteering work and familial and intergenerational relationships; 2) it was identified a conceptual alignment of diferent determinants concurrent to an active aging in light of the physical activity practice with the relationship and interaction of family and with positive self-assessment of perceived health and physical activity; 3) the older the person, lower are scholarity levels; 4) the decrease of the cross-sectional area of the arm and BMI as the age increases portrayed decreased adiposity of the body that is associated with loss of lean body mass. The categorization of the speech of 87 interviewees allowed to collect the understanding of the aging process by two opposite criteria: preservation of autonomy and existance of decline. It marked the belief system of participants with 1090 beliefs expressed. With tendency of the belief system to centrality with 638(58,6%) beliefs showing concepts and dificult situations to be changed through educational processes. The results diagnosed and reiterated the tendency of increase in the number of people aged 60 or older in the Brazilian city of Juiz de Fora. Although the elderly statute is built upon principles of healthy and active aging it was evident the need of strategies to implement it aiming at social, economic and health impacts in the perspective of physical education and preservation of the functional capacity. Constitute contributions of this study: 1) theoretical fundaments and data about Juiz de Fora citizens aged 60 or more according to social, economic, cultural and spiritual dimensions in a broad concept of health; 2) approach of aging in a procedural and integrative, multidimensional manner, articulated with the life cycle; 3) diagnosis of degree of autonomy of participants enabling decisions on how to improve their functional capacities; 4) investigative process using theoretical models which permit to stablish a local diagnosis and contextualize the aging process of participants and 5) weekly overload of physical activity and anthropometric indexes of participants as to subsidize parameters to therapeutic indication to the maintainence of functional capacity.
Resumo:
Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia Eletrotécnica e de Computadores
Resumo:
Relatório de estágio curricular na editora Zero a Oito, para obtenção do grau de mestre em Edição de Texto, pela Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa. Este trabalho visa relatar os conhecimentos práticos e teóricos consolidados no pré e pós estágio na Zero a Oito. O meu relatório irá focar-se na multiplicidade de tarefas que um editor tem dentro de uma editora orientada para crianças, principalmente os projetos em que estive envolvida na editora.
Resumo:
This research aims to provide a better understanding on how firms stimulate knowledge sharing through the utilization of collaboration tools, in particular Emergent Social Software Platforms (ESSPs). It focuses on the distinctive applications of ESSPs and on the initiatives contributing to maximize its advantages. In the first part of the research, I have itemized all types of existing collaboration tools and classify them in different categories according to their capabilities, objectives and according to their faculty for promoting knowledge sharing. In the second part, and based on an exploratory case study at Cisco Systems, I have identified the main applications of an existing enterprise social software platform named Webex Social. By combining a qualitative and quantitative approach, as well as combining data collected from survey’s results and from the analysis of the company’s documents, I am expecting to maximize the outcome of this investigation and reduce the risk of bias. Although effects cannot be universalized based on one single case study, some utilization patterns have been underlined from the data collected and potential trends in managing knowledge have been observed. The results of the research have also enabled identifying most of the constraints experienced by the users of the firm’s social software platform. Utterly, this research should provide a primary framework for firms planning to create or implement a social software platform and for firms willing to increase adoption levels and to promote the overall participation of users. It highlights the common traps that should be avoided by developers when designing a social software platform and the capabilities that it should inherently carry to support an effective knowledge management strategy.
Resumo:
Epistemology in philosophy of mind is a difficult endeavor. Those who believe that our phenomenal life is different from other domains suggest that self-knowledge about phenomenal properties is certain and therefore privileged. Usually, this so called privileged access is explained by the idea that we have direct access to our phenomenal life. This means, in contrast to perceptual knowledge, self-knowledge is non-inferential. It is widely believed that, this kind of directness involves two different senses: an epistemic sense and a metaphysical sense. Proponents of this view often claim that this is due to the fact that we are acquainted with our current experiences. The acquaintance thesis, therefore, is the backbone in justifying privileged access. Unfortunately the whole approach has a profound flaw. For the thesis to work, acquaintance has to be a genuine explanation. Since it is usually assumed that any knowledge relation between judgments and the corresponding objects are merely causal and contingent (e.g. in perception), the proponent of the privileged access view needs to show that acquaintance can do the job. In this thesis, however, I claim that the latter cannot be done. Based on considerations introduced by Levine, I conclude that this approach involves either the introduction of ontologically independent properties or a rather obscure knowledge relation. A proper explanation, however, cannot employ either of the two options. The acquaintance thesis is, therefore, bound to fail. Since the privileged access intuition seems to be vital to epistemology within the philosophy of mind, I will explore alternative justifications. After discussing a number of options, I will focus on the so called revelation thesis. This approach states that by simply having an experience with phenomenal properties, one is in the position to know the essence of those phenomenal properties. I will argue that, after finding a solution for the controversial essence claim, this thesis is a successful replacement explanation which maintains all the virtues of the acquaintance account without necessarily introducing ontologically independent properties or an obscure knowledge relation. The overall solution consists in qualifying the essence claim in the relevant sense, leaving us with an appropriate ontology for phenomenal properties. On the one hand, this avoids employing mysterious independent properties, since this ontological view is physicalist in nature. On the other hand, this approach has the right kind of structure to explain privileged self-knowledge of our phenomenal life. My final conclusion consists in the claim that the privileged access intuition is in fact veridical. It cannot, however, be justified by the popular acquaintance approach, but rather, is explainable by the controversial revelation thesis.
Resumo:
Hybrid knowledge bases are knowledge bases that combine ontologies with non-monotonic rules, allowing to join the best of both open world ontologies and close world rules. Ontologies shape a good mechanism to share knowledge on theWeb that can be understood by both humans and machines, on the other hand rules can be used, e.g., to encode legal laws or to do a mapping between sources of information. Taking into account the dynamics present today on the Web, it is important for these hybrid knowledge bases to capture all these dynamics and thus adapt themselves. To achieve that, it is necessary to create mechanisms capable of monitoring the information flow present on theWeb. Up to today, there are no such mechanisms that allow for monitoring events and performing modifications of hybrid knowledge bases autonomously. The goal of this thesis is then to create a system that combine these hybrid knowledge bases with reactive rules, aiming to monitor events and perform actions over a knowledge base. To achieve this goal, a reactive system for the SemanticWeb is be developed in a logic-programming based approach accompanied with a language for heterogeneous rule base evolution having as its basis RIF Production Rule Dialect, which is a standard for exchanging rules over theWeb.