Product placement e libertà di espressione

Object of the search is the advertising phenomenon of the "product placement", with reference to that it has been investigated legality’s limits, as well as the relationship with the constitutionally protected liberty of expression. Particularly, it has been analyzed, in first place, the problem of the relationship between the freedom of expression and the liberty of economic initiative, with particular reference to the different circles of guardianship to these prepared: or, larger, the one provided for the first from the 21th article of Costitution, more circumscribed, instead, the one established in the 41th article of Costitution, with reference to the second. This analysis has been made with the purpose to investigate the coordination among such liberties in those forms of communications that, for the proper peculiarities that characterize them, can be qualified, according to the concrete circumstances in which they are spread, so much forms of liberty of expression, how much exercise of an activity of enterprise. Under this last profile, it has been taken attention on the advertising activity and, specially, on the non transparent publicities, or not immediately perceivable as such from their receivers, and, therefore, in contrast with the advertising trasparence’s principle: or, the so-called cases of hidden publicity, what the editorial publicity, both "in narrow sense" both "in general sense", as well as the phenomenon of the product placement (or positioning of product), by now diffused in the commercial routine. Therefore, it has been proceeded to a complete and exhaustive examination of innovations introduced by the recent legislative discipline in subject of “planned placement of marks and products” in the cinema works, appraising, in the specific one, the effects, juridical and no juridical, consequential from the introduction of a first form of regulation of the phenomenon of the product placement and, particularly, from the express provision about the legality of the use to such advertising, if it has realized according to specific requirements or condition. In relationship to such profile, it has been also investigate limits (sub kind of normative gaps) from which the recently introduced discipline in subject would seem characterized. Finally, a further circle of investigation has concerned the possible organization of the phenomenon under a negotiate aspect, as particular contract of advertising, in which the object consists in an promotional activity. Concerning this, the experience of foreign countries (above all the Anglo-Saxon one) has been very important, because of the absence, in our arrangement, of a general normative discipline about advertising contracts. Consequently, I’ve investigated principal characteristics of similar contracts, in first place the atypicalness, because of the lack, in Italy, of a legislative discipline of this contract. Such investigation has also been developed through a comparation between the positioning of product and the other advertising contracts, among which, particularly, the sponsorship, as well as the contracts for the advertising exploitation of the name and other people's image, and, specially, the contract of testimonial and the contract of endorsement.

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.

The drivers and implications of environmental innovations: European evidence at different levels of analysis

The present work is a collection of three essays devoted at understanding the determinants and implications of the adoption of environmental innovations EI by firms, by adopting different but strictly related schumpeterian perspectives. Each of the essays is an empirical analysis that investigates one original research question, formulated to properly fill the gaps that emerged in previous literature, as the broad introduction of this thesis outlines. The first Chapter is devoted at understanding the determinants of EI by focusing on the role that knowledge sources external to the boundaries of the firm, such as those coming from business suppliers or customers or even research organizations, play in spurring their adoption. The second Chapter answers the question on what induces climate change technologies, adopting regional and sectoral lens, and explores the relation among green knowledge generation, inducement in climate change and environmental performances. Chapter 3 analyzes the economic implications of the adoption of EI for firms, and proposes to disentangle EI by different typologies of innovations, such as externality reducing innovations and energy and resource efficient innovations. Each Chapter exploits different dataset and heterogeneous econometric models, that allow a better extension of the results and to overcome the limits that the choice of one dataset with respect to its alternatives engenders. The first and third Chapter are based on an empirical investigation on microdata, i.e. firm level data extracted from innovation surveys. The second Chapter is based on the analysis of patent data in green technologies that have been extracted by the PATSTAT and REGPAT database. A general conclusive Chapter will follow the three essays and will outline how each Chapter filled the research gaps that emerged, how its results can be interpreted, which policy implications can be derived and which are the possible future lines of research in the field.

La valutazione degli strumenti per la diagnosi sociale della genitorialita'. Uno studio di caso sulla provincia di Bologna

La ricerca dottorale che ho sviluppato si propone di analizzare il percorso di valutazione della genitorialità recentemente delineato dai servizi sociali territoriali della provincia di Bologna attraverso la sperimentazione di strumenti per la diagnosi sociale, valutando gli esiti dell’applicazione, anche in confronto all’utilizzo di metodi tradizionali. Il progetto ha il suo fulcro tematico, nel qualificare le pratiche professionali, con il fine ultimo di giungere ad un percorso di diagnosi sociale scientificamente fondato. Il mio obbiettivo quindi non è stato analizzare in termini astratti e idealtipici le metodologie professionali di riferimento per i 32 operatori coinvolti, quanto piuttosto di formarli all’utilizzo di una serie di strumenti elaborati nelle fasi precedenti del progetto, e condurre una ricerca empirica su un numero, sufficientemente ampio, di “casi concreti” costituito da nuclei familiari in carico ai servizi sociali. Più precisamente l'ambito privilegiato d’analisi è stato individuato nel rapporto tra operatore ed utente, allo scopo di evidenziare pregi e difetti dell'utilizzo di strumenti professionali finalizzati alla diagnosi sociale. Inoltre va sottolineato che l’analisi della letteratura sul tema ha evidenziato l’esistenza di un numero molto limitato di studi empirici sulle metodologie di servizio sociale, condotti peraltro su un numero di casi e di variabili molto ristretto, e per lo più in territorio statunitense, dove il sistema di Welfare si caratterizza per una impostazione tale da rendere veramente difficile la comparazione con la realtà italiana. Quello a cui ho inteso pervenire non è un giudizio ultimo sull’efficacia di questa specifica metodologia tout-court, ma piuttosto analizzare, attraverso l’utilizzo di materiali quanti-qualitativi derivati dalla sperimentazione, quelle che sono le condizioni che si vengono a determinare quando, nel percorso di presa in carico sociale, vengono introdotti strumenti specifici, metodologia chiara e alto coinvolgimento delle componenti relazionali del processo: operatori, familiari e rete sociale allargata.