Last 7 days
Bookmark and Share    
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: 22 (0 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: 154 (10 UL)
Peer Reviewed
See detailWüllner, Adolf
Krebs, Stefan UL; Tschacher, Werner UL

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

Detailed reference viewed: 14 (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: 52 (0 UL)
See detailGegenkulturelle Tendenzen im postdramatischen Theater
Nonoa, Koku Gnatuloma UL

Doctoral thesis (in press)

Detailed reference viewed: 21 (1 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: 48 (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: 38 (9 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: 38 (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: 69 (30 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: 52 (3 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: 11 (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: 55 (5 UL)
Full Text
Peer Reviewed
See detailUsing Machine Learning to Assist with the Selection of Security Controls During Security Assessment
Bettaieb, Seifeddine UL; Shin, Seung Yeob UL; Sabetzadeh, Mehrdad UL et al

in Empirical Software Engineering (in press)

In many domains such as healthcare and banking, IT systems need to fulfill various requirements related to security. The elaboration of security requirements for a given system is in part guided by the ... [more ▼]

In many domains such as healthcare and banking, IT systems need to fulfill various requirements related to security. The elaboration of security requirements for a given system is in part guided by the controls envisaged by the applicable security standards and best practices. An important difficulty that analysts have to contend with during security requirements elaboration is sifting through a large number of security controls and determining which ones have a bearing on the security requirements for a given system. This challenge is often exacerbated by the scarce security expertise available in most organizations. [Objective] In this article, we develop automated decision support for the identification of security controls that are relevant to a specific system in a particular context. [Method and Results] Our approach, which is based on machine learning, leverages historical data from security assessments performed over past systems in order to recommend security controls for a new system. We operationalize and empirically evaluate our approach using real historical data from the banking domain. Our results show that, when one excludes security controls that are rare in the historical data, our approach has an average recall of ≈ 94% and average precision of ≈ 63%. We further examine through a survey the perceptions of security analysts about the usefulness of the classification models derived from historical data. [Conclusions] The high recall – indicating only a few relevant security controls are missed – combined with the reasonable level of precision – indicating that the effort required to confirm recommendations is not excessive – suggests that our approach is a useful aid to analysts for more efficiently identifying the relevant security controls, and also for decreasing the likelihood that important controls would be overlooked. Further, our survey results suggest that the generated classification models help provide a documented and explicit rationale for choosing the applicable security controls. [less ▲]

Detailed reference viewed: 83 (20 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: 143 (11 UL)
Full Text
Peer Reviewed
See detailBiased perception of physiological arousal in child social anxiety disorder before and after cognitive behavioral treatment
Asbrand, Julia; Schulz, André UL; Heinrichs, Nina et al

in Clinical Psychology in Europe (in press)

Background: A biased perception of physiological hyperreactivity to social-evaluative situations is crucial for the maintenance of social anxiety disorder (SAD). Alterations in interoceptive accuracy (IAc ... [more ▼]

Background: A biased perception of physiological hyperreactivity to social-evaluative situations is crucial for the maintenance of social anxiety disorder (SAD). Alterations in interoceptive accuracy (IAc) when confronted with social stressors may play a role for SAD in children. We expected a biased perception of hyperarousal in children with SAD before treatment and, consequently, a reduced bias after successful cognitive behavioral therapy (CBT). Method: In two centers, 64 children with the diagnosis of SAD and 55 healthy control (HC) children (both 9 to 13 years) participated in the Trier Social Stress Test for Children (TSST-C), which was repeated after children with SAD were assigned to either a 12-week group CBT (n = 31) or a waitlist condition (n = 33). Perception of and worry about physiological arousal and autonomic variables (heart rate, skin conductance) were assessed. After each TSST-C, all children further completed a heartbeat perception task to assess IAc. Results: Before treatment, children with SAD reported both a stronger perception of and more worry about their heart rate and skin conductance than HC children, while the objective reactivity of heart rate did not differ. Additionally, children with SAD reported heightened perception of and increased worry about trembling throughout the TSST-C compared to HC children, but reported increased worry about blushing only after the stress phase of the TSST-C compared to HC children. Children with and without SAD did not differ in IAc. Contrary to our hypothesis, after treatment, children in the CBT group reported heightened perception of physiological arousal and increased worry on some parameters after the baseline phase of the TSST-C, whereas actual IAc remained unaffected. IAc before and after treatment were significantly related. Conclusions: Increased self-reported perception of physiological arousal may play a role in childhood SAD and could be an important target in CBT. However, further studies should examine if this is an epiphenomenon, a temporarily occurring and necessary condition for change, or indeed an unwanted adverse intervention effect. [less ▲]

Detailed reference viewed: 54 (0 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: 26 (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: 57 (2 UL)
Full Text
Peer Reviewed
See detailClimate Finance: The case of developing States and legal readiness towards a transition to climate resilience
Alexandraki, Chrysa UL

in Sustainability (in press)

Climate change poses one of the greatest challenges on an international scale. Responding to this challenge requires the collective effort of all States, however, primary burden has been placed on climate ... [more ▼]

Climate change poses one of the greatest challenges on an international scale. Responding to this challenge requires the collective effort of all States, however, primary burden has been placed on climate finance deriving from developed States, reflecting a dichotomy amongst the member States to the UN climate change regime. The climate finance obligation, albeit justified under the UNFCCC and the principle of differentiation, does not come without challenges for both categories of States. Most of these challenges have focused so far on the donor side, as well as the institutional design and policy weaknesses of the development institutions administering and disbursing climate finance. Considerable challenges, however, also exist on the beneficiary side, especially due to the lack of national climate finance readiness and solid institutional frameworks and policies in recipient countries. This paper focuses on the legal aspects of readiness for climate finance examining the regulatory tools currently deployed by developing States to strengthen their domestic capacities. First, it elaborates on the climate finance obligation per se, while embarking on analyzing this obligation and the challenges it entails under the UN climate change framework. Second, it examines the concept of legal readiness by analyzing what it means to be ready for climate finance, the rationale of legal readiness and the role of law in enhancing developing States’ readiness for climate finance. In doing so, the paper elaborates on the existing taxonomies and guidelines on legal readiness for climate finance, as well as the regulatory and policy tools extensively utilized for this purpose in developing countries. Third, the paper demonstrates the case study of Bangladesh as a country that has advanced and adjusted its national legislation and policies, in order to enhance its legal readiness for climate finance. [less ▲]

Detailed reference viewed: 66 (29 UL)