Learning for scheduling a portfolio of constraint solvers

Nel lavoro di tesi qui presentato si indaga l'applicazione di tecniche di apprendimento mirate ad una più efficiente esecuzione di un portfolio di risolutore di vincoli (constraint solver). Un constraint solver è un programma che dato in input un problema di vincoli, elabora una soluzione mediante l'utilizzo di svariate tecniche. I problemi di vincoli sono altamente presenti nella vita reale. Esempi come l'organizzazione dei viaggi dei treni oppure la programmazione degli equipaggi di una compagnia aerea, sono tutti problemi di vincoli. Un problema di vincoli è formalizzato da un problema di soddisfacimento di vincoli(CSP). Un CSP è descritto da un insieme di variabili che possono assumere valori appartenenti ad uno specico dominio ed un insieme di vincoli che mettono in relazione variabili e valori assumibili da esse. Una tecnica per ottimizzare la risoluzione di tali problemi è quella suggerita da un approccio a portfolio. Tale tecnica, usata anche in am- biti come quelli economici, prevede la combinazione di più solver i quali assieme possono generare risultati migliori di un approccio a singolo solver. In questo lavoro ci preoccupiamo di creare una nuova tecnica che combina un portfolio di constraint solver con tecniche di machine learning. Il machine learning è un campo di intelligenza articiale che si pone l'obiettivo di immettere nelle macchine una sorta di `intelligenza'. Un esempio applicativo potrebbe essere quello di valutare i casi passati di un problema ed usarli in futuro per fare scelte. Tale processo è riscontrato anche a livello cognitivo umano. Nello specico, vogliamo ragionare in termini di classicazione. Una classicazione corrisponde ad assegnare ad un insieme di caratteristiche in input, un valore discreto in output, come vero o falso se una mail è classicata come spam o meno. La fase di apprendimento sarà svolta utilizzando una parte di CPHydra, un portfolio di constraint solver sviluppato presso la University College of Cork (UCC). Di tale algoritmo a portfolio verranno utilizzate solamente le caratteristiche usate per descrivere determinati aspetti di un CSP rispetto ad un altro; queste caratteristiche vengono altresì dette features. Creeremo quindi una serie di classicatori basati sullo specifico comportamento dei solver. La combinazione di tali classicatori con l'approccio a portfolio sara nalizzata allo scopo di valutare che le feature di CPHydra siano buone e che i classicatori basati su tali feature siano affidabili. Per giusticare il primo risultato, eettueremo un confronto con uno dei migliori portfolio allo stato dell'arte, SATzilla. Una volta stabilita la bontà delle features utilizzate per le classicazioni, andremo a risolvere i problemi simulando uno scheduler. Tali simulazioni testeranno diverse regole costruite con classicatori precedentemente introdotti. Prima agiremo su uno scenario ad un processore e successivamente ci espanderemo ad uno scenario multi processore. In questi esperimenti andremo a vericare che, le prestazioni ottenute tramite l'applicazione delle regole create appositamente sui classicatori, abbiano risultati migliori rispetto ad un'esecuzione limitata all'utilizzo del migliore solver del portfolio. I lavoro di tesi è stato svolto in collaborazione con il centro di ricerca 4C presso University College Cork. Su questo lavoro è stato elaborato e sottomesso un articolo scientico alla International Joint Conference of Articial Intelligence (IJCAI) 2011. Al momento della consegna della tesi non siamo ancora stati informati dell'accettazione di tale articolo. Comunque, le risposte dei revisori hanno indicato che tale metodo presentato risulta interessante.

Tutela e valorizzazione delle produzioni agroalimentari di qualità attraverso strategie di brand management.Il modello Coop.

Questa tesi di dottorato verte sull'individuazione di politiche industriali atte ad implementare il mercato dei prodotti a denominazione di origine. Inevitabilmente, l’analisi economica dei prodotti agroalimentari tipici di qualità implica anche l’approfondimento e l’individuazione, delle problematiche connesse con la creazione di un valore addizionale per il consumatore, rispetto a quello dei prodotti standardizzati. Questo approccio richiama l’attenzione, da una parte, sulle caratteristiche della domanda e sulla disponibilità del consumatore a riconoscere e apprezzare questo plus-valore, dall’altra sulle strategie che l’offerta può attivare per conseguire un premium price rispetto al prodotto standardizzato. Le certificazioni comunitarie Dop, Igp e Stg oltre che il marchio di prodotto biologico racchiudono, solitamente, tali dinamiche valoriali ma sono tutt’oggi poco conosciute dai consumatori. Diversi studi internazionali dimostrano, infatti, che la maggioranza dei cittadini comunitari ignorano il significato delle certificazioni di qualità. L’ipotesi di fondo di questo studio si basa sulla possibilità di fidelizzare questi marchi con i brand della grande distribuzione già affermati, come quello di Coop. Analizzare gli effetti dell’introduzione di prodotti private label a denominazione di origine nel mercato della grande distribuzione organizzata italiana ci permetterebbe di comprendere se questo segmento di mercato può aiutare il settore delle Dop/Igp. Questo studio ha cercato di verificare se il prodotto private label a denominazione di origine, riesca a sfruttare il doppio binario di fiducia rappresentato dal marchio comunitario unito a quello dell’impresa di distribuzione. Per comprendere la propensione del consumatore a spendere di più per questi prodotti, abbiamo utilizzato l’analisi dell’elasticità della domanda sul prezzo dei dati scanner fornitici da Coop Adriatica. Siamo riusciti a dimostrare tale positivo connubio confermato anche da una indagine demoscopica effettuata ad hoc sui consumatori.

Portfolio Approaches in Constraint Programming

Recent research has shown that the performance of a single, arbitrarily efficient algorithm can be significantly outperformed by using a portfolio of —possibly on-average slower— algorithms. Within the Constraint Programming (CP) context, a portfolio solver can be seen as a particular constraint solver that exploits the synergy between the constituent solvers of its portfolio for predicting which is (or which are) the best solver(s) to run for solving a new, unseen instance. In this thesis we examine the benefits of portfolio solvers in CP. Despite portfolio approaches have been extensively studied for Boolean Satisfiability (SAT) problems, in the more general CP field these techniques have been only marginally studied and used. We conducted this work through the investigation, the analysis and the construction of several portfolio approaches for solving both satisfaction and optimization problems. We focused in particular on sequential approaches, i.e., single-threaded portfolio solvers always running on the same core. We started from a first empirical evaluation on portfolio approaches for solving Constraint Satisfaction Problems (CSPs), and then we improved on it by introducing new data, solvers, features, algorithms, and tools. Afterwards, we addressed the more general Constraint Optimization Problems (COPs) by implementing and testing a number of models for dealing with COP portfolio solvers. Finally, we have come full circle by developing sunny-cp: a sequential CP portfolio solver that turned out to be competitive also in the MiniZinc Challenge, the reference competition for CP solvers.

Brand formative design - development and assessment of product design from a future, brand and consumer perspective

With this dissertation research we investigate intersections between design and marketing and in this respect, which factors do contribute that a product design becomes brand formative. We have developed a Brand Formative Design (BFD) framework, which investigates individual design features in a holistic, comparable, brand relevant, and consumer specific context. We discuss what kinds of characteristics contribute to BFD but also illuminate how they should be applied and examine: rnA holistic framework leading to Brand Formative Design. Identification and assessment of BFD Drivers. The dissection of products into three Distinctive Design Levels. The detection of surprising design preferences. The appropriate degree of scheme deviation with evolutionary design. Simulated BFD development processes with three different products and the integration of consumers. Future oriented objectification, comparability and assessment of design. Recommendations for the management of design in a brand specific context. Design is a product feature, which contributes significantly to the success of products. However, the development of new design contains challenges. Design can hardly be objectified; many people have an opinion concerning the attractiveness of new products but cannot formulate their future preferences. Product design is widely developed based on intuition, which can be difficult for the management of design. Here the concept of Brand Formative Design can provide a framework which contributes to structure, objectify, develop and assess new evolutionary design in brand and future relevant contexts, but also integrates consumers and their preferences without restricting creativity too much.

Das strukturierte Portfolio zur Dokumentation des orientierenden Praktikums für Lehramtsstudierende

Die Kompetenzorientierung der Lehrerbildung bezieht sich nicht nur auf die universitären Ausbildungsabschnitte des Lehramtsstudiums, sondern auch auf die praktischen Phasen. Daher ist es von Interesse, diese praktischen Phasen genauer zu untersuchen. Bisherige Forschungsarbeiten konzentrierten sich dabei vor allem auf die Kompetenzentwicklung (Bach, 2013; Gröschner & Schmitt, 2012; Schubarth et al., 2012) und auf die Betreuung im Schulpraktikum (Bach, 2013; Hascher, 2012; Schubarth et al., 2011). Die Untersuchung dieser Arbeit stellt die Praktikumsdokumentation in den Fokus, da diese ebenfalls zur Kompetenzförderung im Schulpraktikum beitragen kann. Dazu werden zwei Formen von Praktikumsdokumentationen gegenübergestellt. Dies sind einerseits die Praktikumsaufgaben, die als offene Reflexionsaufgaben formuliert werden und andererseits ein strukturiertes Arbeitsheft mit dem Ziel, die Beobachtungskompetenz der Studierenden anzuleiten und die Dokumentation der Beobachtungen zu strukturieren. Diese beiden Formen der Praktikumsdokumentation werden hinsichtlich der Akzeptanz, der Entwicklung der Kompetenzen, der Selbstwirksamkeitserwartung und des pädagogisch-psychologischen Wissens miteinander verglichen. Die Angaben von n = 66 Studierenden, die das Arbeitsheft im Orientierenden Praktikum nutzten, wurden in einem prä-post-follow-up-Design untersucht und zwei Referenzgruppen gegenübergestellt. Die erste Referenzgruppe (n = 64) hatte das Orientierende Schulpraktikum noch nicht absolviert. Die zweite Referenzgruppe (n = 105) hatte dieses beendet und mit den Praktikumsaufgaben gearbeitet. Mit Hilfe von Online-Fragebögen wurden Daten zu Rahmenbedingungen des Schulpraktikums, die selbsteingeschätzte Kompetenz der Studierenden, die Relevanz und Anwendungshäufigkeit der Kompetenzen (adaptierte Skala nach Gröschner, 2009), die allgemeine Selbstwirksamkeitserwartung (Jerusalem & Schwarzer, 1999), das pädagogisch-psychologische Wissen sowie die Akzeptanz erfasst. Die Ergebnisse zeigen keine Unterschiede in der Kompetenz- und Relevanzeinschätzung sowie bei der Selbstwirksamkeitserwartung und dem Wissen zwischen den Gruppen. Signifikant besser schätzten die Studierenden mit dem Arbeitsheft die Anwendungshäufigkeit der Kompetenzen und die Akzeptanz der Praktikumsdokumentation ein. Das neu entwickelte Arbeitsheft und die Praktikumsaufgaben fördern die Kompetenzentwicklung wahrscheinlich in vergleichbarem Maß. Die Studierenden akzeptieren das Arbeitsheft jedoch mehr, was eine wichtige Implementationsbedingung ist. Das Design der Studie sowie die Selbstselektion der Gruppen schränken die Aussagekraft der Studie ein. Zu betonen ist jedoch, dass im Rahmen dieser Studie erstmalig versucht wurde, eine längsschnittliche Interventionsstudie mit Praktikumsdokumentationen umzusetzen sowie die Gelingensbedingungen von Schulpraktika und Kompetenzentwicklung im Lehramtsstudium zu untersuchen.