Developing frameworks for protocol implementation

This paper presents a method to develop frameworks for protocol implementation. Frameworks are software structures developed for a specific application domain, which can be reused in the implementation of various different concrete systems in this domain. The use of frameworks support a protocol implementation process connected with formal design methods and produce an implementation code easy to extend and to reuse

Fatores preditivos da reincidência : análise de uma amostra aleatória de reclusos portugueses do sexo masculino

Dissertação mestrado integrado Psicologia (área de especialização em Psicologia da Justiça)O desenvolvimento de qualquer investigação pressupõe a existência de algo que nos inquieta e nos induz curiosidade e este trabalho não constitui uma exceção. Assim sendo, formulou-se como questão de investigação: quais os fatores preditivos da reincidência criminal, tendo como base a análise retrospetiva de uma amostra aleatória de reclusos portugueses do sexo masculino. Propusemos como principais objetivos específicos: Identificar quais os principais fatores preditivos que estão na origem da reincidência criminal; Identificar se as variáveis Estado Civil, Tipologia Crime, Processos Disciplinares, Carreira Criminal, C. Violentos Vs C. não Violentos idade, idade primaria da primeira prisão e crimes praticados habilitações literárias e o total de prisões estão relacionadas com o aumento da reincidência; Os resultados do estudo demonstraram que a idade a conduta de comportamentos anteriores está relacionada com a reincidência criminal. Bem como, que reclusos mais jovens à data da primeira prisão têm associado um maior número de crimes e de prisões. E, ainda que os indivíduos que cometem crimes violentos são os mais jovens à data da primeira prisão.The development of any research assumes that there is something that causes us restless and curious and this work is no exception. Thus, as formulated research question: what are the predictors of recidivism: based on the analysis of a random sample of inmates Portuguese males. We proposed as main objectives: Identify the main predictive factors at the origin of criminal recidivism; Identify whether the variables: Status, Type Crime, Disciplinary Proceedings, Career Criminal, C.Violent Vs C. Violent no, age, age of first arrest, primary crimes, educational attainment and total arrests are associated with increased to the recidivism. The results of the study showed that age the conduct of past behavior is related to recidivism. As well as, younger recluses to the date of the first prison have been associating a bigger number of crimes and of prisons. And, still that the individuals who commit violent crimes are the youngest to the date of the first prison

Frameworks for Protocol Implementation

This paper reports on the development of a catalogue of frameworks for protocol implementation. Frameworks are software structures developed for a specific application domain, which can be re-used in the implementation of various different concrete systems in this domain. By using frameworks we aim at increasing the effectiveness of the protocol implementation process. We assume that whenever protocols are directly implemented from their specifications one may be able to increase the correctness and the speed of the implementation process, and the maintainability of the resulting system. We argue that frameworks should match the concepts underlying the techniques used for specifying protocols. Consequently, we couple the development of frameworks for protocol implementation to the investigation of the different alternative design models for protocol specification. This paper presents the approach we have been using to develop frameworks, and illustrates this approach with an example of framework

Tourists behavior and ecotourism product attributes : the case of the Oporto city

O turismo é uma das principais indústrias do mundo e, pesem embora os benefícios, também é responsável por muitos problemas, sendo o mais proeminente o impacto negativo sobre o meio ambiente. Nas últimas décadas, esta questão logrou obter um substancial avanço, atenta a crescente consciência ambiental, tendo o ecoturismo surgido como um substituto do turismo de massa que, por um lado, propõe atenuar os impactos negativos das formas convencionais de turismo e, por outro, manter as vantagens econômicas. Em sintonia com a tendência global, a cidade do Porto viu um aumento significativo no turismo, quer pelo clima, pela história, características arquitetónicas e recursos naturais. Seguindo a estratégia do governo português, os líderes da cidade e organizações procuram apostar no turismo sustentável, sendo certo que, com as mudanças na procura pelos consumidores, o ecoturismo pode ser o caminho para levá-lo até lá. No entanto, em primeiro lugar, é necessário entender quais os atributos que atraem turistas aos destinos do ecoturismo, a fim de oferecer os produtos de ecoturismo corretos. Para atingir este objetivo, a nossa investigação incluiu a leitura e interpretação de artigos de revistas, jornais, livros e outros documentos focados no turismo e ecoturismo, bem como a análise estatística de um questionário realizado por nós a turistas da cidade do Porto. De um modo geral, a maioria dos turistas inquiridos conhece o conceito de ecoturismo, considerando a natureza a principal motivação, seguida pela sustentabilidade ambiental. Antecipando um pouco as nossas conclusões, foi possível percebermos que os turistas consideram o Porto um bom destino para quem procura esta forma de turismo, mas as principais motivações para escolher este destino basearam se nos atributos histórico e cultural provando a necessidade de estudar os atributos do ecoturismo para oferecer o produto correto. No entanto, este estudo foi limitado devido ao surto da pandemia de Covid-19, que afetou o número de questionários que puderam ser aplicados.Tourism is one of the major’s industries in the world and despite the benefits it offers its also accountable for many problems, being the most prominent the negative impact it has on the environment. In the last decades this issue was brought forward as a result of the a growing environmental conscious and ecotourism appears as a substitute of conventional forms of tourism proposing to attenuate this issue while maintaining the economic benefits. In concert with the global trend, the city of Oporto as seen a significant increase in tourism either for is climate as well as is history, architectonic and natural features. Following the Portuguese government strategy, this city leaders and tourism organizations aim for a sustainable tourism, and with the changes in consumers demand, ecotourism may be the path to lead it there. Nonetheless, in first place there is a necessity to understand what are the attributes that attract tourists to ecotourism destinations in order to offer the correct ecotourism products. To accomplish this goal the methods used comprised the examination of articles of magazines and journals, books and other documents that focus on tourism and ecotourism as well as a survey to tourists in Oporto. In general, the majority of the inquired tourists were familiar with the concept of ecotourism considering nature the principal motivation, followed by environmental sustainability, to choose an ecotourism destination. But, although the majority consider Oporto as good destination for those who seek this form of tourism, the attributes historical and cultural obtain a majority of votes as why Oporto was selected as a destination proving the necessity to study the attributes in order to offer the correct ecotourism product. However, this study was limited given the outbreak of the Covid-19 pandemic that impacted the number of questionnaires that were able to be applied

Fitness group class instructor quality and customer satisfaction in gyms: Project presentation

Comunicações apresentadas originalmente no 9º Congresso Internacional de Atividade Física e Saúde, «Atividade física e desporto: Experiências, desafios e perspetivas», org. Instituto Politécnico de Beja, Escola Superior de Educação, 2-3 junho, 2022

Ocorrência de flebotomíneos (diptera : psychdidae) em matas de galeria no Distrito Federal, Brasil

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Medicina, Programa de Pós-Graduação em Medicina Tropical, 2015.O objetivo deste estudo foi analisar a ocorrência de flebotomíneos em matas de galeria do Distrito Federal (DF), em diferentes estações climáticas, estratos verticais e condições de preservação das matas. As capturas foram realizadas em três áreas na Fazenda Água Limpa da Universidade de Brasília. Em cada área foi analisada a ocorrência de flebotomíneos em 20 pontos visitados em dois meses, novembro de 2012 (estação chuvosa) e maio de 2013 (estação seca). Armadilhas luminosas HP foram instaladas a 1,5 m e a 10 m de altura do solo, operando entre 17:00 e 07:00 h, por três dias consecutivos. Foram instaladas 359 armadilhas noite na estação chuvosa e 291 na seca. Nenhum flebotomíneo foi capturado na estação chuvosa. Na estação seca foram capturados 250 exemplares. As espécies identificadas foram Psathyromyia runoides (Fairchild & Hertig) (79,9%), Pintomyia monticola (Costa Lima) (9,7%), Micropygomyia quinquefer (Dyar) (3,7%), Psathyromyia shannoni (Dyar) (3%), Bichromomyia flaviscutellata (Mangabeira) (0,7%), Brumptomyia sp. (0,7%), Pintomyia kuscheli (Le Pont, Martinez, Torrez-Espejo & Dujardin) (0,7%), Psathyromyia lutziana (Costa Lima) (0.7%) e Sciopemyia sordellii (Shannon & Del Ponte) (0,7%). Os resultados indicam que em matas de galeria do DF há uma maior ocorrência de flebotomíneos na estação seca, no nível do solo e em áreas preservadas. Registra-se pela primeira vez Pa. runoides, Pi. kuscheli e Mi.quinquefer no DF.We analyzed the occurrence of phlebotomine sand flies in the gallery forests of the Federal District (FD), in different seasons, forest strata and conservation status. The samples were collected in three areas in the Água Limpa Farm, University of Brasília. In each area the occurrence data were analyzed in 20 collection sites visited on two months, November 2012 (rainy season) and May 2013 (dry season). HP light traps were installed at 1.5 m and 10 m above the ground operating from 17:00 to 7:00 h, during three consecutive days. We set 359 trap-nights during the rainy season and 291 during the dry season. None sand fly was caught during the rainy season. In the dry season 250 sand flies were captured. The identified species were Psathyromyia runoides (Fairchild & Hertig) (79.9%), Pintomyia monticola (Costa Lima) (9.7%), Micropygomyia quinquefer (Dyar) (3.7%), Psathyromyia shannoni (Dyar) (3%), Bichromomyia flaviscutellata (Mangabeira) (0.7%), Brumptomyia sp. (0.7%), Pintomyia kuscheli (Le Pont, Martinez, Torrez-Espejo & Dujardin) (0.7%), Psathyromyia lutziana (Costa Lima) (0.7%), and Sciopemyia sordellii (Shannon & Del Ponte) (0.7%). The results indicated that in the gallery forests of the FD there is a higher occurrence of sand flies in the dry season, at ground level and in preserved areas. Pa. runoides, Pi. kuscheli and Mi. quinquefer were recorded for the first time in the FD

Efeito da proteína anticongelante tipo I (AFP I) na criopreservação de embriões e blastómeros de teleósteos

Dissertação de mest., Biologia Marinha, Faculdade de Ciências do Mar e do Ambiente, Universidade do Algarve, 2007Actualmente, a criopreservação de embriões de peixes é um objectivo de grande relevância para as empresas de aquacultura, mas até à data não existem resultados positivos, apesar dos esforços desenvolvidos por vários grupos situados em diferentes países. Uma das principais razões para este acontecimento é a elevada sensibilidade dos embriões à refrigeração, realçando a necessidade de testar diferentes métodos e agentes crioprotectores (CPAs) alternativos, de forma a melhorar a possibilidade de alcançar este fim. Neste trabalho, usou-se a proteína anticongelante tipo I (AFP I) como crioprotector natural. Esta proteína é naturalmente expressa nas espécies de peixes do Árctico, inibindo o crescimento dos cristais de gelo e a recristalização durante o descongelamento. Embriões de Sparus aurata (dourada) foram microinjectados com AFP I em estádios de desenvolvimento diferentes, 2 células e blástula, na interface blastoderme-vitelo e saco vitelino, respectivamente. Embriões controlo, apenas manipulados (picados pela microagulha, mas sem microinjecção) e microinjectados foram submetidos a refrigeração a duas temperaturas diferentes, 0 ºC (1h) e -10 ºC (15min) a partir do estádio de 17 somitos. Estes embriões foram submetidos a -10 ºC em 3M DMSO de forma a evitar a formação de cristais de gelo na solução extracelular. A sobrevivência após refrigeração foi estabelecida como sendo a percentagem de embriões eclodidos. Para estudar a distribuição da AFP I nos embriões microinjectados realizou-se um estudo por microscopia confocal. Os resultados demonstraram que AFP I pode incrementar significativamente a resistência ao frio a 0 ºC, particularmente nos embriões microinjectados em 2 células, apresentando taxas de eclosão próximas de 100%. Este facto encontra-se de acordo com as imagens de microscopia confocal, as quais confirmam a presença da proteína nas células embrionárias e suportam a hipótese de que esta proteína protege as estruturas celulares através da estabilização das membranas. A criopreservação de blastómeros é uma alternativa fiável à criopreservação de embriões. Neste estudo, blastómeros de peixe zebra em 50% epibolia foram submetidos a diferentes tratamentos: (1) PBS 30min TA; (2) 2M DMSO 30min TA e (3) 10mg/ml AFP I em 2M DMSO. A toxicidade dos CPAs e viabilidade celular foi analisada após a criopreservação. A presença de AFP I na solução crioprotectora incrementou significativamente a sobrevivência celular após a vitrificação. A electroporação das células na presença dos CPAs, incluindo AFP I, não conduziu a nenhum melhoramento na sobrevivência celular após vitrificação, tendo um impacto negativo em alguns dos casos estudados. Este estudo demonstra que o uso da proteína AFP v I é vantajoso na criopreservação de blastómeros de peixes, incrementando a resistência ao frio para determinadas temperaturas

On the phase transitions of graph coloring and independent sets

We study combinatorial indicators related to the characteristic phase transitions associated with coloring a graph optimally and finding a maximum independent set. In particular, we investigate the role of the acyclic orientations of the graph in the hardness of finding the graph's chromatic number and independence number. We provide empirical evidence that, along a sequence of increasingly denser random graphs, the fraction of acyclic orientations that are `shortest' peaks when the chromatic number increases, and that such maxima tend to coincide with locally easiest instances of the problem. Similar evidence is provided concerning the `widest' acyclic orientations and the independence number

MMF Design using Evolutionary Algorithms

We review the latest advances on the design of few-mode fibres guiding up to 21 polarisation modes with low differential mode delay over the C-band. suitable for long-haul transmission