L'applicazione del principio di autonomia come parametro di compatibilita con il diritto UE

La tesi indaga l’applicazione del principio di autonomia del diritto UE nella giurisprudenza della Corte di giustizia. In particolare, il lavoro mira ad analizzare le modalità attraverso cui il principio viene adoperato come parametro di compatibilità, ai fini dello scrutinio della Corte, in quei casi riguardanti il rapporto tra giurisdizioni di diritto internazionale e diritto dell’Unione. Una volta delineato il contesto teorico di partenza, concernente il significato dell’autonomia del diritto UE all’interno del “quadro costituzionale” dell’Unione, si passa all’analisi, caso per caso, della prassi giurisprudenziale, al fine di individuare ed estrapolare gli elementi costanti nei casi. La disamina svolta parte da pronunce celebri, tra cui il parere 1/91, Kadi e il parere 2/13, in cui il principio nasce e si sviluppa. Successivamente, si passa alle pronunce più recenti, componenti la c.d. saga Achmea, riguardante la compatibilità con il principio di autonomia dei meccanismi ISDS. I risultati raccolti nell’analisi vengono sintetizzati in modo da ricostruire un test di compatibilità unitario e astratto, composto da tre elementi. Si arriva così, per via induttiva, all’elaborazione di un modello idoneo a spiegare le modalità di applicazione del principio di autonomia come parametro di compatibilità. Sulla scorta di ciò vengono formulate considerazioni e riflessioni concernenti le principali implicazioni per l’ordinamento UE e per i suoi attori, che derivano dal principio di autonomia e dal suo utilizzo giurisprudenziale. Infine, si prende in considerazione una visione del principio di autonomia alternativa a quella emersa nel corso della trattazione e se ne valuta il potenziale impatto sulla concezione e sull’applicazione del principio stesso.

Legal presumptions in national tax systems (Italy and Belgium) and in EU law

The thesis deals with the concept of presumptions, and in particular of legal presumptions, in the context of national tax systems (Italy and Belgium) and EU law. The purpose was to investigate the concept of legal presumption under a twofold comparative perspective. After having provided a general overview of the common core concept of presumption in the European context, an insight in the national approach to legal presumptions was given by examining two different national experiences, namely the Italian and Belgian tax systems. At this stage, the Constitutional framework and some of the most interesting and relevant at EU level presumptive measures were explored, with a view to underlining possible divergences and common grounds. The concept of (national) legal presumption was then investigated in the context of EU law, with the attempt to systematize under a uniform perspective a matter which has been traditionally dealt with either from the merely national point of view or, at EU level, through a fragmented form. In this instance, the EU law relevant framework and the most significant EUCJ case-law, in particular in the field of customs duties, VAT, on the issue of the repayment of taxes levied in breach of EU law and in the area of direct taxation, were examined so as to construe the overall EU approach to national legal presumptions. This was done with the finality of determining if and to what extent a common analytical framework may be identified, from which were extracted certain criteria governing the compatibility of national legal presumptions with EU law.

L'accertamento dei reati di guida in stato di ebbrezza e alterazione da droghe

La tesi affronta le questioni processuali connesse alla verifica dei reati di guida in stato di ebbrezza e di alterazione da droghe. La ricerca si sviluppa in tre direzioni. La prima parte studia la disciplina tedesca. L’analisi parte dalle norme sostanziali che definiscono le fattispecie incriminatrici contemplate dall’ordinamento osservato; s’interessa, poi, degli equilibri tra gli strumenti di captazione della prova utili ai reati in discorso ed il principio nemo tenetur se detegere (l’ estensione del diritto di difesa tedesco copre anche le prove reali e non prevede obblighi di collaborazione all’alcoltest). Prosegue, infine, con l’esame delle metodologie di acquisizione della prova, dall’etilometro agli screening per le droghe, sino al prelievo ematico coattivo, indispensabile per l’accertamento penale. La seconda sezione esamina gli artt. 186 e 187 del codice della strada italiano, alla luce del principio di libertà personale e del diritto a non autoincriminarsi. Particolarmente delicati gli equilibri rispetto a quest’ultimo: l’obbligatorietà di un atto potenzialmente autoaccusatorio è evitabile solo a pena di una severa sanzione. Occorre definire se il diritto di difesa copra anche il mero facere o garantisca il solo silenzio. Se si ammette, infatti, che il nemo tenetur sia applicabile anche alle prove reali, la collaborazione obbligatoria imposta al conducente è scelta incompatibile con il diritto di difesa: la disciplina italiana presenta, dunque, profili d’illegittimità costituzionale. La terza parte riguarda le problematiche processuali poste dai controlli stradali che emergono dall’analisi della giurisprudenza. Si affrontano, così, le diverse vicende della formazione della prova: ci si interroga sull’istituto processuale cui ricondurre gli accertamenti, sulle garanzie di cui goda il guidatore durante e dopo l’espletamento dell’atto, sulle eventuali sanzioni processuali derivanti da una violazione delle predette garanzie. Si esaminano, infine, le regole di apprezzamento della prova che guidano il giudice nella delicata fase valutativa.

The Application of European Competition Law in Arbitration Proceedings

This work provides several policy proposals capable to strengthen the private enforcement of EU competition law in arbitration. It focuses on the procedural law aspects that are permeated by legal uncertainty and that have not yet fallen under the scrutiny of the law and economics debate. The policy proposals described herein are based on the functional approach to law and economics and aim to promote a more qualified decision making process by: adjudicators, private parties and lawmakers. The resulting framework of procedural rules would be a cost-effective policy tool that could sustain the European Commission’s effort to guarantee a workable level of competition in the EU internal market. This project aims to answer the following broad research question: which procedural rules can improve the efficiency of antitrust arbitration by decreasing litigation costs for private parties on the one hand, and by increasing private parties’ compliance with competition law on the other hand?Throughout this research project, such broad question has been developed into research sub-questions revolving around several key legal issues. The chosen sub-research questions result from a vacuum in the European enforcement system that leaves several key legal issues in antitrust arbitration unresolved. The legal framework proposed in this research project could prevent such a blurry scenario from impairing the EU private enforcement of competition law in arbitration. Therefore, our attention was triggered by those legal issues whose proposed solutions lead to relevant uncertainties and that are most suitable for a law and economics analysis.

La fiscalità delle perdite dei gruppi transfrontalieri: tra regimi nazionali e libertà di stabilimento

Caratteristica comune ai regimi di consolidamento previsti dai diversi ordinamenti, è quella di consentire la compensazione tra utili e perdite di società residenti, e, di negare, o rendere particolarmente difficoltosa, la stessa compensazione, quando le perdite sono maturate da società non residenti. La non considerazione delle perdite comporta una tassazione al lordo del gruppo multinazionale, per mezzo della quale, non si colpisce il reddito effettivo dei soggetti che vi appartengono. L’effetto immediato è quello di disincentivare i gruppi a travalicare i confini nazionali. Ciò impedisce il funzionamento del Mercato unico, a scapito della libertà di stabilimento prevista dagli artt. 49-54 del TFUE. Le previsioni ivi contenute sono infatti dirette, oltre ad assicurare a società straniere il beneficio della disciplina dello Stato membro ospitante, a proibire altresì allo Stato di origine di ostacolare lo stabilimento in un altro Stato membro dei propri cittadini o delle società costituite conformemente alla propria legislazione. Gli Stati membri giustificano la discriminazione tra società residenti e non residenti alla luce della riserva di competenza tributaria ad essi riconosciuta dall’ordinamento europeo in materia delle imposte dirette, dunque, in base all’equilibrata ripartizione del potere impositivo. In assenza di qualsiasi riferimento normativo, va ascritto alla Corte di Giustizia il ruolo di interprete del diritto europeo. La Suprema Corte, con una serie di importanti pronunce, ha infatti sindacato la compatibilità con il diritto comunitario dei vari regimi interni che negano la compensazione transfrontaliera delle perdite. Nel verificare la compatibilità con il diritto comunitario di tali discipline, la Corte ha tentato di raggiungere un (difficile) equilibrio tra due interessi completamenti contrapposti: quello comunitario, riconducibile al rispetto della libertà di stabilimento, quello degli Stati membri, che rivendicano il diritto di esercitare il proprio potere impositivo.

Tassazione delle partnerships internazionali: modelli domestici, disciplina convenzionale e diritto europeo

I sistemi fiscali contemporanei applicano l’imposizione diretta a persone fisiche e persone giuridiche. In ciascuno Stato tuttavia una varietà di figure intermedie, definibili non- corporate-entities, sono dotate di gradi diversi di soggettività di diritto. Fra queste rientrano le partnership. Con l’obiettivo di ricondurre la fiscalità delle partnership all’interno del regime domestico generale previsto per persone fisiche o giuridiche, ogni Stato impiega proprie regole di caratterizzazione fiscale delle partnership. Di conseguenza, ciascuno Stato può considerare le partnership fiscalmente opache o trasparenti. Ciò vale sia per le partnership domestiche che per quelle estere. Quando l’attività di una partnership domestica presenta elementi di internazionalità, gli approcci domestici di caratterizzazione fiscale interferiscono spesso con quelli adottati da altri Stati. Tali inevitabili conflitti producono un alto rischio di doppia imposizione o doppia non imposizione dei redditi internazionali. La soluzione di tale genere di problemi non trova sistematica considerazione né nei Trattati fiscali, né nei Trattati UE così come interpretati dalla CGUE. Essa resta affidata all’autonoma iniziativa di ciascuno Stato. Questo studio esamina l’imposizione diretta delle partnerships internazionali che presentino un qualche collegamento con il sistema fiscale italiano. Esso inoltre propone una comparazione con altri sistemi fiscali selezionati sulla base di alcuni criteri. La comparazione mira alla individuazione dei problemi scaturenti dalla simultanea applicazione della tassazione italiana ed estera, considerando il ruolo spesso modesto dei Trattati fiscali. Ove un Trattato includa clausole specifiche per le partnership, ne viene esaminato l’effetto. Se i Paesi considerati sono Stati membri UE, i risultati dell’analisi sono esaminati rispetto alla normativa europea, con particolare riguardo ai profili di compatibilità con le libertà del Trattato UE e con i relativi orientamenti della CGUE.

Mechanical behaviour and durability assessment of Fibre Reinforced Cementitious Matrix (FRCM) strengthening systems.

In recent years, the seismic vulnerability of existing masonry buildings has been underscored by the destructive impacts of earthquakes. Therefore, Fibre Reinforced Cementitious Matrix (FRCM) retrofitting systems have gained prominence due to their high strength-to-weight ratio, compatibility with substrates, and potential reversibility. However, concerns linger regarding the durability of these systems when subjected to long-term environmental conditions. This doctoral dissertation addressed these concerns by studying the effects of mild temperature variations on three FRCM systems, featuring basalt, glass, and aramid fibre textiles with lime-based mortar matrices. The study subjected various specimens, including mortar triplets, bare textile specimens, FRCM coupons, and single-lap direct shear wallets, to thermal exposure. A novel approach utilizing embedded thermocouple sensors facilitated efficient monitoring and active control of the conditioning process. A shift in the failure modes was obtained in the single lap-direct shear tests, alongside a significant impact on tensile capacity for both textiles and FRCM coupons. Subsequently, bond tests results were used to indirectly calibrate an analytical approach based on mode-II fracture mechanics. A comparison between Cohesive Material Law (CML) functions at various temperatures was conducted for each of the three systems, demonstrating a good agreement between the analytical model and experimental curves. Furthermore, the durability in alkaline environment of two additional FRCM systems, characterized by basalt and glass fibre textiles with lime-based mortars, was studied through an extensive experimental campaign. Tests conducted on single yarn and textile specimens after exposure at different durations and temperatures revealed a significant impact on tensile capacity. Additionally, FRCM coupons manufactured with conditioned textile were tested to understand the influence of aged textile and curing environment on the final tensile behavior. These results contributed significantly to the existing knowledge on FRCM systems and could be used to develop a standardized alkaline testing protocol, still lacking in the scientific literature.

Caratterizzazione di membrane inorganiche per la separazione di idrogeno da gas di reforming

The work of this thesis has been focused on the characterisation of inorganic membranes for the hydrogen purification from steam reforming gas. Composite membranes based on porous inorganic supports coated with palladium silver alloys and ceramic membranes have been analysed. A brief resume of theoretical laws governing transport of gases through dense and porous inorganic membranes and an overview on different methods to prepare inorganic membranes has been also reported. A description of the experimental apparatus used for the characterisation of gas permeability properties has been reported. The device used permits to evaluate transport properties in a wide range of temperatures (till 500°C) and pressures (till 15 bar). Data obtained from experimental campaigns reveal a good agreement with Sievert law for hydrogen transport through dense palladium based membranes while different transport mechanisms, such as Knudsen diffusion and Hagen-Poiseuille flow, have been observed for porous membranes and for palladium silver alloy ones with pinholes in the metal layer. Mixtures permeation experiments reveal also concentration polarisation phenomena and hydrogen permeability reduction due to carbon monoxide adsorption on metal surface.

Modellazione multibody di veicoli ferroviari: sviluppo ed implementazione di modelli innovativi per l'analisi del contatto ruota - rotaia

The wheel - rail contact analysis plays a fundamental role in the multibody modeling of railway vehicles. A good contact model must provide an accurate description of the global contact phenomena (contact forces and torques, number and position of the contact points) and of the local contact phenomena (position and shape of the contact patch, stresses and displacements). The model has also to assure high numerical efficiency (in order to be implemented directly online within multibody models) and a good compatibility with commercial multibody software (Simpack Rail, Adams Rail). The wheel - rail contact problem has been discussed by several authors and many models can be found in the literature. The contact models can be subdivided into two different categories: the global models and the local (or differential) models. Currently, as regards the global models, the main approaches to the problem are the so - called rigid contact formulation and the semi – elastic contact description. The rigid approach considers the wheel and the rail as rigid bodies. The contact is imposed by means of constraint equations and the contact points are detected during the dynamic simulation by solving the nonlinear algebraic differential equations associated to the constrained multibody system. Indentation between the bodies is not permitted and the normal contact forces are calculated through the Lagrange multipliers. Finally the Hertz’s and the Kalker’s theories allow to evaluate the shape of the contact patch and the tangential forces respectively. Also the semi - elastic approach considers the wheel and the rail as rigid bodies. However in this case no kinematic constraints are imposed and the indentation between the bodies is permitted. The contact points are detected by means of approximated procedures (based on look - up tables and simplifying hypotheses on the problem geometry). The normal contact forces are calculated as a function of the indentation while, as in the rigid approach, the Hertz’s and the Kalker’s theories allow to evaluate the shape of the contact patch and the tangential forces. Both the described multibody approaches are computationally very efficient but their generality and accuracy turn out to be often insufficient because the physical hypotheses behind these theories are too restrictive and, in many circumstances, unverified. In order to obtain a complete description of the contact phenomena, local (or differential) contact models are needed. In other words wheel and rail have to be considered elastic bodies governed by the Navier’s equations and the contact has to be described by suitable analytical contact conditions. The contact between elastic bodies has been widely studied in literature both in the general case and in the rolling case. Many procedures based on variational inequalities, FEM techniques and convex optimization have been developed. This kind of approach assures high generality and accuracy but still needs very large computational costs and memory consumption. Due to the high computational load and memory consumption, referring to the current state of the art, the integration between multibody and differential modeling is almost absent in literature especially in the railway field. However this integration is very important because only the differential modeling allows an accurate analysis of the contact problem (in terms of contact forces and torques, position and shape of the contact patch, stresses and displacements) while the multibody modeling is the standard in the study of the railway dynamics. In this thesis some innovative wheel – rail contact models developed during the Ph. D. activity will be described. Concerning the global models, two new models belonging to the semi – elastic approach will be presented; the models satisfy the following specifics: 1) the models have to be 3D and to consider all the six relative degrees of freedom between wheel and rail 2) the models have to consider generic railway tracks and generic wheel and rail profiles 3) the models have to assure a general and accurate handling of the multiple contact without simplifying hypotheses on the problem geometry; in particular the models have to evaluate the number and the position of the contact points and, for each point, the contact forces and torques 4) the models have to be implementable directly online within the multibody models without look - up tables 5) the models have to assure computation times comparable with those of commercial multibody software (Simpack Rail, Adams Rail) and compatible with RT and HIL applications 6) the models have to be compatible with commercial multibody software (Simpack Rail, Adams Rail). The most innovative aspect of the new global contact models regards the detection of the contact points. In particular both the models aim to reduce the algebraic problem dimension by means of suitable analytical techniques. This kind of reduction allows to obtain an high numerical efficiency that makes possible the online implementation of the new procedure and the achievement of performance comparable with those of commercial multibody software. At the same time the analytical approach assures high accuracy and generality. Concerning the local (or differential) contact models, one new model satisfying the following specifics will be presented: 1) the model has to be 3D and to consider all the six relative degrees of freedom between wheel and rail 2) the model has to consider generic railway tracks and generic wheel and rail profiles 3) the model has to assure a general and accurate handling of the multiple contact without simplifying hypotheses on the problem geometry; in particular the model has to able to calculate both the global contact variables (contact forces and torques) and the local contact variables (position and shape of the contact patch, stresses and displacements) 4) the model has to be implementable directly online within the multibody models 5) the model has to assure high numerical efficiency and a reduced memory consumption in order to achieve a good integration between multibody and differential modeling (the base for the local contact models) 6) the model has to be compatible with commercial multibody software (Simpack Rail, Adams Rail). In this case the most innovative aspects of the new local contact model regard the contact modeling (by means of suitable analytical conditions) and the implementation of the numerical algorithms needed to solve the discrete problem arising from the discretization of the original continuum problem. Moreover, during the development of the local model, the achievement of a good compromise between accuracy and efficiency turned out to be very important to obtain a good integration between multibody and differential modeling. At this point the contact models has been inserted within a 3D multibody model of a railway vehicle to obtain a complete model of the wagon. The railway vehicle chosen as benchmark is the Manchester Wagon the physical and geometrical characteristics of which are easily available in the literature. The model of the whole railway vehicle (multibody model and contact model) has been implemented in the Matlab/Simulink environment. The multibody model has been implemented in SimMechanics, a Matlab toolbox specifically designed for multibody dynamics, while, as regards the contact models, the CS – functions have been used; this particular Matlab architecture allows to efficiently connect the Matlab/Simulink and the C/C++ environment. The 3D multibody model of the same vehicle (this time equipped with a standard contact model based on the semi - elastic approach) has been then implemented also in Simpack Rail, a commercial multibody software for railway vehicles widely tested and validated. Finally numerical simulations of the vehicle dynamics have been carried out on many different railway tracks with the aim of evaluating the performances of the whole model. The comparison between the results obtained by the Matlab/ Simulink model and those obtained by the Simpack Rail model has allowed an accurate and reliable validation of the new contact models. In conclusion to this brief introduction to my Ph. D. thesis, we would like to thank Trenitalia and the Regione Toscana for the support provided during all the Ph. D. activity. Moreover we would also like to thank the INTEC GmbH, the society the develops the software Simpack Rail, with which we are currently working together to develop innovative toolboxes specifically designed for the wheel rail contact analysis.

Problemi di diagnostica e restauro dei materiali decorativi nell'architettura Liberty in Emilia-Romagna

Le pietre artificiali ed i cementi artistici utilizzati durante la stagione Liberty rappresentano tutt’oggi un patrimonio artistico non ancora sufficientemente studiato. In seguito ad una ricerca bibliografica su testi e riviste dei primi anni del Novecento, è stata eseguita una ricognizione del patrimonio architettonico emiliano-romagnolo, al fine di valutarne i materiali e le tipologie di degrado più diffuse. Le città e le zone oggetto di studio sono state: Bologna, Ferrara, Modena e provincia, Reggio Emilia, Parma, Firenze, la Romagna e le Marche settentrionali. Tra gli edifici individuati sono state analizzate le decorazioni e gli intonaci di tre edifici ritenuti particolarmente significativi: il villino Pennazzi (noto anche come Villa Gina) a Borgo Panigale (Bologna), villa Verde a Bologna e l’ex-albergo Dorando Pietri a Carpi. Da tali edifici sono stati selezionati campioni rappresentativi delle diverse tipologie di decorazioni in pietra artificiale e successivamente sono stati caratterizzati in laboratorio tramite diffrattometria a raggi x (XRD), termogravimetria (TGA), microscopio ottico in sezioni lucide, microscopio elettronico a scansione (SEM) e porosimetria ad intrusione di mercurio (MIP). In particolare per Villa Verde sono state formulate e caratterizzate diverse tipologie di malte variando il tipo di legante ed il rapporto acqua/cemento, al fine di garantire la compatibilità fisico-meccanica con il supporto negli interventi di risarcimento delle lacune previsti nel restauro. L’attività sperimentale svolta ha permesso di mettere a punto un vero e proprio protocollo diagnostico per il restauro di questo tipo di decorazioni che potrà essere utilizzato sia nei casi di studio analizzati che per ogni futuro intervento.

La clausola della nazione più favorita dalle convenzioni internazionali all'ordinamento europeo

Il principale obiettivo della tesi è dimostrare come la connessione tra i differenti livelli giuridici che riguardano le relazioni tra Stati membri dell'UE richieda un'interpretazione sistematica delle convenzioni contro le doppie imposizioni intracomunitarie, ed in particolare richieda l'applicazione della clausola della nazione più favorita.

Doppia imposizione sui redditi transfrontalieri tra ordinamenti tributari e mercato europeo.

La ricerca affronta in modo unitario e nell’ottica europea i multiformi fenomeni della doppia imposizione economica e giuridica, assumendo come paradigma iniziale la tassazione dei dividendi cross-border. Definito lo statuto giuridico della doppia imposizione, se ne motiva la contrarietà all’ordinamento europeo e si indagano gli strumenti comunitari per raggiungere l’obiettivo europeo della sua eliminazione. In assenza di un’armonizzazione positiva, il risultato sostanziale viene raggiunto grazie all’integrazione negativa. Si dimostra che il riserbo della Corte di Giustizia di fronte a opzioni di politica fiscale è soltanto un’impostazione di facciata, valorizzando le aperture giurisprudenziali per il suo superamento. Questi, in sintesi, i passaggi fondamentali. Si parte dall’evoluzione delle libertà fondamentali in diritti di rango costituzionale, che ne trasforma il contenuto economico e la portata giuridica, attribuendo portata costituzionale ai valori di neutralità e non restrizione. Si evidenzia quindi il passaggio dal divieto di discriminazioni al divieto di restrizioni, constatando il fallimento del tentativo di configurare il divieto di doppia imposizione come principio autonomo dell’ordinamento europeo. Contemporaneamente, però, diventa opportuno riesaminare la distinzione tra doppia imposizione economica e giuridica, e impostare un unico inquadramento teorico della doppia imposizione come ipotesi paradigmatica di restrizione alle libertà. Conseguentemente, viene razionalizzato l’impianto giurisprudenziale delle cause di giustificazione. Questo consente agevolmente di legittimare scelte comunitarie per la ripartizione dei poteri impositivi tra Stati Membri e l’attribuzione delle responsabilità per l’eliminazione degli effetti della doppia imposizione. In conclusione, dunque, emerge una formulazione europea dell’equilibrato riparto di poteri impositivi a favore dello Stato della fonte. E, accanto ad essa, una concezione comunitaria del principio di capacità contributiva, con implicazioni dirompenti ancora da verificare. Sul piano metodologico, l’analisi si concentra criticamente sull’operato della Corte di Giustizia, svelando punti di forza e di debolezza della sua azione, che ha posto le basi per la risposta europea al problema della doppia imposizione.

Many-Core Architectures: Hardware-Software Optimization and Modeling Techniques

During the last few decades an unprecedented technological growth has been at the center of the embedded systems design paramount, with Moore’s Law being the leading factor of this trend. Today in fact an ever increasing number of cores can be integrated on the same die, marking the transition from state-of-the-art multi-core chips to the new many-core design paradigm. Despite the extraordinarily high computing power, the complexity of many-core chips opens the door to several challenges. As a result of the increased silicon density of modern Systems-on-a-Chip (SoC), the design space exploration needed to find the best design has exploded and hardware designers are in fact facing the problem of a huge design space. Virtual Platforms have always been used to enable hardware-software co-design, but today they are facing with the huge complexity of both hardware and software systems. In this thesis two different research works on Virtual Platforms are presented: the first one is intended for the hardware developer, to easily allow complex cycle accurate simulations of many-core SoCs. The second work exploits the parallel computing power of off-the-shelf General Purpose Graphics Processing Units (GPGPUs), with the goal of an increased simulation speed. The term Virtualization can be used in the context of many-core systems not only to refer to the aforementioned hardware emulation tools (Virtual Platforms), but also for two other main purposes: 1) to help the programmer to achieve the maximum possible performance of an application, by hiding the complexity of the underlying hardware. 2) to efficiently exploit the high parallel hardware of many-core chips in environments with multiple active Virtual Machines. This thesis is focused on virtualization techniques with the goal to mitigate, and overtake when possible, some of the challenges introduced by the many-core design paradigm.

Models and algorithms for real-world optimization problems

This thesis deals with efficient solution of optimization problems of practical interest. The first part of the thesis deals with bin packing problems. The bin packing problem (BPP) is one of the oldest and most fundamental combinatorial optimiza- tion problems. The bin packing problem and its generalizations arise often in real-world ap- plications, from manufacturing industry, logistics and transportation of goods, and scheduling. After an introductory chapter, I will present two applications of two of the most natural extensions of the bin packing: Chapter 2 will be dedicated to an application of bin packing in two dimension to a problem of scheduling a set of computational tasks on a computer cluster, while Chapter 3 deals with the generalization of BPP in three dimensions that arise frequently in logistic and transportation, often com- plemented with additional constraints on the placement of items and characteristics of the solution, like, for example, guarantees on the stability of the items, to avoid potential damage to the transported goods, on the distribution of the total weight of the bins, and on compatibility with loading and unloading operations. The second part of the thesis, and in particular Chapter 4 considers the Trans- mission Expansion Problem (TEP), where an electrical transmission grid must be expanded so as to satisfy future energy demand at the minimum cost, while main- taining some guarantees of robustness to potential line failures. These problems are gaining importance in a world where a shift towards renewable energy can impose a significant geographical reallocation of generation capacities, resulting in the ne- cessity of expanding current power transmission grids.