977 resultados para Digital evidence
Resumo:
Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Jornalismo.
Resumo:
Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.
Resumo:
OBJECTIVE : To analyze studies that evaluated the role of infections as well as indirect measures of exposure to infection in the risk of childhood leukemia, particularly acute lymphoblastic leukemia. METHODS : A search in Medline, Lilacs, and SciELO scientific publication databases initially using the descriptors “childhood leukemia” and “infection” and later searching for the words “childhood leukemia” and “maternal infection or disease” or “breastfeeding” or “daycare attendance” or “vaccination” resulted in 62 publications that met the following inclusion criteria: subject aged ≤ 15 years; specific analysis of cases diagnosed with acute lymphoblastic leukemia or total leukemia; exposure assessment of mothers’ or infants’ to infections (or proxy of infection), and risk of leukemia. RESULTS : Overall, 23 studies that assessed infections in children support the hypothesis that occurrence of infection during early childhood reduces the risk of leukemia, but there are disagreements within and between studies. The evaluation of exposure to infection by indirect measures showed evidence of reduced risk of leukemia associated mainly with daycare attendance. More than 50.0% of the 16 studies that assessed maternal exposure to infection observed increased risk of leukemia associated with episodes of influenza, pneumonia, chickenpox, herpes zoster, lower genital tract infection, skin disease, sexually transmitted diseases, Epstein-Barr virus, and Helicobacter pylori . CONCLUSIONS : Although no specific infectious agent has been identified, scientific evidence suggests that exposure to infections has some effect on childhood leukemia etiology.
Resumo:
Dissertação de Mestrado Apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Marketing Digital, sob orientação de Professor Doutor Freitas Santos
Resumo:
ARINC specification 653-2 describes the interface between application software and underlying middleware in a distributed real-time avionics system. The real-time workload in this system comprises of partitions, where each partition consists of one or more processes. Processes incur blocking and preemption overheads and can communicate with other processes in the system. In this work we develop compositional techniques for automated scheduling of such partitions and processes. At present, system designers manually schedule partitions based on interactions they have with the partition vendors. This approach is not only time consuming, but can also result in under utilization of resources. In contrast, the technique proposed in this paper is a principled approach for scheduling ARINC-653 partitions and therefore should facilitate system integration.
Resumo:
Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Gestão Estratégica das Relações Públicas.
Resumo:
Background: Multiple sclerosis is a disease of the central nervous system that affects more frequently young women. It is a progressive and unpredictable disease, resulting in some cases of disabilities and limitations to physical, psychological and social level. Purpose: To review the literature for evidence based of the effectiveness of physiotherapy intervention in multiple sclerosis.
Resumo:
TOD (Transit Oriented Development) is typically defined as a high density mixed area (residential and commercial) within easy walking distance of a high capacity public transport station (typically within an 800m buffer area). TOO is viewed as a set of strategies to increase the use of public transport, increasing walking activity, containing urban sprawl, and creating more liveable places. It is believed that this type of combined strategies will improve sustainable growth. This work is an exploratory work for evidence of TOD characteristics in train station areas in Azambuja train line, setting further methodologies to evaluate the success of TOD areas.
Resumo:
Purpose: To assess image quality using PGMI (perfect, good, moderate, inadequate) scale in digital mammography examinations acquired in DR systems. Identify the main failures and propose corrective actions. Evaluate the most typical breast density. Methods and Materials: Clinical image quality criteria were evaluated considering mammograms acquired in 13 DR systems and classified according to PGMI scale using the criteria described in European Commission guidelines for radiographers. The breast density was assessed according to ACR recommendations. The data were collected on the acquisition system monitor to reproduce the daily practice of the radiographer. Results: The image quality criteria were evaluated in 3044 images. The criteria were fully achieved in 41% of the images that were classified as P (perfect), 31 % of the images were classified as M (moderate), 20% G (good) and 9% I (inadequate). The main cause of inadequate image quality was absence of all breast tissue in the image, skin folders in the pectoral muscle and in the infra-mammary angle. The higher number of failures occurred in MLO projections (809 out of 1022). The most represented (36%) breast type was type 2 (25-50% glandular tissue). Conclusion: Incorrect radiographic technique was frequently detected suggesting potential training needs and poor communication between the team members (radiographer and radiologists). Further correlations are necessary to identify the main causes for the failures, namely specific education and training in digital mammography and workload.
Resumo:
OBJECTIVE To assess the prevalence of anemia and associated factors in older adults. METHODS The prevalence and factors associated with anemia in older adults were studied on the basis of the results of the Saúde, Bem-Estar e Envelhecimento (SABE – Health, Welfare and Aging) study. A group of 1,256 individuals were interviewed during the third wave of the SABE study performed in Sao Paulo, SP, in 2010. The study included 60.4% females; the mean age of the participants was 70.4 years, and their average education was 5.3 years. The dependent variable was the presence of anemia (hemoglobin levels: 12 g/dL in women and 13 g/dL in men). Descriptive analysis and hierarchical logistic regression were performed. The independent variables were as follows: a) demographics: gender, age, and education and b) clinical characteristics: self-reported chronic diseases, presence of cognitive decline and depression symptoms, and body mass index. RESULTS The prevalence of anemia was 7.7% and was found to be higher in oldest adults. There was no difference between genders, although the hemoglobin distribution curve in women showed a displacement toward lower values in comparison with the distribution curve in men. Advanced age (OR = 1.07; 95%CI 0.57;1.64; p < 0.001), presence of diabetes (OR = 2.30; 95%CI 1.33;4.00; p = 0.003), cancer (OR = 2.72; 95%CI 1.2;6.11; p = 0.016), and presence of depression symptoms (OR = 1.75; 95%CI 1.06;2.88; p = 0.028) remained significant even after multiple analyses. CONCLUSIONS The prevalence of anemia in older adults was 7.7% and was mainly associated with advanced age and presence of chronic diseases. Thus, anemia can be an important marker in the investigation of health in older adults because it can be easily diagnosed and markedly affects the quality of life of older adults.
Resumo:
Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores
Resumo:
Global restructuring processes have not only strong implications for European working and living realities, but also have specific outcomes with regard to gender relations. The following contribution analyses in which way global restructuring shapes current gender relations in order to identify important trends and developments for future gender (in)equalities at the workplace. On the basis of a large qualitative study on global restructuring and impacts on different occupational groups it argues that occupational belonging in line with skill and qualification levels are crucial factors to assess the further development of gender relations at work. Whereas global restructuring in knowledge-based occupations may provide new opportunities for female employees, current restructuring is going to deteriorate female labour participation in service occupations. In contrast, manufacturing occupations can be characterised by persistent gender relations, which do not change in spite of major restructuring processes at the work place. Taking the institutional perspective into account, it seems to be crucial to integrate the occupational perspective in order to apply adequate policy regulations to prevent the reinforcement of gender related working patterns in the near future.
Resumo:
In an increasingly competitive and globalized world, companies need effective training methodologies and tools for their employees. However, selecting the most suitable ones is not an easy task. It depends on the requirements of the target group (namely time restrictions), on the specificities of the contents, etc. This is typically the case for training in Lean, the waste elimination manufacturing philosophy. This paper presents and compares two different approaches to lean training methodologies and tools: a simulation game based on a single realistic manufacturing platform, involving production and assembly operations that allows learning by playing; and a digital game that helps understand lean tools. This paper shows that both tools have advantages in terms of trainee motivation and knowledge acquisition. Furthermore, they can be used in a complementary way, reinforcing the acquired knowledge.
Resumo:
Health services