@inproceedings{447, abstract = {{Automatic service composition is still a challengingtask. It is even more challenging when dealing witha dynamic market of services for end users. New servicesmay enter the market while other services are completelyremoved. Furthermore, end users are typically no experts in thedomain in which they formulate a request. As a consequence,ambiguous user requests will inevitably emerge and have tobe taken into account. To meet these challenges, we proposea new approach that combines automatic service compositionwith adaptive service recommendation. A best first backwardsearch algorithm produces solutions that are functional correctwith respect to user requests. An adaptive recommendationsystem supports the search algorithm in decision-making.Reinforcement Learning techniques enable the system to adjustits recommendation strategy over time based on user ratings.The integrated approach is described on a conceptional leveland demonstrated by means of an illustrative example fromthe image processing domain.}}, author = {{Jungmann, Alexander and Mohr, Felix and Kleinjohann, Bernd}}, booktitle = {{Proceedings of the 10th World Congress on Services (SERVICES)}}, pages = {{346--353}}, title = {{{Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services}}}, doi = {{10.1109/SERVICES.2014.68}}, year = {{2014}}, } @inproceedings{4470, abstract = {{Abstract Summary: Study programs are currently receiving more attention in Europe. In consequence, it can be observed that the roles of program development and management are professionalized. In the proposed round table, we would like to discuss the role of educational developers to support this professionalization via measures of training and process support in the light of recent developments in Switzerland. Abstract Text: Professionalization of program development as an institutional responsibility In Switzerland, different developments in higher education have led to increased attention to the development and management of the study programs such as the Bologna process, an increasingly competitive environment, the tertiarisation of a number of professions formerly acquired through vocational education. Furthermore, the national qualification framework and in particular accreditation processes require HEI to demonstrate the effectiveness of their activities (e.g., Sursock & Smit, 2010). Many different actors have been involved in development processes on the program level but also within educational development units. However, so far a systematic discourse on key issues regarding the management and development of study programs is missing, not only in German-speaking Europe. The following main question will guide the round table session: How can educational development give vital impulses for program development? Our starting points are two approaches or frameworks from Swiss HEI: a) the definition of competencies for new program professionals at the Zurich University for Teacher Education and b) a process for the strategic development of didactically-aligned study programs at the University of St. Gallen. Framework 1: Competencies for program managers The experiences with a training program for study program managers at the Zurich University for Teacher Education are reported. Over a period of four years, a competency profile has been developed and refined. Insights into the challenges and struggles of this role were gained. Despite diverse job characteristics of program managers (often resulting from an institution-specific history), there is a common set of competencies necessary to successfully cope with organizational complexity such as role competency (Schein, 1992) and lateral leadership (Kühl et al., 2005). Framework 2: Towards a systematic development of study programs The second initiative concerns the strategic approach to program development implemented at the University of St. Gallen (Brahm & Jenert, 2013; Jenert, 2011). In this structured process, the program goes through four process steps: process initiation, program analysis, program development, evaluation of the process and results. A major challenge in this process is the role of program professionals. The goal is to establish them as change agents for a didactically-aligned study program. Outcome: Role of educational development After briefly introducing the two examples, the roles of program professionals and educational development in HEI will be discussed. The questions guiding the discussion will be: • How can program development be established as a continuing task, closely tied to quality development? • How can the competencies of program professionals be developed and the local capacity and ownership be strengthened? • How can educational development support program development and provide vital impulses? Audience Engagement. Depending on the number of participants, first the questions will be discussed in groups. To put the results of the discussion on record, it will be summarized and uploaded in our weblog for further discussion after the session.}}, author = {{Brahm, Taiga and Zellweger, Franziska and Jenert, Tobias and Thomann, Geri}}, keywords = {{curriculum development, study programs, Bologna, educational development, higher education}}, location = {{Stockholm}}, title = {{{Developing study programs as a continuous task-the role of educational developers}}}, year = {{2014}}, } @inproceedings{4472, abstract = {{Das erste Studienjahr wird als wesentlicher Übergang von der Schule in die Hochschule angesehen. Im Vordergrund steht dabei häufig die Fragen der Identitätsfindung der Studierenden und das "Ankommen" im neuen Lebensabschnitt (Briggs, Clark, & Hall, 2012; Scanlon, Rowling, & Weber, 2007). In diesem Zusammenhang werden ganz unterschiedliche Aspekte untersucht, z. B. die vorhandenen Lernkompetenzen oder das Zeitmanagement der Studierenden (Barron & D'Annunzio-Green, 2009), vorhandene Einführungsprogramme an Hochschulen (z.B. Gale & Parker, 2012) oder dem ‚student engagement‘ während des ersten Jahres (Krause & Coates, 2008). Obwohl die Motivation der Studierenden als starker Prädiktor für die Leistung angesehen wird (z. B. Busato, Prins, Elshouta, & Hamaker, 2000), wurde die Motivationsentwicklung im ersten Studienjahr bis dato nur selten betrachtet. Die vorliegende Mixed Methods-Studie setzt an dieser Forschungslücke an und untersucht die Entwicklung der Studienmotivation von Wirtschaftsstudierenden im Verlauf des ersten Studienjahres. Im Rahmen einer quantitativen Längsschnittuntersuchung mit drei Messzeitpunkten wird dabei die Motivationsentwicklung über die gesamte Studierendenpopulation hinweg erfasst. Im Mittelpunkt steht die Frage, wie sich die intrinsische und extrinsische Studienmotivation sowie die studienbezogene Selbstwirksamkeit über das erste Studienjahr verändern. Zudem wird untersucht, inwiefern verschiedene studienbezogene Variablen (z. B. Angst) sich auf die Motivationsentwicklung auswirken. Um vertiefte Erkenntnisse über die Bedeutsamkeit verschiedener Gestaltungsmerkmale des ersten Studienjahres auf die Motivationsentwicklung der Studierenden zu gewinnen, wurde parallel zur quantitativen Untersuchung eine qualitative Längsschnittstudie durchgeführt mit dem Ziel, (1) verschiedene Verläufe der Motivationsentwicklung und (2) kritische Ereignisse im Eingangsjahr zu identifizieren. Das vorliegende Papier zeigt in den folgenden beiden Kapiteln den theoretischen Bezugsrahmen der Studie und die methodische Vorgehensweise. Daraufhin werden die Ergebnisse sowohl der quantitativen als auch der qualitativen Studie dargestellt und im Rahmen der Diskussion miteinander verbunden.}}, author = {{Jenert, Tobias and Brahm, Taiga}}, keywords = {{Motivationsentwicklung, Hochschule, motivation, Längsschnitt, Mixed Methods}}, location = {{Frankfurt am Main }}, title = {{{Entwicklung der Motivation von Studierenden der Wirtschafts-wissenschaften im ersten Studienjahr-eine Mixed-Methods-Studie}}}, year = {{2014}}, } @inproceedings{4473, abstract = {{Research on entrepreneurial learning often stresses the role of experience and previous knowledge. We aim to advance this perspective by pointing out the prerequisites and limitations of experience-based forms of learning and by adapting findings from educational psychology to the entrepreneurial context. Developing a model of self-regulated entrepreneurial learning (SREL) we pursue a more process oriented view of entrepreneurial learning in order to explain how learning unfolds in contexts of uncertainty and novelty when relevant experience and knowledge are scarce. The model comprises a planning, a performance and a review phase in order to support entrepreneurs in their learning process. It is suggested how SREL is related to self-efficacy, emotions and cognitive biases.}}, author = {{Fust, Alexander and Jenert, Tobias}}, keywords = {{Unternehmertum, lernen}}, location = {{Dublin }}, title = {{{Self-Regulation and Entrepreneurial Learning}}}, year = {{2014}}, } @inproceedings{4474, abstract = {{The transition from school to university can be overwhelming for some students. While students' motivation is considered a strong predictor of performance, the development of motivation during students' transition from high school to university has rarely been investigated. Additionally, little is known about the relation of motivational aspects with other influences on study performance. The present mixed methods study addresses this research gap and examines the development of economics students' study motivation. The longitudinal mixed-method study included three waves of data collected using quantitative surveys and a series of five interviews conducted with 14 first-year students over eight months. Regarding students' development over time, the quantitative analysis showed a gradual decline in students' motivation. However, in the interviews, certain events during the first year were identified as critical incidents demotivating students. These insights into the development of students' motivation at a business school show that concrete incidents influence students' motivational development; thus, they could be transformed by structural changes.}}, author = {{Brahm, Taiga and Jenert, Tobias}}, keywords = {{motivation, business school, higher education, latent growth curve model, longitudinal study, mixed methods, interview, students}}, location = {{Leuven}}, title = {{{The crucial first year: The development of students' motivation at a Business School-a Mixed Methods Study}}}, year = {{2014}}, } @inproceedings{4475, abstract = {{Tertiary education comprises at least two phases, undergraduate and graduate studies. Often, the first year is regarded another, crucial phase where students familiarize with the study environment. It can be hypothesized that students' individual perceptions of learning and studying as well as the pedagogies they experience differ depending on their current study phase. Yet, differences between the phases in HE have rarely been investigated. To capture differences in student experiences in HE comprehensively, Jenert and Gebhardt (2010) have developed a framework describing Learning Culture in HEI. LC comprises a number of constructs on the three levels of the individual student, pedagogical interactions and the organization. The study first aims to quantitatively describe differences in LC between the phases of HE within a university. Based on this analysis, a second goal is to develop a deeper understanding of how students manage the transitions between different phases by applying qualitative research methods.}}, author = {{Gebhardt, Anja and Jenert, Tobias}}, keywords = {{Higher Education, Transitions, Bachelor, Master}}, location = {{Leuven}}, title = {{{Transition within higher education institutions (HEI): Differences in learning culture (LC) between first-year, bachelor, and master students at a business school}}}, year = {{2014}}, } @inproceedings{4476, abstract = {{Auseinandersetzungen über Forschungsmethodologien haben in den Bildungswissenschaften lange Tradition. Sie werden häufig unversöhnlich und mit Profilierung der Gegensätze geführt. Für uns hängt die Sinnhaftigkeit einer Forschungskonzeption von der Problemstellung und dem Erkenntnisinteresse ab. Dies gilt auch für Design-Based Research (DBR). Dieser Ansatz entstand als Reaktion auf die Kritik an mangelnder praktischer Anwendung von Befunden aus der empirisch-analytischen Lehr-Lernforschung. Als Ergebnis werden Theorien angestrebt, die für die Praxis einen Nutzen bieten und zugleich über die Anwendung in einer singulären Situation hinausgehen. Wir wollen folgenden Fragen nachgehen: Wo liegen die Gemeinsamkeiten, wo die Spezifika von DBR gegenüber bestehenden Methodologien? Wie wird der Generalisierungsanspruch von Theorien innerhalb von DBR verstanden und umgesetzt? Für welche Erkenntnisinteressen eignet sich DBR? Welche Methoden sind für DBR sinnvoll und können wie angewendet werden?}}, author = {{Brahm, Taiga and Jenert, Tobias}}, keywords = {{design-based research, gestatlungsbasierte Forschung, Erziehungswissenschaft, Design, Mixed Methods}}, location = {{Berlin}}, publisher = {{Humboldt-Universität}}, title = {{{Wie kann über DBR die wissenschaftliche und praktische Relevanz der Forschung gesichert werden?}}}, year = {{2014}}, } @misc{448, author = {{Gao, Yuan}}, publisher = {{Universität Paderborn}}, title = {{{Combination of Service Matching Steps in Consideration of Efficiency and Fuzziness}}}, year = {{2014}}, } @inproceedings{449, abstract = {{Cloud computing resulted in a continuously growing number of provided software services to be used by consumers. Brokers discover services that fit best to consumers' requirements by matching Qualityof-Service (QoS) properties. In order to negotiate Service-Level Agreements (SLAs), a provider has to determine the provided QoS based on QoS analyses. However, the risk for the provider to violate the SLA is high as the service's actual quality can deviate from the specified QoS due to uncertainties that occur during the provider's quality analysis. In this paper, we discuss current software engineering paradigms like cloud computing and service-oriented computing with respect to the amount of uncertainty they induce into service matching and SLA negotiations. As a result, we explain, why cloud computing reduces such uncertainties.}}, author = {{Becker, Matthias and Platenius, Marie Christin and Becker, Steffen}}, booktitle = {{Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB)}}, pages = {{153--159}}, title = {{{Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!}}}, doi = {{10.1007/978-3-319-14886-1_15}}, year = {{2014}}, } @inproceedings{450, abstract = {{Configurable program analysis (CPA) is a generic concept for the formalization of different software analysis techniques in a single framework. With the tool CPAchecker, this framework allows for an easy configuration and subsequent automatic execution of analysis procedures ranging from data-flow analysis to model checking. The focus of the tool CPAchecker is thus on analysis. In this paper, we study configurability from the point of view of software certification. Certification aims at providing (via a prior analysis) a certificate of correctness for a program which is (a) tamper-proof and (b) more efficient to check for validity than a full analysis. Here, we will show how, given an analysis instance of a CPA, to construct a corresponding sound certification instance, thereby arriving at configurable program certification. We report on experiments with certification based on different analysis techniques, and in particular explain which characteristics of an underlying analysis allow us to design an efficient (in the above (b) sense) certification procedure. }}, author = {{Jakobs, Marie-Christine and Wehrheim, Heike}}, booktitle = {{Proceedings of the 21st International Symposium on Model Checking of Software (SPIN)}}, pages = {{30--39}}, title = {{{Certification for Configurable Program Analysis}}}, doi = {{10.1145/2632362.2632372}}, year = {{2014}}, } @inbook{4508, author = {{Jenert, Tobias}}, booktitle = {{Lernumgebungen an der Hochschule. Auf dem Weg zum Campus von morgen }}, editor = {{Škerlak, Tina and Kaufmann, Helen and Bachmann, Gudrun}}, isbn = {{978-3-8309-3056-3}}, pages = {{159--175}}, publisher = {{Waxmann Verlag GmbH }}, title = {{{Verändern Medien die Lernkultur? Mögliche Rollen von Technologie zwischen virtuellen und physischen Lernräumen}}}, volume = {{Band 66}}, year = {{2014}}, } @inproceedings{451, abstract = {{We introduce the concept of budget games. Players choose a set of tasks and each task has a certain demand on every resource in the game. Each resource has a budget. If the budget is not enough to satisfy the sum of all demands, it has to be shared between the tasks. We study strategic budget games, where the budget is shared proportionally. We also consider a variant in which the order of the strategic decisions influences the distribution of the budgets. The complexity of the optimal solution as well as existence, complexity and quality of equilibria are analysed. Finally, we show that the time an ordered budget game needs to convergence towards an equilibrium may be exponential.}}, author = {{Drees, Maximilian and Riechers, Sören and Skopalik, Alexander}}, booktitle = {{Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT)}}, editor = {{Lavi, Ron}}, pages = {{110--121}}, title = {{{Budget-restricted utility games with ordered strategic decisions}}}, doi = {{10.1007/978-3-662-44803-8_10}}, year = {{2014}}, } @inproceedings{452, abstract = {{Today's networks, like the Internet, do not consist of one but a mixture of several interconnected networks. Each has individual qualities and hence the performance of a network node results from the networks' interplay.We introduce a new game theoretic model capturing the interplay between a high-speed backbone network and a low-speed general purpose network. In our model, n nodes are connected by a static network and each node can decide individually to become a gateway node. A gateway node pays a fixed price for its connection to the high-speed network, but can utilize the high-speed network to gain communication distance 0 to all other gateways. Communication distances in the low-speed network are given by the hop distances. The effective communication distance between any two nodes then is given by the shortest path, which is possibly improved by using gateways as shortcuts.Every node v has the objective to minimize its communication costs, given by the sum (SUM-game) or maximum (MAX-game) of the effective communication distances from v to all other nodes plus a fixed price \alpha > 0, if it decides to be a gateway. For both games and different ranges of \alpha, we study the existence of equilibria, the price of anarchy, and convergence properties of best-response dynamics.}}, author = {{Abshoff, Sebastian and Cord-Landwehr, Andreas and Jung, Daniel and Skopalik, Alexander}}, booktitle = {{Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT)}}, editor = {{Lavi, Ron}}, pages = {{294}}, title = {{{Brief Announcement: A Model for Multilevel Network Games}}}, year = {{2014}}, } @inproceedings{453, abstract = {{In this paper we study the potential function in congestion games. We consider both games with non-decreasing cost functions as well as games with non-increasing utility functions. We show that the value of the potential function $\Phi(\sf s)$ of any outcome $\sf s$ of a congestion game approximates the optimum potential value $\Phi(\sf s^*)$ by a factor $\Psi_{\mathcal{F}}$ which only depends on the set of cost/utility functions $\mathcal{F}$, and an additive term which is bounded by the sum of the total possible improvements of the players in the outcome $\sf s$. The significance of this result is twofold. On the one hand it provides \emph{Price-of-Anarchy}-like results with respect to the potential function. On the other hand, we show that these approximations can be used to compute $(1+\varepsilon)\cdot\Psi_{\mathcal{F}}$-approximate pure Nash equilibria for congestion games with non-decreasing cost functions. For the special case of polynomial cost functions, this significantly improves the guarantees from Caragiannis et al. [FOCS 2011]. Moreover, our machinery provides the first guarantees for general latency functions.}}, author = {{Feldotto, Matthias and Gairing, Martin and Skopalik, Alexander}}, booktitle = {{Proceedings of the 10th International Conference on Web and Internet Economics (WINE)}}, pages = {{30--43}}, title = {{{Bounding the Potential Function in Congestion Games and Approximate Pure Nash Equilibria}}}, doi = {{10.1007/978-3-319-13129-0_3}}, year = {{2014}}, } @inproceedings{4534, author = {{Jenert, Tobias}}, location = {{Berlin}}, title = {{{Viel Neues und doch keine Innovation!?: Fünf Thesen, warum es die Lehrentwicklung an Hochschulen schwer ha}}}, year = {{2014}}, } @inproceedings{4535, author = {{Brahm, Taiga and Jenert, Tobias}}, location = {{Stockholm }}, title = {{{Change Management in Higher Education Institutions}}}, year = {{2014}}, } @misc{454, author = {{Heldt, Waleri}}, publisher = {{Universität Paderborn}}, title = {{{Automated Service Composition: Adaption of the ASTRO Approach}}}, year = {{2014}}, } @inproceedings{455, abstract = {{We study the existence of approximate pure Nash equilibria in weighted congestion games and develop techniques to obtain approximate potential functions that prove the existence of alpha-approximate pure Nash equilibria and the convergence of alpha-improvement steps. Specifically, we show how to obtain upper bounds for approximation factor alpha for a given class of cost functions. For example for concave cost functions the factor is at most 3/2, for quadratic cost functions it is at most 4/3, and for polynomial cost functions of maximal degree d it is at at most d + 1. For games with two players we obtain tight bounds which are as small as for example 1.054 in the case of quadratic cost functions.}}, author = {{Hansknecht, Christoph and Klimm, Max and Skopalik, Alexander}}, booktitle = {{Proceedings of the 17th. International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX)}}, pages = {{242 -- 257}}, title = {{{Approximate pure Nash equilibria in weighted congestion games}}}, doi = {{10.4230/LIPIcs.APPROX-RANDOM.2014.242}}, year = {{2014}}, } @inproceedings{456, abstract = {{We study the existence of approximate pure Nash equilibriain social context congestion games. For any given set of allowed costfunctions F, we provide a threshold value μ(F), and show that for theclass of social context congestion games with cost functions from F, α-Nash dynamics are guaranteed to converge to α-approximate pure Nashequilibrium if and only if α > μ(F).Interestingly, μ(F) is related and always upper bounded by Roughgarden’sanarchy value [19].}}, author = {{Gairing, Martin and Kotsialou, Grammateia and Skopalik, Alexander}}, booktitle = {{Proceedings of the 10th International Conference on Web and Internet Economics (WINE)}}, pages = {{480 -- 485}}, title = {{{Approximate pure Nash equilibria in Social Context Congestion Games}}}, doi = {{10.1007/978-3-319-13129-0_43}}, year = {{2014}}, } @inproceedings{457, abstract = {{Automatically composing service-based software solutionsis still a challenging task. Functional as well as nonfunctionalproperties have to be considered in order to satisfyindividual user requests. Regarding non-functional properties,the composition process can be modeled as optimization problemand solved accordingly. Functional properties, in turn, can bedescribed by means of a formal specification language. Statespacebased planning approaches can then be applied to solvethe underlying composition problem. However, depending on theexpressiveness of the applied formalism and the completenessof the functional descriptions, formally equivalent services maystill differ with respect to their implemented functionality. As aconsequence, the most appropriate solution for a desired functionalitycan hardly be determined without considering additionalinformation. In this paper, we demonstrate how to overcome thislack of information by means of Reinforcement Learning. Inorder to resolve ambiguity, we expand state-space based servicecomposition by a recommendation mechanism that supportsdecision-making beyond formal specifications. The recommendationmechanism adjusts its recommendation strategy basedon feedback from previous composition runs. Image processingserves as case study. Experimental results show the benefit of ourproposed solution.}}, author = {{Jungmann, Alexander and Mohr, Felix and Kleinjohann, Bernd }}, booktitle = {{Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA)}}, pages = {{105--112}}, title = {{{Applying Reinforcement Learning for Resolving Ambiguity in Service Composition}}}, doi = {{10.1109/SOCA.2014.48}}, year = {{2014}}, }