Last 7 days
Bookmark and Share    
Peer Reviewed
See detailWüllner, Adolf
Krebs, Stefan UL; Tschacher, Werner UL

in Neue Deutsche Biographie, Bd. 28 (in press)

Detailed reference viewed: 17 (0 UL)
See detailTranskultureller Theaterschauplatz: Grenzen und die Odyssee Fliehender – Interdisziplinäre Überlegungen
Nonoa, Koku Gnatuloma UL; Heinicke, Julius

Book published by Walter de Gruyter (in press)

Detailed reference viewed: 53 (0 UL)
See detailGegenkulturelle Tendenzen im postdramatischen Theater
Nonoa, Koku Gnatuloma UL

Doctoral thesis (in press)

Detailed reference viewed: 26 (3 UL)
See detailEléonora Miano et son concept de l´identité frontière au théâtre
Nonoa, Koku Gnatuloma UL

in Borst, Julia; Neu-Wendel, Stephanie; Tauchnitz, Juliane (Eds.) et al Unerhörte Stimmen aus der Afro-Romania Genderdiskurse im Kontext von Selbst- und Fremdwahrnehmung „nach“ der Migration (in press)

Detailed reference viewed: 49 (1 UL)
Full Text
Peer Reviewed
See detailExtending maps to profinite completions in finitely generated quasivarieties
Teheux, Bruno UL; Hansoul, Georges

in Beiträge zur Algebra und Geometrie (in press)

We consider the problem of extending maps from algebras to their profinite completions in finitely generated quasivarieties. Our developments are based on the construction of the profinite completion of ... [more ▼]

We consider the problem of extending maps from algebras to their profinite completions in finitely generated quasivarieties. Our developments are based on the construction of the profinite completion of an algebra as its natural extension. We provide an extension which is a multi-map and we study its continuity properties, and the conditions under which it is a map. [less ▲]

Detailed reference viewed: 45 (3 UL)
Full Text
Peer Reviewed
See detailLocal Verlet buffer approach for broad-phase interaction detection in Discrete Element Method
Mainassara Chekaraou, Abdoul Wahid UL; Besseron, Xavier UL; Rousset, Alban UL et al

in Computer Physics Communications (in press)

The Extended Discrete Element Method (XDEM) is a novel and innovative numerical simulation technique that extends the dynamics of granular materials or particles as described through the classical ... [more ▼]

The Extended Discrete Element Method (XDEM) is a novel and innovative numerical simulation technique that extends the dynamics of granular materials or particles as described through the classical discrete element method (DEM) by additional properties such as the thermodynamic state, stress/strain for each particle. Such DEM simulations used by industries to set up their experimental processes are complexes and heavy in computation time. Those simulations perform at each time step a collision detection to generate a list of interacting particles that is one of the most expensive computation parts of a DEM simulation. The Verlet buffer method, which was first introduced in Molecular Dynamic (MD) (and is also used in DEM) allows to keep the interaction list for many time step by extending each particle neighborhood by a certain extension range, and thus broadening the interaction list. The method relies mainly on the stability of the DEM, which ensures that no particles move erratically or unpredictably from one time step to the next: this is called temporal coherency. In the classical and current approach, all the particles have their neighborhood extended by the same value which leads to suboptimal performances in simulations where different flow regimes coexist. Additionally, and unlike in MD (which remains very different from DEM on several aspects), there is no comprehensive study analyzing the different parameters that affect the performance of the Verlet buffer method in DEM. In this work, we apply a dynamic neighbor list update method that depends on the particles' individual displacement, and an extension range specific to each particle and based on their local flow regime for the generation of the neighbor list. The update of the interaction list is analyzed throughout the simulation based on the displacement of the particle allowing a flexible update according to the flow regime conditions. We evaluate the influence of the Verlet extension range on the performance of the execution time through different test cases and we empirically analyze and define the extension range value giving the minimum of the global simulation time. [less ▲]

Detailed reference viewed: 79 (36 UL)
See detail"Aktion 18 und Quiz 3000"
Nonoa, Koku Gnatuloma UL

in Kovacs, Teresa; Scheinpflug, Peter; Wortmann, Thomas (Eds.) Schlingensief-Handbuch Leben – Werk – Wirkung (in press)

Detailed reference viewed: 56 (4 UL)
Peer Reviewed
See detailBrechts Geste als transkulturelles Erkenntnismittel im Theater
Nonoa, Koku Gnatuloma UL

in Wessendorf, Markus (Ed.) Brecht unter Fremden (in press)

Detailed reference viewed: 12 (1 UL)
Full Text
Peer Reviewed
See detailProcess analysis in thermal process engineering with high-performance computing using the example of grate firing
Peters, Bernhard UL; Rousset, Alban UL; Besseron, Xavier UL et al

in Process analysis in thermal process engineering with high- performance computing using the example of grate firing (in press)

Biomass as a renewable energy source continues to grow in popularity to reduce fossil fuel consumption for environmental and economic benefits. In the present contribution, the combustion chamber of a 16 ... [more ▼]

Biomass as a renewable energy source continues to grow in popularity to reduce fossil fuel consumption for environmental and economic benefits. In the present contribution, the combustion chamber of a 16 MW geothermal steam super-heater, which is part of the Enel Green Power "Cornia 2" power plant, is being investigated with high-performance computing methods. For this purpose, the extended discrete element method (XDEM) developed at the University of Luxembourg is used in a high-performance computing environment, which includes both the moving wooden bed and the combustion chamber above it. The XDEM simulation platform is based on a hybrid four-way coupling between the Discrete Element Method (DEM) and Computational Fluid Dynamics (CFD). In this approach, particles are treated as discrete elements that are coupled by heat, mass, and momentum transfer to the surrounding gas as a continuous phase. For individual wood particles, besides the equations of motion, the differential conservation equations for mass, heat, and momentum are solved, which describe the thermodynamic state during thermal conversion. The consistency of the numerical results with the actual system performance is discussed in this paper to determine the potentials and limitations of the approach. [less ▲]

Detailed reference viewed: 65 (5 UL)
Full Text
Peer Reviewed
See detailYoung people feel wise and older people feel energetic: Comparing age stereotypes and self-evaluations across adulthood
Bowen, Catherine E.; Spuling, Svenja M.; Kornadt, Anna Elena UL et al

in European Journal of Ageing (in press)

Detailed reference viewed: 32 (0 UL)
Full Text
Peer Reviewed
See detailBiomedical and Clinical Research Data Management
Ganzinger, Matthias; Glaab, Enrico UL; Kerssemakers, Jules et al

in Wolkenhauer, Olaf (Ed.) Systems Medicine - Integrative, Qualitative and Computational Approaches (in press)

Detailed reference viewed: 68 (3 UL)
Full Text
Peer Reviewed
See detailMind the gap: Robotic Mission Planning Meets Software Engineering
Askarpour, Mehrnoosh; Menghi, Claudio UL; Belli, Gabriele et al

in Proceedings of the 8th International Conference on Formal Methods in Software Engineering (in press)

In the context of robotic software, the selection of an appropriate planner is one of the most crucial software engineering decisions. Robot planners aim at computing plans (i.e., blueprint of actions) to ... [more ▼]

In the context of robotic software, the selection of an appropriate planner is one of the most crucial software engineering decisions. Robot planners aim at computing plans (i.e., blueprint of actions) to accomplish a complex mission. While many planners have been proposed in the robotics literature, they are usually evaluated on showcase examples, making hard to understand whether they can be effectively (re)used for realising complex missions, with heterogeneous robots, and in real-world scenarios. In this paper we propose ENFORCE, a framework which allows wrapping FM-based planners into comprehensive software engineering tools, and considers complex robotic missions. ENFORCE relies on (i) realistic maps (e.g, fire escape maps) that describe the environment in which the robots are deployed; (ii) temporal logic for mission specification; and (iii) Uppaal model checker to compute plans that satisfy mission specifications. We evaluated ENFORCE by analyzing how it supports computing plans in real case scenarios, and by evaluating the generated plans in simulated and real environments. The results show that while ENFORCE is adequate for handling single-robot applications, the state explosion still represents a major barrier for reusing existing planners in multi-robot applications. [less ▲]

Detailed reference viewed: 158 (7 UL)
See detailNous l'avions attendu pendant des mois
Cicotti, Claudio UL

in Malvetti, Massimo (Ed.) Dante et Henri VII de Luxembourg: de l'utopie au prophetisme (in press)

Detailed reference viewed: 40 (4 UL)
Full Text
Peer Reviewed
See detailUML Consistency Rules:a Case Study with Open-Source UML Models
Torre, Damiano UL; Labiche, Yvan; Genero, Marcela et al

in Proceedings of the 8th International Conference on Formal Methods in Software Engineering (in press)

UML models are standard artifacts used by software engineers for designing software. As software is designed, different UML diagram types (e.g., class diagrams and sequence diagrams) are produced by ... [more ▼]

UML models are standard artifacts used by software engineers for designing software. As software is designed, different UML diagram types (e.g., class diagrams and sequence diagrams) are produced by software designers. Since the various UML diagram types describe different aspects of a software system, they are not independent but strongly depend on each other, hence they must be consistent. Inconsistencies cause faults in the final software systems. It is, therefore, paramount that they get detected, analyzed, and fixed. Consistency rules are a useful tool proposed in the literature to detect inconsistencies. They categorize constraints that help in identifying inconsistencies when violated. This case study aims at collecting and analyzing UML models with OCL consistency rules proposed in the literature and at promoting the development of a reference benchmark that can be reused by the (FM-)research community. We collected 33 UML consistency rules and 206 different UML diagrams contained in 34 open-source UML models presented in the literature. We propose an FM-based encoding of the consistency rules in OCL. This encoding allows analyzing whether the consistency rules are satisfied or violated within the 34 UML models. To assess the proposed benchmark, we analyzed how the UML models, consistency rules, diagram types contained in the benchmark help in assessing the consistency of UML models, and the consistency of diagrams across the different software development phases. Our results show that the considered UML models and consistency rules allowed identifying 2731 inconsistencies and that those inconsistencies refer to different software development phases. We concluded that the considered UML models and consistency rules could be considered as an initial benchmark that can be further extended by the research community. [less ▲]

Detailed reference viewed: 141 (11 UL)
Peer Reviewed
See detailFlexible language use in multilingual early childhood education in Luxembourg: Reflecting on its nature and functions
Kirsch, Claudine UL; Seele, Claudia

in Panagiotopoulou, Argyro; Rosen, Lisa; Strzykala, Jenna (Eds.) Inclusion, Education, and Translanguaging: How to Promote Social Justice in (Teacher) Education? (in press)

Detailed reference viewed: 71 (8 UL)
See detailFlucht – Grenze – Integration / Fuga – Confine – Integrazione. Beiträge zum Phänomen der Deplatzierung / Contributi al fenomeno dello spostamento
Heimböckel, Dieter UL; Roelens, Nathalie UL; Wille, Christian UL

Book published by transcript (in press)

Wo und wie ereignen sich Grenzen? Inwiefern werden Migrant*innen zu Teilnehmer*innen von Regulierungspraktiken instrumentalisiert und in welcher Form werden damit auch Fragen der Integration berührt ... [more ▼]

Wo und wie ereignen sich Grenzen? Inwiefern werden Migrant*innen zu Teilnehmer*innen von Regulierungspraktiken instrumentalisiert und in welcher Form werden damit auch Fragen der Integration berührt? Unter diesen Aspekten setzen sich die Beiträger*innen dieses italienisch- und deutschsprachigen Bandes mit dem Verhältnis von Flucht, Grenze und Integration in literatur- und kulturwissenschaftlicher sowie räumlich-geographischer Perspektive auseinander. Ziel ist es, die Momente von Flucht, Grenze und Integration in ein produktives Spannungsverhältnis zu bringen und als eine von Phänomenen der Deplatzierung zusammengehaltene Trias zu diskutieren. [less ▲]

Detailed reference viewed: 84 (3 UL)
See detailGeographien der Grenzen. Räume – Ordnungen – Verflechtungen
Weber, Florian; Wille, Christian UL; Caesar, Beate et al

Book published by Springer VS - VS Verlag (in press)

Detailed reference viewed: 87 (3 UL)
Full Text
Peer Reviewed
See detailYoung children’s language-based agency in multilingual contexts in Luxembourg and Israel
Schwartz, Mila; Kirsch, Claudine UL; Mortini, Simone

in Applied Linguistic Review (in press)

Drawing on two longitudinal case-studies, this study aimed to identify some salient characteristics of the agentic behaviour of two young emergent multilinguals in two different multilingual contexts ... [more ▼]

Drawing on two longitudinal case-studies, this study aimed to identify some salient characteristics of the agentic behaviour of two young emergent multilinguals in two different multilingual contexts: Luxembourg and Israel. Despite the fact that the studies were conducted independently, the two cases were analysed together owing to the similarities in the research methods such as video-recorded observations, and semi-structured interviews with teachers and parents. The data were analysed through thematic and conversational analyses. Findings showed that a boy who learned Luxembourgish in Luxembourg and a girl who learned Hebrew in Israel, were outgoing and active learners who influenced their learning environment. We identified ten types of agentic behaviour, including engaging in repetition after peers and the teacher, creatively producing language, translanguaging, and self-monitoring. Despite differences of the children's sociocultural and linguistic backgrounds, and the language policies of their educational settings, we found a striking overlap in their language-based agentic behaviours. We suggest that the identified types can encourage further research in this field. Although our study with talkative children allowed us to observe many types of agentic behaviours, we cannot claim that less outgoing children or children who do not show the same behaviours do not have ways of expressing their agency. [less ▲]

Detailed reference viewed: 55 (8 UL)
Peer Reviewed
See detailRäumliche Identifikationen und Identifizierungen in Grenzregionen. Das Beispiel der Großregion SaarLorLux
Wille, Christian UL

in Weber, Florian; Wille, Christian; Caesar, Beate (Eds.) et al Geographien der Grenze. Räume – Ordnungen – Verflechtungen (in press)

In diesem Beitrag wird die Bedeutung von nationalen Grenzen für räumliche Identitäten in Grenzregionen analysiert. Dafür wird ein mehrdimensionales Analysemodell entwickelt und am Beispiel der Großregion ... [more ▼]

In diesem Beitrag wird die Bedeutung von nationalen Grenzen für räumliche Identitäten in Grenzregionen analysiert. Dafür wird ein mehrdimensionales Analysemodell entwickelt und am Beispiel der Großregion SaarLorLux gefragt, wie die Einwohner den Raum repräsentieren und wie sie ihre alltagskulturellen Praktiken räumlich organisieren. Außerdem werden räumliche Projektionen im politischen Diskurs aufgedeckt und rekonstruiert, inwiefern diese in Identifizierungsprozessen wirksam sind. Die Betrachtungen stützen sich auf eine Repräsentativbefragung der Einwohner Luxemburgs und der an das Großherzogtum angrenzenden Gebiete in Frankreich, Belgien und Deutschland. Der Beitrag zeigt, dass nationale Grenzen in den Identifikations- und Identifizierungsvorgängen der Einwohner der Großregion SaarLorLux trotz grenzüberschreitender Verflechtungen und Alltagsgeographien eine wichtige Rolle spielen, aber nicht zwangsläufig als stabile Ordnungskategorien. [less ▲]

Detailed reference viewed: 91 (5 UL)