Detection of road accident accumulation zones with a visual analytics approach

Nowadays, road accidents are a major public health problem, which increase is forecasted if road safety is not treated properly, dying about 1.2 million people every year around the globe. In 2012, Portugal recorded 573 fatalities in road accidents, on site, revealing the largest decreasing of the European Union for 2011, along with Denmark. Beyond the impact caused by fatalities, it was calculated that the economic and social costs of road accidents weighted about 1.17% of the Portuguese gross domestic product in 2010. Visual Analytics allows the combination of data analysis techniques with interactive visualizations, which facilitates the process of knowledge discovery in sets of large and complex data, while the Geovisual Analytics facilitates the exploration of space-time data through maps with different variables and parameters that are under analysis. In Portugal, the identification of road accident accumulation zones, in this work named black spots, has been restricted to annual fixed windows. In this work, it is presented a dynamic approach based on Visual Analytics techniques that is able to identify the displacement of black spots on sliding windows of 12 months. Moreover, with the use of different parameterizations in the formula usually used to detect black spots, it is possible to identify zones that are almost becoming black spots. Through the proposed visualizations, the study and identification of countermeasures to this social and economic problem can gain new grounds and thus the decision- making process is supported and improved.

Refinement and variability techniques in model transformation of software requirements

Tese de Doutoramento em Tecnologias e Sistemas de Informação

Entre Tapas e Beijos: estudo sobre a violência doméstica contra a mulher no Estado da Paraíba (Brasil), após a entrada em vigor da Lei Maria da Penha (Lei nº 11.340/2006)

Dissertação de mestrado em Direitos Humanos

Nesting and neonates of the yellow-spotted river turtle (Podocnemis unifilis, Podocnemididae) in the Araguari River basin, eastern Amazon, Brazil

Predation and alteration of microhabitats may represent high risk for nesting of Amazonian turtles. This study aimed at investigating the nesting and body parameters of neonates of Podocnemis unifilis in the Araguari River basin, State of Amapá, Brazil. The spawning sites of this turtle were monitored along the Falsino River (a region with two reserves) and in the urban area of the Porto Grande city along the Araguari River, from August to December 2011. A total of 180 nests were found and the nesting occurred from September to November, with prevalence in October. Eggs hatching occurred in December. The mean incubation period was 63.5 ± 5.2 days and the eggs hatching success was 25%. However, approximately 80% of the nests had suffered predation mainly by humans, which occurred in both the protected areas of the reserves and the urban area. The pattern of nesting site choice was discussed. Egg size was larger than that previously described for the same turtle species in the other regions. The body condition index of neonates indicated a good use of vitelline reserves. The results indicate the urgent need for strategic actions to conserve and maintain the natural stocks of this relatively vulnerable turtle in the region.

Inclusão no ensino superior: modelos de atuação e contributos dos serviços de apoio em Portugal

A inclusão de estudantes com deficiência na Universidade tem desafiado as instituições a responderem às demandas de acesso e permanência específicas destes estudantes. Neste artigo analisaremos como estão organizadas as iniciativas institucionais de inclusão, tomando como objeto os serviços de apoio na universidade e os desafios explicitados pelos responsáveis dos setores. Participaram do estudo três responsáveis técnicas pelos serviços de inclusão em três universidades portuguesas. Os dados foram recolhidos por meio de entrevista semiestruturada e analisados numa abordagem exploratória. Os resultados apontam para o desafio de proporcionar, para além das condições de acesso, a qualificação das condições de permanência que possam resultar em experiências exitosas dos estudantes, ampliando a oportunidades de obter autonomia e sucesso académico. A partir da discussão, apresentaremos considerações que podem constituir indicadores de intervenção e, ainda, temas para investigações futuras que possam contribuir para práticas mais adequadas de atendimento a esse grupo de estudantes.

Fatal pulmonary embolism in hospitalized patients. Clinical diagnosis versus pathological confirmation

OBJECTIVE - To assess the incidence of fatal pulmonary embolism (FPE), the accuracy of clinical diagnosis, and the profile of patients who suffered an FPE in a tertiary University Hospital. METHODS - Analysis of the records of 3,890 autopsies performed at the Department of General Pathology from January 1980 to December 1990. RESULTS - Among the 3,980 autopsies, 109 were cases of clinically suspected FPE; of these, 28 cases of FPE were confirmed. FPE accounted for 114 deaths, with clinical suspicion in 28 cases. The incidence of FPE was 2.86%. No difference in sex distribution was noted. Patients in the 6th decade of life were most affected. The following conditions were more commonly related to FPE: neoplasias (20%) and heart failure (18.5%). The conditions most commonly misdiagnosed as FPE were pulmonary edema (16%), pneumonia (15%) and myocardial infarction (10%). The clinical diagnosis of FPE showed a sensitivity of 25.6%, a specificity of 97.9%, and an accuracy of 95.6%. CONCLUSION - The diagnosis of pulmonary embolism made on clinical grounds still has considerable limitations.

A eficácia da Mediação Familiar no contexto das Responsabilidades Parentais

Dissertação de mestrado em Direito das Crianças, Família e Sucessões

Contribution for a better ecological understanding of the freshwater phase of sea lamprey (Petromyzon marinus) in the Minho River watershed

Dissertação de mestrado em Ecology

Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.

Energy from waste (EfW): a feasibility study on the economic and the environmental co-benefits of biogas production within rural communities

Energy from waste (E/W) technologies in the form o f biogas plants, CHP plants and other municipal solid waste (MSW) conversion technologies, have been gaining steady ground in the provision o f energy throughout Europe and the UK. Urban Waste Water Treatment Plants (UWWTP) are utilising much o f the same biochemical processes common to these E/W plants. Previous studies on Centralised Anaerobic Digestion (CAD) within Ireland found that the legislative and economic conditions were not conducive to such an operation on the grounds o f low energy price for electric and heat energy, and due to the restrictive nature o f the allowable feedstocks. Recent changes to the Irish REFIT tariff on energy produced from Anaerobic digestion; alterations to the regulation o f the allowable use o f animal by products(ABP); the recent enactment o f the Renewable Energy D irective (09/28/EC) and a subsequent review o f the draft Biowaste Directive (2001) required that the issue o f decentralised energy production in Ireland be reassessed. In this instance the feasibility study is based on a extant rural community, centred around the village o f Woodford Co Galway. The review found that the prevailing conditions were now such that it was technically and economically feasible for this biochemical process to provide energy and waste treatment facilities at the above location. The review also outlines the last item which is preventing this process from becoming achievable, specifically the lack o f a digestate regulation on land spreading which deals specifically with biowaste. The study finds that the implementation o f the draft EU biowaste regulations, with amendments for Cr and Hg levels to match the proposed Irish regulation for compost, would ensure that Ireland has some o f the most restrictive regulations in Europe for this application. The delay in completing this piece o f legislation is preventing national energy and waste issues from being resolved in a planned and stepwise fashion. A proposed lay out for the new Integrated Waste from Energy Plant (IW/EP) is presented. Budget economic projections and alternative revenue streams are outlined. Finally a review o f the national policies regarding the Rural Development Plan (RDP), the Rural Planning Guidelines (RPG) and the National Renewable Energy Action Plan (NREAP) are examined against the relevant EU directives.

Synchronous reproduction may facilitate introgression in a hybrid mussel (Mytilus) population

Mussel populations on the Irish Atlantic coast comprise an interbreeding mixture of the blue mussel, Mytilus edulis (L.) and the Mediterranean mussel, Mytilus galloprovincialis (Lmk.). The occurrence of hybrid genotypes varies between sites but can be as high 80%. This study compares the reproductive cycle of M. edulis, M. galloprovincialis and their hybrids to determine if the extensive hybridisation observed at Irish Atlantic coast sites is linked to spawning synchrony between the two taxa. Mussels (40-45 mm size class) were collected monthly from a sheltered shore in Galway Bay from January to December 2005. Two major spawning events (March- June and September-October) were observed and gametogenesis took place throughout the year. The spawning cycles of the three taxa were largely overlapping. Small differences were observed in the timing of peak spawning which occurred in March and October in M. galloprovincialis and in May-June and September in M.edulis. Spawning of hybrid individuals was intermediate between the parental genotypes. Fecundity was slightly higher in M. galloprovincialis females compared to the other taxa (up to 30% difference, p<0.05). This apparent advantage is not shared by the sexes and is likely being offset by high numbers of hybrid genotypes releasing gametes during peak spawning of M. galloprovincialis. There was no evidence for increased mortality in hybrid males; sex ratios did not deviate from the 1:1 ratio. The results show that in this region of the hybrid zone the timing of reproduction does not present a barrier to gene flow between M. edulis and M. galloprovincialis. Nonetheless, small differences in the timing of peak spawning may increase the likelihood of conspecific fertilisation at certain times of the year. Hybrids outnumber the parental genotypes, undergo complete gametogenesis and show no evidence of depressed fitness (i.e. hybrids are reproductively competent suggesting a high degree of introgression.

Ireland’s understudied flatfish: reproduction, age and growth of the dab Limanda limanda (L.) in Irish coastal waters

In Ireland, although flatfish form a valuable fishery, little is known about the smallest, the dab Limanda limanda. In this study, a variety of parameters of reproductive development, including ovarian phase description, gonadosomatic index (GSI), hepatosomatic index (HSI), relative condition (Kn) and oocyte size were analysed to provide information on the dab’s reproductive cycle and spawning periods. Sampling were collected monthly over an 18-month period using bottom trawls of the Irish coastline. A six phase macroscopic guide was developed for both sexes of dab, and verified using histology. In comparisons of macroscopic and microscopic phases, there was high agreement in the proposed female guide (86%), with males demonstratively lower (62%). No significant bias was observed between the the two reproductive methods. When the male macroscopic guide was examined, misclassification was high in phase 5 and phase 5 (41%), with 96% of misclassification occurring in adjacent phases. The sampled population was primarily composed of females, with ratios of females to males 1:0.6, although the predominance of females was less noticeable during the reproductive season. Oocyte growth in dab follows asynchronous development, and spawn over a protracted period indicating a batch spawning strategy. Spawning occurred mainly in early spring, with total regeneration of gonads by May. The length at which 50% of the population was reproductively mature was identified as 14cm and 17cm, for male and female dab, respectively. Precision and bias in age determinations using whole otoliths to age dab was investigated using six age readers from various institutions. Low levels of precision were obtained (CV: 10-23%) inferring the need for an alternative methodology. Precision and bias was influence by the level of experience of the reader, with ageing error attributed to interpretative differences and difficulty in edge determination. Sectioned otolith age determinations were subsequently compared to whole otolith age determinations using two age readers experienced in dab ageing. Although increased precision was observed in whole otoliths from previous estimates (CV=0%, 0% APE), sectioned otoliths were used for growth models. This was based on multinominal logistic regression on age length keys developed using both ageing methods. Biological data (length and age) for both sexes was applied to four growth models, where the Akaike criterion and Multi model Inference indicated the logistic model as having the best fit to the collected data. In general, female dab attained a longer length then males, with growth rates significantly different between the two sexes. Length weight relationships between the two sexes were also significantly different.

Age, growth and reproductive biology of Plaice, (Pleuronectes platessa L.) in Irish waters, 2003-2005

The current study presents data on age and growth for plaice (Pleuronectes platessa L.) sampled between November 2003 and February 2005 in ICES areas Via (northwest coast of Ireland), Vila (Irish Sea), Vllg (Celtic Sea), VDj (southwest coast of Ireland) and VHb (west coast of Ireland), and data on the reproductive biology and maturity of plaice in ICES area Vllb (west coast of Ireland). This is the first detailed account of the biology of plaice for some of these areas. It is intended that this study will improve understanding of the life cycle of plaice and help fisheries scientists to better predict the effect of fishing effort on Irish plaice stocks. The overall length range found for plaice was 9-51.99cm TL, with a length range of 9-5 lcm TL for females and 9-40cm for males. In all ICES areas the length range for female fish was larger than for male fish. The age range of plaice sampled during this study was 1 to 16 years. In all ICES areas females had a greater range in ages and fish in the larger age groups. From analysis of length and age data it was concluded that there was a significant difference (P=0.000) in growth rate of males and females between ICES areas sampled in March 2004. The highest rate of fishing mortality was determined for ICES area Via (F=1.06) and the lowest for ICES area Vila (F=0.56). In each ICES area male and female plaice have fully recruited to the population by age 4, with the exception of females in ICES area Via, for which a tr value of 5 years was determined. Length at first maturity (L50%) was determined to be 23cm and 21cm for males and females respectively. Age at first maturity (A50%) was determined to be 3 years for both males and females. It was found that males and females in ICES areas Vllb, Vila and Via are well above the length and age at first maturity when they are recruited to the fishery. In ICES area Vllb female plaice spawn from November to March, with peak spawning occurring in February, and male plaice spawn from November to April, with peak spawning occurring in November. Spawning females had an age range of 2 to 10 years and spawning males had an age range of 2 to 7 years. From the oocyte length frequency distributions, it was determined that the plaice is a determinate batch spawner. During this investigation a total of 177 ovaries and 127 testes were staged using both macroscopic and histological criteria. The overall percentage of maturity stages which compared favorably between the two assessment methods was 22.03% for female plaice and 37.80% for male plaice. In general, the findings of this study indicate that there was a very poor match between the macroscopic and histological assessment methods. Given that the histological determination of these stages is based on the observation of a distinct set of developmental features, it is expected that it would be more accurate to use histologically assessed gonads to calculate the annual percentage maturity assessment. The biology of plaice in the areas studied is compared with previous studies of plaice in Irish and European waters.

Biologia reprodutiva de Apidoras fuscoguttatus (Siluriformes, Callichthyidae) em riacho de cabeceira da bacia do alto Rio Paraná

The reproductive biology of Aspidoras fuscoguttatus Nijssen & Isbrücker, 1976 from a stream in São José do Rio Preto, northwestern São Paulo State, Brazil, was monthly investigated in the period of August 1999 to July 2000. Measurements of total length, body weight, gonadal weight and macroscopic assessment of gonadal maturation were performed. Environmental parameters were considered in order to verify associations with the reproductive period. Populational structure showed total length amplitude between 14.2 and 50.8 mm. Pronounced sexual dimorphism was verified. The largest mean values of gonadosomatic relation for females coincided with the rainy season (November to March). Mean length at first sexual maturity was different for males (30.5 mm) and females (37.1 mm). Fecundity varied between 51 and 166 oocytes. Gonadal maturation curve, frequency of maturation stages and size frequency distributions of oocytes in mature ovaries revealed a long reproductive period, suggesting fractional spawning.

Descrição do ciclo reprodutivo de Donax hanleyanus (Bivalvia, Donacidae) no sul do Brasil

The changes in gonadal development in male and female of Donax hanleyanus Philippi, 1847 are described. Gonad development and spawning seasons were assessed by monthly sampling of population from Arroio Teixeira beach, southern Brazil. Histological examination of clams showed in the most of the adult population sampled that the spawning is practically continuous, without any period of sexual rest. There are two main periods of gametogenesis, in winter and in summer, being the degree of maturation longer in the latter. The water temperature is stimulant on gametes proliferation and spawning.