A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Crossing genetic and swarm intelligence algorithms to generate logic circuits

Genetic Algorithms (GAs) are adaptive heuristic search algorithm based on the evolutionary ideas of natural selection and genetic. The basic concept of GAs is designed to simulate processes in natural system necessary for evolution, specifically those that follow the principles first laid down by Charles Darwin of survival of the fittest. On the other hand, Particle swarm optimization (PSO) is a population based stochastic optimization technique inspired by social behavior of bird flocking or fish schooling. PSO shares many similarities with evolutionary computation techniques such as GAs. The system is initialized with a population of random solutions and searches for optima by updating generations. However, unlike GA, PSO has no evolution operators such as crossover and mutation. In PSO, the potential solutions, called particles, fly through the problem space by following the current optimum particles. PSO is attractive because there are few parameters to adjust. This paper presents hybridization between a GA algorithm and a PSO algorithm (crossing the two algorithms). The resulting algorithm is applied to the synthesis of combinational logic circuits. With this combination is possible to take advantage of the best features of each particular algorithm.

On international cost-sharing of pharmaceutical R&D

Ramsey pricing has been proposed in the pharmaceutical industry as a principle to price discriminate among markets while allowing to recover the (fixed) R&D cost. However, such analyses neglect the presence of insurance or the fund raising costs for most of drug reimbursement. By incorporating these new elements, we aim at providing some building blocks towards an economic theory incorporating Ramsey pricing and insurance coverage. We show how coinsurance affects the optimal prices to pay for the R&D investment. We also show that under certain conditions, there is no strategic incentive by governments to set coinsurance rates in order to shift the financial burden of R&D. This will have important implications to the application of Ramsey pricing principles to pharmaceutical products across countries.

Digital-domain self-calibration technique for video-rate pipeline A/D converters using Gaussian white noise

Electronics Letters Vol.38, nº 19

Problèmes posés par la population sporo-pollinique d'un niveau à plantes de la série de Buarcos (Portugal)

L'analyse pollinique des sédiments argileux, riches en macrorestes de végétaux, du "Belasien» (Crétacé inférieur) de Buarcos a permis reconnaître la présence d'une riche microflore. On a, nottament, reconnu la présence de: Concavisporites punctatus, Auritulinosporites complexis, Chomotriletes sp., Trilobosporites cf. bernissartensis, Apiculatisporites vulgaris, Cicatricosisporites sp. 1, Cicatricosisporites sp. 2. Cicatricosisporites sp. 3, Cicatricosisporites sp. 4, Cicatricosisporites sp. 5, Cicatricosisporites sp. 6. Costatoperforosporites fistulosus, Ceratosporites sp. l, C. cf. equalis, Ischyosporites teixeirae n. sp., Liburnisporites sp. AequitriraditeS cf. spinulosus, Cedripites lusitanicus, Clavatipollenites cf. hughesi. Après discution de la stratigraphie des diffèrentes espèces on sugère une âge barremo-aptien pour cette association malgré la présence de l'ensemble Apiculalisporites vulgaris-Classopollls major plutôt d'âge Aptien.

O Cristianismo no Japão e o Episcopado de D. Luís Cerqueira

Dissertação de doutoramento em História dos Descobrimentos e da Expansão Portuguesa

Difficultés d'adaptation de questionaire sur les transmissions entre famille et écoles en contextes linguistiques et culturels différents

Les résultats des études PISA – aussi bien en ce qui concerne celle de 2000 comme celle de 2003 - n’ont guêre été satisfaisants pour de nombreux pays de l’OCDE (ce n’est pas le cas pour la Belgique!). Par exemple Portugal, s’il présente des résultats comparables à la moyenne des pays européens ou même supérieurs pour la région de Lisbonne et la vallée du Tage, présente des résultats inférieurs pour l’ensemble du territoire. La Suisse est, curieusement, un autre pays qui se situe en deçà des expectatives. Selon le rapport 2003 (Ramalho, 2004 :50), les études comparatives en littéracie (lecture) et en numéracie n’ont pas démontré de différence significative par rapport aux résultats de 2000. Nous avons pris connaissance d’une étude suisse qui avait pris pour point de départ des résultats également défavorables, pour ce pays, au même rapport PISA : cette recherche analyse l’insertion socio-économique des familles comme également l’influence des transmissions familiales sur les parcours scolaires des élèves.

Indicadores das condições nutricionais na região Polonoroeste: V. Desnutrição protéico-energética e parasitoses intestinais em um grupo de crianças de 3 a 72 meses de idade da cidade de Mirassol D'Oeste, Mato Grosso, Brasil

Este trabalho tem por objetivo caracterizar a desnutrição protéico-energética associada a parasitose intestinal em grupo de 149 crianças de ambos os sexos, na faixa etária de 3 a 72 meses, da cidade de Mirassol D'Oeste, na região do Projeto Polonoroeste em Mato Grosso. De cada criança foram coletados os seguintes dados: sexo, peso, idade e amostra de fezes para exame parasitológico. Os dados peso/idade obtidos foram analisados pelos critérios de GOMEZ. Utilizou-se como padrão de referência o National Center for Health Statistic (NCHS). Para diagnóstico dos parasitas intestinais executou-se o método de Hoffman, Pons e Janer. O grupo estudado constitui-se em sua maioria de crianças desnutridas, sendo a forma leve de desnutrição mais comum que as formas moderada e grave. As enteroparasitoses foram encontradas em 69% das amostras examinadas. A "Giardia lamblia" foi o protozoário mais comum e o "Ancilostomídeo" o helminto mais encontrado. O teste X² não mostrou relação de dependência entre o estado nutricional e a freqüência de enteroparasitoses.

Télédetection en milieu périurbain. Détection et localisation du changement de l'occupation du sol par intégration des donnés-satellite SPOT HRV dans un système d'information géographique

Thèse pour obtenir le grade de DOCTEUR DE L' UNIVERSITÉ PARIS XII, Discipline: Urbanisme Aménagement

A visão e a voz do diretor: a construção do seu projeto de Intervenção

Dissertação apresentada para obtenção do grau de Mestre em Ciências da Educação - Área de especialização em Administração Escolar

Social network analysis applied to knowledge creation and transfer in the portuguese agricultural R&D field: an exploratory study

Paper presented at the 9th European Conference on Knowledge Management, Southampton Solent University, Southampton, UK, 4-5 Sep. 2008. URL: http://academic-conferences.org/eckm/eckm2008/eckm08-home.htm

Gérer la distance: les sauts d'échelle dans les relations sociales

Espaces et sociétés, N.79, modes de vie et société portugaise, pág. 93-106

Determination du niveau d'anticorps antitetaniques en donneurs de sang au moyen du test ELISA-TÉTANOS (São Paulo, SP, Bresil)

Le test ELISA-TÉTANOS (Biosys, France) a été utilisé pour le titrage des anti-corps tétaniques (sensibilité = 0,0025 UI/ml) en sérums humains de donneurs de sang, 566 hommes et 108 femmes, âges de 18 à 58 ans, moyenne de 29 ans, provenant de São Paulo, SP, Brésil. L'OMS, acceptant seulement la séroneutralisation sur souris (NT), la méthode de référence, pour les études sur la protection contre le tétanos, préconise le titre de 0,01 UI/ml comme minimum protecteur. BOURLEAUD & HUET ont proposé la limite de 0,06 UI/ml quand s'emploie le test ELISA, en attendant à une certaine discordance inévitable entre les méthodes. Parmi les 674 sérums étudiés, 178 (26,41%) n'ont pas présenté d'anticorps (< 0,0025 UI/ml); 413 (61,28%) ont présenté des résultats égaux ou supérieurs à 0,01 UI/ml et en 232 (34,42%) les titres ont été égaux ou supérieurs à 0,06 UI/ml. Le pourcentage d'individus protégés a été inversement proportionnel à 1'âge: environ 50% dans le groupe le plus jeune (hommes de 18 à 35 ans et femmes de 18 à 23 ans) contre environ 10% dans le groupe de plus de 42 ans ont présenté des titres sûrement protecteurs (> 0,06 UI/ml).

Nouvelles espèces d'ostracodes du miocène du bassin du Tage (Portugal)

Twelve new species of miocene ostracoda from the Tagus basin (Portugal) are described. Paleoenvironments concerning each of these species are given.