References of "9999"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailSmart Bound Selection for the Verification of UML/OCL Class Diagrams
Clarisó, Robert; Gonzalez Perez, Carlos Alberto UL; Cabot, Jordi

in IEEE Transactions on Software Engineering (in press)

Correctness of UML class diagrams annotated with OCL constraints can be checked using bounded verification techniques, e.g., SAT or constraint programming (CP) solvers. Bounded verification detects faults ... [more ▼]

Correctness of UML class diagrams annotated with OCL constraints can be checked using bounded verification techniques, e.g., SAT or constraint programming (CP) solvers. Bounded verification detects faults efficiently but, on the other hand, the absence of faults does not guarantee a correct behavior outside the bounded domain. Hence, choosing suitable bounds is a non-trivial process as there is a trade-off between the verification time (faster for smaller domains) and the confidence in the result (better for larger domains). Unfortunately, bounded verification tools provide little support in the bound selection process. In this paper, we present a technique that can be used to (i) automatically infer verification bounds whenever possible, (ii) tighten a set of bounds proposed by the user and (iii) guide the user in the bound selection process. This approach may increase the usability of UML/OCL bounded verification tools and improve the efficiency of the verification process. [less ▲]

Detailed reference viewed: 181 (32 UL)
See detailLettere alla redazione : il caso della “Buona Domenica” lussemburghese Un fenomeno mediatico italo-lussemburghese
Cicotti, Claudio UL

in El Ghibli - Rivista di Letteratura della Migrazione (in press)

Detailed reference viewed: 118 (10 UL)
See detailThe legacy of coal mining – a view on examples in Belgium and France
Helfer, Malte UL

in Deutsches Bergbau-Museum Bochum (Ed.) Boom – Crisis – Heritage. King Coal and Energy Revolutions after 1945; proceedings of the international conference March 14th-16th 2018, Technische Hochschule Georg Agricola, Bochum (in press)

Following the end of coalmining in Belgium (1992) and France (2004), the year 2018 marks the end of hard coal mining in Germany as well. This contribution looks at the legacy of coalmining of Germany’s ... [more ▼]

Following the end of coalmining in Belgium (1992) and France (2004), the year 2018 marks the end of hard coal mining in Germany as well. This contribution looks at the legacy of coalmining of Germany’s French-speaking neighbours and presents the most important remaining coal mining heritage sites as well as some extraordinary converted sites in France and the Belgian province Wallonia. [less ▲]

Detailed reference viewed: 146 (1 UL)
Full Text
Peer Reviewed
See detailOn the Cohomological Crepant Resolution Conjecture for the complexified Bianchi orbifolds
Perroni, Fabio; Rahm, Alexander UL

in Algebraic and Geometric Topology (in press)

We give formulae for the Chen--Ruan orbifold cohomology for the orbifolds given by a Bianchi group acting on complex hyperbolic 3-space. The Bianchi groups are the arithmetic groups PSL_2(A), where A is ... [more ▼]

We give formulae for the Chen--Ruan orbifold cohomology for the orbifolds given by a Bianchi group acting on complex hyperbolic 3-space. The Bianchi groups are the arithmetic groups PSL_2(A), where A is the ring of integers in an imaginary quadratic number field. The underlying real orbifolds which help us in our study, given by the action of a Bianchi group on real hyperbolic 3-space (which is a model for its classifying space for proper actions), have applications in physics. We then prove that, for any such orbifold, its Chen-Ruan orbifold cohomology ring is isomorphic to the usual cohomology ring of any crepant resolution of its coarse moduli space. By vanishing of the quantum corrections, we show that this result fits in with Ruan's Cohomological Crepant Resolution Conjecture. [less ▲]

Detailed reference viewed: 122 (6 UL)
Full Text
Peer Reviewed
See detailSafety-aware Location Privacy in VANET: Evaluation and Comparison
Emara, Karim Ahmed Awad El-Sayed UL

in IEEE Transactions on Vehicular Technology (in press)

VANET safety applications broadcast cooperative awareness messages (CAM) periodically to provide vehicles with continuous updates about the surrounding traffic. The periodicity and the spatiotemporal ... [more ▼]

VANET safety applications broadcast cooperative awareness messages (CAM) periodically to provide vehicles with continuous updates about the surrounding traffic. The periodicity and the spatiotemporal information contained in these messages allow a global adversary to track vehicle movements. Many privacy schemes have been proposed for VANET, but only few schemes consider their impact on safety applications. Also, each scheme is evaluated using inconsistent metrics and unrealistic vehicle traces, which makes comparing the actual performance of different schemes in the wild more difficult. In this paper, we aim to fill this gap and compare different privacy schemes not only in terms of the privacy gained but also their impact on safety applications. A distortion-based privacy metric is initially proposed and compared with other popular privacy metrics showing its effectiveness in measuring privacy. A practical safety metric which is based on Monte Carlo analysis is then proposed to measure the QoS of two safety applications: forward collision warning and lane change warning. Using realistic vehicle traces, six state-of-the-art VANET privacy schemes are evaluated and compared in terms of the proposed privacy and safety metrics. Among the evaluated schemes, it was found that the coordinated silent period scheme achieves the best privacy and QoS levels but fully synchronized silence among all vehicles is a practical challenge. The CAPS and CADS schemes provide a practical compromise between privacy and safety since they employ only the necessary silence periods to prevent tracking and avoid changing pseudonyms in trivial situations. [less ▲]

Detailed reference viewed: 220 (18 UL)
Full Text
Peer Reviewed
See detailStructural changes in the labor market and the rise of early retirement in France and Germany
Batyra, Anna; de la Croix, David; Pierrard, Olivier et al

in German Economic Review (in press)

The rise of early retirement in Europe is typically attributed to the European system of taxes and transfers. A model with an imperfectly competitive labor market allows us to consider also the effects of ... [more ▼]

The rise of early retirement in Europe is typically attributed to the European system of taxes and transfers. A model with an imperfectly competitive labor market allows us to consider also the effects of bargaining power and of matching efficiency on pre-retirement. We find that lower bargaining power of workers and declining matching efficiency have been important determinants of early retirement in France and Germany. These structural changes, combined with early-retirement transfers and population aging, are also consistent with the employment and unemployment rates, labor share and seniority premia. [less ▲]

Detailed reference viewed: 147 (9 UL)
Full Text
Peer Reviewed
See detailTeachers’ assessments of students’ achievements: The ecological validity of studies using case vignettes
Krolak-Schwerdt, Sabine UL; Hörstermann, Thomas UL; Glock, Sabine et al

in Journal of Experimental Education (in press)

Detailed reference viewed: 177 (10 UL)
Full Text
Peer Reviewed
See detailSecurity of Distance−Bounding: A Survey
Gildas, Avoine; Muhammed, Ali Bingöl; Ioana, Boureanu et al

in ACM Computing Surveys (in press)

Distance bounding protocols allow a verifier to both authenticate a prover and evaluate whether the latter is located in his vicinity. These protocols are of particular interest in contactless systems, e ... [more ▼]

Distance bounding protocols allow a verifier to both authenticate a prover and evaluate whether the latter is located in his vicinity. These protocols are of particular interest in contactless systems, e.g. electronic payment or access control systems, which are vulnerable to distance-based frauds. This survey analyzes and compares in a unified manner many existing distance bounding protocols with respect to several key security and complexity features. [less ▲]

Detailed reference viewed: 139 (5 UL)
See detailThe Power of Networks. Prospects of Historical Network Research
Kerschbaumer, Florian; Keyserlingk, Linda Von; Stark, Martin et al

Book published by Routledge Publishers (in press)

Detailed reference viewed: 545 (31 UL)
See detailNetzwerkvisualisierungen in den Geschichtswissenschaften zwischen explorativer Quellenanalyse und der Suggestionskraft des Bildes
During, Marten UL

in Häußling, Roger (Ed.) Visualisierung sozialer Netzwerke (in press)

Detailed reference viewed: 224 (21 UL)
Full Text
See detailJoint Precoding and On-Board Beamforming for Multiple gateway Multibeam Satellite Systems
Joroughi, Vahid UL

in Submitted to IEEE Journal on Selected topic in Communication (JSAC) (in press)

This paper aims to design joint precoding and onboard beamforming of a multiple gateway multibeam satellite system, either in a hybrid space-ground mode, or in a totally on-board one. In such an ... [more ▼]

This paper aims to design joint precoding and onboard beamforming of a multiple gateway multibeam satellite system, either in a hybrid space-ground mode, or in a totally on-board one. In such an architecture, with employing high throughput full frequency reuse pattern over both user and feeder links, each gateway serves a cluster of adjacent beams such that the adjacent clusters are served through a set of gateways that are located at different geographical areas. However, such a system brings in two challenges to overcome. First, the interference in both user and feeder links is the bottleneck of the whole system and applying interference mitigation techniques becomes necessary. Second, as the data demand increases, the ground and space segments should employ extensive bandwidth resources in the feeder link accordingly. This entails embedding an extra number of gateways aiming to support a fair balance between the increasing demand and the corresponding required feeder link resources. To solve these problems, this study investigates the impact of employing a joint multiple gateway architecture and on-board beamforming scheme. It is shown that by properly designing the on-board beamforming scheme, the number of gateways can be kept affordable even if the data demand increases. Moreover, Zero Forcing (ZF) precoding techniques are considered to cope with the interference in both user and feeder links which embed in the following premises: (i) each gateway constructs a part of block ZF precoding matrix, (ii) the satellite and gateways perform the precoding scheme, and (iii) a joint design of ZF precoding and on-board beamforming at the payload of the satellite so that no signal processing scheme is conceived at the gateways. The provided simulation results depict the performance gain obtained by our proposed schemes. [less ▲]

Detailed reference viewed: 282 (39 UL)
Full Text
See detailFiscalité personelle et droits sociaux des demandeurs de protection internationale au GDL
Chaouche, Fatima UL

Book published by Pasicrisie Luxembourg - 1st (in press)

Detailed reference viewed: 101 (14 UL)
Full Text
Peer Reviewed
See detailEn mots et en images : le corps à l’œuvre chez Annie Ernaux
Barthelmebs-Raguin, Hélène UL

in Sens Public (in press)

Detailed reference viewed: 83 (6 UL)
Peer Reviewed
See detailMemory in old age – A life-span perspective
Ferring, Dieter UL

in Wagoner, Brady (Ed.) Oxford Handbook of Culture and Memory (in press)

In this chapter, memory is considered from a life-span perspective combining a geropsychological as well as a life-span developmental view. Characteristics of such a view are This chapter focusses memory ... [more ▼]

In this chapter, memory is considered from a life-span perspective combining a geropsychological as well as a life-span developmental view. Characteristics of such a view are This chapter focusses memory under the perspective of human ageing. It starts with a conception of ageing that highlights the interplay of genetics, life styles and culture as fundamental dynamics underlying the ageing process as well as it’s impact on memory functioning. A second section focuses the context of ontogenesis and describes central concepts of memory structure and functioning in a life span perspective underlining the adaptive function of memory use. Building on this, a third section elaborates the dynamic interplay and the role of memory in the self-regulation of the ageing self. The last section puts memory in the context of two aspects of culture differing between assistive culture providing knowledge and technology resources and culture as representing symbolic resources that help in the collective and individual construction of meaning. [less ▲]

Detailed reference viewed: 105 (18 UL)
Full Text
Peer Reviewed
See detail“D’après une histoire vraie”
Barthelmebs-Raguin, Hélène UL

in Ferry, Ariane; Provini, Sandra (Eds.) Figures et personnages de criminelles, des histoires tragiques au roman policier (in press)

Detailed reference viewed: 85 (0 UL)
Full Text
Peer Reviewed
See detailÉcrire l’intime. Relation à l’écriture dans l’œuvre de Michèle Mailhot
Barthelmebs-Raguin, Hélène UL

in Verthuy, Maïr; Blais, Marie-Claire; Camet, Sylvie (Eds.) Collectif sur Michèle Mailhot (in press)

Detailed reference viewed: 84 (0 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: 56 (0 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: 315 (16 UL)