DIREITO PROCESSUAL CIVIL CANADENSE

O Autor aborda o Direito Processual canadense, no intuito de demonstrar que, embora recebimento de forte influência de dois sistemas jurídicos - francês e inglês - o Direito canadense ainda apresenta próprias peculiaridades

Computational chemistry studies of UV induced processes in human skin

This thesis presents and uses the techniques of computational chemistry to explore two different processes induced in human skin by ultraviolet light. The first is the transformation of urocanic acid into a immunosuppressing agent, and the other is the enzymatic action of the 8-oxoguanine glycosylase enzyme. The photochemistry of urocanic acid is investigated by time-dependent density functional theory. Vertical absorption spectra of the molecule in different forms and environments is assigned and candidate states for the photochemistry at different wavelengths are identified. Molecular dynamics simulations of urocanic acid in gas phase and aqueous solution reveals considerable flexibility under experimental conditions, particularly for for the cis isomer where competition between intra- and inter-molecular interactions increases flexibility. A model to explain the observed gas phase photochemistry of urocanic acid is developed and it is shown that a reinterpretation in terms of a mixture between isomers significantly enhances the agreement between theory and experiment , and resolves several peculiarities in the spectrum. A model for the photochemistry in the aqueous phase of urocanic acid is then developed, in which two excited states governs the efficiency of photoisomerization. The point of entrance into a conical intersection seam is shown to explain the wavelength dependence of photoisomerization quantum yield. Finally some mechanistic aspects of the DNA repair enzyme 8-oxoguanine glycosylase is investigated with density functional theory. It is found that the critical amino acid of the active site can provide catalytic power in several different manners, and that a recent proposal involving a SN1 type of mechanism seems the most efficient one.

El tomate en Gran Canaria: cultivo, empresa, aparcería y exportación (1930-1970): singularidad en la producción y exportación del tomate canario

Programa de Doctorado: Historiografía, fuentes y métodos de la investigación históricas

La política económica, la construcción de vivienda y la producción de la ciudad en España (1939-75)

[ES] La construcción de la ciudad y la edificación de viviendas en España han estado condicionadas, entre otros factores, por las características estructurales y coyunturales del sector de la construcción y por las diferentes políticas económicas desarrolladas. El objetivo de esta aportación se centra en el análisis de la acción política puesta en marcha en España durante el franquismo (1939-75), en la caracterización del sector constructor-promotor y en el estudio de las repercusiones en el crecimiento inmobiliario y de la ciudad, centrándonos de un modo más específico en el caso de Canarias, dadas las peculiaridades que presentan las Islas en el contexto español. Al contrario de lo que suele afirmarse, se defiende que el precipitado proceso de conformación de la ciudad a partir de la década de los sesenta no sólo se debe al desarrollo de un modelo económico desarrollista, sino también a la profunda huella que el periodo autárquico había dejado en la economía y en la sociedad española. 

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.

Interactions between normative systems and software cognitive agents. A formalization in temporal modal defeasible logic and its implementation

Sustainable computer systems require some flexibility to adapt to environmental unpredictable changes. A solution lies in autonomous software agents which can adapt autonomously to their environments. Though autonomy allows agents to decide which behavior to adopt, a disadvantage is a lack of control, and as a side effect even untrustworthiness: we want to keep some control over such autonomous agents. How to control autonomous agents while respecting their autonomy? A solution is to regulate agents’ behavior by norms. The normative paradigm makes it possible to control autonomous agents while respecting their autonomy, limiting untrustworthiness and augmenting system compliance. It can also facilitate the design of the system, for example, by regulating the coordination among agents. However, an autonomous agent will follow norms or violate them in some conditions. What are the conditions in which a norm is binding upon an agent? While autonomy is regarded as the driving force behind the normative paradigm, cognitive agents provide a basis for modeling the bindingness of norms. In order to cope with the complexity of the modeling of cognitive agents and normative bindingness, we adopt an intentional stance. Since agents are embedded into a dynamic environment, things may not pass at the same instant. Accordingly, our cognitive model is extended to account for some temporal aspects. Special attention is given to the temporal peculiarities of the legal domain such as, among others, the time in force and the time in efficacy of provisions. Some types of normative modifications are also discussed in the framework. It is noteworthy that our temporal account of legal reasoning is integrated to our commonsense temporal account of cognition. As our intention is to build sustainable reasoning systems running unpredictable environment, we adopt a declarative representation of knowledge. A declarative representation of norms will make it easier to update their system representation, thus facilitating system maintenance; and to improve system transparency, thus easing system governance. Since agents are bounded and are embedded into unpredictable environments, and since conflicts may appear amongst mental states and norms, agent reasoning has to be defeasible, i.e. new pieces of information can invalidate formerly derivable conclusions. In this dissertation, our model is formalized into a non-monotonic logic, namely into a temporal modal defeasible logic, in order to account for the interactions between normative systems and software cognitive agents.

Formazione, apprendimento e nuove prospettive e-learning. Lo sviluppo delle nuove tecnologie didattiche e la creazione di sistemi di apprendimento lungo l’intero arco della vita

The thesis of this paper is based on the assumption that the socio-economic system in which we are living is characterised by three great trends: growing attention to the promotion of human capital; extremely rapid technological progress, based above all on the information and communication technologies (ICT); the establishment of new production and organizational set-ups. These transformation processes pose a concrete challenge to the training sector, which is called to satisfy the demand for new skills that need to be developed and disseminated. Hence the growing interest that the various training sub-systems devote to the issues of lifelong learning and distance learning. In such a context, the so-called e-learning acquires a central role. The first chapter proposes a reference theoretical framework for the transformations that are shaping post-industrial society. It analyzes some key issues such as: how work is changing, the evolution of organizational set-ups and the introduction of learning organization, the advent of the knowledge society and of knowledge companies, the innovation of training processes, and the key role of ICT in the new training and learning systems. The second chapter focuses on the topic of e-learning as an effective training model in response to the need for constant learning that is emerging in the knowledge society. This chapter starts with a reflection on the importance of lifelong learning and introduces the key arguments of this thesis, i.e. distance learning (DL) and the didactic methodology called e-learning. It goes on with an analysis of the various theoretic and technical aspects of e-learning. In particular, it delves into the theme of e-learning as an integrated and constant training environment, characterized by customized programmes and collaborative learning, didactic assistance and constant monitoring of the results. Thus, all the aspects of e-learning are taken into exam: the actors and the new professionals, the virtual communities as learning subjects, the organization of contents in learning objects, the conformity to international standards, the integrated platforms and so on. The third chapter, which concludes the theoretic-interpretative part, starts with a short presentation of the state-of-the-art e-learning international market that aims to understand its peculiarities and its current trends. Finally, we focus on some important regulation aspects related to the strong impulse given by the European Commission first, and by the Italian governments secondly, to the development and diffusion of e-learning. The second part of the thesis (chapters 4, 5 and 6) focus on field research, which aims to define the Italian scenario for e-learning. In particular, we have examined some key topics such as: the challenges of training and the instruments to face such challenges; the new didactic methods and technologies for lifelong learning; the level of diffusion of e-learning in Italy; the relation between classroom training and online training; the main factors of success as well as the most critical aspects of the introduction of e-learning in the various learning environments. As far as the methodological aspects are concerned, we have favoured a qualitative and quantitative analysis. A background analysis has been done to collect the statistical data available on this topic, as well as the research previously carried out in this area. The main source of data is constituted by the results of the Observatory on e-learning of Aitech-Assinform, which covers the 2000s and four areas of implementation (firms, public administration, universities, school): the thesis has reviewed the results of the last three available surveys, offering a comparative interpretation of them. We have then carried out an in-depth empirical examination of two case studies, which have been selected by virtue of the excellence they have achieved and can therefore be considered advanced and emblematic experiences (a large firm and a Graduate School).

The uncertainty in standardised sound power measurements: complying with ISO 17025

In the context of “testing laboratory” one of the most important aspect to deal with is the measurement result. Whenever decisions are based on measurement results, it is important to have some indication of the quality of the results. In every area concerning with noise measurement many standards are available but without an expression of uncertainty, it is impossible to judge whether two results are in compliance or not. ISO/IEC 17025 is an international standard related with the competence of calibration and testing laboratories. It contains the requirements that testing and calibration laboratories have to meet if they wish to demonstrate that they operate to a quality system, are technically competent and are able to generate technically valid results. ISO/IEC 17025 deals specifically with the requirements for the competence of laboratories performing testing and calibration and for the reporting of the results, which may or may not contain opinions and interpretations of the results. The standard requires appropriate methods of analysis to be used for estimating uncertainty of measurement. In this point of view, for a testing laboratory performing sound power measurement according to specific ISO standards and European Directives, the measurement of uncertainties is the most important factor to deal with. Sound power level measurement, according to ISO 3744:1994 , performed with a limited number of microphones distributed over a surface enveloping a source is affected by a certain systematic error and a related standard deviation. Making a comparison of measurement carried out with different microphone arrays is difficult because results are affected by systematic errors and standard deviation that are peculiarities of the number of microphones disposed on the surface, their spatial position and the complexity of the sound field. A statistical approach could give an overview of the difference between sound power level evaluated with different microphone arrays and an evaluation of errors that afflict this kind of measurement. Despite the classical approach that tend to follow the ISO GUM this thesis present a different point of view of the problem related to the comparison of result obtained from different microphone arrays.

Mitochondrial dysfunction in hereditary optic neuropathies

MITOCHONDRIAL DYSFUNCTION IN HEREDITARY OPTIC NEUROPATHIES Mitochondrial pathologies are a heterogeneous group of clinical manifestations characterized by oxidative phosphorylation impairment. At the beginning of their recognition mitochondrial pathologies were regarded as rare disorders but indeed they are more frequent than originally thought. Due to the unique mitochondria peculiarities mitochondrial pathologies can be caused by mutations in both mitochondrial and nuclear genomes. The poor knowledge of pathologic mechanism of these disorders has not allowed a real development of the “mitochondrial medicine”, that is currently limited to symptoms mitigation. Leber hereditary optic neuropathy (LHON) was the first pathology to be linked to a point mutation in the mtDNA. The mechanism by which point mutations in mitochondrial gene encoding Complex I subunits leads to optic nerve degeneration is still unknown, although is well accepted that other genetic or environmental factors are involved in the modulation of pathology, where a pivotal role is certainly played by oxidative stress. We studied the relationship between the Ala16Val dimorphism in the mitochondrial targeting sequence of nuclear gene SOD2 and the 3460/ND1 LHON mutation. Our results show that, in control population, the heterozygous SOD2 genotype is associated to a higher activity and quantity of MnSOD, particularly with respect to Val homozygotes. Furthermore, we demonstrated that LHON patients harboring at least one Ala allele are characterized by an increased MnSOD activity with respect to relative control population. Since the ATP synthesis rate – severely reduced in LHON patients lymphocytes - is not affected by the SOD2 genotype, we concluded that SOD2 gene could modulate the pathogenicity of LHON mutations through a mechanism associated to an increase of reactive oxygen species production. Autosomal dominant optic atrophy (ADOA) is a pathology linked to mutations in nuclear gene encoding Opa1, a dynamin-related protein localized in the mitochondrial matrix. Although the clinical course is slightly different, the endpoint of ADOA is exactly the same of LHON: optic nerve degeneration with specific involvement of retinal ganglion cells. Opa1 is a relatively new protein, whose major role is the regulation of mitochondrial fusion. Mitochondrial morphology is the results of the equilibrium between two opposite force: fusion and fission, two processes that have to be finely regulated in order to preserve mitochondrial and cellular physiology. We studied fibroblasts deriving from ADOA patients characterized by a new deletion in the GTPase domain of the OPA1 gene. The biochemical characterization of ADOA and control fibroblasts has concerned the evaluation of ATP synthesis rate, mitochondrial membrane potential in different metabolic conditions and the morphological status of mitochondria. Regarding ATP synthesis rate we did not find significant differences between ADOA and control fibroblasts even though a trend toward increased reduction in ADOA samples is observed when fibroblasts are grown in absence of glucose or in the medium containing gramicidin. Furthermore, we found that also in ADOA fibroblasts membrane potential is actively maintained by proton pumping of fully functional respiratory chain complexes. Our results indicate that the mutation found in the pedigree analyzed acts primary impairing the mitochondrial fusion without affecting the energy production, supporting the notion that cell function is tightly linked to mitochondrial morphology. Mitochondrial dysfunctions are acquiring great attention because of their recognized relevance not only in aging but also in age-related pathologies including cancer, cardiovascular disease, type II diabetes, and neurodegenerative disorders. The involvement of mitochondria in such detrimental pathologies that, currently, have become so common enhances the necessity of standardization of therapeutic strategies capable of rescuing the normal mitochondrial function. In order to propose an alternative treatment for energy deficiency-disorders we tested the effect of substrates capable to stimulate the substrate-level phosphorylation on viability and energy availability in different experimental models grown under different metabolic conditions. In fibroblasts, the energy defect was achieved by culturing cells in presence of oligomycin, an inhibitor of ATP synthase complex. NARP cybrids have been used as model of mitochondrial pathology. Cell viability and ATP content have been considered as parameters to assay the capability of exogenous substrate to rescue energy failure. Our results suggest that patients suffering for some forms of ATP synthase deficiency, or characterized by a deficiency in energy production, might benefit from dietary or pharmacological treatment based on supplementation of α-ketoglutarate and aspartate.

Computational investigation of the Plasmodium falciparum fatty acid biosynthetic pathway toward the discovery of novel antimalarials

The structural peculiarities of a protein are related to its biological function. In the fatty acid elongation cycle, one small carrier protein shuttles and delivers the acyl intermediates from one enzyme to the other. The carrier has to recognize several enzymatic counterparts, specifically interact with each of them, and finally transiently deliver the carried substrate to the active site. Carry out such a complex game requires the players to be flexible and efficiently adapt their structure to the interacting protein or substrate. In a drug discovery effort, the structure-function relationships of a target system should be taken into account to optimistically interfere with its biological function. In this doctoral work, the essential role of structural plasticity in key steps of fatty acid biosynthesis in Plasmodium falciparum is investigated by means of molecular simulations. The key steps considered include the delivery of acyl substrates and the structural rearrangements of catalytic pockets upon ligand binding. The ground-level bases for carrier/enzyme recognition and interaction are also put forward. The structural features of the target have driven the selection of proper drug discovery tools, which captured the dynamics of biological processes and could allow the rational design of novel inhibitors. The model may be perspectively used for the identification of novel pathway-based antimalarial compounds.

Higher-Order Concurrency: Expressiveness and Decidability Results

Higher-order process calculi are formalisms for concurrency in which processes can be passed around in communications. Higher-order (or process-passing) concurrency is often presented as an alternative paradigm to the first order (or name-passing) concurrency of the pi-calculus for the description of mobile systems. These calculi are inspired by, and formally close to, the lambda-calculus, whose basic computational step ---beta-reduction--- involves term instantiation. The theory of higher-order process calculi is more complex than that of first-order process calculi. This shows up in, for instance, the definition of behavioral equivalences. A long-standing approach to overcome this burden is to define encodings of higher-order processes into a first-order setting, so as to transfer the theory of the first-order paradigm to the higher-order one. While satisfactory in the case of calculi with basic (higher-order) primitives, this indirect approach falls short in the case of higher-order process calculi featuring constructs for phenomena such as, e.g., localities and dynamic system reconfiguration, which are frequent in modern distributed systems. Indeed, for higher-order process calculi involving little more than traditional process communication, encodings into some first-order language are difficult to handle or do not exist. We then observe that foundational studies for higher-order process calculi must be carried out directly on them and exploit their peculiarities. This dissertation contributes to such foundational studies for higher-order process calculi. We concentrate on two closely interwoven issues in process calculi: expressiveness and decidability. Surprisingly, these issues have been little explored in the higher-order setting. Our research is centered around a core calculus for higher-order concurrency in which only the operators strictly necessary to obtain higher-order communication are retained. We develop the basic theory of this core calculus and rely on it to study the expressive power of issues universally accepted as basic in process calculi, namely synchrony, forwarding, and polyadic communication.

Il Pluralismo tra Democrazia ed Autoritarismo: Il Caso Russo

The research explores the mechanisms in the formation and consolidation of a new regime which combines democratic and authoritarian features; it has emerged as result of democratization processes affecting different world areas in recent years. The study analyses a case of great international significance, post-communist Russia: here internal factors strongly prevail in front of the external variables of democratic imitation and contagion, thus showing to what extent Russia differs from other political contexts. The study intends to examine the strategies used by this regime to solve internal conflicts and become stable in spite of the democratizing pressures coming from outside. Indeed, the literature about political transformations has shown the problems in analyzing these polities together with the need to examine their peculiarities more in depth. In this perspective, the first section focuses on the dynamics of State-building in Russia as a fundamental process in tracing the specific characteristics of the current regime: particularly, it is suggested that the State dimension comes out as crucial in determining the level of political and social pluralism accepted in post-Soviet Russia. This argument is worked out in the second section, which analyses the main mechanisms used by the incumbents to limit and control pluralism within the two arenas of political competition and civil society, from where the major threats to the status quo are supposed to come. The main hypothesis is that the leadership interventions in these spheres during the last ten years have shaped a regime which can be characterized as a new type of authoritarianism: with respect to traditional authoritarian forms a certain degree of political contestation is accepted, visible in the presence of a multiparty system, semi-competitive elections and of the several representatives of civil society. Yet, this diversity is curbed basically in two different ways: from one hand the incumbents provide support to political and social actors who sponsor government politics (see the party of power and pro-Kremlin movements). From the other they use some non coercive forms of control and restriction (in legislation, in political elections) against those actors who promote values and priorities opposed to the official ones.

Welfare provision in Sweden and the dominant position of the Sap

There have been almost fifty years since Harry Eckstein' s classic monograph, A Theory of Stable Democracy (Princeton, 1961), where he sketched out the basic tenets of the “congruence theory”, which was to become one of the most important and innovative contributions to understanding democratic rule. His next work, Division and Cohesion in Democracy, (Princeton University Press: 1966) is designed to serve as a plausibility probe for this 'theory' (ftn.) and is a case study of a Northern democratic system, Norway. What is more, this line of his work best exemplifies the contribution Eckstein brought to the methodology of comparative politics through his seminal article, “ “Case Study and Theory in Political Science” ” (in Greenstein and Polsby, eds., Handbook of Political Science, 1975), on the importance of the case study as an approach to empirical theory. This article demonstrates the special utility of “crucial case studies” in testing theory, thereby undermining the accepted wisdom in comparative research that the larger the number of cases the better. Although not along the same lines, but shifting the case study unit of research, I intend to take up here the challenge and build upon an equally unique political system, the Swedish one. Bearing in mind the peculiarities of the Swedish political system, my unit of analysis is going to be further restricted to the Swedish Social Democratic Party, the Svenska Arbetare Partiet. However, my research stays within the methodological framework of the case study theory inasmuch as it focuses on a single political system and party. The Swedish SAP endurance in government office and its electoral success throughout half a century (ftn. As of the 1991 election, there were about 56 years - more than half century - of interrupted social democratic "reign" in Sweden.) are undeniably a performance no other Social Democrat party has yet achieved in democratic conditions. Therefore, it is legitimate to inquire about the exceptionality of this unique political power combination. Which were the different components of this dominance power position, which made possible for SAP's governmental office stamina? I will argue here that it was the end-product of a combination of multifarious factors such as a key position in the party system, strong party leadership and organization, a carefully designed strategy regarding class politics and welfare policy. My research is divided into three main parts, the historical incursion, the 'welfare' part and the 'environment' part. The first part is a historical account of the main political events and issues, which are relevant for my case study. Chapter 2 is devoted to the historical events unfolding in the 1920-1960 period: the Saltsjoebaden Agreement, the series of workers' strikes in the 1920s and SAP's inception. It exposes SAP's ascent to power in the mid 1930s and the party's ensuing strategies for winning and keeping political office, that is its economic program and key economic goals. The following chapter - chapter 3 - explores the next period, i.e. the period from 1960s to 1990s and covers the party's troubled political times, its peak and the beginnings of the decline. The 1960s are relevant for SAP's planning of a long term economic strategy - the Rehn Meidner model, a new way of macroeconomic steering, based on the Keynesian model, but adapted to the new economic realities of welfare capitalist societies. The second and third parts of this study develop several hypotheses related to SAP's 'dominant position' (endurance in politics and in office) and test them afterwards. Mainly, the twin issues of economics and environment are raised and their political relevance for the party analyzed. On one hand, globalization and its spillover effects over the Swedish welfare system are important causal factors in explaining the transformative social-economic challenges the party had to put up with. On the other hand, Europeanization and environmental change influenced to a great deal SAP's foreign policy choices and its domestic electoral strategies. The implications of globalization on the Swedish welfare system will make the subject of two chapters - chapters four and five, respectively, whereupon the Europeanization consequences will be treated at length in the third part of this work - chapters six and seven, respectively. Apparently, at first sight, the link between foreign policy and electoral strategy is difficult to prove and uncanny, in the least. However, in the SAP's case there is a bulk of literature and public opinion statistical data able to show that governmental domestic policy and party politics are in a tight dependence to foreign policy decisions and sovereignty issues. Again, these country characteristics and peculiar causal relationships are outlined in the first chapters and explained in the second and third parts. The sixth chapter explores the presupposed relationship between Europeanization and environmental policy, on one hand, and SAP's environmental policy formulation and simultaneous agenda-setting at the international level, on the other hand. This chapter describes Swedish leadership in environmental policy formulation on two simultaneous fronts and across two different time spans. The last chapter, chapter eight - while trying to develop a conclusion, explores the alternative theories plausible in explaining the outlined hypotheses and points out the reasons why these theories do not fit as valid alternative explanation to my systemic corporatism thesis as the main causal factor determining SAP's 'dominant position'. Among the alternative theories, I would consider Traedgaardh L. and Bo Rothstein's historical exceptionalism thesis and the public opinion thesis, which alone are not able to explain the half century social democratic endurance in government in the Swedish case.

Tradurre la letteratura russa contemporanea per l'infanzia

Questo lavoro affronta la traduzione della letteratura per l'infanzia. La prima parte teorica si divide tra l'analisi di cosa si intenda per traduzione per l'infanzia, quali siano le problematiche e le particolarità che la caratterizzano, e un'analisi delle specificità della traduzione dal russo all'italiano, con un approfondimento della letteratura russa contemporanea per l’infanzia. La seconda parte, pratica, analizza le traduzioni della stessa dottoranda per calare in esempi pratici le possibilità teoriche analizzate nella prima parte. Vengono affrontati brani dei maggiori scrittori contemporanei, come G. Oster, M. Moskvina, M. Borodickaja, Ju. Nečiporenko e altri. Caratteristiche fondanti la letteratura per l’infanzia sono l’interazione tra parola e immagine, il ruolo della lettura a voce alta e l’importanza del suono, i nomi parlanti, il doppio destinatario, l’adattamento, il rispetto dei canoni morali e estetici imposti dalla società, il carattere pedagogico. Gli aspetti teorici esaminati sono il traduttore come lettore e la ricerca di un equivalente funzionale come strategia traduttiva. This thesis is about translation of children’s literature. In the first section, I explore the meanings of translating for children, and which are its issues and peculiarities; the specificities in translation from Russian into Italian; the background of contemporary Russian Children’s Literature (G. Oster, M. Moskvina, M. Boroditskaya, Yu. Nechiporenko). In the second part I analyze my translations, in order to give some practical examples of the theoretical strategies I explored in the first section. Relevant characteristic of children’s literature are: its pedagogical character, interaction between word and image, double addressee, the importance of reading aloud, adaptation, respect of moral and aesthetic canons imposed by the society. The theoretical aspects examined in this thesis involve the issue of the translator seen as reader, and the search of functional equivalents as dominant translation strategy.

Hybrid constraint programming and metaheuristic methods for large scale optimization problems

This work presents hybrid Constraint Programming (CP) and metaheuristic methods for the solution of Large Scale Optimization Problems; it aims at integrating concepts and mechanisms from the metaheuristic methods to a CP-based tree search environment in order to exploit the advantages of both approaches. The modeling and solution of large scale combinatorial optimization problem is a topic which has arisen the interest of many researcherers in the Operations Research field; combinatorial optimization problems are widely spread in everyday life and the need of solving difficult problems is more and more urgent. Metaheuristic techniques have been developed in the last decades to effectively handle the approximate solution of combinatorial optimization problems; we will examine metaheuristics in detail, focusing on the common aspects of different techniques. Each metaheuristic approach possesses its own peculiarities in designing and guiding the solution process; our work aims at recognizing components which can be extracted from metaheuristic methods and re-used in different contexts. In particular we focus on the possibility of porting metaheuristic elements to constraint programming based environments, as constraint programming is able to deal with feasibility issues of optimization problems in a very effective manner. Moreover, CP offers a general paradigm which allows to easily model any type of problem and solve it with a problem-independent framework, differently from local search and metaheuristic methods which are highly problem specific. In this work we describe the implementation of the Local Branching framework, originally developed for Mixed Integer Programming, in a CP-based environment. Constraint programming specific features are used to ease the search process, still mantaining an absolute generality of the approach. We also propose a search strategy called Sliced Neighborhood Search, SNS, that iteratively explores slices of large neighborhoods of an incumbent solution by performing CP-based tree search and encloses concepts from metaheuristic techniques. SNS can be used as a stand alone search strategy, but it can alternatively be embedded in existing strategies as intensification and diversification mechanism. In particular we show its integration within the CP-based local branching. We provide an extensive experimental evaluation of the proposed approaches on instances of the Asymmetric Traveling Salesman Problem and of the Asymmetric Traveling Salesman Problem with Time Windows. The proposed approaches achieve good results on practical size problem, thus demonstrating the benefit of integrating metaheuristic concepts in CP-based frameworks.