Connections between the Sznajd model with general confidence rules and graph theory

The Sznajd model is a sociophysics model that is used to model opinion propagation and consensus formation in societies. Its main feature is that its rules favor bigger groups of agreeing people. In a previous work, we generalized the bounded confidence rule in order to model biases and prejudices in discrete opinion models. In that work, we applied this modification to the Sznajd model and presented some preliminary results. The present work extends what we did in that paper. We present results linking many of the properties of the mean-field fixed points, with only a few qualitative aspects of the confidence rule (the biases and prejudices modeled), finding an interesting connection with graph theory problems. More precisely, we link the existence of fixed points with the notion of strongly connected graphs and the stability of fixed points with the problem of finding the maximal independent sets of a graph. We state these results and present comparisons between the mean field and simulations in Barabasi-Albert networks, followed by the main mathematical ideas and appendices with the rigorous proofs of our claims and some graph theory concepts, together with examples. We also show that there is no qualitative difference in the mean-field results if we require that a group of size q > 2, instead of a pair, of agreeing agents be formed before they attempt to convince other sites (for the mean field, this would coincide with the q-voter model).

Environmental management in Brazil: is it a completely competitive priority?

Current studies indicate a need to integrate environmental management with manufacturing strategy, including topics like cross-functional integration, environmental impact, and waste reduction. Nevertheless, such studies are relatively rare, existing still a need for research in specific regional contexts. At the same time, the results found are not unanimous. Due to these gaps, the objective of this article is to analyze if environmental management can be considered a new competitive priority for manufacturing enterprises located in Brazil. A cross-sectional survey was conducted with Brazilian companies certified by ISO 14001. Sixty-five valid questionnaires were analyzed through Structural Equation Modelling (SEM). The first conclusion is that environmental management presents a preventive approach in the sample analyzed, focused on eco-efficiency, what potentially do not to create a competitive advantage. This preventive approach inhibits environmental management from being regarded as a new competitive manufacturing priority, in the full sense as defined by the literature. Another important result is that environmental management, although following a preventive focus, may influence positively the four manufacturing priorities: cost, quality, flexibility and delivery. (C) 2011 Elsevier Ltd. All rights reserved.

DeCS terminology and the new rules on orthography of Portuguese language: guidelines for an update

PURPOSE: To indicate orthographic changes to be used as a basic reference for professionals, researchers, doctors, teachers, students and users, which are directly linked and performing activities in health services in general, aimed at implementing the correct orthography in recovery and production of their scientific studies. METHODS: For data collection, were shown some examples of terminology DeCS (Descriptors in Health Science) analyzed according to the current spelling and compared with the Orthographic Vocabulary of Portuguese Language (VOLP). RESULTS: It was select and listed examples of key words and/or terms related to Health Sciences, which was compared to the respective rules of the Orthographic Agreement of Portuguese Language, and divided into three items: graphical accentuation, the non use of dieresis and exceptions and, the use of hyphen. CONCLUSION: This study show some guidelines for the orthographic alterations of the terms used by scientific community, according the new orthographic rules, contributing for the efficiency in the description of the documents and consequently in their recovery.

Exotic B-c-like molecules in QCD sum rules

We use the QCD sum rules to study possible B-c-like molecular states. We consider isoscalar J(P) = 0(+) and J(P) = 1(+) D(*) B(*) molecular currents. We consider the contributions of condensates up to dimension eight and we work at leading order in alpha(s). We obtain for these states masses around 7 GeV. (C) 2012 Elsevier B.V. All rights reserved.

QCD sum rules for the 'Z POT + IND C' (3900) state.

We use the QCD sum rules to study the recently observed charmonium-like structure Z+ c (3900) as a tetraquark state. We evaluate the three-point function and extract the coupling constants of the Z+ c J/ψ π+, Z+ c ηc ρ+ and Z+ c D+ ¯D∗0 vertices and the corresponding decay widths in these channels. The results obtained are in good agreement with the experimental data and supports to the tetraquark picture of this state.

The charmed pentaquark Θc(3250) from QCD sum rules.

We study, using the QCD sum rule framework, the possible existence of a charmed pentaquark that we call Θc(3250). In the QCD side we work at leading order in αs and consider condensates up to dimension 10. The mass obtained: mΘc = (3.21±0.13) GeV, is compatible with the mass of the structure seen by BaBar Collaboration in the decay channel B− → ￣p Σ++ c π−π−.

Temporal evolution of emerging contaminants, priority substances and heavy metals most frequently detected in reclaimed water and grounwater in a volcanic aquifer

[EN] The presence of emerging contaminants has been previously described in reclaimed water and groundwater of Gran Canaria (Spain). Despite of the environmental risk associated to irrigation with reclaimed water (R), this practice is necessary considering sustainability of the hydrological cycle in semiarid zones, especially regarding agricultural activity. The aim of this study was: i) to analyse the evolution during two years of contaminants of emerging concern, priority substances (2008/105/EC) and heavy metals in reclaimed water (R) and in a volcanic aquifer in the NE of Gran Canaria where a golf course has been irrigated with R since 1976 and ii) to relate this presence with physicochemical water properties and hydrogeological media. Reclaimed water and groundwater (GW) were monitoring quarterly from July 2009 to September 2011. Sorption and degradation processes in soil account for more compounds being detected in R. Diazinon and chlorfenvinphos were detected always in R and terbuthylazine, terbutryn and diuron at 90% of frequency. Considering all the samples, the most frequent compounds were chlorpyrifos ethyl, fluorene, phenanthrene and pyrene. Although their concentrations were frequently below 50 ngL-1, some contaminants, were occasionally detected at higher concentrations. Chlorpyrifos ethyl and diuron are priority substances detected frequently and at high concentrations so they must be included in monitoring studies. Geology and location seem to be related to the emerging compounds presence due to occasional contamination events (not related to R irrigation) and therefore not to an existence of a dangerous diffuse contamination level. Thus, it is preferable to select wells with less stable chemical water quality, in order to monitor the risk of emerging compounds presence. Considering the relationship between contaminant presence, chemical water quality, seasonal variation, hydrogeological characteristics and wells location we can conclude that chlorpyrifos ethyl and diuron were the most dangerous priority substances in terms of GW quality so they must be included in all of the monitoring studies, at least in Canary Islands.

La protezione dei diritti sociali nell'ordinamento dell'Unione Europea

This study deals with the protection of social rights in Europe and aims to outline the position currently held by these rights in the EU law. The first two chapters provide an overview of the regulatory framework in which the social rights lie, through the reorganisation of international sources. In particular the international instruments of protection of social rights are taken into account, both at the universal level, due to the activity of the United Nations Organisation and of its specialized agency, the International Labour Organization, and at a regional level, related to the activity of the Council of Europe. Finally an analysis of sources concludes with the reconstruction of the stages of the recognition of social rights in the EU. The second chapter describes the path followed by social rights in the EU: it examines the founding Treaties and subsequent amendments, the Charter of Fundamental Social Rights of Workers of 1989 and, in particularly, the Charter of Fundamental Rights of the European Union, the legal status of which was recently treated as the primary law by the Treaty of Lisbon signed in December 2007. The third chapter is, then, focused on the analysis of the substantive aspects of the recognition of the rights made by the EU: it provides a framework of the content and scope of the rights accepted in the Community law by the Charter of Fundamental Rights, which is an important contribution to the location of the social rights among the fundamental and indivisible rights of the person. In the last section of the work, attention is focused on the two profiles of effectiveness and justiciability of social rights, in order to understand the practical implications of the gradual creation of a system of protection of these rights at Community level. Under the first profile, the discussion is focused on the effectiveness in the general context of the mechanisms of implementation of the “second generation” rights, with particular attention to the new instruments and actors of social Europe and the effect of the procedures of soft law. Second part of chapter four, finally, deals with the judicial protection of rights in question. The limits of the jurisprudence of the European Union Court of Justice are more obvious exactly in the field of social rights, due to the gap between social rights and other fundamental rights. While, in fact, the Community Court ensures the maximum level of protection to human rights and fundamental freedoms, social rights are often degraded into mere aspirations of EU institutions and its Member States. That is, the sources in the social field (European Social Charter and Community Charter) represent only the base for interpretation and application of social provisions of secondary legislation, unlike the ECHR, which is considered by the Court part of Community law. Moreover, the Court of Justice is in the middle of the difficult comparison between social values and market rules, of which it considers the need to make a balance: despite hesitancy to recognise the juridical character of social rights, the need of protection of social interests has justified, indeed, certain restrictions to the free movement of goods, freedom to provide services or to Community competition law. The road towards the recognition and the full protection of social rights in the European Union law appears, however, still long and hard, as shown by the recent judgments Laval and Viking, in which the Community court, while enhancing the Nice Charter, has not given priority to fundamental social rights, giving them the role of limits (proportionate and justified) of economic freedoms.

Constraint handling rules. Compositional semantics and program transformation

This thesis intends to investigate two aspects of Constraint Handling Rules (CHR). It proposes a compositional semantics and a technique for program transformation. CHR is a concurrent committed-choice constraint logic programming language consisting of guarded rules, which transform multi-sets of atomic formulas (constraints) into simpler ones until exhaustion [Frü06] and it belongs to the declarative languages family. It was initially designed for writing constraint solvers but it has recently also proven to be a general purpose language, being as it is Turing equivalent [SSD05a]. Compositionality is the first CHR aspect to be considered. A trace based compositional semantics for CHR was previously defined in [DGM05]. The reference operational semantics for such a compositional model was the original operational semantics for CHR which, due to the propagation rule, admits trivial non-termination. In this thesis we extend the work of [DGM05] by introducing a more refined trace based compositional semantics which also includes the history. The use of history is a well-known technique in CHR which permits us to trace the application of propagation rules and consequently it permits trivial non-termination avoidance [Abd97, DSGdlBH04]. Naturally, the reference operational semantics, of our new compositional one, uses history to avoid trivial non-termination too. Program transformation is the second CHR aspect to be considered, with particular regard to the unfolding technique. Said technique is an appealing approach which allows us to optimize a given program and in more detail to improve run-time efficiency or spaceconsumption. Essentially it consists of a sequence of syntactic program manipulations which preserve a kind of semantic equivalence called qualified answer [Frü98], between the original program and the transformed ones. The unfolding technique is one of the basic operations which is used by most program transformation systems. It consists in the replacement of a procedure-call by its definition. In CHR every conjunction of constraints can be considered as a procedure-call, every CHR rule can be considered as a procedure and the body of said rule represents the definition of the call. While there is a large body of literature on transformation and unfolding of sequential programs, very few papers have addressed this issue for concurrent languages. We define an unfolding rule, show its correctness and discuss some conditions in which it can be used to delete an unfolded rule while preserving the meaning of the original program. Finally, confluence and termination maintenance between the original and transformed programs are shown. This thesis is organized in the following manner. Chapter 1 gives some general notion about CHR. Section 1.1 outlines the history of programming languages with particular attention to CHR and related languages. Then, Section 1.2 introduces CHR using examples. Section 1.3 gives some preliminaries which will be used during the thesis. Subsequentely, Section 1.4 introduces the syntax and the operational and declarative semantics for the first CHR language proposed. Finally, the methodologies to solve the problem of trivial non-termination related to propagation rules are discussed in Section 1.5. Chapter 2 introduces a compositional semantics for CHR where the propagation rules are considered. In particular, Section 2.1 contains the definition of the semantics. Hence, Section 2.2 presents the compositionality results. Afterwards Section 2.3 expounds upon the correctness results. Chapter 3 presents a particular program transformation known as unfolding. This transformation needs a particular syntax called annotated which is introduced in Section 3.1 and its related modified operational semantics !0t is presented in Section 3.2. Subsequently, Section 3.3 defines the unfolding rule and prove its correctness. Then, in Section 3.4 the problems related to the replacement of a rule by its unfolded version are discussed and this in turn gives a correctness condition which holds for a specific class of rules. Section 3.5 proves that confluence and termination are preserved by the program modifications introduced. Finally, Chapter 4 concludes by discussing related works and directions for future work.

Ex-post Liability Rules in Modern Patent Law

This doctoral thesis examines the use of liability rules to protect patent entitlements, focusing on a specific type of rule named ex-post since it is applied and designed ex-post by a court or an agency. The research starts from the premise that patents are defined by the legal and economic scholarship as exclusive rights but nevertheless, under certain circumstances there are economic as well as other compelling reasons to transform the exclusiveness of patent rights into a right to receive compensation.

La circolazione dei servizi in una economia sociale di mercato

Questa ricerca intende esaminare l'impatto della circolazione transfrontaliera dei servizi sul bilanciamento tra regole di mercato e politiche sociali. L'analisi di questa tensione costituisce il punto di partenza per una riflessione più ampia che si propone di comprendere come la conciliazione tra solidarietà e competitività e, più generalmente, tra esigenze di protezione sociale degli Stati membri e tradizionali competenze comunitarie nell'ambito del mercato comune, possa operare nel settore dei servizi. Un mercato comune dei servizi in costante espansione in senso transfrontaliero ha indubbiamente effetti non trascurabili sul piano sociale ed in particolare sul diritto del lavoro consolidatosi nelle tradizioni costituzionali degli Stati membri. La necessità di conciliare solidarietà e competitività alla base del concetto di economia sociale ed il rinnovato accento sulla dimensione sociale dell'Unione accolto nel Trattato di Lisbona dovrebbero promuovere una convivenza armoniosa tra un'integrazione europea di carattere principalmente economico ed i residui spazi di intervento statale a tutela dei mercati nazionali del lavoro. Prima di analizzare cause ed effetti di tale potenziale conflitto nell'ambito del mercato europeo dei servizi risulta necessario fornire un panorama del quadro normativo applicabile agli operatori economici che intendano fornire a titolo temporaneo una prestazione in uno Stato membro diverso da quello di stabilimento. Nell'ambito di tale disamina, dedicata alle fonti conflittuali del diritto europeo applicabili ai prestatori di servizi, individueremo le condizioni che devono rispettare gli operatori per esercitare un'attività in uno Stato membro diverso da quello di origine (Parte I). Potremo quindi illustrare come l'esercizio delle libertà comunitarie di circolazione da parte delle imprese europee abbia fatto emergere le contraddizioni ed i limiti del funzionamento del mercato comune rispetto alla fruizione dei diritti sociali da parte dei lavoratori locali e distaccati (Parte II).