Last 7 days
Bookmark and Share    
Full Text
Peer Reviewed
See detailThe European Economic Constitution and the Constitution of Social Europe: gleanings from the CJEU’s collective redundancies cases
Ratti, Luca UL

in Hofmann, Herwig; Pantazatou, Aikaterini; Zaccaroni, Giovanni (Eds.) The Metamorphosis of the European Economic Constitution (in press)

Detailed reference viewed: 25 (2 UL)
Full Text
Peer Reviewed
See detailA Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang et al

in Formal Methods in System Design (in press)

Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime verification efforts ... [more ▼]

Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime verification efforts are the process of creating monitors from specifications, and the algorithms for the evaluation of traces against the generated monitors. Other activities involve the instrumentation of the system to generate the trace and the communication between the system under analysis and the monitor. Most of the applications in runtime verification have been focused on the dynamic analysis of software, even though there are many more potential applications to other computational devices and target systems. In this paper we present a collection of challenges for runtime verification extracted from concrete application domains, focusing on the difficulties that must be overcome to tackle these specific challenges. The computational models that characterize these domains require to devise new techniques beyond the current state of the art in runtime verification. [less ▲]

Detailed reference viewed: 34 (6 UL)
Full Text
Peer Reviewed
See detailAn Agile Approach to Validate a Formal Representation of the GDPR
Bartolini, Cesare UL; Lenzini, Gabriele UL; Santos, Cristiana

in New Frontiers in Artificial Intelligence (in press)

Modelling in a knowledge base of logic formulæ the articles of the GDPR enables a semi-automatic reasoning of the Regulation. To be legally substantiated, it requires that the formulæ express validly the ... [more ▼]

Modelling in a knowledge base of logic formulæ the articles of the GDPR enables a semi-automatic reasoning of the Regulation. To be legally substantiated, it requires that the formulæ express validly the legal meaning of the Regulation's articles. But legal experts are usually not familiar with logic, and this calls for an interdisciplinary validation methodology that bridges the communication gap between formal modelers and legal evaluators. We devise such a validation methodology and exemplify it over a knowledge base of articles of the GDPR translated into Reified I/O (RIO) logic and encoded in LegalRuleML. A pivotal element of the methodology is a human-readable intermediate representation of the logic formulæ that preserves the formulæ's meaning, while rendering it in a readable way to non-experts. After being applied over a use case, we prove that it is possible to retrieve feedback from legal experts about the formal representation of Art. 5.1a and Art. 7.1. What emerges is an agile process to build logic knowledge bases of legal texts, and to support their public trust, which we intend to use for a logic model of the GDPR, called DAPRECO knowledge base. [less ▲]

Detailed reference viewed: 100 (18 UL)
Full Text
Peer Reviewed
See detailContact between shear-deformable beams with elliptical cross-sections
Magliulo, Marco UL; Zilian, Andreas UL; Beex, Lars UL

in Acta Mechanica (in press)

Slender constituents are present in many structures and materials. In associated mechanical models, each slender constituent is often described with a beam. Contact between beams is essential to ... [more ▼]

Slender constituents are present in many structures and materials. In associated mechanical models, each slender constituent is often described with a beam. Contact between beams is essential to incorporate in mechanical models, but associated contact frameworks are only demonstrated to work for beams with circular cross-sections. Only two studies have shown the ability to treat contact between beams with elliptical cross-sections, but those frameworks are limited to point-wise contact, which narrows their applicability. This contribution presents initial results of a framework for shear-deformable beams with elliptical cross-sections if contact occurs along a line or at an area (instead of at a point). This is achieved by integrating a penalty potential over one of the beams’ surfaces. Simo-Reissner Geometrically Exact Beam (GEB) elements are employed to discretise each beam. As the surface of an assembly of such beam elements is discontinuous, a smoothed surface is introduced to formulate the contact kinematics. This enables the treatment of contact for large sliding displacements and substantial deformations. [less ▲]

Detailed reference viewed: 30 (1 UL)
Full Text
Peer Reviewed
See detailLogic, evidence and consensus: Towards a more constructive debate on gaming disorder.
King, Daniel L.; Delfabbro, Paul H.; Potenza, Marc N. et al

in The Australian and New Zealand journal of psychiatry (in press)

Detailed reference viewed: 52 (1 UL)
Full Text
See detailUpdate Internationales und Europäisches Steuerrecht
Sinnig, Julia UL

in Taeger, Jürgen (Ed.) Tagungsband Herbstakademie 2019 (in press)

Im Juni 2019 stellte die Organisation für wirtschaftliche Zusammenarbeit und Entwicklung (OECD) das Arbeitsprogramm zur weiteren Ausarbeitung einer Anpassung des internationalen Ertragsteuerrechts an die ... [more ▼]

Im Juni 2019 stellte die Organisation für wirtschaftliche Zusammenarbeit und Entwicklung (OECD) das Arbeitsprogramm zur weiteren Ausarbeitung einer Anpassung des internationalen Ertragsteuerrechts an die neue wirtschaftliche Realität der digitalisierten Welt vor. Auf Ebene der Europäischen Union (EU) gilt die Verabschiedung der im März 2018 von der Europäischen Kommission vorgestellten Richtlinien-Vorschläge (RL-Vorschläge) zu einer Digitalsteuer und einer sog. signifikanten digitalen Präsenz, nach intensiver Diskussion im Rat, als unwahrscheinlich. Der Gerichtshof der Europäischen Union beschäftigt sich derzeit mit der unionsrechtlichen Vereinbarkeit nationaler Sonderabgaben, die umsatzbasiert erhoben werden. Dieser Beitrag bietet einen Überblick über wesentliche Entwicklungen im internationalen und europäischen Steuerrecht bzgl. der Besteuerung digitalisierter Unternehmen. Der Beitrag knüpft an den Vortrag von Prof. Dr. Jens M. Schmittmann und der Verfasserin anlässlich der Herbstakademie 2018 in Bochum, sowie dem Vortrag der Verfasserin anlässlich der Herbstakademie 2017 in Heidelberg an. [less ▲]

Detailed reference viewed: 59 (2 UL)
Full Text
Peer Reviewed
See detailFamiliale Generationsbeziehungen (international)
Albert, Isabelle UL; Schwarz, Beate; Mayer, Boris et al

in Ecarius, Jutta; Schierbaum, Anja (Eds.) Handbuch Familie: Bildung, Erziehung und sozialpädagogische Arbeitsfelder (in press)

Der vorliegende Beitrag beschäftigt sich mit intergenerationalen Familienbeziehungen im Kulturvergleich. Nach einer Einführung in grundlegende theoretische Modelle und Forschungstraditionen werden im ... [more ▼]

Der vorliegende Beitrag beschäftigt sich mit intergenerationalen Familienbeziehungen im Kulturvergleich. Nach einer Einführung in grundlegende theoretische Modelle und Forschungstraditionen werden im zweiten Teil Forschungsprojekte und -ergebnisse zur Ausgestaltung von Generationsbeziehungen in verschiedenen kulturellen Kontexten und im Zusammenhang mit Migration aufgezeigt sowie die Bedeutung von gesellschaftlichen Rahmenbedingungen für die Ausgestaltung von familiären Generationsbeziehungen dargelegt. [less ▲]

Detailed reference viewed: 21 (0 UL)
Full Text
Peer Reviewed
See detail“That’s a value I would transmit in some way, but how concretely, I don’t know” – Intergenerational value transfer revisited in light of memory
Albert, Isabelle UL; Barros, Stephanie; Boulanger, Dany

in Wagoner, Brady; Bresco, I.; Zadeh, S. (Eds.) Memory in the Wild (in press)

Intergenerational value transmission occurs widely and to a large extent within the family as primary socialization agent. In families, children are confronted with specific practices, paradigms, rules ... [more ▼]

Intergenerational value transmission occurs widely and to a large extent within the family as primary socialization agent. In families, children are confronted with specific practices, paradigms, rules and routines which are part of their family culture (Albert & Barros Coimbra, 2017) and as such family is a mediator between societal/cultural and individual values. The ability to transmit values is essential for collective knowledge and memory, the continuity of value orientations being a main feature of intergenerational relations that enables members of different generations to communicate with each other (Barni, Rosnati, & Ranieri, 2013; Halbwachs, 1941/1992; Schönpflug, 2001). Intergenerational transmission of values becomes particularly complex in the context of migration or in times of rapid social change. On the one hand, family identity and traditions might provide a secure base in light of a changing context, and parents might find it important to transmit traditional values to the next generation in order to keep memories alive. At the same time, they might feel that their children should adapt to the changed cultural context, resulting in a (not always clear) dilemma about what they want for their children. How can migrant parents reconcile or move between the different collective frameworks of their culture of origin and the receiving culture (Middleton & Brown, 2005)? In the following, we will first give a brief overview over research in the area of intergenerational value transmission, and we will second illustrate and further inform our theoretical assumptions by identifying related themes and phenomena in our qualitative dyadic interviews. Then, we will delve into memory as a horizon that is emerging out of the analysis as a transversal theme. From this point of view, we continue the analysis and progressively integrate the notions pertaining to the role of memory in the intergenerational transmission of values. Aspects of cultural background are apparent in the excerpts that we will quote supporting the themes we will refer to. We will more explicitly return to this in our conclusions. [less ▲]

Detailed reference viewed: 23 (0 UL)
Peer Reviewed
See detailZwischen Konformität und Handlungsmacht: Ein Blick auf die Verarbeitungspraxis von Qualitätsvorgaben in der Offenen Kinder- und Jugendarbeit
Biewers, Sandra UL

in Deinet, Ulrich; Sturzenhecker, Benedikt (Eds.) Handbuch Offene Kinder- und Jugendarbeit (in press)

Detailed reference viewed: 24 (1 UL)
See detailQualitätskonstruktionen - Zur Verarbeitung divergierender Qualitätsanforderungen in der Jugendarbeit
Biewers, Sandra UL

Book published by Beltz Juventa (in press)

Detailed reference viewed: 44 (0 UL)
Peer Reviewed
See detailL’autobiographie dans la littérature de l’immigration italienne du Luxembourg et de la Grande Région
Cicotti, Claudio UL

in Cicotti, Claudio (Ed.) La volonté d s'écrire (in press)

Detailed reference viewed: 53 (2 UL)
See detailBrentanos Klingding. Eine Kulturpolitik der Buchstäblichkeit in der Romantik
Dembeck, Till UL

in Geisenhanslüke, Achim (Ed.) Buchstäblichkeit (in press)

Detailed reference viewed: 25 (0 UL)
Full Text
Peer Reviewed
See detailDo banks and microfinance institutions compete? Microevidence from Madagascar
Leon, Florian UL; Baraton, Pierrick

in Economic Development and Cultural Change (in press)

This paper examines whether the loan strategy of a microfinance institution is shaped by the entry of a bank. Specifically, we investigate whether the distance between a borrower of a microfinance ... [more ▼]

This paper examines whether the loan strategy of a microfinance institution is shaped by the entry of a bank. Specifically, we investigate whether the distance between a borrower of a microfinance institution and the closest bank influences loan conditions provided by the microfinance institution. We use an original panel dataset of 32,374 loans granted to 14,834 borrowers provided by one of the largest microfinance institutions in Madagascar between 2008 and 2014. We find that the closer a bank is located to a given MFI borrower, the larger the loan obtained and the less collateral required. We also find that the effect is stronger for clients that could be more easily caught by banks (i.e., large firms and clients without a previous relationship with the MFI). [less ▲]

Detailed reference viewed: 60 (1 UL)
Full Text
Peer Reviewed
See detailAre Capital Requirements on Small Business Loans Flawed?
Wolff, Christian UL

in Journal of Empirical Finance (in press)

Detailed reference viewed: 60 (6 UL)
Full Text
Peer Reviewed
See detailReview "Inside Smart Cities – Place, Politics and Urban Innovation"
Carr, Constance UL

in disP : The Planning Review (in press)

Detailed reference viewed: 44 (5 UL)
Full Text
Peer Reviewed
See detailUsing crowd-sourced data to analyse the ongoing merger of [ɕ] and [ʃ] in Luxembourgish
Gilles, Peter UL

in Proceedings of the 19th International Congress of Phonetic Sciences. Melbourne, Australia (in press)

Detailed reference viewed: 41 (2 UL)
Full Text
Peer Reviewed
See detail40. Komplexe Überdachung II: Luxemburg. Die Genese einer neuen Nationalsprache
Gilles, Peter UL

in Herrgen, Joachim; Schmidt, Jürgen-Erich (Eds.) Language and Space - An International Handbook of Linguistic Variation. Vol. 4 Deutsch (in press)

Der Beitrag behandelt die komplexe Sprachensituation Luxemburgs, mit Fokus auf den germanischen Varietäten, i.e. Deutsch und Luxemburgisch, im Hinblick auf Überdachung und ihre sprachgeschichtlichen ... [more ▼]

Der Beitrag behandelt die komplexe Sprachensituation Luxemburgs, mit Fokus auf den germanischen Varietäten, i.e. Deutsch und Luxemburgisch, im Hinblick auf Überdachung und ihre sprachgeschichtlichen Verschiebungen. In dieser varietätenlinguistischen Perspektive liegt der Schwerpunkt auf der äußeren Sprachgeschichte; Aspekte der inneren Sprachgeschichte werden aus Platzgründen lediglich anhand ausgewählter Beispiele thematisiert. [less ▲]

Detailed reference viewed: 54 (3 UL)
Full Text
Peer Reviewed
See detailQuantifying information flow in interactive systems
Mestel, David UL

in 2019 IEEE 32nd Computer Security Foundations Symposium (CSF) (in press)

We consider the problem of quantifying information flow in interactive systems, modelled as finite-state transducers in the style of Goguen and Meseguer. Our main result is that if the system is ... [more ▼]

We consider the problem of quantifying information flow in interactive systems, modelled as finite-state transducers in the style of Goguen and Meseguer. Our main result is that if the system is deterministic then the information flow is either logarithmic or linear, and there is a polynomial-time algorithm to distinguish the two cases and compute the rate of logarithmic flow. To achieve this we first extend the theory of information leakage through channels to the case of interactive systems, and establish a number of results which greatly simplify computation. We then show that for deterministic systems the information flow corresponds to the growth rate of antichains inside a certain regular language, a property called the width of the language. In a companion work we have shown that there is a dichotomy between polynomial and exponential antichain growth, and a polynomial time algorithm to distinguish the two cases and to compute the order of polynomial growth. We observe that these two cases correspond to logarithmic and linear information flow respectively. Finally, we formulate several attractive open problems, covering the cases of probabilistic systems, systems with more than two users and nondeterministic systems where the nondeterminism is assumed to be innocent rather than demonic. [less ▲]

Detailed reference viewed: 44 (2 UL)
Peer Reviewed
See detailBorders and Migration
Nienaber, Birte UL

in Wassenberg, Birte; Reitel, Bernard; Thevenet, Anne (Eds.) et al Critical Dictionary on Cross-Border Cooperation in Europe (in press)

Detailed reference viewed: 39 (7 UL)