As relações bilaterais entre Portugal e a China: enquadramento histórico-económico e distância cultural

Relatório de estágio de mestrado em Estudos Interculturais Português/Chinês: Tradução, Formação e Comunicação Empresarial

Comportamentos de adoção a um novo serviço de transporte : Carsharing

Mestrado Gestão e Estratégia Industrial

A elite política parlamentar portuguesa: caracterização, cristalização e circulação (2005-2011)

Dissertação de Mestrado em Ciência Política

Avaliação da Eficácia do Programa Eco-Escolas na Região Autónoma da Madeira – Os concelhos da Ponta do Sol e da Ribeira Brava

Dissertação de Mestrado em Gestão e Políticas Públicas

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.

Ireland's biodegradable municipal waste

This project focuses on the EU Landfill Directive targets for Biodegradable Municipal Waste (BMW) specifically focusing on how the targets will affect Ireland and its waste management infrastructure. Research will consist of reviewing relevant literature, legislation and policies that will provide a comparable between Ireland and other nations. Planning processes which govern both the building structure and running capacities of treatment facilities is also necessary in order to predict amounts of waste diverted from landfill. The efficiency of these treatment plants also requires investigation. Another objective is to research further information on Irelands organic ‘brown’ bin service, this will involve discovering the roll out of bins in the future over a defined time scale as well as the potential amounts of waste that will be collected. Figures received from waste management and waste treatment companies will be combined with figures from the Environmental Protection Agency’s (EPA) annual reports. This will give an indication to past trends and shed light on possible future trends. With this information annul waste volumes consigned to landfill can be calculated and used to determine whether or not Ireland can achieve the EU Landfill Directive targets. Without significant investment in Irelands waste management infrastructure it is unlikely that the targets will be met. Existing waste treatment facilities need to be managed as efficiently as possible. Waste streams must also be managed so waste is shared appropriately between companies and not create a monopolising waste treatment facility. The driving forces behind an efficient waste management infrastructure are government policy and legislation. An overall and efficient waste management strategy must be in place, along with disincentives for landfilling of waste such as the landfill levy. Encouragement and education of the population is the fundamental and first step to achieving the landfill directive targets.

Short Guide to Hepatitis C

Hepatitis C is a rapidly developing area of medicine – diagnostic tools are ever more refined, and entirely new treatments and treatment strategies are arriving, with more on the horizon. And because the virus affects such a large and varying population – up to 170 million at last count – we think it is important to have a pocket reference especially devoted to hepatitis C. We look forward to your comments on the usefulness of our 2014 Short Guide to Hepatitis C, which is an expansion and update of the HCV chapters in Hepatology – A Clinical Textbook (2014), also published by Flying Publisher. As always, we invite qualified people everywhere to translate this book into other languages, and make them available widely. This web-based free-of- harge concept is made possible by unrestricted educational grants from the pharmaceutical industry and has allowed the material to reach countries usually not covered by print media. We are convinced that this new pocket guide concept, focusing here on hepatitis C, will become a valuable source of information for our readers.

imaging capabilities of ground penetrating radar for the detection of buries anti-personnel landmines

Subsurface Radar, Ground Penetrating Radar (GPR), Synthetic Aperture Radar (SAR), Anti-Personnel Landmine, Antenna Desing, Field Simulation, Focusing, Dielectric Lens, Geophysics, Soil Properties

Primatology in southern Brazil: a transdisciplinary approach to the conservation of the brown-howler-monkey Alouatta guariba clamitans (Primates, Atelidae)

Human interventions in natural environments are the main cause of biodiversity loss worldwide. The situation is not different in southern Brazil, home of five primate species. Although some earlier studies exist, studies on the primates of this region began to be consistently carried out in the 1980s and have continued since then. In addition to important initiatives to study and protect the highly endangered Leontopithecus caissara Lorrini & Persson, 1990 and Brachyteles arachnoides E. Geoffroy, 1806, other species, including locally threatened ones, have been the focus of research, management, and protection initiatives. Since 1993, the urban monkeys program (PMU, Programa Macacos Urbanos) has surveyed the distribution and assessed threats to populations of Alouatta guariba clamitans (Cabrera, 1940) in Porto Alegre and vicinity. PMU has developed conservation strategies on four fronts: (1) scientific research on biology and ecology, providing basic knowledge to support all other activities of the group; (2) conservation education, which emphasizes educational presentations and long-term projects in schools near howler populations, based on the flagship species approach; (3) management, analyzing conflicts involving howlers and human communities, focusing on mitigating these problems and on appropriate relocation of injured or at-risk individuals; and finally, (4) Public Policies aimed at reducing and/or preventing the impact of urban expansion, contributing to create protected areas and to strengthen environmental laws. These different approaches have contributed to protect howler monkey populations over the short term, indicating that working collectively and acting on diversified and interrelated fronts are essential to achieve conservation goals. The synergistic results of these approaches and their relationship to the prospects for primatology in southern Brazil are presented in this review.

Shape and size variations of Aegla uruguayana (Anomura, Aeglidae) under laboratory conditions: A geometric morphometric approach to the growth

Crustacean growth studies typically use modal analysis rather than focusing on the growth of individuals. In the present work, we use geometric morphometrics to determine how organism shape and size varies during the life of the freshwater crab, Aegla uruguayana Schmitt, 1942. A total of 66 individuals from diverse life cycle stages were examined daily and each exuvia was recorded. Digital images of the dorsal region of the cephalothorax were obtained for each exuvia and were subsequently used to record landmark configurations. Moult increment and intermoult period were estimated for each crab. Differences in shape between crabs of different sizes (allometry) and sexes (sexual dimorphism; SD) were observed. Allometry was registered among specimens; however, SD was not statistically significant between crabs of a given size. The intermoult period increased as size increased, but the moult frequency was similar between the sexes. Regarding ontogeny, juveniles had short and blunt rostrum, robust forehead region, and narrow cephalothorax. Unlike juveniles crabs, adults presented a well-defined anterior and posterior cephalothorax region. The rostrum was long and stylised and the forehead narrow. Geometric morphometric methods were highly effective for the analysis of aeglid-individual- growth and avoided excessive handling of individuals through exuvia analysis.

Social exclusion mobility in Spain, 1994-2000

Social exclusion can be defined as a process leading to a state of multiple functioning deprivations. Cross-sectional headcount ratios of social exclusion may overstate the extent of the problem if most individuals do not remain in the same state in successive years. To address this issue, we need to focus on mobility. Therefore, the aim of this paper is to analyse changes in the individual levels of social exclusion focusing on the extent to which individuals change place in social exclusion distribution.

Educació en valors i formació docent. La diversitat com a valor

La reflexió sobre la meva pràctica educativa m’ha portat a endinsar-me en el món de la diversitat i de l’educació en valors, i preguntar-me sobre la seva ubicació en la formació docent. L’enfocament d’aquestes qüestions s’ha realitzat des de l’òptica de la persona. Des d’ella s’han buscat uns eixos vertebradors mínims que haurien d’estar presents tant en tot plantejament educatiu concret, com en la legislació en matèria educativa i en els plans de formació del professorat. Aquests eixos vertebradors s’han articulat en una tipologia de valors formada pel valor de la persona, des del qual sorgeixen el valor de l’educació, els valors de la democràcia i el valor de la utopia. El que he realitzat en aquesta recerca ha estat analitzar la legislació educativa i els plans d’estudi de formació de mestres de les universitats de Catalunya a partir de quatre grups d’indicadors que pretenen l’estudi del seu marc contextual, del vocabulari utilitzat –concretament els termes “ètica”, “moral” i “valor”-, del tractament de la diversitat –a partir del territori i la classe social, l’ètnia, el gènere i les necessitats educatives especials-, i de l’enfocament de l’educació en valors –segons la tipologia anteriorment apuntada-.

The EU as a security provider in its neighbourhood: the case of non-proliferation of WMD in the Mediterranean area

As a consequence of the terrorist attacks of 9/11 and the US-led war against Iraq, WMD and their proliferation have become a central element of the EU security agenda. In December 2003, the European Council adopted even a EU Strategy against Proliferation of WMD. The approach adopted in this Strategy can be largely described as a ‘cooperative security provider’ approach and is based on effective multilateralism, the promotion of a stable international and regional environment and the cooperation with key partners. The principal objective of this paper is to examine in how far the EU has actually implemented the ‘cooperative security provider’ approach in the area which the Non-proliferation Strategy identifies as one of its priorities – the Mediterranean. Focusing on the concept of security interdependence, the paper analyses first the various WMD dangers with which the EU is confronted in the Mediterranean area. Afterwards, it examines how the EU has responded to these hazards in the framework of the Barcelona process and, in particular, the new European Neighbourhood Policy. It is argued that despite its relatively powerful rhetoric, the EU has largely failed, for a wide range of reasons, to apply effectively its non-proliferation approach in the Mediterranean area and, thus, to become a successful security provider.

Innovation and internasionalisation. A focus on the Spanish exporting firms

International markets are very competitive so innovation seems unavoidable. Some authors describe internationalisation as being an innovation of the firm. In this research these two phenomena will be studied, through a multiple case study method, focusing on the existence of a reciprocal relationship between the processes of internationalisation and innovation.

Fabricació de Lents Zonals de Fresnel per aplicació als raigs X tous

Estudi elaborat a partir d’una estada al Paul Scherrer Institut del Maig a l’Octubre del 2006 amb l’ajuda i supervisió dels Dr. Konstantins Jefimovs i Dr. Christian David. Focalitzar raigs X tous és una necessitat essencial per al microanàlisis, la microscopia, i fer imatges en moltes Instal·lacions de Radiació Sincrotró. Les Lents Zonals de Fresnel (FZP, de la denominació anglesa “Fresnel Zone Plates”) han demostrat donar uns punts focals amb una resolució espacial destacada i una baixa il·luminació de fons. Tanmateix, la fabricació de FZP és complexa i no totalment reproduïble. A més a més, el temps de vida de les FZP és força curt, ja que estant situades sobre membranes de nitrur de silici molt fines i altament absorbents. Per tant, hem fet esforços per implementar FZP de silici, que s’espera que siguin més resistents. L’element està fet d’una oblia de cristall de silici poc absorbent, i no presenta cap interfase entre materials. Així doncs, aquestes lents són especialment adequades per a aguantar les extremes càrregues de radiació de les fonts de raigs X més brillants. Particularment, això és molt important per a les aplicacions a les pròximes generacions de fonts de raigs X, com els Làsers d’Electrons Lliures (FEL, de la denominació anglesa “Free Electron Laser”). El silici també garanteix que no hi hagi cap banda d’absorció en el rang d’energies de la finestra de l’aigua (200-520 eV), fent aquestes lents ideals per a fer imatges de mostres biològiques. En aquest informe, hi ha una descripció detallada de tots els passos involucrats en la fabricació de les Lents Zonals de Fresnel de silici. En resum, les estructures de FZP es modelen sobre una resina utilitzant litografia per feix d’electrons i llavors el patró es transmet al silici mitjançant un gravat d’ions reactius (RIE, de la denominació anglesa ‘Reactive Ion Etching’) utilitzant una fina (20 nm) màscara de Crintermitja. Les membranes de silici es poden aprimar després de la fabricació de les estructures per a garantir una transmissió suficient fins i tot a baixes energies. Aquest informe també inclou l’anàlisi i la discussió d’alguns experiments preliminars per avaluar el rendiment de les Si FZPs fets a la línia de llum PolLux del Swiss Ligth Source amb l’ajuda dels Dr. Jörg Raabe i Dr. George Tzvetkov.