Last 7 days
Bookmark and Share    
Full Text
Peer Reviewed
See detailAvant-propos
Salemme, Timothy UL; Renault, Jean-Baptiste

in Salemme, Timothy; Renault, Jean-Baptiste (Eds.) Conservation et réception des documents pontificaux par les Ordres religieux (XIe-XVe siècles). Actes du colloque internationa (in press)

Detailed reference viewed: 31 (0 UL)
Full Text
Peer Reviewed
See detailEpistemological, critical and reflexive gymnastics: constructing research in "former Yugoslavia" in the face of the coloniality of knowledge
Blondel, Cyril UL

in Aiken, Gerald Taylor; Button, Cat (Eds.) Over-researched places (in press)

This article is a story narrating the evolution of my own reflections during my Ph.D.: “Planning at the Borders of European Peripheries: The Serbia/Croatia Borderland and the EU Cooperation and ... [more ▼]

This article is a story narrating the evolution of my own reflections during my Ph.D.: “Planning at the Borders of European Peripheries: The Serbia/Croatia Borderland and the EU Cooperation and Reconciliation Injunctions” (Ph.D. thesis, Tours, Université François-Rabelais, 2016). Using auto-ethnographic methods, this article demonstrates a conviction, the necessity to engage with a reflexive and critical approach, before, during, and after the production of research. I show first how I built the thesis’ epistemological approach, by progressively deconstructing classical theoretical frameworks (nationalist, postsocialist, post-Yugoslav). I expose and discuss then the outcomes of such a reflexivity, in particular how I gradually became conscious of the coloniality of (my) knowledge. These mental gymnastics allowed me to occasionally overcome – but regularly report on – the limits of my research, but also to recognize the unsurpassibility of certain aspects of my work connected to the situation in which I stated and conducted it. Reflecting on epistemological reflexivity contributes to clarifying scientific (in)validity of research, and better situates researcher’s arguments, their position and positionality. [less ▲]

Detailed reference viewed: 49 (1 UL)
Full Text
Peer Reviewed
See detailOn the Spectral and Energy Efficiencies of Full-Duplex Cell-Free Massive MIMO
Nguyen, Hieu V.; Nguyen, van Dinh UL; Dobre, Octavia A. et al

in IEEE Journal on Selected Areas in Communications (in press)

In-band full-duplex (FD) operation is practically more suited for short-range communications such as WiFi and small-cell networks, due to its current practical limitations on the self-interference ... [more ▼]

In-band full-duplex (FD) operation is practically more suited for short-range communications such as WiFi and small-cell networks, due to its current practical limitations on the self-interference cancellation. In addition, cell-free massivemultiple-input multiple-output (CF-mMIMO) is a new and scalable version of MIMO networks, which is designed to bring service antennas closer to end user equipments (UEs). To achieve higher spectral and energy efficiencies (SE-EE) of a wireless network, it is of practical interest to incorporate FD capability into CF-mMIMO systems to utilize their combined benefits. We formulate a novel and comprehensive optimization problem for the maximization of SE and EE in which power control, access point-UE (AP-UE) association and AP selection are jointly optimized under a realistic power consumption model, resulting in a difficult class of mixed-integer nonconvex programming. To tackle the binary nature of the formulated problem, we propose an efficient approach by exploiting a strong coupling between binary and continuous variables, leading to a more tractable problem. In this regard, two low-complexity transmission designs based on zero-forcing (ZF) are proposed. Combining tools from inner approximation framework and Dinkelbach method, we develop simple iterative algorithms with polynomial computational complexity in each iteration and strong theoretical performance guaranteed. Furthermore, towards a robust design for FD CFmMIMO, a novel heap-based pilot assignment algorithm is proposed to mitigate effects of pilot contamination. Numerical results show that our proposed designs with realistic parameters significantly outperform the well-known approaches (i.e., smallcell and collocated mMIMO) in terms of the SE and EE. Notably, the proposed ZF designs require much less execution time than the simple maximum ratio transmission/combining. [less ▲]

Detailed reference viewed: 96 (12 UL)
Full Text
Peer Reviewed
See detailFlipping Geometric Triangulations on Hyperbolic Surfaces
Despré, vincent; Schlenker, Jean-Marc UL; Teillaud, Monique

in symposium on computational geometry (SoCG) (in press)

We consider geometric triangulations of surfaces, i.e., triangulations whose edges can be realized by disjoint locally geodesic segments. We prove that the flip graph of geometric triangulations with ... [more ▼]

We consider geometric triangulations of surfaces, i.e., triangulations whose edges can be realized by disjoint locally geodesic segments. We prove that the flip graph of geometric triangulations with fixed vertices of a flat torus or a closed hyperbolic surface is connected. We give upper bounds on the number of edge flips that are necessary to transform any geometric triangulation on such a surface into a Delaunay triangulation. [less ▲]

Detailed reference viewed: 13 (1 UL)
Full Text
Peer Reviewed
See detailThe Higher-Order Prover Leo-III (Highlight paper)
Steen, Alexander UL; Benzmüller, Christoph UL

in Proceedings of the 24th European Conference on Artificial Intelligence (in press)

Detailed reference viewed: 30 (1 UL)
Full Text
Peer Reviewed
See detailBlockchain Governance: An Overview and Prediction of Optimal Strategies Using Nash Equilibrium
Khan, Nida UL; Ahmad, Tabrez; Patel, Anass et al

in 3rd AUE International Research Conference (in press)

Blockchain governance is a subject of ongoing research and an interdisciplinary view of blockchain governance is vital to aid in further research for establishing a formal governance framework for this ... [more ▼]

Blockchain governance is a subject of ongoing research and an interdisciplinary view of blockchain governance is vital to aid in further research for establishing a formal governance framework for this nascent technology. In this paper, the position of blockchain governance within the hierarchy of Institutional governance is discussed. Blockchain governance is analyzed from the perspective of IT governance using Nash equilibrium to predict the outcome of different governance decisions. A payoff matrix for blockchain governance is created and simulation of different strategy profiles is accomplished for computation of all Nash equilibria. We also create payoff matrices for different kinds of blockchain governance, which were used to propose novel mathematical formulae usable to predict the best governance strategy that minimizes the occurrence of a hard fork as well as predicts the behavior of the majority during protocol updates. [less ▲]

Detailed reference viewed: 165 (12 UL)
Peer Reviewed
See detailWüllner, Adolf
Krebs, Stefan UL; Tschacher, Werner UL

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

Detailed reference viewed: 15 (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: 25 (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)
Peer Reviewed
See detailReconceptualizing the Multilingual Child: Curriculum Construction in Luxembourg
Sattler, Sabrina UL

in Curriculum Studies Worldwide (in press)

Detailed reference viewed: 42 (10 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: 42 (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: 74 (33 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 detailAging, technology, and psychology: Models of assistive device use viewed from an action-theoretical perspective on lifespan development
Abrilahij, Afsaneh UL; Boll, Thomas UL

in European Psychologist (in press)

Many older people suffer from functional declines and activity limitations, which reduce their autonomy and quality of life. Assistive technologies (ATs) could dampen such effects. However, many older ... [more ▼]

Many older people suffer from functional declines and activity limitations, which reduce their autonomy and quality of life. Assistive technologies (ATs) could dampen such effects. However, many older people do not use ATs and it is important to understand, why they give away their benefits. In this article, we look at older peoples´ use of ATs from an action perspective on human development elaborated by Brandtstädter and colleagues. We review from this viewpoint models of AT use created mostly in information systems technology, business administration, and management sciences. The major focus is on the extent to which these models consider the relevant internal (mental) and external context of AT use, possible action alternatives, and autonomous, vicarious, and joint modes of decision-making about ATs use. Systematic literature searches in PsycINFO, MEDLINE, and Google Scholar led us to 23 models. None of them contained as central variables any perceived discrepancies between the actual and desired developmental situation or any goals to reduce these discrepancies. No model included action alternatives to AT use beyond non-use such as trying harder on oneself, making environmental adaptations or using personal support. All models conceive of AT use as an act of the individual user, but neglected decision making about AT use by other persons on his or her behalf or a joint decision making of a potential user together with other persons (e.g., relatives). We discuss the background of these gaps, possibilities of a more comprehensive modeling of AT use, and practical implications (e.g., developmental counseling). [less ▲]

Detailed reference viewed: 160 (14 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: 29 (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: 60 (2 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: 147 (7 UL)