Application-oriented Mixed Integer Non-Linear Programming

In the most recent years there is a renovate interest for Mixed Integer Non-Linear Programming (MINLP) problems. This can be explained for different reasons: (i) the performance of solvers handling non-linear constraints was largely improved; (ii) the awareness that most of the applications from the real-world can be modeled as an MINLP problem; (iii) the challenging nature of this very general class of problems. It is well-known that MINLP problems are NP-hard because they are the generalization of MILP problems, which are NP-hard themselves. However, MINLPs are, in general, also hard to solve in practice. We address to non-convex MINLPs, i.e. having non-convex continuous relaxations: the presence of non-convexities in the model makes these problems usually even harder to solve. The aim of this Ph.D. thesis is to give a flavor of different possible approaches that one can study to attack MINLP problems with non-convexities, with a special attention to real-world problems. In Part 1 of the thesis we introduce the problem and present three special cases of general MINLPs and the most common methods used to solve them. These techniques play a fundamental role in the resolution of general MINLP problems. Then we describe algorithms addressing general MINLPs. Parts 2 and 3 contain the main contributions of the Ph.D. thesis. In particular, in Part 2 four different methods aimed at solving different classes of MINLP problems are presented. Part 3 of the thesis is devoted to real-world applications: two different problems and approaches to MINLPs are presented, namely Scheduling and Unit Commitment for Hydro-Plants and Water Network Design problems. The results show that each of these different methods has advantages and disadvantages. Thus, typically the method to be adopted to solve a real-world problem should be tailored on the characteristics, structure and size of the problem. Part 4 of the thesis consists of a brief review on tools commonly used for general MINLP problems, constituted an integral part of the development of this Ph.D. thesis (especially the use and development of open-source software). We present the main characteristics of solvers for each special case of MINLP.

Costrutti ed Applicazioni di Programmazione Generica in Linguaggi Object-Oriented

Generic programming is likely to become a new challenge for a critical mass of developers. Therefore, it is crucial to refine the support for generic programming in mainstream Object-Oriented languages — both at the design and at the implementation level — as well as to suggest novel ways to exploit the additional degree of expressiveness made available by genericity. This study is meant to provide a contribution towards bringing Java genericity to a more mature stage with respect to mainstream programming practice, by increasing the effectiveness of its implementation, and by revealing its full expressive power in real world scenario. With respect to the current research setting, the main contribution of the thesis is twofold. First, we propose a revised implementation for Java generics that greatly increases the expressiveness of the Java platform by adding reification support for generic types. Secondly, we show how Java genericity can be leveraged in a real world case-study in the context of the multi-paradigm language integration. Several approaches have been proposed in order to overcome the lack of reification of generic types in the Java programming language. Existing approaches tackle the problem of reification of generic types by defining new translation techniques which would allow for a runtime representation of generics and wildcards. Unfortunately most approaches suffer from several problems: heterogeneous translations are known to be problematic when considering reification of generic methods and wildcards. On the other hand, more sophisticated techniques requiring changes in the Java runtime, supports reified generics through a true language extension (where clauses) so that backward compatibility is compromised. In this thesis we develop a sophisticated type-passing technique for addressing the problem of reification of generic types in the Java programming language; this approach — first pioneered by the so called EGO translator — is here turned into a full-blown solution which reifies generic types inside the Java Virtual Machine (JVM) itself, thus overcoming both performance penalties and compatibility issues of the original EGO translator. Java-Prolog integration Integrating Object-Oriented and declarative programming has been the subject of several researches and corresponding technologies. Such proposals come in two flavours, either attempting at joining the two paradigms, or simply providing an interface library for accessing Prolog declarative features from a mainstream Object-Oriented languages such as Java. Both solutions have however drawbacks: in the case of hybrid languages featuring both Object-Oriented and logic traits, such resulting language is typically too complex, thus making mainstream application development an harder task; in the case of library-based integration approaches there is no true language integration, and some “boilerplate code” has to be implemented to fix the paradigm mismatch. In this thesis we develop a framework called PatJ which promotes seamless exploitation of Prolog programming in Java. A sophisticated usage of generics/wildcards allows to define a precise mapping between Object-Oriented and declarative features. PatJ defines a hierarchy of classes where the bidirectional semantics of Prolog terms is modelled directly at the level of the Java generic type-system.

Strutture archetipiche della Modernità: l'emersione della Grande Madre nel Modernismo ispano-americano

La ricerca verte sull'osservazione di alcune specifiche dinamiche archetipiche rilevabili all’interno dell'inconscio collettivo di fine Ottocento e della profonda influenza che queste ebbero tanto sulla cultura e sulla società ispano-americana del tempo, quanto sulla specifica corrente letteraria modernista. L’archetipo di cui si analizza la riemersione letteraria è quello della Grande Madre, come teorizzato da C. G. Jung e perfezionato con i successivi studi di Erich Neumann. Avvalendosi, in particolare, delle riflessioni di quest'ultimo e spaziando fino ad includere contributi psicoanalitici e studi simbolici successivi (in particolare quelli di James Hillman, Gaston Bachelard e Gilbert Durand) si evidenzia la dominanza archetipica della Grande Madre all'interno del Modernismo ispano-americano, intesa tanto in senso transpersonale (cioè come rappresentazione dell'inconscio) quanto in senso più specificamente rappresentativo del Femminile. Si applica, infine, il vaglio della critica archetipica alle opere di Delmira Agustini, Alfonsina Storni e Juana de Ibarbourou, dirigendo, in particolar modo, l'analisi alla rappresentazione letteraria degli aspetti di questo archetipo identificati come ‘negativi’, e, quindi, più duramente sottoposti a rimozione nel corso dei secoli.

Catalytic processes for the transformation of ethanol into acetonitrile

This thesis deals with the transformation of ethanol into acetonitrile. Two approaches are investigated: (a) the ammoxidation of ethanol to acetonitrile and (b) the amination of ethanol to acetonitrile. The reaction of ethanol ammoxidation to acetonitrile has been studied using several catalytic systems, such as vanadyl pyrophosphate, supported vanadium oxide, multimetal molibdates and antimonates. The main conclusions are: (I) The surface acidity must be very low, because acidity catalyzes several undesired reactions, such as the formation of ethylene, and of heavy compounds as well. (II) Supported vanadium oxide is the catalyst showing the best catalytic behaviour, but the role of the support is of crucial importance. (III) Both metal molybdates and antimonates show interesting catalytic behaviour, but are poorly active, and probably require harder conditions than those used with the V oxide-based catalysts. (IV) One key point in the reaction network is the rate of reaction between acetaldehyde (the first intermediate) and ammonia, compared to the parallel rates of acetaldehyde transformation into by-products (CO, CO2, HCN, heavy compounds). Concerning the non-oxidative process, two possible strategies are investigated: (a) the ethanol ammonolysis to ethylamine coupled with ethylamine dehydrogenation, and (b) the direct non-reductive amination of ethanol to acetonitrile. Despite the good results obtained in each single step, the former reaction does not lead to good results in terms of yield to acetonitrile. The direct amination can be catalyzed with good acetonitrile yield over catalyst based on supported metal oxides. Strategies aimed at limiting catalyst deactivation have also been investigated.

Three Essays in Economics of Gender

During recent decades, economists' interest in gender-related issues has risen. Researchers aim to show how economic theory can be applied to gender related topics such as peer effect, labor market outcomes, and education. This dissertation aims to contribute to our understandings of the interaction, inequality and sources of differences across genders, and it consists of three empirical papers in the research area of gender economics. The aim of the first paper ("Separating gender composition effect from peer effects in education") is to demonstrate the importance of considering endogenous peer effects in order to identify gender composition effect. This fact is analytically illustrated by employing Manski's (1993) linear-in-means model. The paper derives an innovative solution to the simultaneous identification of endogenous and exogenous peer effects: gender composition effect of interest is estimated from auxiliary reduced-form estimates after identifying the endogenous peer effect by using Graham (2008) variance restriction method. The paper applies this methodology to two different data sets from American and Italian schools. The motivation of the second paper ("Gender differences in vulnerability to an economic crisis") is to analyze the different effect of recent economic crisis on the labor market outcome of men and women. Using triple differences method (before-after crisis, harder-milder hit sectors, men-women) the paper used British data at the occupation level and shows that men suffer more than women in terms of probability of losing their job. Several explanations for the findings are proposed. The third paper ("Gender gap in educational outcome") is concerned with a controversial academic debate on the existence, degree and origin of the gender gap in test scores. The existence of a gap both in mean scores and the variability around the mean is documented and analyzed. The origins of the gap are investigated by looking at wide range of possible explanations.

Operating System Contribution to Composable Timing Behaviour in High-Integrity Real-Time Systems

The development of High-Integrity Real-Time Systems has a high footprint in terms of human, material and schedule costs. Factoring functional, reusable logic in the application favors incremental development and contains costs. Yet, achieving incrementality in the timing behavior is a much harder problem. Complex features at all levels of the execution stack, aimed to boost average-case performance, exhibit timing behavior highly dependent on execution history, which wrecks time composability and incrementaility with it. Our goal here is to restitute time composability to the execution stack, working bottom up across it. We first characterize time composability without making assumptions on the system architecture or the software deployment to it. Later, we focus on the role played by the real-time operating system in our pursuit. Initially we consider single-core processors and, becoming less permissive on the admissible hardware features, we devise solutions that restore a convincing degree of time composability. To show what can be done for real, we developed TiCOS, an ARINC-compliant kernel, and re-designed ORK+, a kernel for Ada Ravenscar runtimes. In that work, we added support for limited-preemption to ORK+, an absolute premiere in the landscape of real-word kernels. Our implementation allows resource sharing to co-exist with limited-preemptive scheduling, which extends state of the art. We then turn our attention to multicore architectures, first considering partitioned systems, for which we achieve results close to those obtained for single-core processors. Subsequently, we shy away from the over-provision of those systems and consider less restrictive uses of homogeneous multiprocessors, where the scheduling algorithm is key to high schedulable utilization. To that end we single out RUN, a promising baseline, and extend it to SPRINT, which supports sporadic task sets, hence matches real-world industrial needs better. To corroborate our results we present findings from real-world case studies from avionic industry.

Cooperative Cognitive Wireless Networks over TV White and Gray Spaces

Wireless networks rapidly became a fundamental pillar of everyday activities. Whether at work or elsewhere, people often benefits from always-on connections. This trend is likely to increase, and hence actual technologies struggle to cope with the increase in traffic demand. To this end, Cognitive Wireless Networks have been studied. These networks aim at a better utilization of the spectrum, by understanding the environment in which they operate, and adapt accordingly. In particular recently national regulators opened up consultations on the opportunistic use of the TV bands, which became partially free due to the digital TV switch over. In this work, we focus on the indoor use of of TVWS. Interesting use cases like smart metering and WiFI like connectivity arise, and are studied and compared against state of the art technology. New measurements for TVWS networks will be presented and evaluated, and fundamental characteristics of the signal derived. Then, building on that, a new model of spectrum sharing, which takes into account also the height from the terrain, is presented and evaluated in a real scenario. The principal limits and performance of TVWS operated networks will be studied for two main use cases, namely Machine to Machine communication and for wireless sensor networks, particularly for the smart grid scenario. The outcome is that TVWS are certainly interesting to be studied and deployed, in particular when used as an additional offload for other wireless technologies. Seeing TVWS as the only wireless technology on a device is harder to be seen: the uncertainity in channel availability is the major drawback of opportunistic networks, since depending on the primary network channel allocation might lead in having no channels available for communication. TVWS can be effectively exploited as offloading solutions, and most of the contributions presented in this work proceed in this direction.

Advanced polymeric materials for applications in technical equipment for snow sports

The thesis is divided in three chapters, each one covering one topic. Initially, the thermo-mechanical and impact properties of materials used for back protectors have been analysed. Dynamical mechanical analysis (DMTA) has shown that materials used for soft-shell protectors present frequency-sensitive properties. Furthermore, through impact tests, the shock absorbing characteristics of the materials have been investigated proving the differences between soft and hard-shell protectors; moreover it has been demonstrated that the materials used for soft-shell protectors maintain their protective properties after multi-impacts. The second chapter covers the effect of the visco-elastic properties of the thermoplastic polymers on the flexural and rebound behaviours of ski boots. DMTA analysis on the materials and flexural and rebound testing on the boots have been performed. A comparison of the results highlighted a correlation between the visco-elastic properties and the flexural and rebound behaviour of ski boots. The same experimental methods have been used to investigate the influence of the design on the flexural and rebound behaviours. Finally in the third chapter the thermoplastic materials employed for the construction of ski boots soles have been characterized in terms of chemical composition, hardness, crystallinity, surface roughness and coefficient of friction (COF). The results showed a relation between material hardness and grip, in particular softer materials provide more grip with respect to harder materials. On the contrary, the surface roughness has a negative effect on friction because of the decrease in contact area. The measure of grip on inclined wet surfaces showed again a relation between hardness and grip. The performance ranking of the different materials has been the same for the COF and for the slip angle tests, indicating that COF can be used as a parameter for the choice of the optimal material to be used for the soles of ski boots.

Effects of training and melodic features on mode perception

The two modes most widely used in Western music today convey opposite moods—a distinction that nonmusicians and even young children are able to make. However, the current studies provide evidence that, despite a strong link between mode and affect, mode perception is problematic. Nonmusicians found mode discrimination to be harder than discrimination of other melodic features, and they were not able to accurately classify major and minor melodies with these labels. Although nonmusicians were able to classify major and minor melodies using affective labels, they performed at chance in mode discrimination. Training, in the form of short lessons given to nonmusicians and the natural musical experience of musicians, improved performance, but not to ceiling levels. Tunes with high note density were classified as major, and tunes with low note density as minor, even though these features were actually unrelated in the experimental material. Although these findings provide support for the importance of mode in the perception of emotion, they clearly indicate that these mode perceptions are inaccurate, even in trained individuals, without the assistance of affective labeling.

Mental scanning in auditory imagery for songs

Four experiments examined how people operate on memory representations of familiar songs. The tasks were similar to those used in studies of visual imagery. In one task, subjects saw a one word lyric from a song and then saw a second lyric; then they had to say if the second lyric was from the same song as the first. In a second task, subjects mentally compared pitches of notes corresponding to song lyrics. In both tasks, reaction time increased as a function of the distance in beats between the two lyrics in the actual song, and in some conditions reaction time increased with the starting beat of the earlier lyric. Imagery instructions modified the main results somewhat in the first task, but not in the second, much harder task. The results suggest that song representations have temporal-like characteristics. (PsycINFO Database Record (c) 2012 APA, all rights reserved)