A GNR e a cooperação entre órgãos da polícia criminal na sociedade do risco. Estudo de caso:

Cooperation between police forces is a topic that is increasingly relevant. The emergence of new threats, as well as looking for new ways to fight crime, require from the, careful monitoring and strict sharing of all relevant information. This Work is entitled “The GNR and cooperation between Criminal Police Bodies in the Risk Society. Case Study: District of Lisbon” and aims to study the cooperation and coordination between police forces in Lisbon district, and verify if there is an parallel between the rule of law and the police procedures. The work is organized in four chapters. The first consists in a theoretical framework to perceive the context and objectives of this work. The second addresses the role of the, the different types of cooperation and instruments that promote cooperation between them. The third presents and analyzes the results. Finally, the fourth and last chapter the conclusions are woven answered the questions derived and starting question, tested hypotheses, and those limitations and future recommendations. In conclusion, the District of Lisbon, there is cooperation, materialized in a constant exchange of information, based on personal and informal relationship between the elements of the various Police Forces.

Work ethic and the legacies of political regimes

This article studies the cross-country differences in work ethic and claims that different political regimes transmitted different work ethics that still persist today. Using the World Values Survey and starting our political regime analysis in 1900, we find that Democratic regimes promote more effectively work relevance and competitiveness than Autocratic and Anocratic regimes, and that the political regime history of the country is more important than the present level of democracy. Moreover, we prove that this differences were transmitted through generations by parents, who optimally choose what work ethic to transmit taking into account their own values.

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

NSP work project investment styles

This paper analyzes the Nova Student Portfolio (NSP) with the objective to understand performances of the fund. Each investment style has been analyzed (growth, value and momentum) in order to highlight what style allocation contributed positively and which had a negative impact. The results show that the team mainly invested in value stocks, which contributed positively but that its growth investments had a negative impact on the stock picking performance. The stock selection shows a major influence of the value investment style. A statistical approach shows that the market factor was the one explaining the most the NSP returns.

O corpo da Guarda prisional como Órgão de Polícia Criminal e a sua importância na Segurança Interna

The study now presented a research study aimed at the exercise of security activity of the prison guard corps (CGP) in the specific context of the prison system (SP). The study also focused on the phenomenon of globalization and its influence on the current panorama of world crime and their relationship with the prison security object of study was the security activity of the CGP on the current inmate population, as well as the typology of crimes inherent to it and that requires the interpretation of the amendment to the correctional paradigm. In the preparation of the study we have tried to identify the legal framework of the profession based on the main laws and decree-laws governing the institution DGRSP and CGP's career. The difficulties and constraints were analyzed the performance of the security function of the CGP, resulting from the infrastructure, the interaction with the inmates and the need of assigning the status of Criminal Police (OPC). Really connected the relevant importance of OPC so the Corporation can establish a cooperation interaction and sharing of information with different security forces. We noted the importance of the CGP being OPC status before the framework for its action in work situations, specifically, on gatehouses, prison wings, area, and high-complexity operations such as escorts and riot control interventions.The explanation of this study enabled us to assess the importance of the actions of a police officer of the elements of the CGP for maintaining internal security. The analyses and studies were complemented by twenty years of career and exercise of the activity of the master's degree, during which time he served as guard and head of the CGP, the intervention Group and Prison Security, the Lisbon Prison, Prison, Prison of Caxias, Sintra and Monsanto.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

‘Wooden Man’? : Masculinities in the Work of J. M. Coetzee (Boyhood, Youth and Summertime)

In seeking to advance the possibility of justice, gender and postcolonial studies have argued for the importance of the study of masculinities, through the acknowledgment that a richer understanding of such gendered formations may provide the basis for recognition of the Other and that, left uncriticised, such formations may be continuously delineated by the reproduction of systems of domination. The current study finds as its object the representations of masculinities in J. M. Coetzee’s Boyhood (1997), Youth (2002) and Summertime (2009). As works of transition in terms of Coetzee’s oeuvre - post-apartheid and post-Disgrace - the trilogy provides an account of the development of a man through several stages of life. While portraying the tensions of different geographical and cultural locations, such as apartheid South Africa and the London of the Sixties, the trilogy articulates the various norms that impact in the formation of gender, particularly of masculinities, through a complex system of power relations. The adherence to such norms is never linear, as the trilogy provides imaginative accounts of the contradictions that assist in the formulation of gender, depicting both the allure and the terror that constitute hegemonic masculinity. Located in the intersection of gender and postcolonial studies, the present study is based on the works by Raewyn Connell on masculinities. Animated by such a critical framework, the main research question of the present study is whether the trilogy advances a notion of masculinity that differs from the traditional rigid model, that is, whether there is resistance to hegemonic masculinity and what the spaces inhabited by the subaltern are. It is suggested that the trilogy presents the reader with instances of resistance to normative formulations of masculinity, by contrasting domination with the possibility of justice, and advancing an understanding of the often fatal consequences of gender norms to one’s sense of being in the world.

Crescer com os outros: a aprendizagem cooperativa e o trabalho de grupo como estratégias fundamentais no desenvolvimento de competências sociais: o contributo do Projeto Curricular Integrado

Relatório de estágio de mestrado em Educação Pré-Escolar e Ensino do 1º Ciclo do Ensino Básico

The impact of work clothing design on workers’ comfort

Physical and physiological comfort, at work and during leisure time, is important to human health and motivation. A growing number of jobs require workers to sit. Most clothes, except those intended for wheelchair users, were designed for walking or the standing position. Clothing designs should be user-oriented and meet users’ needs. Garment design should conform to body position and posture, not just shape and size. In this paper we present the ergometric impact of a new type of trousers designed to adapt to changes in position. Concentrations of compression forces, temperature and pressure were documented in an exploratory pilot study and contrasted to traditional designs. The new trousers showed significant decreases in compression force concentration, especially in and around the knees and waist. Most participants identified comfort as an important factor when purchasing a pair of trousers and that, for working purposes, they would prefer these special trousers rather than traditional designs.

Contratação Pública Verde: work in progress

Dissertação de mestrado em Direito Administrativo

Work engagement e enriquecimento trabalho - família: a influência das características de família

Dissertação de mestrado integrado em Psicologia

User expectations for media sharing practices in open display networks

Open Display Networks have the potential to allow many content creators to publish their media to an open-ended set of screen displays. However, this raises the issue of how to match that content to the right displays. In this study, we aim to understand how the perceived utility of particular media sharing scenarios is affected by three independent variables, more specifically: (a) the locativeness of the content being shared; (b) how personal that content is and (c) the scope in which it is being shared. To assess these effects, we composed a set of 24 media sharing scenarios embedded with different treatments of our three independent variables. We then asked 100 participants to express their perception of the relevance of those scenarios. The results suggest a clear preference for scenarios where content is both local and directly related to the person that is publishing it. This is in stark contrast to the types of content that are commonly found in public displays, and confirms the opportunity that open displays networks may represent a new media for self-expression. This novel understanding may inform the design of new publication paradigms that will enable people to share media across the display networks.

Omnivory and resource - sharing in nutrient - deficient Rio Negro waters: stabilization of biodiversity?

Amazonian biodiversity is notorious, this is also valid for the fauna of the mineral-deficient waters of the Rio Negro System. Some 25 years of research on the benthic fauna of Central Amazonian streams resulted in species-rich foodwebs with a high degree of omnivory within dense animal communities. To exemplify the taxonomic range of omnivorous consumers, the detailed resource spectra of 18 consumer species, including Protozoa (2 species), Platyhelminthes (1 species), insects (2 species), fish (6 species) and shrimps (Decapoda, 7 species), associated primarily with the benthic habitats of Rio Negro tributaries, are presented. Special features of omnivory are characterized, and the importance of litter-decomposing fungi as essential energy input into the foodwebs is documented. It is shown that general omnivory -diverse omnivore consumers sharing most of the resource types- is a prevalent feature. The relevance of this general omnivory for the maintenance of biodiversity is discussed.

Measuring university-to-work success: development of a new scale

Purpose – The purpose of this paper is to develop a subjective multidimensional measure of early career success during university-to-work transition. Design/methodology/approach – The construct of university-to-work success (UWS) was defined in terms of intrinsic and extrinsic career outcomes, and a three-stage study was conducted to create a new scale. Findings – A preliminary set of items was developed and tested by judges. Results showed the items had good content validity. Factor analyses indicated a four-factor structure and a second-order model with subscales to assess: career insertion and satisfaction, confidence in career future, income and financial independence, and adaptation to work. Third, the authors sought to confirm the hypothesized model examining the comparative fit of the scale and two alternative models. Results showed that fits for both the first- and second-order models were acceptable. Research limitations/implications – The proposed model has sound psychometric qualities, although the validated version of the scale was not able to incorporate all constructs envisaged by the initial theoretical model. Results indicated some direction for further refinement. Practical implications – The scale could be used as a tool for self-assessment or as an outcome measure to assess the efficacy of university-to-work programs in applied settings. Originality/value – This study provides a useful single measure to assess early career success during the university-to-work transition, and might facilitate testing of causal models which could help identify factors relevant for successful transition.

Redes de inovação em pequenas e médias empresas: um estudo de caso no setor têxtil

Dissertação de mestrado em Engenharia Industrial