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.

The special rights other than shares in cross-border mergers of limited liability companies within the European Union. A perspective from the Spanish Law

The present research aims to study the special rights other than shares in Spanish Law and the protection of their holders in cross-border mergers of limited liability companies within the European Union frame. Special rights other than shares are recognised as an independent legal category within legal systems of some EU Member States, such as Germany or Spain, through the implementation of the Third Directive 78/855/CEE concerning mergers of public limited liability companies. The above-cited Directive contains a special regime of protection for the holders of securities, other than shares, to which special rights are attached, consisting of being given rights in the acquiring company, at least equivalent to those they possessed in the company being acquired. This safeguard is to highlight the intimate connection between this type of rights and the company whose extinction determines the existence of those. Pursuant to the Directive 2005/56/CE on cross-border mergers of limited liability companies, each company taking part in these operations shall comply with the safeguards of members and third parties provided in their respective national law to which is subject. In this regard, the protection for holders of special rights other than shares shall be ruled by the domestic M&A regime. As far as Spanish Law are concerned, holders of these special rights are recognized a right of merger information, in the same terms as shareholders, as well as equal rights in the company resulting from the cross-border merger. However, these measures are not enough guarantee for a suitable protection, thus considering those holders of special rights as special creditors, sometimes it will be necessary to go to the general protection regime for creditors. In Spanish Law, it would involve the recognition of right to the merger opposition, whose exercise would prevent the operation was completed until ensuring equal rights.

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.

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.

Pheochromocytoma in rats with multiple endocrine neoplasia (MENX) shares gene expression patterns with human pheochromocytoma

Pheochromocytomas are rare neoplasias of neural crest origin arising from chromaffin cells of the adrenal medulla and sympathetic ganglia (extra-adrenal pheochromocytoma). Pheochromocytoma that develop in rats homozygous for a loss-of-function mutation in p27Kip1 (MENX syndrome) show a clear progression from hyperplasia to tumor, offering the possibility to gain insight into tumor pathobiology. We compared the gene-expression signatures of both adrenomedullary hyperplasia and pheochromocytoma with normal rat adrenal medulla. Hyperplasia and tumor show very similar transcriptome profiles, indicating early determination of the tumorigenic signature. Overrepresentation of developmentally regulated neural genes was a feature of the rat lesions. Quantitative RT-PCR validated the up-regulation of 11 genes, including some involved in neural development: Cdkn2a, Cdkn2c, Neurod1, Gal, Bmp7, and Phox2a. Overexpression of these genes precedes histological changes in affected adrenal glands. Their presence at early stages of tumorigenesis indicates they are not acquired during progression and may be a result of the lack of functional p27Kip1. Adrenal and extra-adrenal pheochromocytoma development clearly follows diverged molecular pathways in MENX rats. To correlate these findings to human pheochromocytoma, we studied nine genes overexpressed in the rat lesions in 46 sporadic and familial human pheochromocytomas. The expression of GAL, DGKH, BMP7, PHOX2A, L1CAM, TCTE1, EBF3, SOX4, and HASH1 was up-regulated, although with different frequencies. Immunohistochemical staining detected high L1CAM expression selectively in 27 human pheochromocytomas but not in 140 nonchromaffin neuroendocrine tumors. These studies reveal clues to the molecular pathways involved in rat and human pheochromocytoma and identify previously unexplored biomarkers for clinical use.

Bucknell Shares Its Research With the World

Bucknell University recently passed an open access publishing initiative and established Bucknell Digital Commons, its institutional repository.

Portfolio-optimization models for small investors

Since 2010, the client base of online-trading service providers has grown significantly. Such companies enable small investors to access the stock market at advantageous rates. Because small investors buy and sell stocks in moderate amounts, they should consider fixed transaction costs, integral transaction units, and dividends when selecting their portfolio. In this paper, we consider the small investor’s problem of investing capital in stocks in a way that maximizes the expected portfolio return and guarantees that the portfolio risk does not exceed a prescribed risk level. Portfolio-optimization models known from the literature are in general designed for institutional investors and do not consider the specific constraints of small investors. We therefore extend four well-known portfolio-optimization models to make them applicable for small investors. We consider one nonlinear model that uses variance as a risk measure and three linear models that use the mean absolute deviation from the portfolio return, the maximum loss, and the conditional value-at-risk as risk measures. We extend all models to consider piecewise-constant transaction costs, integral transaction units, and dividends. In an out-of-sample experiment based on Swiss stock-market data and the cost structure of the online-trading service provider Swissquote, we apply both the basic models and the extended models; the former represent the perspective of an institutional investor, and the latter the perspective of a small investor. The basic models compute portfolios that yield on average a slightly higher return than the portfolios computed with the extended models. However, all generated portfolios yield on average a higher return than the Swiss performance index. There are considerable differences between the four risk measures with respect to the mean realized portfolio return and the standard deviation of the realized portfolio return.

New Product Portfolio Performance in Family Firms

This study investigates the relationship between top management team (TMT) innovation orientation and new product portfolio performance in small and medium-sized family firms by exploring two family firm-specific sources of TMT diversity as moderators: the number of generations involved in the TMT and the ratio of family members in the TMT. Results indicate that family-induced diversity in the TMT has opposing moderating effects. Although a positive relationship exists between TMT innovation orientation and new product portfolio performance when multiple generations are involved in the TMT, TMT innovation orientation and new product portfolio performance experience a negative relationship when the ratio of family members in the TMT is high. The study discusses theoretical and managerial implications of the findings and develops avenues for future research.

Lernprozesse dokumentieren, reflektieren und beurteilen. Lerntagebuch und Portfolio in Bildungsforschung und Bildungspraxis

Die Beiträge greifen "den Wandel von einer Lehr- hin zu einer Lernkultur" auf und konzentrieren sich dabei auf "zwei Indikatoren dieses Wandels: die Einführung von Lerntagebüchern und die Implementierung von Portfolios im Bildungsbereich, und zwar im schulischen Unterricht, in der Lehrer-Grundausbildung sowie in der Weiterbildung. Der Lerntagebuch- und Portfolio-Ansatz implizieren eine bestimmte Haltung gegenüber dem Lernen und Lehren. Der Einsatz von Tagebüchern und Portfolios führt Lehrende dazu, ihren Unterricht für neue Zugänge zu öffnen und ihre Rolle als Lernbegleiter/innen und -berater/innen zu professionalisieren. Andererseits erfordern Tagebücher und Portfolios von Lernenden eine aktive, selbstreflexive und eigenverantwortliche Auseinandersetzung mit ihrem Lernprozess. In diesem Band werden zum einen praxisbezogene Erfahrungen, zum anderen aktuelle Erkenntnisse aus der Forschung zum Potenzial des Lerntagebuch- und Portfolio-Ansatzes präsentiert. Jeweils drei bis fünf Beiträge zum Kontext Schule, Hochschule und Weiterbildung sind drei Hauptteilen zugeordnet: 1. Grundüberlegungen zur neuen Lernkultur und zur Arbeit mit Lerntagebuch bzw. Portfolio; 2. Lerntagebücher in Forschung und Praxis; 3. Portfolios in Forschung und Praxis.