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

Hand gesture recognition system based in computer vision and machine learning: Applications on human-machine interaction

Tese de Doutoramento em Engenharia de Eletrónica e de Computadores

O ajustamento psicossocial de jovens com consumos de substâncias psicoativas em escolas profissionais do grande Porto

Tese de Doutoramento em Estudos da Criança (Área de Especialidade Psicologia do Desenvolvimento e Educação)

Algorithms and computational tools for metabolic flux analysis

PhD thesis in Biomedical Engineering

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

A 3D computer assisted Orthopedic Surgery Planning approach based on planar radiography

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)

Basic constraints between two vectors

This chapter deals with the characterization of the basic constraints between two vectors. This issue plays a crucial role in the formulation of constraint equations for mechanical joints. In particular, relations between two parallel and two perpendicular vectors are derived. Moreover, formulation for a vector that connects two generic points is presented. The material described here is developed under the framework of multibody systems formulation for spatial systems.

A critical evaluation of methods for the reconstruction of tissue-specific models

Under the framework of constraint based modeling, genome-scale metabolic models (GSMMs) have been used for several tasks, such as metabolic engineering and phenotype prediction. More recently, their application in health related research has spanned drug discovery, biomarker identification and host-pathogen interactions, targeting diseases such as cancer, Alzheimer, obesity or diabetes. In the last years, the development of novel techniques for genome sequencing and other high-throughput methods, together with advances in Bioinformatics, allowed the reconstruction of GSMMs for human cells. Considering the diversity of cell types and tissues present in the human body, it is imperative to develop tissue-specific metabolic models. Methods to automatically generate these models, based on generic human metabolic models and a plethora of omics data, have been proposed. However, their results have not yet been adequately and critically evaluated and compared. This work presents a survey of the most important tissue or cell type specific metabolic model reconstruction methods, which use literature, transcriptomics, proteomics and metabolomics data, together with a global template model. As a case study, we analyzed the consistency between several omics data sources and reconstructed distinct metabolic models of hepatocytes using different methods and data sources as inputs. The results show that omics data sources have a poor overlapping and, in some cases, are even contradictory. Additionally, the hepatocyte metabolic models generated are in many cases not able to perform metabolic functions known to be present in the liver tissue. We conclude that reliable methods for a priori omics data integration are required to support the reconstruction of complex models of human cells.

Quando a luta pelos direitos sexuais se faz no feminino: um estudo de caso sobre o associativismo lésbico em Portugal

Dissertação de mestrado em Sociologia (área de especialização em Desenvolvimento e Políticas Sociais)

Contributos para a elucidação do modo de ação de própolis português: o caso do própolis do Pereiro

Dissertação de mestrado em Genética Molecular

Evaluación del cepillado como método de enjambrazón artificial en el control de la Loque Americana en colmenas enfermas

La Loque Americana es la enfermedad de origen bacteriano más grave de la etapa larval de la abeja (Apis melífera). Desde su detección en el país en 1989 ya se ha establecido en 11 provincias incluida Córdoba. Su agente causal es Paenibacillus larvae White y su efecto final, la muerte de todo cría en su estadio de propupa. Es muy contagiosa, puede eliminar a toda la colmena y una vez establecida en una región difícilmente pueda ser erradicada por tratarse de una bacteria formadora de esporas que se diseminan: a través de determinados comportamientos de las abejas, con el polen o la miel y por la actividad del apicultor. Siendo Córdoba una provincia con posibilidades para incrementar esta actividad productiva donde ya la enfermedad está establecida, debe tenerse en cuenta que el manejo intensivo de las colmenas es factor desencadenante de diseminación. Se requiere, por lo tanto, contar con técnicas de control de probada efectividad, factibles de ser utilizadas por los productores en sus apiarios. Una manera de disminuir el grado de difusión es mantener lo más bajo posible los niveles de infección. (...) En Argentina, hasta el presente ninguna técnica por sí sola ha resultado eficaz. Este trabajo tiene como hipótesis demostrar que el enjambrado artificial, con la aplicación de un antibiótico durante el desarrollo inmediato posterior al trasvase de las colonias, puede resultar un método efectivo para el control de la enfermedad y la recuperación de los apiarios afectados de Loque Americana. El Objetivo del proyecto es determinar la eficiencia del Cepillado como método alternativo factible de ser usado para controlar la enfermedad y recuperar las colonias infectadas.

An investigation into system security requirements and implementation in an Application Service Provider (ASP) environment

Although the ASP model has been around for over a decade, it has not achieved the expected high level of market uptake. This research project examines the past and present state of ASP adoption and identifies security as a primary factor influencing the uptake of the model. The early chapters of this document examine the ASP model and ASP security in particular. Specifically, the literature and technology review chapter analyses ASP literature, security technologies and best practices with respect to system security in general. Based on this investigation, a prototype to illustrate the range and types of technologies that encompass a security framework was developed and is described in detail. The latter chapters of this document evaluate the practical implementation of system security in an ASP environment. Finally, this document outlines the research outputs, including the conclusions drawn and recommendations with respect to system security in an ASP environment. The primary research output is the recommendation that by following best practices with respect to security, an ASP application can provide the same level of security one would expect from any other n-tier client-server application. In addition, a security evaluation matrix, which could be used to evaluate not only the security of ASP applications but the security of any n-tier application, was developed by the author. This thesis shows that perceptions with regard to fears of inadequate security of ASP solutions and solution data are misguided. Finally, based on the research conducted, the author recommends that ASP solutions should be developed and deployed on tried, tested and trusted infrastructure. Existing Application Programming Interfaces (APIs) should be used where possible and security best practices should be adhered to where feasible.

Approved Drug Products with Theurapeutic Equivalence Evaluation - 34th edition

The publication, Approved Drug Products with Therapeutic Equivalence Evaluations (the List, commonly known as the Orange Book), identifies drug products approved on the basis of safety and effectiveness by the Food and Drug Administration (FDA) under the Federal Food, Drug, and Cosmetic Act (the Act). Drugs on the market approved only on the basis of safety (covered by the ongoing Drug Efficacy Study Implementation [DESI] review [e.g., Donnatal® Tablets and Librax® Capsules] or pre-1938 drugs [e.g., Phenobarbital Tablets]) are not included in this publication. The main criterion for the inclusion of any product is that the product is the subject of an application with an effective approval that has not been withdrawn for safety or efficacy reasons. Inclusion of products on the List is independent of any current regulatory action through administrative or judicial means against a drug product. In addition, the List contains therapeutic equivalence evaluations for approved multisource prescription drug products. These evaluations have been prepared to serve as public information and advice to state health agencies, prescribers, and pharmacists to promote public education in the area of drug product selection and to foster containment of health care costs. Therapeutic equivalence evaluations in this publication are not official FDA actions affecting the legal status of products under the Act.

Prognostic Value of TIMI Score versus GRACE Score in ST-segment Elevation Myocardial Infarction

Background: The TIMI Score for ST-segment elevation myocardial infarction (STEMI) was created and validated specifically for this clinical scenario, while the GRACE score is generic to any type of acute coronary syndrome. Objective: Between TIMI and GRACE scores, identify the one of better prognostic performance in patients with STEMI. Methods: We included 152 individuals consecutively admitted for STEMI. The TIMI and GRACE scores were tested for their discriminatory ability (C-statistics) and calibration (Hosmer-Lemeshow) in relation to hospital death. Results: The TIMI score showed equal distribution of patients in the ranges of low, intermediate and high risk (39 %, 27 % and 34 %, respectively), as opposed to the GRACE Score that showed predominant distribution at low risk (80 %, 13 % and 7%, respectively). Case-fatality was 11%. The C-statistics of the TIMI score was 0.87 (95%CI = 0.76 to 0.98), similar to GRACE (0.87, 95%CI = 0.75 to 0.99) - p = 0.71. The TIMI score showed satisfactory calibration represented by χ2 = 1.4 (p = 0.92), well above the calibration of the GRACE score, which showed χ2 = 14 (p = 0.08). This calibration is reflected in the expected incidence ranges for low, intermediate and high risk, according to the TIMI score (0 %, 4.9 % and 25 %, respectively), differently to GRACE (2.4%, 25% and 73%), which featured middle range incidence inappropriately. Conclusion: Although the scores show similar discriminatory capacity for hospital death, the TIMI score had better calibration than GRACE. These findings need to be validated populations of different risk profiles.

Formação das castas no gênero Melípona (Illiger, 1806)

The present work is destinated to prove that the castes : workers and queens, in Melipona bees are due to genetic factors and not to differences in food. 2) Material used: Hives of Melipona quadri-fasciata anthidioides (Lep. 1836), M. schenki schenki (Gribodo, 1893), M. fasciata rufiventris (Lep. 1836), M. quadri-fasciata vicina (Lep. 1836), M. marginata marginata (Lep. 1836), Apis mellifera (L. 1758). 3) It should be pointed out that in Melipona bees there are no royal cells for the queens, but all the cells are of the same size independently of being destinated for workers, queens or drones. The numerous queens which are born are killed soon after emerging from their cells. 4) Changes of feeding in quality and in quantity caused no variation of castes. The only variable factor is the size, which becomes bigger when the bee is well nourished. 5) The offsprings of 5 hives were examined : 3 of M. quadri-fasciata anthidioides (n.o 1, n.o 2 and n.o 3), 1 of M. quadri-fasciata vicina (n.o 4) and 1 of M. marginata marginata (n.o 5). Combs of about 40 cells were taken into laboratory and the type of bee registered immediately after emerging. The results of the counts were: BOX COMB WORKER QUEEN PERCENTAGE Σ X2 to 12,5% Nº 1 1th 69 8 10,4% 0, 3139 " 1 2nd 144 18 11,1% 0, 2856 " 2 1th 52 8 13,3% 0, 0384 " 3 1th 45 10 18,2% 1, 6736 " 4 1th 56 4 6,7% 1, 8686 " 4 2nd 29 4 12,1% 0,00432 Σ X2 to 25% " 5 1th 34 14 29,2% 0,44444 "5 2nd 83 27 24,5% 0, 0121 In the 4 first boxes there is a percentage of 11,63% queens and in the last there is a percentage of 25,95%. 6) These percentages are very near two genetical ratios: 12,5% or 7:1, and 25% or 3:1, which correspond to a trifactorial and a bifactorial back-cross. Carrying out a X² test no significant deviations were found ( X² to 12,5% and to 25% and table 1 to 4). 7) We suppose that the formula for the queen in the first case (11,65%) is: AaBbCc. Since the Melipona bees are arrhenotokous hymenopteres, the drones are haploid and may have any one of the following eight formulas, corresponding to the gonic segregation of the queem : ABC, ABc, Abc, Abc, AbC, aBC, aBc, abC, abc. Anyone combination of these males with the queen will give a segregation of 7 workers to 1 queen, since there is always only one triple heterozygote among the eight possible segregates (table 5). 8) In order to explain the second case, it is suffient to assume that in this species there are only two pairs of factors, the queen being the double heterozygote : AaBb, while the drones may have any one of the following constitutions: AB, Ab, aB and ab. Workers are again all diploids which are homozygous for one or both factors, for instance: AABB, AABb, AaBB, aaBb, AAbb, etc. (table 6). 9) It is suggested that the genus Melipona is an intermediary type between the solitary bees, where all females are fertile independently of their feeding, and the genera Apis and Trigona, where without special feeding all females are born sterile, while only specially fed females develop into fertile queens. 10) No speculations are put forward with regards to the evolutionary mechanism which may have been responsible for the development of the genetical determination of castes in Melipona, since it seems advisable point to extend the studies to other insects with complicated caste systems.