References of "9999"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailMediating the Right to Education: An Analysis of UNESCO’s Exhibition Album on Human Rights and Its Global Dissemination in 1951
Kesteloot, Stefanie UL

in Priem, Karin; Comas Rubi, Francisca; Gonzalez, Sara (Eds.) Media Matter: Images as Presenters, Mediators and Means of Observation (in press)

The end of the Second World War was the start of a new era, with worldwide support for a Universal Declaration of Human Rights (UDHR). As a UN organisation, UNESCO was assigned to present the UDHR towards ... [more ▼]

The end of the Second World War was the start of a new era, with worldwide support for a Universal Declaration of Human Rights (UDHR). As a UN organisation, UNESCO was assigned to present the UDHR towards the global population in an effort to guide them to peace. In 1949, their Department of Mass Communication created three tools to promote human rights: a large-scale exhibition at the Musée Galliera in Paris, a travel album, and teaching handbooks. In my chapter, I will focus on the travel album, and in particular, on article 26: “The Right to Education”. As in the album, the right is represented by a number of images and captions, all related to this article of the UDHR. I will analyse the visuals and the corresponding texts from an intermediate perspective. Does the narrative created by UNESCO actually relate to the meaning of the pictures? Then, I will analyse the global correspondence received on the travel album. How did the viewers understand the album and was it as comprehensible as UNESCO thought? This chapter argues that the promotion and mediation of human rights were based on Western standards of education, making it difficult to spread a universal message. [less ▲]

Detailed reference viewed: 51 (5 UL)
Full Text
Peer Reviewed
See detailFemmes fatales
Barthelmebs-Raguin, Hélène UL

in Dictionnaire raisonné de la peur (in press)

Detailed reference viewed: 57 (0 UL)
Full Text
See detailDatenbank für Zweisprachige Historische Luxemburgische Bekanntmachungen
Gilles, Peter UL; Ziegler, Evelyn

in Wallmeier, Nadine; Tophinke, Doris (Eds.) Historische Stadtsprachenforschung (in press)

Detailed reference viewed: 136 (4 UL)
Full Text
Peer Reviewed
See detailHow some bankers made a million by trading just two securities?
Rinne, Kalle UL; Suominen, Matti UL

in Journal of Empirical Finance (in press)

We study a pair trading strategy that utilizes short-term return reversals in the stock market. Using U.S. data, we show that returns to our pair trading strategy exceed reasonable estimates for ... [more ▼]

We study a pair trading strategy that utilizes short-term return reversals in the stock market. Using U.S. data, we show that returns to our pair trading strategy exceed reasonable estimates for transaction costs. The strategy also generates positive alpha when controlling for the standard risk factors. Second, using transaction level data from Finland, focusing on a popular pair, we provide evidence that these kinds of pair trading returns are compensation from providing liquidity. On the days when the expected returns to our pair trading strategy are the highest, the trading volume is abnormally high and, judging from active brokers’ net trades, nearly 45% of all brokers (or their customers) engage in pair trading in accordance with our trading strategy. These brokers are mainly counterparties to few brokers that trade large quantities of stocks inconsistent with our strategy. [less ▲]

Detailed reference viewed: 184 (20 UL)
See detailÖkologie und Poetologie der Versandung: Raoul Schrotts Novelle Die Wüste Lop Nor als literarische Wüstenfiguration der Gegenwart.
Küpper, Achim UL

in Dürbeck, Gabriele; Zschachlitz, Ralf (Eds.) Ökologie und Umweltwandel in der deutschsprachigen Gegenwartsliteratur. (in press)

Detailed reference viewed: 72 (0 UL)
See detailÖkologie, Umwelt.
Küpper, Achim UL

in Vogl, Joseph; Wolf, Burkhardt (Eds.) Handbuch Literatur und Ökonomie. (in press)

Detailed reference viewed: 61 (3 UL)
See detailDeutsch als Unterrichtssprache in Kontexten der Migration und Mehrsprachigkeit: Zum Bildungssystem in Luxemburg.
Küpper, Achim UL

in Deutsche in Russland: Lebenslanges Sprachenlernen. Motivation. Potenzial. Modelle. Vorträge der Internationalen wissenschaftlich-praktischen Sprachkonferenz. Moskau, 1.-4. Oktober 2017. (in press)

Detailed reference viewed: 80 (1 UL)
See detailFargo
Küpper, Achim UL

in Brittnacher, Hans Richard; Paefgen, Elisabeth (Eds.) Im Blick des Philologen – Literaturwissenschaftler lesen Serien (in press)

Detailed reference viewed: 56 (2 UL)
See detailDer Reaktor als grenzüberschreitende Risikozone in der Großregion. Ökologische, interkulturelle und didaktische Herausforderungen der Kernenergie
Küpper, Achim UL

in Thiltges, Sébastian; Solte-Gresser, Christiane (Eds.) Kulturökologie und ökologische Kulturen in der Großregion (in press)

Detailed reference viewed: 56 (1 UL)
Full Text
See detailAdministrative Law and Policy of the European Union
Hofmann, Herwig UL; Rowe, Gerard; Türk, Alexander

Book published by Oxford University Pressq - 2nd edition (in press)

The European Union is a union under the rule of law and accordingly all exercise of public authority needs to conform with the principle of legality. The legal framework of the EU is, however, as much as ... [more ▼]

The European Union is a union under the rule of law and accordingly all exercise of public authority needs to conform with the principle of legality. The legal framework of the EU is, however, as much as that of any state or international organization, subject to change over time. That part of this legal framework specifically governing EU administration has been particularly dynamic. The central reason for this dynamism is to be found in the evolving nature of European integration, and in the changing requirements and conditions for implementing EU policies. The legal framework of administration has been both the subject of, and a response to, change in the ambient political and institutional environment. The EU, having started as an organization of six Member States focused on economic integration, has evolved into a Union of twenty-seven Member States now touching almost all elements of the exercise of public power in a modern society. The evolutionary development of the constitutional basis of EU law, with its many phases of Treaty reforms and change induced by case-law, finds its parallel in EU administrative law. European administrative law has in this process grown, changed, and indeed matured over time, and has emerged as an important, yet sometimes not well understood, factor which materially shapes policy in the EU and its achievement in reality. The rise of the importance of EU administrative law is itself attributable both to the specificities of European integration and to the general increase in the importance of administrative regulation in the past decades. On the one hand, the protection of the society against risks associated with private activity such as banking, food production, energy production and distribution, transport, or activities threatening to the environment, to name just a few, and the achievement of a balance between their benefits and dangers have become increasingly important subjects of attention. On the other hand, the provision of services and infrastructure necessary to ensure and protect basic standards of living such as pensions, health care, access to water, energy supply and telecommunications services have been the subject of mixed regimes, often still having a strong public service element, but increasingly left to private provision subject to various levels of market regulation. Both kinds of motivation for regulatory measures and their implementation by appropriate authorities have added to, and substantially changed, the broad character of public administration in Europe in recent decades. Such changes have occurred not just on a national, that is, Member State level, but also, pre-eminently, on the level of the European Community and now Union. Indeed, many of the changes have themselves been triggered on the European level as integral or at least adjuvant elements of the establishment of the European internal market. The role, then, of administrative law and administrative activity on the European level is extensive and important. Rules and principles governing the exercise of administrative functions, the organization of the institutions and bodies exercising these functions, and applicable procedures are the essence of EU administrative law. These are the subject of this book. There are, it must be observed, many perspectives from which one can view, analyse and comprehend both administration and administrative law. Three models or perspectives appear to us to be particularly helpful: administration and administrative law may be usefully considered from functional, organizational, and procedural standpoints. The functional aspect of administration refers to the totality of the tasks of administration, no matter who undertakes them and how they are carried out. The organizational perspective emphasises the organization and structure of the institutions, bodies, and actors engaged in undertaking such tasks. Finally, a procedural understanding of administration observes the processes which link the various actors and authorities in the performance of administrative functions. None of these models standing alone provides a fully rounded understanding or conceptualisation of the subject matter of the book. A proper analysis of EU administrative law cannot view it from only one of these perspectives. Taken together, however, these three standpoints do offer a comprehensive perception, giving the subject a more multi-dimensional shape, and thus allowing a more tractable presentation of what is very complex material. For this reason, we offer a discussion of each of these three perspectives — the functional, organizational, and procedural aspects of European Union administration and the associated legal framework — by way of introduction. The three models are, of course, closely interlinked and in reality scarcely separable but, for analytical and presentational clarity, they are here addressed separately. [less ▲]

Detailed reference viewed: 415 (44 UL)
Full Text
Peer Reviewed
See detailHow to conduct a meta‑analysis in eight steps: a practical guide
Hansen, Christopher UL; Steinmetz, Holger; Block, Jörn

in Management Review Quarterly (in press)

Detailed reference viewed: 55 (1 UL)
Full Text
Peer Reviewed
See detailAutomated, Cost-effective, and Update-driven App Testing
Ngo, Chanh Duc UL; Pastore, Fabrizio UL; Briand, Lionel UL

in ACM Transactions on Software Engineering and Methodology (in press)

Apps’ pervasive role in our society led to the definition of test automation approaches to ensure their dependability. However, state-of-the-art approaches tend to generate large numbers of test inputs ... [more ▼]

Apps’ pervasive role in our society led to the definition of test automation approaches to ensure their dependability. However, state-of-the-art approaches tend to generate large numbers of test inputs and are unlikely to achieve more than 50% method coverage. In this paper, we propose a strategy to achieve significantly higher coverage of the code affected by updates with a much smaller number of test inputs, thus alleviating the test oracle problem. More specifically, we present ATUA, a model-based approach that synthesizes App models with static analysis, integrates a dynamically-refined state abstraction function, and combines complementary testing strategies, including (1) coverage of the model structure, (2) coverage of the App code, (3) random exploration, and (4) coverage of dependencies identified through information retrieval. Its model-based strategy enables ATUA to generate a small set of inputs that exercise only the code affected by the updates. In turn, this makes common test oracle solutions more cost-effective as they tend to involve human effort. A large empirical evaluation, conducted with 72 App versions belonging to nine popular Android Apps, has shown that ATUA is more effective and less effort-intensive than state-of-the-art approaches when testingApp updates. [less ▲]

Detailed reference viewed: 23 (7 UL)
Full Text
Peer Reviewed
See detailTkT: Automatic Inference of Timed and Extended Pushdown Automata
Pastore, Fabrizio UL; Micucci, Daniela; Guzman, Michell et al

in IEEE Transactions on Software Engineering (in press)

To mitigate the cost of manually producing and maintaining models capturing software specifications, specification mining techniques can be exploited to automatically derive up-to-date models that ... [more ▼]

To mitigate the cost of manually producing and maintaining models capturing software specifications, specification mining techniques can be exploited to automatically derive up-to-date models that faithfully represent the behavior of software systems. So far, specification mining solutions focused on extracting information about the functional behavior of the system, especially in the form of models that represent the ordering of the operations. Well-known examples are finite state models capturing the usage protocol of software interfaces and temporal rules specifying relations among system events. Although the functional behavior of a software system is a primary aspect of concern, there are several other non-functional characteristics that must be typically addressed jointly with the functional behavior of a software system. Efficiency is one of the most relevant characteristics. In fact, an application delivering the right functionalities inefficiently has a big chance to not satisfy the expectation of its users. Interestingly, the timing behavior is strongly dependent on the functional behavior of a software system. For instance, the timing of an operation depends on the functional complexity and size of the computation that is performed. Consequently, models that combine the functional and timing behaviors, as well as their dependencies, are extremely important to precisely reason on the behavior of software systems. In this paper, we address the challenge of generating models that capture both the functional and timing behavior of a software system from execution traces. The result is the Timed k-Tail (TkT) specification mining technique, which can mine finite state models that capture such an interplay: the functional behavior is represented by the possible order of the events accepted by the transitions, while the timing behavior is represented through clocks and clock constraints of different nature associated with transitions. Our empirical evaluation with several libraries and applications show that TkT can generate accurate models, capable of supporting the identification of timing anomalies due to overloaded environment and performance faults. Furthermore, our study shows that TkT outperforms state-of-the-art techniques in terms of scalability and accuracy of the mined models. [less ▲]

Detailed reference viewed: 88 (11 UL)
Full Text
Peer Reviewed
See detailMutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain
Cornejo Olivares, Oscar Eduardo UL; Pastore, Fabrizio UL; Briand, Lionel UL

in IEEE Transactions on Software Engineering (in press)

On-board embedded software developed for spaceflight systems (space software) must adhere to stringent software quality assurance procedures. For example, verification and validation activities are ... [more ▼]

On-board embedded software developed for spaceflight systems (space software) must adhere to stringent software quality assurance procedures. For example, verification and validation activities are typically performed and assessed by third party organizations. To further minimize the risk of human mistakes, space agencies, such as the European Space Agency (ESA), are looking for automated solutions for the assessment of software testing activities, which play a crucial role in this context. Though space software is our focus here, it should be noted that such software shares the above considerations, to a large extent, with embedded software in many other types of cyber-physical systems. Over the years, mutation analysis has shown to be a promising solution for the automated assessment of test suites; it consists of measuring the quality of a test suite in terms of the percentage of injected faults leading to a test failure. A number of optimization techniques, addressing scalability and accuracy problems, have been proposed to facilitate the industrial adoption of mutation analysis. However, to date, two major problems prevent space agencies from enforcing mutation analysis in space software development. First, there is uncertainty regarding the feasibility of applying mutation analysis optimization techniques in their context. Second, most of the existing techniques either can break the real-time requirements common in embedded software or cannot be applied when the software is tested in Software Validation Facilities, including CPU emulators and sensor simulators. In this paper, we enhance mutation analysis optimization techniques to enable their applicability to embedded software and propose a pipeline that successfully integrates them to address scalability and accuracy issues in this context, as described above. Further, we report on the largest study involving embedded software systems in the mutation analysis literature. Our research is part of a research project funded by ESA ESTEC involving private companies (GomSpace Luxembourg and LuxSpace) in the space sector. These industry partners provided the case studies reported in this paper; they include an on-board software system managing a microsatellite currently on-orbit, a set of libraries used in deployed cubesats, and a mathematical library certified by ESA. [less ▲]

Detailed reference viewed: 257 (30 UL)
Full Text
Peer Reviewed
See detailAutomatic Generation of Acceptance Test Cases from Use Case Specifications: an NLP-based Approach
Wang, Chunhui UL; Pastore, Fabrizio UL; Göknil, Arda UL et al

in IEEE Transactions on Software Engineering (in press)

Acceptance testing is a validation activity performed to ensure the conformance of software systems with respect to their functional requirements. In safety critical systems, it plays a crucial role since ... [more ▼]

Acceptance testing is a validation activity performed to ensure the conformance of software systems with respect to their functional requirements. In safety critical systems, it plays a crucial role since it is enforced by software standards, which mandate that each requirement be validated by such testing in a clearly traceable manner. Test engineers need to identify all the representative test execution scenarios from requirements, determine the runtime conditions that trigger these scenarios, and finally provide the input data that satisfy these conditions. Given that requirements specifications are typically large and often provided in natural language (e.g., use case specifications), the generation of acceptance test cases tends to be expensive and error-prone. In this paper, we present Use Case Modeling for System-level, Acceptance Tests Generation (UMTG), an approach that supports the generation of executable, system-level, acceptance test cases from requirements specifications in natural language, with the goal of reducing the manual effort required to generate test cases and ensuring requirements coverage. More specifically, UMTG automates the generation of acceptance test cases based on use case specifications and a domain model for the system under test, which are commonly produced in many development environments. Unlike existing approaches, it does not impose strong restrictions on the expressiveness of use case specifications. We rely on recent advances in natural language processing to automatically identify test scenarios and to generate formal constraints that capture conditions triggering the execution of the scenarios, thus enabling the generation of test data. In two industrial case studies, UMTG automatically and correctly translated 95% of the use case specification steps into formal constraints required for test data generation; furthermore, it generated test cases that exercise not only all the test scenarios manually implemented by experts, but also some critical scenarios not previously considered. [less ▲]

Detailed reference viewed: 147 (28 UL)
Peer Reviewed
See detailThe experience of ageing: Views from without and within
Ferring, Dieter UL

in Rosa, Alberto; Valsiner, Jaan (Eds.) The Cambridge handbook of socio-cultural psychology (in press)

This chapter contrasts two different views on ageing. An external “view from without” starts in a first step with the description of phenomena associated with human ageing including the notions of death ... [more ▼]

This chapter contrasts two different views on ageing. An external “view from without” starts in a first step with the description of phenomena associated with human ageing including the notions of death and dying. This is followed by presenting an overview of central and mostly psychological models and theories about human ageing. Here, life span conceptions as well as theories on self-regulation of the ageing self are described and discussed. Furthermore, a specific focus is put on the differing qualifications that the term ageing has received in diverse theoretical models. The internal “view from within” finally starts with three case stories presenting excerpts of individual biographic narratives that highlight the importance of life events and adaptive processes within the family in the subjective construction of the self and the life course. The conclusion elaborates a person-centred approach in the study of human ageing taking into account that both family and culture interact in forming development in general as well as life in advancing age in particular. [less ▲]

Detailed reference viewed: 109 (26 UL)
See detailGegenstand, Entwicklungen und Forschungsfelder der Trans Studies
de Silva, Adrian UL

in Gradinari, Irina (Ed.) (Re-)Visionen: Epistemologien, Ontologien und Methodologien der Geschlechterforschung (in press)

The article introduces the reader to the dynamic and interdisciplinary field of Trans Studies with a focus on the development of the field in Germany. For this purpose, the article addresses socio ... [more ▼]

The article introduces the reader to the dynamic and interdisciplinary field of Trans Studies with a focus on the development of the field in Germany. For this purpose, the article addresses socio-political and theoretical contexts from which Trans Studies emerged, the impact of these intellectual influences as well as the methodological orientation and realization in individual studies, and it contains an overview of central fields of Trans Studies research as they have developed until 2021. [less ▲]

Detailed reference viewed: 38 (2 UL)
See detailGleanings from applications for the graph-based exploration of cultural heritage collections
During, Marten UL

in Kerschbaumer, Florian; Keyserlingk, Linda Von; Stark, Martin (Eds.) et al The Power of Networks. Prospects of Historical Network Research (in press)

Detailed reference viewed: 82 (12 UL)
Full Text
Peer Reviewed
See detailA Generic Approach for Solving Nonlinear-Discrete Security-Constrained Optimal Power Flow Problems in Large-Scale Systems
Platbrood, Ludovic; Capitanescu, Florin UL; Merckx, Christian et al

in IEEE Transactions on Power Systems (in press)

This paper proves the practicality of an iterative algorithm for solving realistic large-scale SCOPF problems. This algorithm is based on the combination of a contingency filtering scheme, used to ... [more ▼]

This paper proves the practicality of an iterative algorithm for solving realistic large-scale SCOPF problems. This algorithm is based on the combination of a contingency filtering scheme, used to identify the binding contingencies at the optimum, and a network compression method, used to reduce the complexity of the post-contingency models included in the SCOPF formulation. We show that by combining these two complementary ideas, it is possible to solve in a reasonable time SCOPF problems on large power system models with a large number of contingencies. Unlike most results reported for large-scale SCOPF problems, our algorithm uses a non-linear AC network model in both pre-contingency and post-contingency states, optimizes both active/reactive powers flows jointly, and treats the discrete variables. The proposed algorithm is implemented with state-of-the-art solvers and applied to two systems: a national grid with 2563 buses and 1297 contingencies, and a model of the European transmission network with 9241 buses and 12000 contingencies. [less ▲]

Detailed reference viewed: 320 (16 UL)