References of "Dissertations and theses"
     in
Bookmark and Share    
Full Text
See detailA quasicontinuum approach towards mechanical simulations of periodic lattice structures
Chen, Li UL

Doctoral thesis (2021)

Thanks to the advancement of additive manufacturing, periodic metallic lattice structures are gaining more and more attention. A major attraction of them is that their design can be tailored to specific ... [more ▼]

Thanks to the advancement of additive manufacturing, periodic metallic lattice structures are gaining more and more attention. A major attraction of them is that their design can be tailored to specific applications by changing the basic repetitive pattern of the lattice, called the unit cell. This may involve the selection of optimal strut diameters and orientations, as well as the connectivity and strut lengths. Numerical simulation plays a vital role in understanding the mechanical behavior of metallic lattices and it enables the optimization of design parameters. However, conventional numerical modeling strategies in which each strut is represented by one or more beam finite elements yield prohibitively time­consuming simulations for metallic lattices in engineering­scale applications. The reasons are that millions of struts are involved, as well as that geometrical and material nonlinearities at the strut level need to be incorporated. The aim of this thesis is the development of multi­scale quasicontinuum (QC) frameworks to substantially reduce the simulation time of nonlinear mechanical models of metallic lattices. For this purpose, this thesis generalizes the QC method by a multi­field interpolation enabling amongst others the representation of varying diameters in the struts’ axial directions (as a consequence of the manufacturing process). The efficiency is further increased by a new adaptive scheme that automatically adjusts the model reduction whilst controlling the (elastic or elastoplastic) model’s accuracy. The capabilities of the proposed methodology are demonstrated using numerical examples, such as indentation tests and scratch tests, in which the lattice is modeled using geometrically nonlinear elastic and elastoplastic beam finite elements. They show that the multi­scale framework combines a high accuracy with substantial model reduction that are out of reach of direct numerical simulations. [less ▲]

Detailed reference viewed: 40 (5 UL)
Full Text
See detailVerification of design models of cyber-physical systems specified in Simulink
Gaaloul, Khouloud UL

Doctoral thesis (2021)

Recent advances in cyber-physical systems (CPS) have allowed highly available and approachable technologies with interconnected systems between the physical assets and the computational software ... [more ▼]

Recent advances in cyber-physical systems (CPS) have allowed highly available and approachable technologies with interconnected systems between the physical assets and the computational software components. This has resulted in more complex systems with wider capabilities. For example, they can be applied in various domains such as safe transport, efficient medical devices, integrated systems, critical infrastructure control and more. The development of such critical systems requires advanced new models, algorithms, methods and tools to verify and validate the software components and the entire system. The verification of cyber-physical systems has become challenging: (1) The complex and dynamical behaviour of systems requires resilient automated monitors and test oracles that can cope with time-varying variables of CPS. (2) Given the wide range of existing verification and testing techniques from formal to empirical methods, there is no clear guidance as to how different techniques fare in the context of CPS. (3) Due to serious issues when applying exhaustive verification to complex systems, a common practice is needed to verify system components separately. This requires adding implicit assumptions about the operational environment of system components to ensure correct verification. However, identifying environment assumptions for cyber-physical systems with complex, mathematical behaviors is not trivial. In this dissertation, we focus on addressing these challenges. In this dissertation, we propose a set of effective approaches to verify design models of CPS. The work presented in this dissertation is motivated by ESAIL maritime micro-satellite system, developed by LuxSpace, a leading provider of space systems, applications and services in Luxembourg. In addition to ESAIL, we use a benchmark of eleven public-domain Simulink models provided by Lockheed Martin, which are representative of different categories of CPS models in the aerospace and defence sector. To address the aforementioned challenges, we propose (1) an automated approach to translate CPS requirements specified in a logic-based language into test oracles specified in Simulink. The generated oracles are able to deal with CPS complex behaviours and interactions with the system environment; (2) An empirical study to evaluate the fault-finding capabilities of model testing and model checking techniques for Simulink models. We also provide a categorization of model types and a set of common logical patterns for CPS requirements; (3) An automated approach to synthesize environment assumptions for a component under analysis by combining search-based testing, machine learning and model checking procedures. We also propose a novel technique to guide the test generation based on the feedback received from the machine learning process; and (4) An extension of (3) to learn more complex assumptions with arithmetic expressions over multiple signals and numerical variables. [less ▲]

Detailed reference viewed: 74 (2 UL)
Full Text
See detailDynamic Pricing Strategies in the Carsharing Business, Profit Maximization and Equity Considerations
Giorgione, Giulio UL

Doctoral thesis (2021)

In the last two decades the development of mobile technology and the ease of access to an internet connection helped the consolidation of the sharing economy paradigm. This new way of purchasing goods and ... [more ▼]

In the last two decades the development of mobile technology and the ease of access to an internet connection helped the consolidation of the sharing economy paradigm. This new way of purchasing goods and services differs from old traditional business models since it enables a shared use of resources in order to save money and generate profit. As an important player in the sharing economy, sharing mobility continues, nowadays, to shape urban mobility with the introduction of different modes of shared transport such as carsharing, bike sharing, ride sourcing, and other collective mobility services. Different stakeholders participate in the creation and exploitation of these new mobility services: governmental agencies, customers, and private companies. Each of them has a specific purpose that can affect and stir the benefit of sharing platforms. Focusing on the carsharing service, on the business side and on the user side, profit and customer satisfaction are usually the main goals even if, at times, both difficult to pursue together. Competition on today's landscape leaves little room for both established and less established businesses. Opportunities to increase corporate profit become scarcer and more refined systems to better manage carsharing operations are needed to guarantee commercial viability. Evaluating business models for carsharing is no trivial task. Several methods are used for assessing the quality of changes in some operations or to evaluate possible approaches. Combinatorial and stochastic optimization are used to answer decision-making problems in the case of deterministic or uncertain problems. The shortcoming of these approaches is that they are limited at solving problems related to fleet management or service planning as it is more difficult to have an overview in which multiple properties (e.g., demography, territorial distribution, specificity of the fleet, ...) of both supply and demand are considered. This happens because car sharing is a highly complex service that has many interdependent factors. Given this complexity, a more favorable approach to estimate the demand for the service - together with all its peculiarities - and to help operators in the decision-making process, is the simulation one. This criterion allows the interaction of multiple factors which, through functional relationships between the decision-making parameters of the supplier, can introduce indicators to evaluate the quality of the solutions that cannot be easily derived analytically. This dissertation focuses on a simulation-based approach that aims to create a decision support system for carsharing business. This decision support system aims to use demographic and land use data as input, once the provider's needs are known, and to return solutions regarding the optimization of the carsharing service. The development of this thesis is conceived from the point of view of the service provider, even if considerations regarding the equity of the various strategies proposed therein for the service customers constitute an integral and fundamental part of the construction of this system of support for decisions. In this manuscript, we discuss the introduction of different dynamic pricing strategies that aim to increase the profit of the carsharing service, along with other indicators such as the number of bookings and utilization time of vehicles. By developing different price models, the introduction of dynamic prices based on the quantity of vehicles present in the station at the time of booking is evaluated and the output of the implementation of a dynamic price based on the time of the day is examined. In the first part of this thesis, we discuss how it is possible to evaluate the quality of a carsharing service from the point of view of its members, focusing on how different strategies generate or can reduce inequalities due to different wages or purchasing powers. Furthermore, using data collected by a car-sharing company operating in Germany and the United Kingdom, Oply, we implement these same strategies in a scenario calibrated with real data. Finally, we propose a methodology for calibrating carsharing scenarios in an agent-based environment.Moreover, we use these scenarios to demonstrate how it is possible, once there is complete knowledge of the demand and the status of the offer, to attribute a certain price to a single booking that maximizes the profit of the service. The overall results show that the introduction of dynamic pricing strategies does not always benefit all segments of the population and that the goals of a carsharing company are not always compatible with those of its members. Furthermore, they show how it is possible to increase the profit of a carsharing company accordingly to its position on the market, whether it has a total knowledge of the territory or not, whether it is an established company or not yet fully established. As we will also see in the final chapter of this thesis, the product of this work does not consist only in a practical contribution aimed mostly at carsharing companies, but also in a scientific counterpart that outlines new research directions. [less ▲]

Detailed reference viewed: 13 (2 UL)
Full Text
See detailOptimal Motion Planning and Control with Safety Guarantees for Aerial Robots
Castillo López, Manuel UL

Doctoral thesis (2021)

Autonomous aerial robots are expected to revolutionize many industries, such as construction, transportation or even space exploration. However, to target an industry where different robots and humans are ... [more ▼]

Autonomous aerial robots are expected to revolutionize many industries, such as construction, transportation or even space exploration. However, to target an industry where different robots and humans are meant to share the same space our algorithms need to provide safety and efficiency guarantees. Navigating autonomously in these kind of environments poses a great challenge. We may face a significant number of obstacles, and we can only estimate where they are and where they are expected to be, but not exactly. Dealing with these uncertainties is a challenging problem in most robotics applications, including motion planning and control. During the last decade, major contributions have established the theoretical basis upon which optimal motion planning and control with safety guarantees can be achieved. However, they involve a high computational cost that scales exponentially with the number of obstacles, rendering a limited domain of robotic applications. The main contribution of this thesis provides an efficient, scalable and safe approximation to this problem, allowing its application to embedded systems with fast dynamics such as aerial robots. This thesis also includes an additional contribution that allow these methods to plan longer trajectories with a minimal computational footprint, allowing to better anticipate evasive maneuvers. These contributions have been validated mathematically, in simulation and in real-time operation on aerial robots, handling uncertain dynamic obstacles such as pedestrians. [less ▲]

Detailed reference viewed: 23 (2 UL)
Full Text
See detailStretching Directions in Cislunar Space: Stationkeeping and an Application to Transfer Trajectory Design
Muralidharan, Vivek UL

Doctoral thesis (2021)

The orbits of interest for potential missions are stable or nearly stable to maintain long-term presence for conducting scientific studies and to reduce the possibility of rapid departure. Near ... [more ▼]

The orbits of interest for potential missions are stable or nearly stable to maintain long-term presence for conducting scientific studies and to reduce the possibility of rapid departure. Near Rectilinear Halo Orbits (NRHOs) offer such stable or nearly stable orbits that are defined as part of the L1 and L2 halo orbit families in the circular restricted three-body problem. Within the Earth-Moon regime, the L1 and L2 NRHOs are proposed as long-horizon trajectories for cislunar exploration missions, including NASA's upcoming Gateway mission. These stable or nearly stable orbits do not possess well-distinguished unstable and stable manifold structures. As a consequence, existing tools for stationkeeping and transfer trajectory design that exploit such underlying manifold structures are not reliable for orbits that are linearly stable. The current investigation focuses on leveraging stretching direction as an alternative for visualizing the flow of perturbations in the neighborhood of a reference trajectory. The information supplemented by the stretching directions are utilized to investigate the impact of maneuvers for two contrasting applications; the stationkeeping problem, where the goal is to maintain a spacecraft near a reference trajectory for a long period of time, and the transfer trajectory design application, where rapid departure and/or insertion is of concern. Particularly, for the stationkeeping problem, a spacecraft incurs continuous deviations due to unmodeled forces and orbit determination errors in the complex multi-body dynamical regime. The flow dynamics in the region, using stretching directions, are utilized to identify appropriate maneuver and target locations to support a long lasting presence for the spacecraft near the desired path. The investigation reflects the impact of various factors on maneuver cost and boundedness. For orbits that are particularly sensitive to epoch time and possess distinct characteristics in the higher-fidelity ephemeris model compared to their CR3BP counterpart, an additional feedback control is applied for appropriate phasing. The effect of constraining maneuvers in a particular direction is also investigated for the 9:2 synodic resonant southern L2 NRHO, the current baseline for the Gateway mission. The stationkeeping strategy is applied to a range of L1 and L2 NRHOs, and validated in the higher-fidelity ephemeris model. For missions with potential human presence, a rapid transfer between orbits of interest is a priority. The magnitude of the state variations along the maximum stretching direction is expected to grow rapidly and, therefore, offers information to depart from the orbit. Similarly, the maximum stretching in reverse time, enables arrival with a minimal maneuver magnitude. The impact of maneuvers in such sensitive directions is investigated. Further, enabling transfer design options to connect between two stable orbits. The transfer design strategy developed in this investigation is not restricted to a particular orbit but applicable to a broad range of stable and nearly stable orbits in the cislunar space, including the Distant Retrograde Orbit (DROs) and the Low Lunar Orbits (LLO) that are considered for potential missions. Examples for transfers linking a southern and a northern NRHO, a southern NRHO to a planar DRO, and a southern NRHO to a planar LLO are demonstrated. [less ▲]

Detailed reference viewed: 42 (18 UL)
Full Text
See detailDesign and synthesis of novel benzoxazines to replace traditional reinforcing resins in rubber compounds
Trejo Machin, Acerina UL

Doctoral thesis (2021)

The mechanical performance of tires is controlled by many of the ingredients used in their production. Among them, novolac-type phenolic resins (PR) are petroleum-based materials commonly employed to ... [more ▼]

The mechanical performance of tires is controlled by many of the ingredients used in their production. Among them, novolac-type phenolic resins (PR) are petroleum-based materials commonly employed to reinforce rubber compounds. Even though overall performance is efficient, there is a growing societal need to develop alternatives to these resins as they are challenged by REACH regulations. Benzoxazine resins (Bz) are a new generation of materials that can be suitable for this purpose; they hold potential for improvement of both the mechanical properties and the sustainability of the rubber compounds. However, while PR have been extensively used and their interactions with tire compounds are well known, the use of benzoxazines in rubber compounds requires extensive studies and in-detail investigations. This thesis aims at filling this gap and designing benzoxazine resins that could be relevant alternatives to PR. For this purpose, novel sulfur containing dibenzoxazines were successfully synthesized and their interactions with rubber compounds were methodically investigated. Diphenolic compounds with either disulfide bonds (S‒S), or monosulfide bonds (‒S‒) were reacted with monoamines such as furfurylamine, a bio-based amine produced from agricultural byproducts. These partially bio-based original precursors, which were never reported before, exhibited polymerization behaviors that greatly fit the required conditions for rubber vulcanization. Indeed, the curing of these novel benzoxazine monomers occurred during rubber vulcanization, allowing the elaboration of reinforced materials at the molecular scale without detrimental side-reactions with the curing package. A fine investigation of the mechanical and thermal properties of the resulting rubber compounds indicated the reinforcing effect of these new resins at the macroscale. Therefore, the potential of each benzoxazine to act as a reinforcing resin was tested in real tire parts confirming the potential of Bz to be used as alternatives to PR resins in carbon-black filled compounds. In conclusion, the outcome of this thesis emphasizes that structural features of benzoxazines are a major parameter to be considered for their use in rubber reinforcement. Thanks to the knowledge generated, it was possible to develop novel benzoxazine resins capable of reinforcing rubber compounds in place of traditional phenolic resins. This study also paves the way to replace petroleum based resins by partially bio-based precursors, improving the sustainability of tire compounds. [less ▲]

Detailed reference viewed: 73 (6 UL)
Full Text
See detailEfficient Estimation with Non-Standard Sampling or Missing Endogenous Variables, and Conditional Density Modelling with Unobserved Copula-Connected Shocks
Kostyrka, Andreï UL

Doctoral thesis (2021)

In Chapter 1, it is shown how to use a smoothed empirical likelihood approach to conduct efficient semi-parametric inference in models characterised as conditional moment equalities when data are ... [more ▼]

In Chapter 1, it is shown how to use a smoothed empirical likelihood approach to conduct efficient semi-parametric inference in models characterised as conditional moment equalities when data are collected by variable probability sampling. Results from a simulation experiment suggest that the smoothed-empirical-likelihood-based estimator can estimate the model parameters very well in small to moderately sized stratified samples. In Chapter 2, a novel univariate conditional density model is proposed to decompose asset returns into a sum of copula-connected unobserved ‘good’ and ‘bad’ shocks. The novelty of this approach comes from two factors: correlation between unobserved shocks is modelled explicitly, and the presence of copula-connected discrete jumps is allowed for. The proposed framework is very flexible and subsumes other models, such as ‘bad environments, good environments’. The proposed model shows certain hidden characteristics of returns, explains investors’ behaviour in greater detail, and yields better forecasts of risk measures. The in-sample and out-of-sample performance of the proposed model is better than that of 40 popular GARCH variants. A Monte Carlo simulation shows that the proposed model recovers the structural parameters of the unobserved dynamics. This model is estimated on S&P 500 data, and time-dependent non-negative covariance between ‘good’ and ‘bad’ shocks with a leverage-like effect is found to be an essential component of the total variance. Asymmetric reaction to shocks is present almost in all characteristics of returns. The conditional distribution of returns seems to be very time-dependent with skewness both in the centre and tails. Continuous shocks are more important than discrete jumps for return modelling, at least at the daily frequency. In Chapter 3, the semi-parametric efficiency bound is derived for estimating finite-dimensional parameters identified via a system of conditional moment equalities when at least one of the endogenous variables (which can either be endogenous outcomes, or endogenous explanatory variables, or both) is missing for some individuals in the sample. An interesting result is obtained that if there are no endogenous variables that are not missing, i.e. all the endogenous variables in the model are missing, then estimation using only the validation subsample (the sub-sample of observations for which the endogenous variables are non-missing) is asymptotically efficient. An estimator based on the full sample is proposed, and it is shown that it achieves the semi-parametric efficiency bound. A simulation study reveals that the proposed estimator can work well in medium-sized samples and that the resulting efficiency gains (measured as the ratio of the variance of an efficient estimator based on the validation sample and the variance of our estimator) are comparable with the maximum gain the simulation design can deliver. [less ▲]

Detailed reference viewed: 98 (5 UL)
Full Text
See detailMACHINE LEARNING FOR MIMO DETECTION AND EAVESDROPPING WITH SYMBOL-LEVEL PRECODING COUNTERMEASURES
Mayouche, Abderrahmane UL

Doctoral thesis (2021)

Multiple-input multiple-output (MIMO) technology is an integral part of many current wireless communication systems that can drastically improve the data rates and the spectral efficiency. One major ... [more ▼]

Multiple-input multiple-output (MIMO) technology is an integral part of many current wireless communication systems that can drastically improve the data rates and the spectral efficiency. One major performance limiting factor in MIMO communication is the inter-channel interference (ICI) that adversely affects the transmission's achievable rate, since the receiver has to deal with multiple interfering symbol streams that are transmitted concurrently through a channel subject to random noise and interference. In the case when the channel-state information (CSI) is known at the receiver, i.e., CSIR, it could be used by the latter to compensate for the undesired effects of ICI. Although the problem of symbol detection in MIMO systems -- where the knowledge of CSIR is available -- is a well studied problem with numerous classical detection methods, the complexity of optimal detection methods increase prohibitively in systems with large dimensions, making them impractical for real-time communication. The problem of signal detection in precoded MIMO channels without explicit knowledge of the CSIR is challenging and still being considered in recent research. In particular, this problem is a common occurrence in systems where CSI at the receiver is not available, e.g., time-division duplex (TDD) systems. In this thesis, we investigate the problem of multi-antenna signal detection in the case of a highly distorted received signal due to the ICI effects. The core idea of this thesis is to use pilot data, without explicitly estimating the CSI, to improve the detection performance at the receiver. Motivated by low-complexity signal detection and given the accessibility to pilot data, which form an integral part of communications systems, in this thesis, we propose ML based techniques for MIMO detection in systems where the downlink transmission is precoded using imperfect CSI at the transmitter. Firstly, in the context of a single-user MIMO system, we address the problem of MIMO detection when the received signals are highly distorted, i.e., the case where the signal distortion is caused by signals being precoded with a highly degraded CSI at the transmitter (CSIT). In this setting, we propose ML-based MIMO detectors robust to severe CSIT degradation. The second and third contributions relate to a downlink multi-user multiple-input single-output (MU-MISO) system, for which we propose ML-based detectors that are robust to inaccurate CSIT for uncoded and coded systems, respectively. Herein, the proposed ML detectors are presented as eavesdropping attacks, where, by using the proposed ML detectors, an eavesdropper (Eve) is able to learn the symbol detection function based on precoded pilots and to detect the transmitted symbols, intended for legitimate users, with high accuracy. To counteract these attacks, six symbol-level precoding (SLP)-based countermeasures are proposed with varying security, complexity, and power consumption trade-offs. Numerical results validate the effectiveness of the proposed ML-based detectors and the robustness to the harmful effects of ICI. [less ▲]

Detailed reference viewed: 37 (2 UL)
Full Text
See detailPlasma Initiated Chemical Vapour Deposition - from the Growth Mechanisms to Ultrathin Low-k Polymer Insulating Layers
Abessolo Ondo, Dominique UL

Doctoral thesis (2021)

Plasma-assisted approaches are broadly used in thin-film deposition, surface preparation and top-down fabrication. Particularly, plasma processes, which can operate at atmospheric pressure, have ensured ... [more ▼]

Plasma-assisted approaches are broadly used in thin-film deposition, surface preparation and top-down fabrication. Particularly, plasma processes, which can operate at atmospheric pressure, have ensured the simultaneous synthesis and deposition of numerous thin film compositions that have met multiple applications. Yet, the wide variety of reactive species composing plasmas induces a non-negligible amount of side reactions that result in a lack of regularity in polymeric materials compared to the ones formed by wet chemical polymerisation processes. The combination of ultrashort nanosecond plasma discharge (t_ON ≈ 100 ns) and long plasma OFF-time (t_OFF = 0.1 – 100 ms), for the initiation and propagation of the free-radical polymerisation reaction, was recently demonstrated to yield the formation of conventional polymer layers. Based on the current understanding of the process, i.e. significance of the plasma pulse frequency, this thesis aims at gaining a deeper insight in the influence of other important parameters. The nanosecond pulsed plasma deposition of low dielectric constant insulating thin films is studied. Providing additional dimensions to the characterisation, the dielectric layer’s properties such as the leakage current and the dielectric constant, allow to discriminate mechanisms that would not have been identified from other techniques. Hence, ensuring the further development of the fundamental understanding of the nanosecond pulsed plasma approach. From the nanosecond pulsed plasma deposition reaction of different tetra-organosiloxane compounds, the growth mechanisms driving the formation of insulating polymer layers are elucidated. For vinylic monomers, the plasma-induced polymerisation is demonstrated to be highly favour over plasma-state polymerisation at low plasma pulse frequency. This yields the excellent retention of the monomer structure and the prevalence of surface reactions, which are essential to obtain remarkable insulating properties. In addition to the significance of the monomer structure, the saturation ratio, i.e. the monomer partial pressure over its saturated vapour pressure (PM/Psat), is demonstrated as a key parameter of the thin film’s growth. While low P_M/P_sat values result in the prevalence of gas phase reactions, excessively high P_M/P_sat values lead to the formation of poorly reticulated and leaky polymer layers, when operating at low plasma pulse frequency. As such, three different regimes of growth are identified: the monomer deficient regime, the competition regime, and the energy deficient regime. Optimisation of saturation ratio ensures the formation of smooth and conformal low dielectric constant insulating thin films. Taking advantage on the understanding gained on the nanosecond pulsed plasma deposition of insulating polymer layers, the dielectric constant is tuned from the careful selection of the starting monomer compound. Several vinylic cyclo-siloxane and -silazane compounds are notably studied. Dielectric constant values as low as 2.8 are obtained from the monomer possessing the lowest polarisable bonds and the larger ring size, i.e. the 1,3,5,7-tetramethyl-1,3,5,7-tetravinylcyclotrisiloxane, while retaining a low leakage current density in the range of 10^-9 A/cm^2 at 20 V. [less ▲]

Detailed reference viewed: 13 (1 UL)
Full Text
See detailLaser Welding of Metals to Polymers Under the Special Influence of Surface Pretreatment on Interfacial Thermal Transfer
Alsayyad, Adham Ayman Amin UL

Doctoral thesis (2021)

Joining of metals to polymers is increasing among various industries because of its ability to produce lightweight hybrid products with tailored properties. Common joining methods, such as adhesive ... [more ▼]

Joining of metals to polymers is increasing among various industries because of its ability to produce lightweight hybrid products with tailored properties. Common joining methods, such as adhesive bonding and mechanical fastening, require adding a third material which might involve hazardous chemicals or add extra weight and stress concentration points to the component. On the other hand, Laser-Assisted Metal – Polymer joining (LAMP) is a contactless, rapid, highly precise and energy-efficient technique, that produces autogenous and miniaturized joints. It was already demonstrated that surface pretreatment prior to the welding process has a significant impact on the joint performance by modifying surface chemistry and topography, promoting chemical bonding and mechanical interlocking. This research aims at expanding the understanding of the effects of surface properties on the joint’s performance by investigating their influence on interfacial thermal transfer. While increased surface roughness of metallic partner is expected to improve LAMP joint performance by promoting mechanical interlocking, it is hypothesized that a smoother surface would improve the joint quality by enhancing the interfacial thermal transfer during the welding process, resulting in a larger area of molten polymer at the interface and a better joint performance. In this research, aluminum (Al1050) and titanium (Ti64) were joined with polyamide (PA6.6). Initially, laser welding parameters were optimized and kept constant during all surface pretreatments’ investigations. Preliminary surface pretreatments, using short-pulsed laser ablation and atmospheric plasma pretreatment, were conducted on Al1050 – PA6.6 to analyze the effects of surface composition and topography on joint quality and performance, and to optimize interfacial adhesion. Results show a correlation between increased surface oxidation and surface energy with improved interfacial adhesion and joint resistance to shear failure. Compared to plasma pretreated surfaces, laser ablation of metals results in a very rough surface which exhibits perfect wettability to both water and diiodomethane. This promotes mechanical interlocking and interfacial adhesion, resulting in a relatively stronger joint failing in a cohesive failure mode. Results confirm that an improvement of the assembly’s shear resistance to failure can certainly be achieved without an increase in surface roughness and interfacial interlocking, as observed in case of plasma pretreatment. Design of Experiments (DoE) techniques were utilized for both material combinations in order to optimize laser ablation process and to investigate the effects of pretreatment parameters on surface properties, interfacial thermal transfer, joint quality and resistance to failure. Laser ablation parameters influenced the surface topography with no significant effect on the surface composition, and all laser-ablated surfaces showed perfect wettability to both water and diiodomethane. While all ablated surfaces demonstrate cohesive failure mode, smoother ablated surfaces results in a better interfacial thermal transfer as indicated by the Thermal Contact Resistance (TCR) calculations and measurements, based on Cooper–Mikic–Yovanovich (CMY) model and layered Laser Flash Analysis (LFA) investigations, respectively. Results show that a smoother ablated surface results in better interfacial thermal transfer, melting a larger area of polymer which increases the joint quality and resistance to shear load. [less ▲]

Detailed reference viewed: 57 (4 UL)
Full Text
See detailThought, Language, and Reasoning. Perspectives on the Relation Between Mind and Language
Fraissler, Hannes UL

Doctoral thesis (2021)

This dissertation is an investigation into the relation between mind and language from different perspectives, split up into three interrelated but still, for the most part, self-standing parts. Parts I ... [more ▼]

This dissertation is an investigation into the relation between mind and language from different perspectives, split up into three interrelated but still, for the most part, self-standing parts. Parts I and II are concerned with the question how thought is affected by language while Part III investigates the scope covered by mind and language respectively. Part I provides a reconstruction of Ludwig Wittgenstein’s famous Private Language Argument in order to apply the rationale behind this line of argument to the relation between mind and language. This argumentative strategy yields the conclusion that reasoning – an important type of thought – is constitutively dependent on language possession and is therefore not available to non-linguistic creatures. This result is achieved by considering the preconditions for reasoning – given that it is a rule-governed activity – and eliminating competitors to language for providing reasoners with what it takes to reason. Part II provides a critical outlook on the wide and highly heterogeneous field of linguistic relativity theories. It is argued that no kind of linguistic relativity whatsoever follows from the conclusion of Part I – i.e., the claim that reasoning is constitutively dependent on having a language. While Part II does not provide a conclusive argument against the linguistic relativity hypothesis, it is argued that endorsement of linguistic relativity theories often rests on a mistaken assumption to the effect that language and culture are interwoven in a way which makes it impossible to separate culture and language, as well as their respective studies. This assumption is undermined by providing examples of languages which clearly predate their culture (Esperanto) or do not even have a culture at all (Klingon). So, the assumption that language and culture are inextricably intertwined is refuted by way of counterexample. Part III provides an in-depth examination of the Principle of Expressibility – prominently endorsed and formulated by John Searle – which claims that whatever can be thought can also be said. The domains of what can be thought and of what can be said are considered in set theoretic terms in order to determine whether one is contained in the other, so that everything we can think can also be adequately communicated. After thorough study of interpretative issues regarding the Principle of Expressibility and consideration of the most pressing potential counterexamples to the principle, we can conclude that we have good reason to believe in the truth of the Principle of Expressibility. In conclusion, the achieved results are related back to prominent positions in the discussion about thought and language which already make their appearance in the very beginning of this investigation. The final chapter of this dissertation reminds us that eminent figures in philosophy have often taken a wrongheaded perspective on the relation between language and thought, so that language has frequently appeared to be an impediment to thought. We can, however, confidently conclude that language, on the contrary, is by far our most apt means for thought and that reasoning would not even be possible without the resources language provides. [less ▲]

Detailed reference viewed: 130 (14 UL)
Full Text
See detailIntegrated multi-omic analyses of mobile genetic elements within a mixed microbial community
Martinez Arbas, Susana UL

Doctoral thesis (2021)

Microbial communities are ubiquitous, complex and dynamic systems that constantly adapt to changing environmental conditions, while playing important roles in natural environments, human health and ... [more ▼]

Microbial communities are ubiquitous, complex and dynamic systems that constantly adapt to changing environmental conditions, while playing important roles in natural environments, human health and biotechnological processes. Invasive mobile genetic elements (iMGE) are considered as important biotic components of microbial communities, in particular (bacterio)-phages and plasmids are some of the most abundant and diverse biological entities, which may influence community structure and dynamics. Microbial populations within naturally occurring communities are constantly interacting with each other. Ecological interactions between those populations can be generally classified as competitive and cooperative relationships. To date, extensive studies on biotic interactions, i.e. relationships between microbial hosts with iMGEs and between microbial populations, have been somewhat limited, thus restricting our understanding of microbial community dynamics. Fortunately, high-throughput multi-omics derived from microbiomes, i.e. metagenomics and metatranscriptomics, enables access to both functional -potential and -expression information of those biotic components. Combining longitudinal multi-omics data with mathematical frameworks allows us to model microbial community interactions and dynamics, unlike ever before. Here, I present a longitudinal integrated multi-omics analysis of biotic components within foaming activated sludge, spanning ~1.5 years to unravel i) iMGE-host dynamics and ii) ecological interactome. In the first part of this work, empirical host-iMGE CRISPR-based links in combination with mathematical modelling highlighted the importance of plasmids, relative to phages, in shaping community structure, while also showing that plasmids vastly outnumbered, and were more targeted via CRISPR-Cas systems, compared to their phage counterparts. In the second part of this work, mathematical modelling is used to provide ecological contexts for the relationships between microbial community members. In general, we observed a dynamic interactome, with higher cooperative interactions, despite these populations encoding highly similar functional potential. In summary, this work demonstrates the potential of longitudinal multi-omics in expanding our understanding of microbial community dynamics, which could be expanded to other microbial ecosystems and potentially lead to applications in human health and biotechnological processes. [less ▲]

Detailed reference viewed: 47 (25 UL)
Full Text
See detailFace-swap Deepfake Detection Using High-frequency Components
Mejri, Nesryne UL

Bachelor/master dissertation (2021)

Over the last years, very deceitful deepfakes applied to human visuals appeared on theInternet. Given their impressive visual quality, they are nowadays considered a potentialthreat for both individuals ... [more ▼]

Over the last years, very deceitful deepfakes applied to human visuals appeared on theInternet. Given their impressive visual quality, they are nowadays considered a potentialthreat for both individuals and organizations. Hence, researchers started investigatingthe flaws of deepfakes to develop automated tools capable of detecting forged content. Asa result, a wide range of deepfake detection methods has been introduced. In particular,deep learning based-approaches have shown impressive performance. Nevertheless, thesemethods are still not sufficiently robust as they usually consider only one type of artifact,either in the spatial or the frequency domain. In this context, this thesis proposes toleverage the high-frequency components extracted from color images jointly with theoriginal color information to detect unusual traces. It introduces an end-to-end trainablemodule that (a) extracts features from precomputed high-frequency components and (b)fuses them with RGB features. The deepfake detection framework not only exploitsthe high-frequency anomalies present in manipulated images but can also be integratedwith the majority of RGB-based deepfake detectors. Experimental results show thatthe proposed approach improves the performance of state-of-the-art networks, such asXceptionNet and EfficientNet, on a challenging deepfake dataset called Celeb-DF. [less ▲]

Detailed reference viewed: 30 (5 UL)
Full Text
See detailComplex Networks in Manufacturing - Suitability and Interpretation
Omar, Yamila UL

Doctoral thesis (2021)

The fourth industrial revolution, and the associated digitization of the manufacturing industry, has resulted in increased data generation. Industry leaders aim to leverage this data to enhance ... [more ▼]

The fourth industrial revolution, and the associated digitization of the manufacturing industry, has resulted in increased data generation. Industry leaders aim to leverage this data to enhance productivity, boost innovation and generate new manners of competition. In this work, out of the many domains within the manufacturing sector, production will be explored. To this end, the mathematical tools of network science are utilized to characterize and evaluate production networks in terms of complex networks. In a manufacturing complex network, nodes represent workstations, and directed edges abstract the material flow that occurs among pairs of workstations. These types of complex networks are known as "material flow networks" and are used to study issues associated with manufacturing systems in the domain of production at the intra-enterprise level. While some research on the subject exists, this work will demonstrate that the use of complex networks to describe and evaluate manufacturing systems constitutes a nascent research field. In fact, the limited existing literature tackles a vast number of issues raising more questions than providing answers. This work aims to answer a number of those open questions. Firstly, which complex network metrics are suitable in the context of manufacturing networks will be determined. As a consequence, unsuitable metrics will be identified as well. To accomplish this, the flow underlying assumptions of popular complex network metrics is studied and compared to those of manufacturing networks. Furthermore, other existing complex network metrics with more appropriate underlying assumptions, but not yet explored in the context of manufacturing, are proposed and evaluated. Then, the appropriate interpretation of suitable complex network metrics in terms of Operations Research is provided. Finally, shortcomings of these metrics are highlighted to caution practitioners regarding their use in industrial settings. [less ▲]

Detailed reference viewed: 31 (6 UL)
Full Text
See detailOld and New Antiferroelectrics: Experimental Studies of Phase Transitions in Model Materials
Milesi-Brault, Cosme UL

Doctoral thesis (2021)

Antiferroelectrics are a subcategory of ferroic materials that display no spontaneous polarisation due to antiparallel ionic displacements. These materials undergo an electric field-induced transition to ... [more ▼]

Antiferroelectrics are a subcategory of ferroic materials that display no spontaneous polarisation due to antiparallel ionic displacements. These materials undergo an electric field-induced transition to a polar phase accompanied by the emergence of a spontaneous polarisation. As for ferroelectrics, heating up an antiferroelectric material above a certain temperature Tc will cause another phase transition towards a paraelectric phase. Antiferroelectricity is currently the subject of a renewed interest, mostly due to a rising need of new smart materials for applications such as energy storage, electrocaloric cooling or microelectronics. The most-studied antiferroelectric is lead zirconate PbZrO3perovskite. However, the understanding of its switching mechanism is still incomplete. In this work, we will first present our study on the sol-gel synthesis and characterisation of antiferroelectric polycrystalline thin films of canonical lead zirconate PbZrO3. We will notably highlight the realisation of an in-plane switching of our antiferroelectric samples grown on transparent substrates, as well as the optical observation of this switching through birefringence changes. On a more fundamental side, the oldest and best-known model of antiferroelectricity was defined by Kittel in 1951. No real unidimensional Kittel-like model material has, to our knowledge, been identified yet. We will detail our spectroscopic study of the lattice dynamics of francisite Cu3Bi(SeO3)2O2Cl which combines several inelastic scattering experiments. We will then discuss how this study proves that francisite is, to our knowledge, the best candidate of a material displaying a displacive antiferroelectric phase transition. [less ▲]

Detailed reference viewed: 38 (4 UL)
Full Text
See detailSteps Towards Semantic Code Search
Kim, Kisub UL

Doctoral thesis (2021)

Code search can be a core activity in software development for enhancing productivity. Developers commonly reuse existing source code fragments by searching for codebases available in local or global ... [more ▼]

Code search can be a core activity in software development for enhancing productivity. Developers commonly reuse existing source code fragments by searching for codebases available in local or global repositories. Code search helps developers ease the implementation by supplying code snippets to reuse or understand specific concepts deeper during software development by providing various code snippets for the same tasks. In addition, reading real-world examples (the results of code search) is helpful for developers to make programs more reliable, faster, or secure as the examples have been tested and reused by many other developers. However, it is getting more challenging as the codebases are becoming larger since the large codebase can derive too many code candidates. Thus, the research community has invested substantial efforts in developing new techniques, combining methods, and applying more extensive data to improve the performance and efficiency of code search. Despite the significant efforts made by researchers in the field, code search still has many open problems that the community needs to address, such as lack of benchmarks, vocabulary mismatch (between natural language and source code), and low extensibility on programming languages. Our work focuses on the open issues and the momentum of the domain on semantic code search, which considers the meaning of the user query rather than concerning the syntactic similarity that most other studies have approached. The thesis begins with exploring general issues on code search by conducting a systematic literature review. The survey organizes and classifies the code search approaches with various directions such as learning-based, feedback-driven, dynamic techniques. It reveals insights and new research directions. Given the research directions by the survey, we concentrate on alleviating the vocabulary mismatch problem between free-form text query and source code to improve the overall performance of code search first. To understand the free-form text query, we leverage crowd knowledge. The survey also discovered that there are only a few code-to-code approaches and investigation on crowd-knowledge indicated there exists demand, especially on finding semantically similar source code, i.e., source code that is syntactically different but performs the same functionality. Therefore, we go further, reformulating the user code query with real-world code snippets. This allows catching the semantics from the source code. Given the semantic information, a user can search for desired source code by using their code fragments. In this context, the present dissertation aims to explore semantic code search by contributing to the following three building blocks: Review of state-of-the-art: Despite the growing interest in code search, a comprehensive survey or systematic literature review on the field of code search remains limited. We conducted a large-scale systematic literature review on the internet-scale code search. Our objective in this study was to devise a grounded approach to understand the procedure for the code search approach. We built an operational taxonomy on top of each procedure to categorize the approaches and provide insights on the selection of various approaches. Our investigation on the open issues from the literature guide researchers and practitioners to future research directions. CoCaBu: Source code terms such as method names and variable types are often different from conceptual words mentioned in a search query. This vocabulary mismatch problem can make code search inefficient. We presented COde voCABUlary (CoCaBu), an approach to resolving the vocabulary mismatch problem when dealing with free-form code search queries. Our approach leverages common developer questions and the associated expert answers to augment user queries with the relevant but missing structural code entities to improve matching relevant code examples within large code repositories. To instantiate this approach, we built GitSearch, a code search engine, on top of GitHub and Stack Overflow Q&A data. Experimental results, collected via several comparisons against the state-of-the-art code search and existing online search engines such as Google, show that CoCaBu provides qualitatively better results. Furthermore, our live study on the developer community indicates that it can retrieve acceptable or attractive answers for their questions. FaCoY: Most existing approaches focus on serving user queries provided as natural language free-form input. However, there exists a wide range of use-case scenarios where a code-to-code approach would be most beneficial. For example, research directions in code transplantation, code diversity, patch recommendation can leverage a code-to-code search engine to find essential ingredients for their techniques. Given the wide range of use-case for code-to-code search, we propose FaCoY, a novel approach for statically finding code snippets that may be semantically similar to user input code. FaCoY implements a query alternation strategy: instead of directly matching code query tokens with code in the search space, FaCoY first attempts to identify other tokens, which may also be relevant in implementing the functional behavior of the input code. The experimental results show that FaCoY is more effective than all the existing online code-to-code search engines, and it can also be used to find semantic code clones (i.e., Type-4). Moreover, the results proved that FaCoY could be helpful in code/patch recommendation. [less ▲]

Detailed reference viewed: 118 (20 UL)
Full Text
See detailUsing the Blockchain Technology for Trust Improvement of Processes in Logistics and Transportation
Imeri, Adnan UL

Doctoral thesis (2021)

This thesis address the general problem of safe and secure transport of dangerous goods (TDG). The TDG is very complicated to manage because of risk for the environment and human life. Currently, it ... [more ▼]

This thesis address the general problem of safe and secure transport of dangerous goods (TDG). The TDG is very complicated to manage because of risk for the environment and human life. Currently, it suffers from a lack of efficiency, trust, and t ransparency. In this thesis, we propose a novel method to specify the workflow aspects of TDG by considering all TDG process stages during its entire lifecycle. This method aims to facilitate the specifications of the TDG workflow management system that is entirely based on existing regulatory frameworks ensuring the compliance, trust, and transparency of all underlying processes. The proposed system design method is based on the so-called model-driven architecture (MDA) approach and enhancing it to consider blockchain properties. The first stage is the formal analysis of the process of TDG and its alignment with the regulatory frameworks. The proposed design method aims, at this stage, to allow the formal definition and verification of the design of the system with regard to the regulatory frameworks. The next stages of the method rely strongly on the model transformation that is a salient aspect of the proposed design method. Model transformation allows to automatically discover peer system components and authorized interactions. The last stage of the whole model transformations is the specification of digital twin profiles for all potential s t akeholders. All the interactions in the real world between stakeholders are transformed into interactions in the digital world, while the interactions with the environment are achieved through the use of IoT. The proposed approach enables interactions between components of the systems (digital twins, IoT devices, etc.) only if this is compliant with the regulatory framework. Thanks to blockchain technology, our design method allows improving trust and transparency in the process of TDG from the perspective of stakeholder collaborations. Smart contract technological capabilities are also a cornerstone of the proposed solution. This thesis also contributes to improving the semantic of smart contracts to capture supply chain management specifications as well as dangerous goods specificities in terms of t ransportation. Dynamic concepts related to the supply chain management of dangerous goods such as time-related and geographic constraints, digital certification, anomaly detection and multi-party smart contract, managing emergencies, and shared responsibility have been addressed at the level of the smart contract. In particular, this thesis proposes applying temporal logic for the formal specification and verification of smart contracts. This thesis proposes an integrated approach for blockchain and IoT to support the dynamic aspects in the supply chain of dangerous goods. Data collected from various IoT devices along the physical supply chain (goods, vehicles, country borders, etc.) are transmitted to the blockchain and further processed by the system following the workflow logic that was specified and automatically triggering related smart contracts and corresponding actions. The last contribution in this thesis is the implementation of a proof-of-concept system to validate the different aspects of the contribution, namely the design method, the trust and transparency assurance, and the automatic triggering of actions and information flows. [less ▲]

Detailed reference viewed: 68 (5 UL)
See detailPositive and Negative Emotions in Language Learning: Measurement, Interactions, and Nomological Network
Botes, E'louise UL

Doctoral thesis (2021)

This thesis investigates two emotion variables in the foreign language (FL) classroom, namely the negative emotion of Foreign Language Classroom Anxiety (FLCA) and the positive emotion of Foreign Language ... [more ▼]

This thesis investigates two emotion variables in the foreign language (FL) classroom, namely the negative emotion of Foreign Language Classroom Anxiety (FLCA) and the positive emotion of Foreign Language Enjoyment (FLE). FLCA is the unique situation-specific anxiety experienced by FL learners when confronted with the challenges of FL learning. FLE, in turn, is a broad positive emotion experienced when psychological needs are met during the course of FL learning. The dissertation examines three main themes regarding FLCA and FLE, namely (1) the psychometric measurement of the two emotion variables, (2) the relationship an interactions between FLCA and FLE, and (3) the broader nomological network of individual differences in FL learning. In Chapter 1, an overview of the development, definition, design, and measurement of FLCA and FLE is given. In addition, the current state of the literature regarding the relationship between FLCA and FLE and the broader nomological network is provided. This is followed by the five manuscripts that form the main body of the dissertation in Chapters 2 to 6. Papers 1 and 4 have already been published in peer-reviewed journals, whereas papers 2, 3, and 5 are currently under peer-review. The first empirical paper in this dissertation introduces the construct of FLCA by providing an extensive overview of the literature as well as a meta-analysis of FLCA and academic achievement. The paper addresses the research aim of examining the broader nomological network of the emotion variables and confirms the negative association between FLCA and academic achievement. The second paper follows with a second meta-analysis, this time with FLE at center stage. An overview of the literature regarding FLE is provided along with four individual meta-analyses of FLE and academic achievement, self-perceived achievement, willingness to communicate, and FLCA. The meta-analyses confirmed the positive association between FLE and academic achievement, self-perceived achievement and willingness to communicate. Furthermore, the negative association between FLCA and FLE found across the literature is confirmed. The paper contributes to the broader aim of examining the nomological network of the emotion variables. The third contribution investigated the measurement of FLE. The positive emotions variable was introduction to the research lexicon with an accompanying 21-item scale. The third paper attempted to develop a short-form of the 21-item scale and in the process uncover the factor structure underlying FLE. As a result, the third manuscript developed and validated a nine-item, three-factor hierarchical measure of FLE, which can be used with confidence in future studies. The third paper contributes to the overall aim of examining the measurement of the emotion variables. The fourth paper examined the broader nomological network of the two emotion variables by investigating the effect of multilingualism and self-perceived proficiency on FLCA and FLE. Previous research findings have theorized that a possible interaction effect may occur between the level of multilingualism and proficiency on emotions in the FL class. The study confirms an interaction effect of multilingualism and self-perceived proficiency on FLCA, but not FLE. The fourth manuscript contributes to the overall aim of examining the broader nomological network of FLCA and FLE. The fifth and final paper in the dissertation examined the complex interactions between FLCA and FLE on the perceived proficiency of an FL learner. Through the use of polynomial regression and response surface modelling, a three-dimensional model was rendered which visually depicted the complex non-linear interactions between FLCA and FLE. Furthermore, the relative ‘strengths’ of FLCA and FLE in the interaction effect could be examined with the negative impact of FLCA seeming to outweigh the positive impact of FLE in certain instances. Chapter 7 provides a general discussion of all papers included in the main body of the dissertation, as well as practical implications and limitations to the research. Lastly, chapter 8 provides additional manuscripts written during the course of my doctoral studies but which does not attempt to address the three main aims of the dissertation. [less ▲]

Detailed reference viewed: 48 (11 UL)
See detailHOW TO MAKE MOTIVATION PERSIST: IMPROVING PHYSICAL ACTIVITY MOTIVATION IN YOUTH ACROSS THE SCHOOL AND LEISURE-TIME CONTEXT OVER TIME
Hutmacher, Djenna UL

Doctoral thesis (2021)

Worldwide, physical activity levels are decreasing over time and with age (Guthold et al., 2020), which is directly related to numerous physiological and psychological health issues (Poitras et al. 2016 ... [more ▼]

Worldwide, physical activity levels are decreasing over time and with age (Guthold et al., 2020), which is directly related to numerous physiological and psychological health issues (Poitras et al. 2016). In this regard, previous research has found that, predominantly, not the daily amount of sitting, but insufficient physical activity rates are related to higher mortality rates (Eklund et al., 2016; Van der Ploeg & Hillsdon, 2017). The purpose of the present thesis is therefore to investigate underlying factors, which are directly and indirectly related to and may foster physical activity behavior. For reasons of aiming at supporting most of children and adolescents, physical education provides a promising context to intervene. In this sense, one multi-theoretical framework, the trans-contextual model (Hagger et al., 2003), has been presented in order to investigate the transfer of motivation between the school and out-of-school context. Within this particular model, three propositions are given. First, (1) Hagger and Chatzisarantis (2016) claim that the students’ perceived support of autonomy by the physical education teacher is related to increased values of students’ autonomous motivation in physical education, which, in turn, (2) is related to autonomous motivation toward physical activity beyond the school context in leisure-time. Finally, (3) the authors suggest that autonomous motivation is related to the antecedents of the intention of getting physically active, namely attitude, subjective norm, and perceived behavioral control. In order to test and extend these assumptions, the perceived support of the three basic psychological needs for autonomy, competence, and relatedness (Deci & Ryan, 2000) by the physical education teacher, the different motivational regulation types in the physical education and leisure-time context, and the concepts of the theory of planned behavior (i.e., subjective norm, attitude, perceived behavioral control, intention, and physical activity behavior; Ajzen, 1991) were assessed. The analyses performed and results obtained are presented in three individual manuscripts, each addressing a unique research question. Within the first manuscript, the aim is to analyze the psychometric properties of our translated versions of the motivational regulation scales, the Revised Perceived Locus of Causality Scale (PLOC-R; Vlachopoulos et al., 2011) and the Behavioral Regulation in Exercise Questionnaire (BREQ-II; Markland & Tobin, 2004). In a second manuscript, the three different propositions of the trans-contextual model are tested in a longitudinal design via generalized linear mixed models, cross-lagged panels, and longitudinal mediation analyses. In a final step (manuscript three), a new yet already scientifically established concept, namely mindfulness, which has been found to be beneficial in classrooms (Zenner et al., 2014), is integrated into the trans-contextual model. As a purpose of the trans-contextual model is to foster autonomous motivation in physical education in order to increase overall physical activity, and as a recent meta-analysis has underlined the positive medium-sized impact of state mindfulness on autonomous motivation (Donald et al., 2020), a further aim of the present thesis was to implement mindfulness into the trans-contextual model. It is discussed that mindfulness may play a crucial role in the development of autonomous motivation, which may help to explain the link between mindfulness and the reduction of stress, negative affect, as well as the simultaneous promotion of well-being (Schneider et al., 2018), and the execution of a behavior. As an overarching aim of the present thesis is to discover important concepts, which are in the long term increasing overall physical activity rates of children and adolescents, the trans-contextual model, which unifies important concepts of the self-determination theory (SDT, Deci & Ryan, 1985) and the theory of planned behavior, is analyzed and extended by the concept of mindfulness in the third manuscript. More specifically, the support of autonomy, relatedness, competence, as well as the possibly beneficial impact of mindfulness, when being included into the trans-contextual model, was analyzed via path model analyses. Overall, promising results could be found for the psychometric properties of the motivational regulation questionnaires. Furthermore, partial scalar measurement invariance between the German and French version can be seen as confirmed. Thus, both translated questionnaire versions provide useful tools for further inter-cultural research in the exercise domain. Furthermore, the proposed directions of the trans-contextual model could be confirmed within a longitudinal format. We found that all three basic needs were distinctly important to be supported in physical education, as they were all found to be related to autonomous motivation. Autonomous motivation, in turn, was found to be bi-directionally related between both contexts, the school and out-of-school context, meaning that the promotion of autonomous motivation in either context might be beneficial. Finally, identified regulation was found to be directly related toward intention and intrinsic motivation to physical activity over time. Autonomous motivation was furthermore found to be related to subjective norm, perceived behavioral control, and attitude. With regard to the third manuscript, it was found that the path models including mindfulness into the trans-contextual model provided better model fit indices, compared to models without mindfulness. In addition, mindfulness was found to be positively predicted by the support of autonomy in class, while mindfulness statistically significantly predicted autonomous motivation in both contexts, namely for physical education and leisure-time physical activity. Furthermore, mindfulness was positively related to attitude, subjective norm, and perceived behavioral control. Overall, the presented results reveal that the trans-contextual model provides a strong conceptual framework, which helps to better understand the transfer of autonomous motivation beyond the school-context. Furthermore, it is discussed that, in order to promote autonomous motivation in students, further educational intervention programs should ideally rely on the four concepts of autonomy, relatedness, competence, and mindfulness support, which may, in turn, help to alleviate and redeem the diminishing physical activity rates across the globe. [less ▲]

Detailed reference viewed: 78 (2 UL)
Full Text
See detailCharacterization of novel covalent and non-covalent drugs against K-Ras surrogate targets
Okutachi, Sunday Ojochegbe UL

Doctoral thesis (2021)

Mutations in the KRAS gene are associated with approximately 15% of all human cancers. This makes it one of the most frequently mutated oncogenes known. Whilst recent breakthroughs in Ras drug discovery ... [more ▼]

Mutations in the KRAS gene are associated with approximately 15% of all human cancers. This makes it one of the most frequently mutated oncogenes known. Whilst recent breakthroughs in Ras drug discovery have led to the FDA approval of the first direct and covalent inhibitor of the KRAS-G12C mutant, the majority of KRAS driven cancers are not G12C mutated. Furthermore, recent studies have identified resistance mechanisms against the new inhibitors. Consequently, research into other direct and indirect Ras inhibition strategies, as well as synergistic drug combination efforts are being vigorously pursued. In the first part of this thesis, I describe my contributions to the development and characterization of novel PDE6D inhibitors with activity against KRAS driven cancers. PDE6D is a trafficking chaperone of K-Ras that facilitates its dynamic localization to the plasma membrane. Although some progress had been made in identifying lead drug candidates against this protein, an Arl2 dependent PDE6D cargo ejection mechanism continues to hamper progress. We describe the development of Deltaflexin 1 and Deltaflexin 2, into which we engineered a ‘molecular spring’ to improve resilience to Arl2 ejection of PDE6D cargo. We show that these compounds selectively inhibit K-Ras membrane organization and exhibited K-Ras selective anti-proliferative effects against cancer cell lines from colon and breast tissues whilst blocking the 3D spheroid growth of lung and breast cancer cell lines. In the second part, I describe my main project, the identification of a novel covalent inhibitor of calmodulin (CaM) with anti-cancer activity in K-Ras mutated cancers named Calmirasone1. A relevance of the K-Ras/ CaM interaction for the promotion of cancer cell stemness has been previously suggested. We previously showed that the natural product Ophiobolin A (OphA) blocked K-Ras membrane organization in a CaM dependent manner and cancer cell spheroid formation. However, because of the broad toxicity of OphA, its suitability as a tool compound to further study this K-Ras/CaM associated stemness properties is limited. We have therefore characterized a set of benzazulenones with distant chemical similarity to OphA in a battery of assays. We identified Calmirasone1 which exhibits improved CaM affinity and a significantly lower unspecific toxicity relative to OphA. Furthermore, Calmirasone1 selectively blocked K-Ras membrane organization and inhibited the 3D spheroid growth of K-Ras dependent cancer cell lines. In the third part of this thesis, I assessed the synergistic potential of targeting CaM and protein phosphatase 2A (PP2A) in Ras-MAPK dependent cancer cell lines. PP2A is a tumor suppressor that catalyze the dephosphorylation of multiple targets in the cell. Using specific CaM inhibitors and PP2A agonists as well as the already clinically approved phenothiazines (PTZs), our results from this study suggests that synergistic targeting of CaM and PP2A improves anti-cancer effects and that PTZs combine CaM inhibitory and PP2A re-activating properties in their cancer killing activity. [less ▲]

Detailed reference viewed: 82 (14 UL)
Full Text
See detailChemical Vapor-Phase Deposition of Nanostructured Silver Layers
Wack, Sabrina Myriam UL

Doctoral thesis (2021)

Among the noble metals, silver (Ag) presents the lowest electrical resistivity at low thickness, the highest reflectance from visible to infrared spectra and the lowest thermal conductivity. Consequently ... [more ▼]

Among the noble metals, silver (Ag) presents the lowest electrical resistivity at low thickness, the highest reflectance from visible to infrared spectra and the lowest thermal conductivity. Consequently, it is used in a large range of applications, either as nanoparticle (NP) films, e.g. in devices based on localized surface plasmon resonance, or as continuous thin films for highly reflective optical mirrors or as infrared reflecting coatings. Although copper (Cu) is widely used in the field of microelectronics, Ag is a good candidate as a potential replacement of Cu for interconnects in integrated circuits (ICs) thanks to its lower residual stress and the absence of considerable increase of resistivity when downscaling. Among the non-line-of-sight vacuum deposition method, atomic layer deposition (ALD) is known for its ability to produce an accurate and precise thickness control giving uniform and conformal film growth thanks to the sequential and self-limiting surface reactions of precursors. However, the ALD of silver is still weakly understood, and the uniform deposition over large scale is often not demonstrated. It is also very challenging to obtain an ultra-thin continuous Ag films due to the growth mechanism leading to islands films rather than continuous layer. One part of this thesis work is dedicated to take advantage of the nanoparticle morphology and overcome the challenge of the good control of the morphology of Ag nanostructures on large-scale surfaces by an understanding of the growth mechanism. The uniformity of the deposition of silver NPs by plasma-enhanced ALD (PE-ALD) is quantified in terms of film morphology as well as chemical composition and crystalline structure over an 8-inch surface area. After a careful investigation of the PE-ALD parameters and their impact on the Ag deposition, we prove the self-saturated regime required for obtaining good control of the deposition and large-scale uniformity. An empirical model which explains the silver NPs growth mechanism correlated with the experimental results obtained is also proposed. This fine control of the Ag NP morphology opens the way for interesting applications requiring precise NP dimensions. The thesis also reports a new approach relying on an original two-step plasma-enhanced chemical vapor-phase deposition as an alternative process regime which might be more promising for obtaining the challenging continuous and highly conductive ultra-thin films deposition. After reviewing the influence of the deposition conditions, we prove that the first step provides a uniform new morphology made of compact Ag NPs that is usually not achieved at low thickness with CVD or ALD. Based on the experimental results obtained, a proposed model for the growth mechanism of this peculiar Ag morphology is discussed and suggests that the chemical reaction occurs not only on the surface but also in the gas phase. After the second step of plasma post-treatment of silver made of compact nanoparticles, the sintering of the Ag NPs enhances the electrical conductivity of silver films by increasing the connectivity between particles due to the presence of higher density of energetic radicals. This is highlighted by a rigorous investigation of the influence of the post-processing conditions on the film morphology and its electrical properties. Therefore, we manage to reach the electrical performances of silver films obtained by physical approaches, i.e. by achieving a critical thickness as low as 15 nm and an electrical conductivity of 3.9×10^5 S/cm for a 40-nm thick Ag film. The described method can also be extended to other noble metals, in particular copper and gold, for which the deposition using chemical vapor-based methods is a very active field. The two different processes developed in this work, i.e. standard PE-ALD and the novel two-step approach, are compared on complex substrates. The later path demonstrates a high film conformality on complex lateral high aspect ratio structures (LHAR with AR of 100), with better coverage than the one reported up to now for ALD of Ag. Moreover, the quasi-substrate-independency of silver films chemical-vapor phase deposited using both approaches confirms the weak influence of the underlayers known in the literature for Ag. On the other hand, we show that the study of the optical behavior of Ag films gives information about their morphology. Indeed, the presence of an absorbance visible peak is a signature of metallic NP morphology causing localized surface plasmon resonance. By following the film reflectivity spectrum of Ag NP films, a ‘continuous-like’ behavior understood by the Drude model is found at low wavelengths whereas higher wavelengths highlight a ‘particle-like’ behavior sticking to the oscillator model. This evolution of the optical properties is very similar for separated NPs using standard PE-ALD and film made of compact NPs obtained by the novel approach, except a stronger and broader absorbance peak typical for a film of aggregated NPs in the last case. On these compact NPs, a plasma post-processing gives strong increase of the infrared reflectance up to 97% and a strong decrease of near infrared transmittance as low as 3% for a 40-nm-thick film. Due to the wide ranges of applications of thin metal films, and the challenge to provide methods for conformal deposition, this work is interesting for the whole community of material scientists and could inspire many investigations. [less ▲]

Detailed reference viewed: 58 (5 UL)
Full Text
See detailLiquid Crystal Shells: from Physics Mysteries, via Chemistry Challenges, to Biosensing Opportunities
Sharma, Anjali UL

Doctoral thesis (2021)

Liquid crystals (LCs) confined in a spherical geometry between two aqueous phases, i.e., a shell, exhibit unavoidable topological defects, real or virtual. In fact, the presence of defects, and their ... [more ▼]

Liquid crystals (LCs) confined in a spherical geometry between two aqueous phases, i.e., a shell, exhibit unavoidable topological defects, real or virtual. In fact, the presence of defects, and their configuration, on the shell are dictated by the LC alignment at the LC-water boundaries. With tangential alignment of the LC, we have a total of +2 defect strength on each interface, which can be distributed either over four +1/2 defects or a combination of +1 and +1/2 defects. In contrast, when the LC is radially aligned, the shell is defect free (but one can extrapolate the director field into a virtual point defect in the internal isotropic phase). The LC alignment can be tuned by adding a suitable solute in the aqueous phase.The vast majority of studies have used sodium dodecyl sulfate (SDS) for this purpose, with only a few studies employing other surfactants. We investigate various other surfactants with a positive and negative head group charge by varying alkyl chain length. Here, we focus on the minimum surfactant concentration required (below the critical micelle concentration (CMC)) for the stability of the shells as well as for ensuring the radial alignment. It turns out that surfactants at a low concentration do not necessarily impose radial alignment. However, they provide stability by decreasing the interfacial tension. Once the surfactant concentration is above the CMC, surfactant forms micelles in water. When these micelles are in the outer aqueous phase of the hybrid aligned shells, the LC alignment changes from hybrid to radial on cooling below the Krafft temperature (TK), below which the surfactant solubility is lower than CMC. Interestingly, on heating above TK, the LC alignment changes back to hybrid. It turns out that the adsorption and desorption of micelles as a result of changed solubility in water with temperature give rise to the change in the LC alignment. Next, we replace surfactant with lipids. We add lipids in the form of vesicles in the aqueous phase of pre-tangentially aligned LC shells. After some time these shells develop small spindle-shaped islands, and these islands merge and grow with time, and they even interact in intriguing ways across the LC, from the inside to the outside. After exploring various solutes in the aqueous phase, we change our LC phase from nematic to smectic A and C phases. In the smectic A phase, lunes on the shell occur due to the change in the shell cross section area from the inner to the outer interface. In this context, we present the first study on tangentially and hybrid aligned smectic C shells. The most studied LC mesogens in the shell geometry contain cyano and biphenyl groups. To test whether this is important, I also made shells with cyclohexane core mesogens. In contrast to the cyanobiphenyl-based LCs, this LC aligns radially regardless of solutes added into the aqueous phases. We investigate in detail and find that a cyano group at the terminal supports shell stability and while the aromatic rings in most LCs, for instance having a biphenyl core, give rise to the tangential alignment when in contact with surfactant-free water. [less ▲]

Detailed reference viewed: 55 (2 UL)
Full Text
See detailLegal knowledge extraction in the data protection domain based on ontology design patterns
Leone, Valentina UL

Doctoral thesis (2021)

In the European Union, the entry into force of the General Data Protection Regulation (GDPR) has brought the domain of data protection to the fore-front, encouraging the research in knowledge ... [more ▼]

In the European Union, the entry into force of the General Data Protection Regulation (GDPR) has brought the domain of data protection to the fore-front, encouraging the research in knowledge representation and natural language processing (NLP). On the one hand, several ontologies adopted Semantic Web standards to provide a formal representation of the data protection framework set by the GDPR. On the other hand, different NLP techniques have been utilised to implement services addressed to individuals, for helping them in understanding privacy policies, which are notoriously difficult to read. Few efforts have been devoted to the mapping of the information extracted from privacy policies to the conceptual representations provided by the existing ontologies modelling the data protection framework. In the first part of the thesis, I propose and put in the context of the Semantic Web a comparative analysis of existing ontologies that have been developed to model different legal fields. In the second part of the thesis, I focus on the data protection domain and I present a methodology that aims to fill the gap between the multitude of ontologies released to model the data protection framework and the disparate approaches proposed to automatically process the text of privacy policies. The methodology relies on the notion of Ontology Design Pattern (ODP), i.e. a modelling solution to solve a recurrent ontology design problem. Implementing a pipeline that exploits existing vocabularies and different NLP techniques, I show how the information disclosed in privacy policies could be extracted and modelled through some existing ODPs. The benefit of such an approach is the provision of a methodology for processing privacy policies texts that overlooks the different ontological models. Instead, it uses ODPs as a semantic middle-layer of processing that different ontological models could refine and extend according to their own ontological commitments. [less ▲]

Detailed reference viewed: 70 (4 UL)
Full Text
See detailA Republic of Alienists? A transnational perspective on psychiatric knowledge circulation across Europe (1843-1925)
Andersen, Eva UL

Doctoral thesis (2021)

The history of psychiatry has over the past decades been largely dominated by the production and re-production of national narratives in which different aspects of psychiatry are often associated with a ... [more ▼]

The history of psychiatry has over the past decades been largely dominated by the production and re-production of national narratives in which different aspects of psychiatry are often associated with a particular country or region. While this has left little room to consider the value of psychiatry’s less prominent developments, this persistent national tendency has also minimised the role and (in)direct contributions of foreign alienists on national and transnational developments across Europe. Numerous alienists in the nineteenth and early twentieth century strived towards the common goal of better patient care and treatment, and frequently communicated with each other in a variety of ways about these principals and the obstacles they faced. This begs the question if these shared ideals created an imagined or tangible Republic of Alienists, analogue to that of the Republic of Letters. This idea stands in contrast to nationally contained histories and creates the need for new representations of psychiatric knowledge development and its circulation. Transnational narratives can help to decentralise and open-up European historiography, and explore new avenues of the history of psychiatry. Via several case studies and by using concepts, theories and practices from the field of transnational history, the history of knowledge and digital history, I demonstrate the variety of ways through which knowledge was transported and able to circulate across Europe. Secondly, I illustrate that knowledge was built through peoples’ personal and professional networks and reputation, which were shaped by their involvement in various activities in the psychiatric community and through the rhetoric they used to communicate. Thirdly, I explain and highlight the many grey areas that existed in connection to the, not so straightforward, dissemination of psychiatric knowledge. Lastly, I demonstrate that forgotten or failed psychiatric knowledge forms as much a part of history as those facts, events and processes that have been identified as the most essential narratives. Combined, these outcomes demonstrate that there was not just one Republic of Alienists but that several existed in a variety of sizes and different degrees of authority. [less ▲]

Detailed reference viewed: 42 (8 UL)
See detailLes enjeux des scissions transfrontalières au sein de l'Union européenne
Bernard, François Michel Béatrice UL

Doctoral thesis (2021)

Cross-border divisions represent an efficient restructuring method allowing competent economic actors to suppress potential negative synergies within a conglomerate or to reinforce a company’s share price ... [more ▼]

Cross-border divisions represent an efficient restructuring method allowing competent economic actors to suppress potential negative synergies within a conglomerate or to reinforce a company’s share price by correcting an asymmetry of information. Despite their protection by freedom of establishment and their partial harmonisation by the recent EU Directive 2019/2121, they remain largely unexplored and their effective implementation remains obscure. Furthermore, this kind of operation generates significant challenges in terms of stakeholder protection that need to be addressed in an adequate manner to avoid any leeway for abusive behaviors. The present research will propose a sophisticated solution to these challenges through a detailed analysis of the caselaw of the European Court of justice on freedom establishment and an extensive comparative exercise with (i) the existing EU regime applicable to cross-border divisions by incorporation and cross-border mergers, (ii) the cross-border division regimes existing under Belgian and Luxembourg company law and (iii) the German, Austrian and French domestic division regimes. [less ▲]

Detailed reference viewed: 109 (24 UL)
Full Text
See detailEnhancing Smart Grid Resilience and Reliability by Using and Combining Simulation and Optimization Methods
Antoniadis, Nikolaos UL

Doctoral thesis (2021)

Modern electrical grids include numerous digital technologies for producing, transmitting, distributing, and supplying electricity. The electrical grids that achieve the most reliable, efficient, and less ... [more ▼]

Modern electrical grids include numerous digital technologies for producing, transmitting, distributing, and supplying electricity. The electrical grids that achieve the most reliable, efficient, and less environmental impact operation using the above technologies combined with renewable energy sources are characterized as smart grids. The study of electricity networks aims at the continuous and uninterrupted production, transmission, and distribution of electricity under the safest operating conditions. Therefore, an electrical grid is designed and studied in a multifaceted way to highlight the weaknesses and reduce possible disturbances. One of the most critical disturbances that can occur in energy grids is overload. Overloads on an electrical system are dangerous, as they can cause overheating or an electric arc. Cables in an electrical grid have a maximum ampacity, i.e., current capacity, that can safely flow. If an excessive number of devices, such as electric vehicles, are connected to a circuit, the electrical current will overheat the cables. If the cable insulation melts, an electric arc can be generated and cause a fire in the overheating area, even inside a wall. In order to avoid overloads, fuses are installed in the circuits. If the current exceeds a specific value, the fuse is activated, drops, and opens the circuit, thus interrupting electricity flow. However, even if they are below the safety limits, sustained overloads could also damage the wires. Smart grid operators could change the state of each grid's fuse or could remotely curtail the over-producing/over-consuming users so that, with the minimum interruption, any potential overload could be prevented. Nevertheless, making the most appropriate decisions is a complicated decision-making task, mainly due to contractual and technical obligations. The present dissertation studies the overloading prevention problem in terms of smart grids' reliability and resilience and evaluates real-world topology in a Luxembourg city district. To this end, it suggests solution methods that can suggest optimal countermeasures to operators facing potential overloading incidents. Specifically, the dissertation has three main axes: The first axis regards the deterministic overloading prevention problem. Given the topology and the energy data of a microgrid at the current time, the potential overloading incidents are detected, and the optimal countermeasures are calculated for the next measurement interval. The grid operators can apply the proposed actions to recover the grid from the disturbance. Into the thesis, the problem is defined and formulated as a Multiobjective Mixed Integer Quadratically Constrained Program. The dissertation also suggests a solution method using a combinatorial optimization approach with a state-of-the-art exact solver. The second axis focuses on reliability analysis through simulation after a potential overloading incident. Smart grid operators would be of great use to ensure stability after a potential overload for a planning horizon, as the future electrical values are unknown. To evaluate the robustness of the topology reconfiguration after a disturbance, like an overload, reliability analysis through simulation is employed. The third axis proposes the single-stage stochastic overloading prevention problem. It differs from the deterministic problem as the optimal countermeasures are calculated for a measurement horizon, e.g., 24 h. The dissertation defines the corresponding single-stage stochastic program and proposes a simheuristic method to solve it. Overall, this thesis presents a fully-edge study on reliability optimization for smart grids to provide the appropriate countermeasures after a potential overloading disturbance. The present approach has been developed in collaboration with an industrial partner and evaluated on real-world topology. [less ▲]

Detailed reference viewed: 71 (7 UL)
See detailEncadrement des cryptomonnaies en droit pénal européen: réflexions sur la mise en réseau du droit
Jolly, Loren UL

Doctoral thesis (2021)

The project is to conduct an interdisciplinary research which follows a theoretical approach motivated by systems theory. This theory observes a dynamic within society which has consequences on ... [more ▼]

The project is to conduct an interdisciplinary research which follows a theoretical approach motivated by systems theory. This theory observes a dynamic within society which has consequences on sovereignty and which ends up in the development of fragmented legal frameworks. This change is observed through the example of the ecosystem of cryptocurrency developing its own functional rules and the reaction of the criminal justice system (especially through the anti-money laundering legal framework) which is used as means of social control upon the ecosystem. This has consequences not only on the legitimacy and on fundamental principles of criminal law but also on fundamental rights. The goal is to develop an autonomous legal order that would enable to address these issues. [less ▲]

Detailed reference viewed: 60 (6 UL)
See detailEFFICIENT AND SCALABLE OPTIMIZATION ALGORITHMS FOR MULTIANTENNA SIGNAL PROCESSING
Arora, Aakash UL

Doctoral thesis (2021)

Multiantenna signal processing (MASP) is indispensable in many applications like wireless communications, radar, seismology, etc. Large-scale antenna arrays (LSAAs) are envisioned for future wireless ... [more ▼]

Multiantenna signal processing (MASP) is indispensable in many applications like wireless communications, radar, seismology, etc. Large-scale antenna arrays (LSAAs) are envisioned for future wireless communication systems to improve the range, power, and spectral efficiency (SE) of existing systems. Thus, for a practical multiantenna wireless communication system, efficient and scalable signal processing (SP) algorithms are essential to optimize system operations. In this thesis, we address several facets of such system optimization including beampattern matching, SE maximization among others. These are formulated as nonconvex optimization problems and the thesis proposes novel, efficient, and scalable optimization algorithms with theoretical convergence guarantees. We first consider the problem of transmit analog beamforming (or phase-only beamforming) design by solving a beampattern matching problem. We formulate variants of the unit-modulus/constant-modulus least-squares problem. To attempt at solving these NP-hard problems, we propose efficient and scalable algorithms based on different optimization frameworks including alternating minimization, majorization-minimization (MM), and cyclic coordinate descent (CCD). The proposed algorithms are theoretically shown to converge to a Karush–Kuhn–Tucker (KKT) point of the corresponding optimization problem while offering superior performance. We also provide a use case in satellite communications where a desired two-dimensional beampattern is approximated using a planar array by designing the analog beamforming system. Building on the previous problem, we consider a joint array design and beampattern matching perspective and formulate variants of sparse unit-modulus or sparse constant-modulus least-squares. The optimization problems are solved using combinations of different optimization frameworks such as variable projection/elimination, MM, and block/alternating MM. Next, we consider the problem of hybrid transceiver design for a single user point-to-point multiple-input multiple-output (MIMO) system employing LSAAs. We solve this problem based on the variable projection/elimination and MM frameworks. The proposed algorithms are shown to converge to a stationary point. We also study the applications of the proposed algorithms for hybrid precoding design for satellite communications. We then generalize convergence proofs from the earlier sections by providing a unified convergence proof for solving a generic block-structured optimization problem over nonconvex constraints. Finally, we consider the problem of localizing sources in the far-field of a spatio-temporal array formed by a single moving sensor along a known trajectory. We provide a novel signal model capturing the incoherency in the measurements sampled by the moving sensor. We establish different Cramér-Rao bounds for the considered system model by exploiting varying degrees of information, propose and study various direction of arrival (DOA) estimators. The thesis concludes by summarizing the main contributions and some open research problems. [less ▲]

Detailed reference viewed: 85 (13 UL)
See detailTrans Narrative: Deutschsprachige Autobiografien von trans Personen
Artuso, Sandy Kathy UL

Doctoral thesis (2021)

Im Zentrum dieser Doktorarbeit steht ein Korpus von 67 Autobiografien, die zwischen 1984 und 2016 im deutschsprachigen Raum veröffentlicht wurden. Diese Arbeit verbindet Literaturwissenschaft und Trans ... [more ▼]

Im Zentrum dieser Doktorarbeit steht ein Korpus von 67 Autobiografien, die zwischen 1984 und 2016 im deutschsprachigen Raum veröffentlicht wurden. Diese Arbeit verbindet Literaturwissenschaft und Trans/Gender Studies, sie benutzt narratologische und queer-theoretische Werkzeuge, und setzt die Texte von trans Personen in den Mittelpunkt. Während immer die grundlegend narratologische Frage im Zentrum stand, wer denn spricht, wurde diese vermeintlich harmlos anmutende Frage jedoch immer mit einem kritischen Blick auf die Machtpositionen und Normativitätssysteme versehen, die intern und extern auf die Autobiografien wirken. So war es auch ein Ziel dieser Arbeit, die Bedeutung und Wertstellung von Autobiografien für trans Personen und ihre Communities zu erforschen, und gleichzeitig einen Einblick in die einzelnen Lebensgeschichten zu geben. [less ▲]

Detailed reference viewed: 51 (6 UL)
Full Text
See detailSpecification and Model-driven Trace Checking of Complex Temporal Properties
Boufaied, Chaima UL

Doctoral thesis (2021)

Offline trace checking is a procedure used to evaluate requirement properties over a trace of recorded events. System properties verified in the context of trace checking can be specified using different ... [more ▼]

Offline trace checking is a procedure used to evaluate requirement properties over a trace of recorded events. System properties verified in the context of trace checking can be specified using different specification languages and formalisms; in this thesis, we consider two classes of complex temporal properties: 1) properties defined using aggregation operators; 2) signal-based temporal properties from the Cyber Physical System (CPS) domain. The overall goal of this dissertation is to develop methods and tools for the specification and trace checking of the aforementioned classes of temporal properties, focusing on the development of scalable trace checking procedures for such properties. The main contributions of this thesis are: i) the TEMPSY-CHECK-AG model-driven approach for trace checking of temporal properties with aggregation operators, defined in the TemPsy-AG language; ii) a taxonomy covering the most common types of Signal-based Temporal Properties (SBTPs) in the CPS domain; iii) SB-TemPsy, a trace-checking approach for SBTPs that strikes a good balance in industrial contexts in terms of efficiency of the trace checking procedure and coverage of the most important types of properties in CPS domains. SB-TemPsy includes: 1) SB-TemPsy-DSL, a DSL that allows the specification of the types of SBTPs identified in the aforementioned taxonomy, and 2) an efficient trace-checking procedure, implemented in a prototype tool called SB-TemPsy-Check; iv) TD-SB-TemPsy-Report, a model-driven trace diagnostics approach for SBTPs expressed in SB-TemPsy-DSL. TD-SB-TemPsy-Report relies on a set of diagnostics patterns, i.e., undesired signal behaviors that might lead to property violations. To provide relevant and detailed information about the cause of a property violation, TD-SB-TemPsy-Report determines the diagnostics information specific to each type of diagnostics pattern. Our technological contributions rely on model-driven approaches for trace checking and trace diagnostics. Such approaches consist in reducing the problem of checking (respectively, determining the diagnostics information of) a property over an execution trace to the problem of evaluating an OCL (Object Constraint Language) constraint (semantically equivalent to ) on an instance (equivalent to ) of a meta-model of the trace. The results — in terms of efficiency of our model-driven tools—presented in this thesis are in line with those presented in previous work, and confirm that model-driven technologies can lead to the development of tools that exhibit good performance from a practical standpoint, also when applied in industrial contexts. [less ▲]

Detailed reference viewed: 43 (10 UL)
Full Text
See detailIdentifying and targeting metabolic vulnerabilities of IDH mutant gliomas
Cano Galiano, Andrés UL

Doctoral thesis (2021)

Diffuse gliomas are a group of central nervous system (CNS) tumors with a poor patient prognosis. Within these diffuse gliomas, isocitrate dehydrogenase (IDH) mutation defines the different tumor subtypes ... [more ▼]

Diffuse gliomas are a group of central nervous system (CNS) tumors with a poor patient prognosis. Within these diffuse gliomas, isocitrate dehydrogenase (IDH) mutation defines the different tumor subtypes and is considered to be an initiating event in gliomagenesis. IDH is a metabolic enzyme that in normal conditions mediates the conversion of isocitrate into α-ketoglutarate (α-KG), producing the reducing equivalent NADPH. IDH mutation (IDHm) leads to a neomorphic reaction where α-KG is consumed to generate the oncometabolite D-2-hydroxyglutarate (D-2HG), using NADPH as reducing agent. It has been reported that IDHm-dependent D-2HG synthesis has a direct impact on DNA and histone methylation, however the metabolic repercussions are not yet well defined. Due to the consumption of NADPH by IDHm reaction, some groups including us have hypothesized that IDHm cells may bear an imbalance of reducing equivalents, that may trigger a defective antioxidant defense. In the present study we made use of patient-derived cell lines and xenografts thereof as well as clinical samples in order to study the metabolic vulnerabilities of IDHm gliomas. In the first part of the thesis experimental data, we generated an integrative liquid chromatography-mass spectrometry (LCMS)-based proteomic-metabolomic characterization of IDHm metabolism. We made use of patients, cell lines and xenografts to address the direct effect of the mutation. We observed that IDHm gliomas have altered regulation of key processes in central carbon metabolism through glucose and glutamate processing as well as glutathione (GSH) metabolism and fatty acid production. In the second part of experimental data, we investigated the redox vulnerabilities of IDHm gliomas. Here we discovered that IDHm astrocytomas specifically upregulate cystathionine-γ-lyase (CSE) enabling them to synthesize GSH independently of NADPH. CSE is the only known enzyme capable of synthesizing cysteine. We found that genetic and chemical inhibition of CSE led to a decrease in cell viability upon cysteine restriction. Finally inhibition of CSE in vivo led to a delay in tumor growth rate. In conclusion, in the present PhD dissertation we expose a comprehensive study of the metabolic behavior of IDHm human gliomas, and we propose a novel therapeutic strategy that might improve patient prognosis, by inflicting oxidative damage to the tumor. [less ▲]

Detailed reference viewed: 119 (6 UL)
Full Text
See detailHigher education trajectories and social origin in Germany and the United States: A comparative sequence-analytical approach
Haas, Christina UL

Doctoral thesis (2021)

Students’ higher education trajectories as holistic educational processes are an underresearched aspect, particularly in the German context. This cumulative thesis fills this gap by investigating ... [more ▼]

Students’ higher education trajectories as holistic educational processes are an underresearched aspect, particularly in the German context. This cumulative thesis fills this gap by investigating students’ trajectories through bachelor’s degree courses in German and US higher education. In terms of methodology, it is based on a sequence-analytical approach using two student panel data sets (the German National Educational Panel Study (NEPS) and the US Beginning Postsecondary Students Longitudinal Study (BPS)) and comprises a literature review and three empirical research articles, each providing a different theoretical and conceptual angle. Higher education is a non-compulsory educational phase, implying students are granted more autonomy and more choice but also require more personal responsibility to plan a path through higher education. As such, it is assumed that parents’ cultural resources – defined here as higher education-specific knowledge – and economic resources shape students’ trajectories to enable them to proceed through their studies in a more continuous or linear way and prevent students from experiencing complex trajectories, such as delays, interruptions or detours. To begin with, the literature review, constructed as a narrative review with systematic elements, captured the state of research on higher education trajectories by reviewing peer-reviewed journal articles from a wide range of mainly higher education research journals. It revealed that this research area is rather heterogeneous and dominated by studies focusing on the United States. Research articles one and two employ similar research strategies – sequence analyses followed by cluster analyses. Stressing the relationship between parents’ resources and students’ trajectories, the first article concentrates exclusively on students in German research universities, whereas the second also considers students at universities of applied sciences. Overall, these studies reveal that the trajectories of students at the universities of applied sciences are more often linear, while the opposite applies to students at research universities and students of low social origin, pointing towards the hypothesised effect of parental resources. Furthermore, students of low social origin are more likely to follow a linear standard trajectory when studying at a university of applied sciences compared to at a research university. In the third paper, based on the premise that trajectories are systematically shaped by the institutional context of the higher education system, students’ trajectories in German and US higher education are compared, allowing to simultaneously a view on system-level characteristics and national idiosyncrasies. US higher education provides almost universal access, is very marketised and highly differentiated, thereby accommodating diverse demands and heterogeneous student groups. By contrast, German higher education, based on public funding and regulation, early ability tracking and low permeability, restricts access and provides an overall much less diversified study offering. Consequently, research article three revealed that students’ trajectories are overall less standardised in US higher education – but this differs greatly by higher education sector, whereas the trajectories of students in the (selective) research universities are overall more standardized. Furthermore, the social origin differences were quite pronounced in the United States, whereas the social origin effect was almost nonexistent for students in German higher education in this study (based on a different sequence-analytical approach). Remarkable, though, remains the finding that students’ trajectories are less linear at German research universities compared to the universities of applied sciences – even more so among students of low social origin – while US research universities facilitate linear trajectories. Overall, this dissertation provides an important contribution to the state of research on link between social origin, students’ trajectories and how this link is mediated by the institutional context of the respective higher education system. [less ▲]

Detailed reference viewed: 67 (6 UL)
Full Text
See detailDRY-STACKED INSULATION MASONRY BLOCKS BASED ON MISCANTHUS CONCRETE
Pereira Dias, Patrick UL

Doctoral thesis (2021)

The present dissertation entitled “Dry-stacked insulation masonry blocks based on Miscanthus concrete” is carried out at the University of Luxembourg and financed by CONTERN Lëtzebuerger Beton. The ... [more ▼]

The present dissertation entitled “Dry-stacked insulation masonry blocks based on Miscanthus concrete” is carried out at the University of Luxembourg and financed by CONTERN Lëtzebuerger Beton. The principal aim of this project is to valorise the sustainability in the construction sector and improve the circular economy by using Luxembourgish Miscanthus to produce a masonry block. The latter should include bearing and thermal properties. Besides, a dry-stacked system should be adopted. The imposed aims are reached by developing a masonry block based on two materials connected by a dovetail connection. Furthermore, a dry-stacked system is adopted using a horizontally and vertically tongue-groove system. The present research demonstrates the approach performed to achieve these goals. The process to reach the described aims is divided in five major steps. The first step consists of an analysis on the needed amount of mixture components with the aim of achieving the highest possible load-bearing capacity of concrete based on Miscanthus aggregates. It can be concluded that the variation of the amount of components affects the density, which has an increasing parabolic relation with the load-bearing capacity of the specimens. Furthermore, the long-term deformations considering shrinkage of Miscanthus concrete achieve in average 2350 𝜇𝑚/𝑚, which is the double of a lightweight concrete. However, comparing the long-term deformations of Miscanthus concrete with Hemp-concrete a benefit of at least 50 % can be considered. Secondly, a machine-learning tool is applied to predict the compressive strength by introducing the mixture components and avoiding the need of creating time-consuming and costly experimental tests. Furthermore, it is possible to analyse the impact of each individual component on the load-bearing capacity. This tool has the ability of optimising the mixture according to the needs in compressive strength. Next, a Miscanthus concrete mixture is used to manufacture rectangular masonry blocks and an analysis on their geometrical height and roughness imperfections is performed experimentally and numerically on the load-bearing capacity of walls and single masonry blocks. The roughness was investigated by measuring the contact surface. Accordingly, an exponential relation is identified between the applied compressive strength and the contact surface. The height imperfections show a low impact on the load-bearing capacity of the wall. This statement is also validated in the numerical calculation. Finally, an increase of the relation height to length of a wall reduces linearly the maximum achieved compressive strength. The next step consists of investigating the use of a Mycelium-Miscanthus composite for insulation purposes and analyse different properties. The scanning electron microscopic analysis allows investigating the bond between Mycelium and Miscanthus. It can be concluded that the Mycelium webs enter the Miscanthus fibre and holds in the way the specimen together. Furthermore, a density of 122 kg/m3 and a thermal conductivity of 0.09 W/mK is measured in this bio composite, which is higher than a conventional insulation material. Besides, a fire resistance of category EI15 according to EN13501-2:2003 is measured. These results show a promising capacity of this composite as a building insulation. The last phase of this project consists of creating an interaction between all the parts by applying the investigated material properties into one masonry block with a geometry able to be applied in a dry-stacked masonry wall. The latter is applied by introducing a horizontal and vertical tongue-groove system in the masonry block. This block is divided in two parts, a bearing and insulation material, which are connected by a dovetail connection. A sensitivity analysis is performed in the wall by varying different properties of the masonry block, such as the thickness of the bearing and the insulation part, the angle of the dovetail connection or the position of tongue-groove system. An increase of the width of the bearing part has an increasingly linear impact on the load-bearing capacity. However, an increase of the thickness of the insulation part does not show any impact on the maximum achieved compressive strength. Furthermore, the impact of the geometrical imperfections like height and roughness are analysed. Subsequently, the needed thickness of the masonry block is calculated based on the imposed thermal transmittance value. A total thickness of the masonry block of 77 cm was determined. Therefore, it can be concluded that the thermal conductivity of the insulation part has to be improved to reduce the needed thickness of the masonry block. Finally, this thesis assesses the use of Miscanthus fibres in a masonry block, which has a bearing and insulation capacity. Furthermore, the tongue-groove system of the masonry block and the low Young’s Modulus of the Miscanthus mixture allow its application in a dry-stacked wall in the construction sector. [less ▲]

Detailed reference viewed: 58 (8 UL)
Full Text
See detailUnderstanding the role of colorectal cancer-associated bacteria in colorectal cancer
Ternes, Dominik UL

Doctoral thesis (2021)

Mounting evidence from 16S rRNA-based or metagenomic analyses suggests that dysbiosis, a state of pathological microbial imbalance, is prevalent in the gut of patients with CRC. Numerous microbial taxa ... [more ▼]

Mounting evidence from 16S rRNA-based or metagenomic analyses suggests that dysbiosis, a state of pathological microbial imbalance, is prevalent in the gut of patients with CRC. Numerous microbial taxa have been identified of which representative isolate cultures can interact with cancer cells, further triggering distinct disease pathways in animal models. Nevertheless, how these complex interrelationships of a dysbiotic microbiota may be involved in the pathogenesis of CRC remains a fundamental question and requires multifaceted mechanistic studies. This thesis moves beyond observational studies, it integrates novel experimental approaches for the study of the gut microbiome in colorectal cancer. It incorporates current knowledge in the field as well as interdisciplinary approaches. My work aims at contributing to an ecosystem-level mechanistic understanding of the CRC-associated microbiome in the initiation and progression of the disease. In detail, the objective of my work comprised an integrative approach of microbiome-CRC interaction studies. We revised current knowledge on, and studied the CRC-associated bacteria, in particular Fusobacterium nucleatum (Fn) and Gemella morbillorum (Gm). We assessed their direct and indirect effects on CRC cells, their interactions with immune cells, as well as their tumor-modulating potential in vitro, in silico, and in vivo. The results presented in this thesis comprise new findings on human microbial cross-talk of Fn with CRC. We identified formate as a potential fusobacterial oncometabolite, which enhanced cancer incidence and progression via increased cancer stemness signaling. Furthermore, we discovered immune-suppressive functions of Gm in the context of CRC. With my work in collaboration projects, I contributed to the development of two novel approaches in anti-cancer therapy: First, to the establishment of a personalized in vitro model (iHuMiX) for the study of microbe-host-immune interactions in anti-cancer therapy, and second, to the validation of an in silico workflow that uses metabolic rewiring strategies for network-based drug target predictions for CRC therapy. Taken together, this thesis work broadened the mechanistic understanding of CRC-associated microbes and it contributed to potential strategies for the development of an improved CRC therapy. [less ▲]

Detailed reference viewed: 72 (20 UL)
Full Text
See detailMagnetoelectric thin-film composites for energy harvesting applications
Nguyen, Tai UL

Doctoral thesis (2021)

Detailed reference viewed: 73 (6 UL)
See detailPopulismes et fabrique des droits économiques et sociaux dans le cadre des droits de l'Homme. Le Front national et l'Union démocratique du centre (1992-2013)
Albert, Frédéric UL

Doctoral thesis (2021)

Since the 1990’s, with the development of Europeanisation, globalisation and the installation of the neo-liberal paradigm, we observe in Europe the non-application of economic and social rights, despite ... [more ▼]

Since the 1990’s, with the development of Europeanisation, globalisation and the installation of the neo-liberal paradigm, we observe in Europe the non-application of economic and social rights, despite being aspired by the States of the human rights continent after the Second World War. At the same time, "national-populist" parties are gaining more and more support and are establishing themselves in the political landscape as a "right-wing third way", which would provide the answers that the governing parties do not seem to be able to find, in the context of an actual crisis of the welfare state. The aim of our research is to provide a comparative analysis of the discourses of the "Front National" in France, now Rassemblement National ("RN") and the "Union Démocratique du Centre" in Switzerland ("UDC/SVP") on economic and social rights, in order to confront them with the changes and public policies observed in our societies as a result of the neo-liberal paradigm. Using a cross-cutting analytical grid that identifies the characteristics of socio-economic discourse of a "national-populist" nature, this work is made up of numerous sources from both parties, studied over a period of twenty years : work that constitutes the boundaries between 1992, when the Maastricht Treaty developing the "European market" was signed, and 2013, with the start of negotiations for the signing of the transatlantic treaty opening the "European market" to the "US market". The research work is also based on original interviews with key figures from both parties and the creation of an online questionnaire aimed at elected representatives with responsibilities on a smaller scale (at regional level). Thus, the cross-referencing of our qualitative and quantitative data has enabled us to produce original results and to construct a new category of populist parties called : "national-populist parties opposed to human rights". Among other things, the latter develop in their socio-economic approach a will to defend economic and social rights but only for nationals, rejecting the universality of human rights. At the same time, they propose a hybrid form of capitalism with nuances between the "FN/RN" and the "UDC", combining a dose of protectionism but also a more or less sought-after integration into the "market". Furthermore, it is interesting to compare the discourses of a party outside government (the "RN") that has not yet participated in executive authority at the national level and a party associated with federal authority, the "UDC", both "inside and outside". Ultimately, in both cases, it is sovereignism and anchoring in so-called right-wing policies that seem to dominate the socio-economic DNA of the two populist parties studied. With the help of our research work, we can thus ask ourselves in what way does the "national-populist" discourse point to the failure of states on the human rights continent to implement economic and social rights as they intend ? [less ▲]

Detailed reference viewed: 73 (20 UL)
Full Text
See detailTaming Android App Crashes
Kong, Pingfan UL

Doctoral thesis (2021)

App crashes constitute an important deterrence for app adoption in the android ecosystem. Yet, Android app developers are challenged by the limitation of test automation tools to ensure that released apps ... [more ▼]

App crashes constitute an important deterrence for app adoption in the android ecosystem. Yet, Android app developers are challenged by the limitation of test automation tools to ensure that released apps are free from crashes. In recent years, researchers have proposed various automation approaches in the literature. Unfortunately, the practical value of these approaches have not yet been confirmed by practitioner adoption. Furthermore, existing approaches target a variety of test needs which are relevant to different sets of problems, without being specific to app crashes. Resolving app crashes implies a chain of actions starting with their reproduction, followed by the associated fault localization, before any repair can be attempted. Each action however, is challenged by the specificity of Android. In particular, some specific mechanisms (e.g., callback methods, multiple entry points, etc.) of Android apps require Android-tailored crash-inducing bug locators. Therefore, to tame Android app crashes, practitioners are in need of automation tools that are adapted to the challenges that they pose. In this respect, a number of building blocks must be designed to deliver a comprehensive toolbox. First, the community lacks well-defined, large-scale datasets of real-world app crashes that are reproducible to enable the inference of valuable insights, and facilitate experimental validations of literature approaches. Second, although bug localization from crash information is relatively mature in the realm of Java, state-of-the-art techniques are generally ineffective for Android apps due to the specificity of the Android system. Third, given the recurrence of crashes and the substantial burden that they incur for practitioners to resolve them, there is a need for methods and techniques to accelerate fixing, for example, towards implementing Automated Program Repair (APR). Finally, the above chain of actions is for curative purposes. Indeed, this "reproduction, localization, and repair" chain aims at correcting bugs in released apps. Preventive approaches, i.e., approaches that help developers to reduce the likelihood of releasing crashing apps, are still absent. In the Android ecosystem, developers are challenged by the lack of detailed documentation about the complex Android framework API they use to develop their apps. For example, developers need support for precisely identifying which exceptions may be triggered by APIs. Such support can further alleviate the challenge related to the fact that the condition under which APIs are triggered are often not documented. In this context, the present dissertation aims to tame Android crashes by contributing to the following four building blocks: Systematic Literature Review on automated app testing approaches: We aim at providing a clear overview of the state-of-the-art works around the topic of Android app testing, in an attempt to highlight the main trends, pinpoint the main methodologies applied and enumerate the challenges faced by the Android testing approaches as well as the directions where the community effort is still needed. To this end, we conduct a Systematic Literature Review (SLR) during which we eventually identified 103 relevant research papers published in leading conferences and journals until 2016. Our thorough examination of the relevant literature has led to several findings and highlighted the challenges that Android testing researchers should strive to address in the future. After that, we further propose a few concrete research directions where testing approaches are needed to solve recurrent issues in app updates, continuous increases of app sizes, as well as the Android ecosystem fragmentation. Locating Android app crash-inducing bugs: We perform an empirical study on 500 framework-specific crashes from an open benchmark. This study reveals that 37 percent of the crash types are related to bugs that are outside the crash stack traces. Moreover, Android programs are a mixture of code and extra-code artifacts such as the Manifest file. The fact that any artifact can lead to failures in the app execution creates the need to position the localization target beyond the code realm. We propose ANCHOR, a two-phase suspicious bug location suggestion tool. ANCHOR specializes in finding crash-inducing bugs outside the stack trace. ANCHOR is lightweight and source code independent since it only requires the crash message and the apk file to locate the fault. Experimental results, collected via cross-validation and in-the-wild dataset evaluation, show that ANCHOR is effective in locating Android framework-specific crashing faults. Mining Android app crash fix templates: We propose a scalable approach, CraftDroid, to mine crash fixes by leveraging a set of 28 thousand carefully reconstructed app lineages from app markets, without the need for the app source code or issue reports. We develop a replicative testing approach that locates fixes among app versions which output different runtime logs with the exact same test inputs. Overall, we have mined 104 relevant crash fixes, further abstracted 17 fine-grained fix templates that are demonstrated to be effective for patching crashed apks. Finally, we release ReCBench, a benchmark consisting of 200 crashed apks and the crash replication scripts, which the community can explore for evaluating generated crash-inducing bug patches. Documenting framework APIs' unchecked exceptions: We propose Afuera, an automated tool that profiles Android framework APIs and provides information on when they can potentially trigger unchecked exceptions. Afuera relies on a static-analysis approach and a dedicated algorithm to examine the entire Android framework. With Afuera, we confirmed that 26739 unique unchecked exception instances may be triggered by invoking 5467 (24%) Android framework APIs. Afuera further analyzes the Android framework to inform about which parameter(s) of an API method can potentially be the cause of the triggering of an unchecked exception. To that end, Afuera relies on fully automated instrumentation and taint analysis techniques. Afuera is run to analyze 50 randomly sampled APIs to demonstrate its effectiveness.Evaluation results suggest that Afuera has perfect true positive rate. However, Afuera is affected by false negatives due to the limitation of state-of-the-art taint analysis techniques. [less ▲]

Detailed reference viewed: 140 (14 UL)
See detailUnderstanding multilingual pupils' translanguaging practices: a qualitative study in two primary schools in Luxembourg
Degano, Sarah UL

Doctoral thesis (2021)

Over the last decades, research in bilingual and trilingual schools has shown that translanguaging – the systematic alternation between two or more named languages – can promote children’s learning and ... [more ▼]

Over the last decades, research in bilingual and trilingual schools has shown that translanguaging – the systematic alternation between two or more named languages – can promote children’s learning and increase their opportunities to participate in class. Translanguaging can therefore provide more equitable access to the curriculum and address educational inequalities. To date, however, few translanguaging studies have researched older primary school children in multilingual schools. Similarly, few have explored the use of children’s non-linguistic resources in meaning-making processes. More recently, there has been an explicit call for a multimodal perspective on translanguaging, according to which translanguaging is conceptualised as the deployment of the semiotic repertoire. While multimodality studies have pointed out the potential of multimodal resources in education, there remains a paucity of empirical research that – with regard to more equitable educational practices – explores the pupils’ use of both multilingual and multimodal resources in class. With the aim of understanding what translanguaging means in two different multilingual primary schools, the present thesis addresses this issue. It presents a qualitative research on the ways in which multilingual fourth-graders in Luxembourg deploy and combine the resources of their semiotic repertoires to communicate and make meaning in interaction with their peers and teachers. The study was informed by the following questions – how is translanguaging practised in the classroom? How do pupils translanguage, drawing on their semiotic repertoire? How is translanguaging used to construct curricular meaning in interaction? I argue that the pupils’ translanguaging practices are interactively constructed because the ways in which they combine their multilingual and multimodal resources for communication and meaning-making in class reflect those of their teachers. Data was collected in two public primary schools in Luxembourg – one in the North, one in the East – from January to November 2018. This data took the form of observations, fieldnotes, video-recordings of lessons, semi-structured interviews with the pupils and the teachers, as well as stimulated recall interviews with the pupils. Over a duration of 130 hours, I observed and recorded four focal pupils of different language and education backgrounds as they deployed their semiotic repertoires in interaction with their teachers and peers in both Year 4 and at the beginning of Year 5. In order to explore how translanguaging was practiced in the classrooms, I conducted a thematic analysis of the 42 documents of field notes (analytic memos), totalling about 152,000 words. In addition, to investigate how the pupils combined the resources of their repertoires and drew on translanguaging to make meaning, I applied a multimodal interaction analysis and a sociocultural discourse analysis to 11 hours’ worth of video footage from 177 videos, ranging in length from 7 seconds to 24 minutes. The 13 hours’ worth of interview material were summarised by hand and served triangulation purposes. The study has shown that the pupils’ translanguaging practices were interactively constructed. Firstly, the translanguaging practices of the teachers and the pupils varied between school contexts. In both schools, the pupils learned French, German and/ or Luxembourgish, and regularly used several languages. However, while their translanguaging practices mainly involved shifts between German and Luxembourgish in the school in the East, they involved shifts between the three school languages as well as Portuguese in the school in the North. Secondly, all four focal pupils combined linguistic, extralinguistic and paralinguistic resources, but their semiotic combinations were influenced by the translanguaging practices of their teachers and, therefore, varied between schools and across year groups. In the school in the East, the focal pupils tended to deploy their semiotic repertoires more extensively in Year 5 than in Year 4; it was the other way around for the focal pupils in the school in the North. Thirdly, depending on their teachers’ translanguaging practices, the pupils orchestrated their multilingual and multimodal resources in complex ways to co-construct curricular meaning. They flexibly shifted between languages (e.g. school languages, home languages), modes (i.e. verbal mode of communication, non-verbal mode of communication) and modalities (e.g. speaking, singing), thereby combining different linguistic resources (e.g. English, French, German, Luxembourgish, Portuguese), extralinguistic resources (e.g. gaze, gesture, touch) and paralinguistic resources (e.g. intonation, sound effects, volume). The present study draws attention to the resourcefulness with which multilingual primary school pupils of different backgrounds can co-construct curricular meaning. It also emphasizes the role that teachers can play in constraining or supporting the pupils’ use of resources in class. This study has implications for teachers in that they can learn how important it is to allow pupils to use their own resources in class. It calls for professional development that will help teachers develop a translanguaging stance, that is the belief that pupils are able to leverage their semiotic repertoires to participate in class, make meaning and thereby access the curriculum. This is of particular importance for children of lower socio-economic status and with a migration background who continue to underperform. [less ▲]

Detailed reference viewed: 36 (2 UL)
See detailInternationalisation and Multilingualism in Doctoral Education: Language Ideologies, Discourse and Positioning
Hofmann, Stephanie UL

Doctoral thesis (2021)

In light of the growing linguistic and cultural diversity among students and researchers, studies on multilingualism in higher education have been increasingly devoting attention to how students and ... [more ▼]

In light of the growing linguistic and cultural diversity among students and researchers, studies on multilingualism in higher education have been increasingly devoting attention to how students and academics use their plurilingual repertoire for writing academic texts. Framed by the internationalisation of higher education and its contributions towards a knowledge-based society and economy in Europe, little is known about how students and researchers conceptualise the role of the national language(s) and the linguistic repertoire(s) vis-à-vis English as the lingua franca. In particular, how academic actors negotiate voice when choosing a language for academic writing and publishing has not been closely examined. To rectify this lacuna, this study focuses on the linguistic processes of doctoral publications and outputs in the context of a multilingual university—the University of Luxembourg (UL), where next to English also German and French are official academic languages. In view of the increased usage of English for writing and publishing doctoral theses, questions arise about the mechanisms and preferences underlying doctoral researchers’ linguistic choices, and how such choices pertain to shifting academic norms. Thus, the overall aim of this exploratory study is to show how doctoral researchers in a multilingual research context—here, the University of Luxembourg—position themselves in relation to macrolevel discourses about language and academic success within their complex lingua-cultural and socio-economic setting. The data analysis is based on in-depth problemcentred interviews with five plurilingual doctoral researchers from China, Germany, Luxembourg and Russia. By applying discourse analysis to the interview transcripts, this thesis makes three substantial contributions to the research field. First, it reveals that despite the dominance of English, doctoral researchers continue to draw on their plurilingual repertoire as a resource for their research and writing processes, however, for different reasons, which are ideologically motivated. Second, the study shows that the choice for publishing in English is mostly based on shifts in academic norms that focus on economic imperatives, such as competition and hyper-performativity. Therefore, the prevalence of English and the pressure to publish in international journals seem to lead doctoral researchers towards limiting the use of the totality of their plurilingual repertoire for writing and publishing theses. And third, this research allows for a detailed understanding of underlying language ideologies of doctoral researchers in higher education. In particular, it gives insights into the value of the theoretical concepts of positioning and language ideology in discourse analysis for investigating the negotiation of voice. [less ▲]

Detailed reference viewed: 59 (4 UL)
Full Text
See detailENTRAINMENT OF DROPLETS FROM WATER POOLS
Ouallal, Mohammed UL

Doctoral thesis (2021)

The aim of this work is to study the phenomena of droplet entrainment from water pool. This phenomenon could be either a consequence of boiling or depressurization. In a bubble column, droplets are ... [more ▼]

The aim of this work is to study the phenomena of droplet entrainment from water pool. This phenomenon could be either a consequence of boiling or depressurization. In a bubble column, droplets are released from the surface of the pool by bubble burst (in bubbly flow regime) or by detachment from liquids sheets (in churn turbulent flow regime) depending on the hydrodynamics inside the pool. Eventually, these droplets will be entrained by the streaming gas (superficial gas velocity) or fall back due to gravity. Many experimental studies have been conducted, and several numerical simulations were performed for a better understanding of the phenomena of entrainment. Numerical simulation are a good tool to simulate an experiment due to limitations of data. To that end, CFD showed to be a good candidate to perform such a simulation, yet these it demand high computational performance and are time consuming. However, Lumped Parameter codes (LP) are widely used due to their simplicity and fast running. The number of correlations that quantify the entrainment previously developed based on empirical, semi-empirical and theoretical approaches are limited to a specific regime in the water pool, thermal hydraulic conditions or even to a specific geometry For this purpose, after an extensive study, an empirical correlation is proposed to cover the flow regimes from bubbly to churn turbulent, and could be applied to a wide range of geometries. The current correlation shows an increase until a maximum entrainment of about 2.10-4, corresponding to gas velocity of 0.05 m/s for bubbly flow regime, a slight decrease to 2.10-5, for the transition regime for superficial gas velocities up to 0.1 m/s, and a sharp increase as the superficial gas velocity goes up to 5 m/s The experimental database used to develop the present empirical correlation covers a broader range of boundary conditions, namely pressure [1 bar – 15 bar], water pool thermal condition [subcooled – boiling], vessel diameter[0.19m- 3.2 m], pool diameter [0.1 m – 1.4 m], superficial gas velocity up to 5.0 m/s and for soluble and insoluble aerosols. Therefore, the proposed empirical correlation aims to constitute an important tool to transfer the experimental results to reactor application. [less ▲]

Detailed reference viewed: 109 (1 UL)
Full Text
See detailDATA PROTECTION BY DESIGN IN THE E-HEALTH CARE SECTOR: THEORETICAL AND APPLIED PERSPECTIVES
Bincoletto, Giorgia UL

Doctoral thesis (2021)

In the digital age, e-health technologies play a pivotal role in the processing of medical information. As personal health data represents sensitive information concerning a data subject, enhancing data ... [more ▼]

In the digital age, e-health technologies play a pivotal role in the processing of medical information. As personal health data represents sensitive information concerning a data subject, enhancing data protection and security of systems and practices has become a primary concern. In recent years, there has been an increasing interest in the concept of privacy by design (PbD), which aims at developing a product or a service in a way that it supports privacy principles and rules. In the European Union, Article 25 of the General Data Protection Regulation provides a binding obligation of implementing data protection by design (DPbD) technical and organisational measures. This thesis explores how an e-health system could be developed and how data processing activities could be carried out to apply data protection principles and requirements from the design stage. Currently, there is a lack of clarity and knowledge on the topic for developers, data controllers and stakeholders. The research attempts to bridge the gap between the legal and technical disciplines on DPbD by providing a set of guidelines for the implementation of the principle in the e-health care sector. The research is based on literature review, legal and comparative analysis, and investigation of the existing technical solutions and engineering methodologies. So, this thesis uses both legal comparison and the interdisciplinary method. The work can be differentiated by theoretical and applied perspectives. First, it critically conducts a legal analysis on the principle of PbD and it studies the DPbD legal obligation and the related provisions. Later, the research contextualises the rule in the health care field by investigating the applicable legal framework for personal health data processing. Moreover, the research focuses on the US legal system by conducting a comparative analysis since PbD is an international principle and in the US federal law there is a specific rule for the e-health care sector that mandates the implementation of technical and organisational safeguards. Adopting an applied perspective, the research investigates the existing technical methodologies and tools to design data protection and it proposes a set of comprehensive DPbD organisational and technical guidelines for a crucial case study, that is an Electronic Health Record system. [less ▲]

Detailed reference viewed: 22 (5 UL)
See detailA Study of Hiring Discrimination Using Factorial Survey Experiments: Theoretical and Methodological Insights
Gutfleisch, Tamara Rebecca UL

Doctoral thesis (2021)

This dissertation provides new insights into the study of hiring discrimination related to three dimensions of inequality: gender, ethnicity, and unemployment. Scholars within sociology of work and labor ... [more ▼]

This dissertation provides new insights into the study of hiring discrimination related to three dimensions of inequality: gender, ethnicity, and unemployment. Scholars within sociology of work and labor economics widely agree that hiring discrimination based on these dimensions exists. However, the question of who is most affected beyond the classical look at single dimensions is less clear, as are the conditions under which hiring discrimination occurs. Focusing on young labor market entrants, I address these questions with two empirical studies using factorial survey experiments. First, I study how applicants’ gender and unemployment interactively shape recruiters’ hiring intentions in sex-segregated occupations. Second, I study the role of recruiter nationality in hiring discrimination against foreigners in Luxembourg. Moreover, while factorial surveys are increasingly applied in the study of hiring discrimination, they have been criticized for exhibiting low external validity. This dissertation empirically addresses how to overcome this criticism by improving the design of factorial surveys currently applied in employer studies. Specifically, I study whether designs based on real vacancies trigger more valid judgements compared to designs based on hypothetical vacancies. Overall, the findings of this dissertation support the relevance of hiring discrimination for labor market inequalities related to gender, ethnicity, and unemployment, but suggest that the mechanisms underlying hiring discrimination related to these dimensions are more nuanced. First, this dissertation suggests that occupational sex segregation might matter for how unemployment shapes recruiters’ hiring intentions towards men and women. Second, while foreign applicants might generally have better hiring chances if the recruiter is foreign, foreign applicants having the same nationality as the recruiter might benefit less from this situation. Finally, this dissertation provides first evidence that using hypothetical vacancies constitutes a valid approach to study recruiter decision-making within the limits of factorial surveys. [less ▲]

Detailed reference viewed: 56 (7 UL)
Full Text
See detailMathematical Approaches to Biological Complexity in Systems Biomedicine
Ghaderi, Susan UL

Doctoral thesis (2021)

Living organisms represents the maybe most complex systems in the universe. This complexity is rooted in the necessity of life to be robust and adaptable. During evolution, life has therefore developed ... [more ▼]

Living organisms represents the maybe most complex systems in the universe. This complexity is rooted in the necessity of life to be robust and adaptable. During evolution, life has therefore developed diverse regulatory strategies that are implemented by interactions of a plethora of entities and driven by the indispensable non-equilibrium character of living matter. The resulting intrinsic complexity of biological systems has been a major obstacle to deeply understand the underlying principles of life. Systems biology and biomedicine address this challenge by interdisciplinary approaches where mathematical modeling represents a key element to reveal and dissect the sources of complexity from large and big data sets. In this spirit, the presented thesis applies bottom-up and top-down systems biomedicine approaches to investigate biological complexity at different levels and from different angels for metabolism and cell differentiation. First, a bottom-up approach is targeting the mathematical properties of the stoichiometric matrix, which is the essential mathematical object in biochemical reaction networks and thus of metabolism. Applying graph and hypergraph theory, we present the key mathematical properties of the stoichiometric matrix and exploit biochemical properties of such networks to obtain a moiety-based decomposition of the stoichiometric matrix and consequently of biochemical reaction networks. These insights lay the foundation for a more descriptive characterization of metabolism. Second, a novel top-down approach is presented to identify cell differentiation properties from single cell transcriptomic data by a combination of binarization, information theory and neural networks in terms of self organizing maps. This distribution-based analysis of cell fate is applied to blood cell differentiation and to the differentiation of induced pluripotent stem cells (iPSCs) into dopaminergic neurons in the context of Parkinson's disease (PD). This methodology allows for an alternative and efficient characterization of differentially expressed genes and the robust identification of critical points in cell differentiation. Comparing iPSCs with a PD-associated mutation within the LRKK2 gene to a healthy control cell line shows a faster maturation process in the disease context. By adapting concepts form non-equilibrium statistical physics, an entropy-based methodology in form of the Kullback-Leibler divergence is introduced to quantify the non-equilibrium character of cell fate, which reveals complementary essential biological processes of differentiation. Finally, a potential integrative approach in form of Bayesian networks is introduced that will eventually allow for efficient and robust mechanistic inference from big data. In particular, the optimization approach is based on Markov chain Monte Carlo methods for sampling from distributions with non-smooth potential functions and uses Langevin stochastic equations for an advanced optimization strategy. The potential of the introduced approach is demonstrated by a first application to a logistic regression function. Overall, the thesis applies complementary mathematical techniques to develop new tools for the characterization of biological complexity and the identification of underlying principles that are appearing in living systems. [less ▲]

Detailed reference viewed: 65 (4 UL)
Full Text
See detailLa protection du consommateur dans la vente en ligne en Côte d'Ivoire: Etude à la lumière du Droit européen
Adde, Franck Olivier UL

Doctoral thesis (2021)

Like most African countries, Côte d'Ivoire is experiencing a rapid growth in e-commerce. This boom brings challenges of all kinds. Amidst others, it is taking in a legal context where consumer protection ... [more ▼]

Like most African countries, Côte d'Ivoire is experiencing a rapid growth in e-commerce. This boom brings challenges of all kinds. Amidst others, it is taking in a legal context where consumer protection has not yet found its place, as evidenced by the texts of laws governing distance selling in Côte d'Ivoire. The thesis aims to propose an improvement of consumer protection in distance selling in Côte d'Ivoire through a review of laws in the light of European law. Though it refers to the European legal model, the thesis stresses that the literal mimicry of European law is one of the reasons for the ineffectiveness of African laws. The premise of the thesis about distance selling is that we cannot protect the consumer in the ivory coast in the same way that European law protects the European consumer. Beyond a simple legal comparison, the thesis stirs an in-depth reflection on the circulation of legal models. It examines the relationship between African law and European law from a historical and contextual point of view in order to determine how European law can serve as a model for Ivorian law so as to offer sufficient protection to consumers without threatening the growth of distance sales. [less ▲]

Detailed reference viewed: 71 (4 UL)
See detailThe ITU and ICAO regulating aeronautical safety services and related radio spectrum
Bergamasco, Federico UL

Doctoral thesis (2021)

The aim of the thesis is two-fold. At first it has a theoretical value, aiming at shedding light upon an unexplored area of international law – i.e. the overlap of regulatory competence of the ITU and ... [more ▼]

The aim of the thesis is two-fold. At first it has a theoretical value, aiming at shedding light upon an unexplored area of international law – i.e. the overlap of regulatory competence of the ITU and ICAO – in light of the wider phenomenon of the fragmentation of international law. Secondly, it has a practical purpose, suggesting a preventive way to deal with the legal antinomies that could arise between the ITU and ICAO legal frameworks and that could ultimately represent a hazard to the safety of air navigation and to human life and property. It takes a systematic approach, analyzing both the institutional aspects of the ITU and ICAO and the legal features of their main regulatory instruments, the Radio Regulations and the Standards and Recommended Practices. Subsequently, it explores the criticalities of such interaction in the overlapping domain of aeronautical safety services and attempts to examine the viable solutions in the next future, both at the legal and institutional level. This area of law, due to its complexity and to its connection with technical and engineering aspects, is largely unexplored by international lawyers. It thus represents an original contribution filling a gap not covered by either generalist or specialized legal literature. It also tackles potential problems that, if left unanswered, could become actual in the next future and represent a serious threat to the safety of international civil aviation. In particular, it recalls the necessity of a tighter regulatory coordination between the two international agencies in view of the increasing competition for and congestion of radio spectrum. [less ▲]

Detailed reference viewed: 33 (11 UL)
Full Text
See detailPROBABILISTIC CONTENT POPULARITY LEARNING IN PROACTIVE CACHING SYSTEMS
Mehrizi Rahmat Abadi, Sajad UL

Doctoral thesis (2021)

Recent rapid growth of data traffic in mobile networks has stretched the capability of current network architectures. Proactively caching popular contents close to end-users has been proposed as a ... [more ▼]

Recent rapid growth of data traffic in mobile networks has stretched the capability of current network architectures. Proactively caching popular contents close to end-users has been proposed as a promising approach to mitigate the issue. A full-fledged proactive cache management mechanism encompasses two interrelated algorithms which need to be carefully designed: content popularity prediction and caching policy. Abundant research has focused on the performance of various caching policies assuming that the content popularity is perfectly known. Nonetheless, the content popularity is unknown in practice and has to be predicted from users' requests. Due to non-deterministic and time-varying nature of the requests, the prediction is nontrivial. In this thesis, the main focus is to introduce efficient prediction algorithms from Bayesian viewpoint. The Bayesian approach provides a powerful framework to construct statistical models which capture uncertainty and are robust to "over-fitting" issue. Firstly, we consider the prediction problem under stationary scenario. To enhance the accuracy of prediction, content features are leveraged and a Bayesian Poisson regressor based on a Gaussian process is proposed. The model can automatically discover hidden patterns in the feature space among the already-existing or seen contents. It also allows to predict the popularities of newly-added or unseen contents whose statistical data is not available in advance. We show that these capabilities of the model can have significant impact on caching performance. Secondly, we formulate a cooperative content caching in order to optimize the aggregated network cost for delivering contents to users. An efficient caching policy requires an accurate prediction of time varying content popularity. The requests can potentially have interactions over time, among contents, and across locations. To exploit these patterns, a probabilistic dynamical model based on a canonical tensor decomposition is developed. Additionally, an online learning method that works with streaming data where content request arrives sequentially is designed. Numerical results confirm that modeling time-content-location interactions by the proposed model can improve the cooperative caching strategy performance. Last but not least, we take one step further and develop a dynamical model, which besides time-content-location interactions, it can also uncover a non-linear temporal trend structure in content requests through which a more accurate prediction can be attained. Subsequently, a cooperative caching policy is designed which adaptively performs network resource allocation and optimizes content delivery according to the dynamic of content requests. Therefore, the policy provides a more efficient utilization of network resources. Using simulations, we show that the developed caching mechanism outperforms reference methods which ignore the temporal trend information. [less ▲]

Detailed reference viewed: 58 (10 UL)
Full Text
See detailEnhanced Signal Space Design for Multiuser MIMO Interference Channels
Haqiqatnejad, Alireza UL

Doctoral thesis (2021)

Multiuser precoding techniques are critical to handle the co-channel interference, also known as multiuser interference (MUI), in the downlink of multiuser multi-antenna wireless systems. The convention ... [more ▼]

Multiuser precoding techniques are critical to handle the co-channel interference, also known as multiuser interference (MUI), in the downlink of multiuser multi-antenna wireless systems. The convention in designing multiuser precoding schemes has been to treat the MUI as an undesired received signal component. Consequently, the design attempts to suppress the MUI by exploiting the channel state information (CSI), regardless of the instantaneous users’ data symbols. In contrast, it has been shown that the MUI may not always be undesired or destructive as it is possible to exploit the constructive part of the interference or even converting the interfering components into constructive interference (CI) by instantaneously exploiting the users’ intended data symbols. As a result, the MUI can be transformed into a useful source of power that constructively contributes to the users’ received signals. This observation has turned the viewpoint on multiuser precoding from conventional approaches towards more sophisticated designs that further exploit the data information (DI) in addition to the CSI, referred to as symbol-level precoding (SLP). The SLP schemes can improve the multiuser system’s overall performance in terms of various metrics, such as power efficiency, symbol error rate, and received signal power. However, such improvement comes with several practical challenges, for example, the need for setting the modulation scheme in advance, increased computational complexity at the transmitter, and sensitivity to CSI and other system uncertainties. The main goal of this thesis is to address these challenges in the design of an SLP scheme. The existing design formulations for the CI-based SLP problem consider a specific signal constellation; therefore, the design needs to set the modulation scheme in advance. In this thesis, we first elaborate on optimal and relaxed approaches to exploit the CI in a novel systematic way. This study enables us to develop a generic framework for the SLP design problem, which can be used for modulation schemes with constellations of any given shape and order. Depending on the design criterion, the proposed framework can offer significant gains in the power consumption at the transmitter side or the received signal power and the symbol error rate at the receiver side without increasing the complexity, compared to the state-of-the-art schemes. Next, to address the high computational complexity issue, we simplify the design process and propose approximate yet computationally-efficient solutions performing relatively close to the optimal design. We further propose an optimized accelerated FPGA design that allows the real-time implementation of our SLP technique in high-throughput communications systems. Remarkably, the accelerated design enjoys the same per-symbol complexity order as that of the zero-forcing (ZF) precoding scheme. Next, we address the problem of robust SLP design under system uncertainties. In particular, we focus on two sources of uncertainty, namely, the channel and the design process. The related problems are tackled by adopting worst-case and stochastic design approaches and appropriately redefining the precoding optimization problem. The resulting robust schemes can effectively deal with system uncertainties while preserving reliability and power efficiency in the multiuser communications system, at the cost of a slightly increased complexity. Finally, we broaden our scope to new technologies such as millimeter wave (mmWave) communications and massive multiple-input multiple-output (MIMO) systems and revisit the SLP problem for low-cost energy-efficient transmitter architectures. The precoding design problem is more challenging particularly in such scenarios as the related hardware restrictions impose additional (often intractable) constraints on the problem. The restrictions are typically due to the use of finite-resolution analog-to-digital converters (DAC) or analog components such as switches and/or phase shifters. Two well-known design strategies are considered in this thesis, namely, quantized (finite-alphabet) precoding and hybrid analog-digital precoding. We tackle the related problems through adopting efficient design mechanisms and optimization algorithms, which are novel for the SLP schemes. The proposed techniques are shown to improve the system’s energy efficiency compared to the state-of-the-art. [less ▲]

Detailed reference viewed: 208 (40 UL)
See detailCurriculumentwicklung in einer mehrsprachigen Gesellschaft: Das Beispiel Luxemburg
Sattler, Anna-Sabrina UL

Doctoral thesis (2021)

The study starts by shedding light on the specific language situation in Luxembourg’s schools and society and explores the ways in which national curriculum is constructed utilizing the three official ... [more ▼]

The study starts by shedding light on the specific language situation in Luxembourg’s schools and society and explores the ways in which national curriculum is constructed utilizing the three official languages of Luxembourg, namely French, German and Luxembourgish. Against this backdrop it provides a detailed discussion of how specific ideas of a national linguistic identity have evolved in the course of history, and the extent to which they act as the basis for debates on language policy in today’s Luxembourgian school system. Identity formation and curriculum making shall therefore be considered as co-constructing processes, in the sense that the curriculum anticipates future societal ideals. In this respect, the curriculum ‘fabricates’ certain kinds of people and also different kinds of people (Popkewitz, 2008, 2020). Keeping this definition in mind, curriculum design becomes challenging when the school population is highly heterogenous and multilingual in itself: In addition to its historically and contextually determined multilingualism, the Grand Duchy of Luxembourg is home to numerous immigrant languages, and today almost 48% of the population are foreigners (STATEC, 2020a). Educational policy thus has to integrate pupils of non-Luxembourg origin and languages into the trilingual school system. While considering the different usage of languages in Luxembourgian society and the school system, I examine how certain ideas of multilingualism evolved and with it the representation of an ideal member of Luxembourg’s society. The dissertation will first give a historical and sociopolitical overview, concentrating on the interrelation of nation building during the 19th century and the creation of a national school system. Following the historical background, this dissertation focuses on the school and curriculum reform process of 2009 in Luxembourg, in the course of which the former education act of 1912 was replaced by a new law on elementary education. The reform was a response to the below-average performance results in large-scale assessments, first and foremost the PISA-study in the year 2000. Furthermore, it was as well the attempt to create a far more permeable school curriculum in the entire school system, and with it equal opportunities for pupils of different origins. The reform process of 2009 is accordingly seen as a turning point that broke up previously dominant ideas about the intertwinement of language and identity. With regard to these considerations, this study claims the process of curriculum making not only to be an explicit and implicit attempt to control school, and thus social realities. It is explicit to the extent that educational planning is used as a politically conscious mean of social intervention; and implicit because this control simultaneously correlates with cultural-historical practices which create common sense and therefore became subconsciously part of policy making. Following the theoretical approaches of Ludwik Fleck’s epistemology about thought styles (Fleck, 2017 [1935]), my research analyzes the extent to which specific ways of reasoning and acting in the context of curriculum making implicitly result from specific cultural historical conditions underlying the trilingual Luxembourgian school curriculum. Regarding the correlations between the institutional ideal of trilingualism in Luxembourg, the orientation towards international education standards and the extremely heterogeneous and multilingual structure of Luxembourgian society, the dissertation mainly focuses on the interrelation of the curricular paradigm and the challenges faced in the classroom reality. In light of these reflections, the dissertation tackles the following central questions: Which logics of argumentation do different actors within the curriculum making process pursue and how do they legitimize their positions on language policy? Which conflicts arise regarding the students’ linguistic repertoire and (supra-)national standards? To what extent do (supra)national educational agendas interfere with the shaping of a Luxembourg language(s) identity? How is the Luxembourg language(s) identity in light of curriculum making produced and thought? Methodologically, the reform process of 2009 will be historicized and the research questions will be addressed by a two folded research design. First, I conduct a historiographical evaluation of newspaper articles, parliamentary debates, minutes of curriculum meetings, publications of the ministry of education and legal texts. Second, the study contains an empirical analysis of 17 expert interviews which I conducted with key figures of the reform process and those who have been working with the reformed curriculum requirements. Based on the findings of my analyses, the dissertation will show that and why Luxembourg, as a kind of laboratory, is relevant to other multilingual contexts in general and in light of immigration processes in particular. The dissertation offers an innovative impetus by looking at the school reform of 2009 through a cultural-historical perspective. [less ▲]

Detailed reference viewed: 36 (1 UL)
See detailScalable computational modelling of concrete ageing and degradation
Habera, Michal UL

Doctoral thesis (2021)

The typical lifespan of concrete structures ranges from tens to hundreds of years. During such a long period of time many external factors including weather conditions, loading history or environmental ... [more ▼]

The typical lifespan of concrete structures ranges from tens to hundreds of years. During such a long period of time many external factors including weather conditions, loading history or environmental pollution. play a crucial role in concrete health and serviceability state. Prediction (via the means of computer simulation) of the long-term material properties of concrete can thus provide valuable insights and lead to better reusability of construction components. Several very complex multi-physics models were developed in the past decades for this purpose. While these models usually include a wide range of phenomena, the numerical problem which has to be solved poses major challenges and significantly increases required computational time. This makes a predictive simulation of any larger-scale structure non-feasible. On the other hand, commercial codes (ABAQUS, ANSYS, etc.) either lack the material models for a more accurate creep prediction or provide custom material routines which are not computationally optimised. In addition, a specific model and discretisation approach often requires a very specific choice of solvers and preconditioners in order to achieve good parallel scaling properties, so much required for execution on modern HPC infrastructures. In this thesis a 3-D material model for a reinforced concrete based on the micro-prestress solidification theory (MPS) of Bažant, continuum damage mechanics and the temperature and humidity model of Kunzel is efficiently implemented in the finite-element software FEniCS. A high-performance code for the assembly of residual and tangent operators is automatically derived using automatic differentiation capabilities (AD) of FEniCS. Seamless parallel integration with the linear algebra solvers suite PETSc then offers a wide range of solvers. The combination of AD, code generation techniques (e.g. FEniCS), and parallel performance of PETSc solvers for predictive modelling of concrete degradation is not present in the existing literature. It is believed that the results presented here allow the study of reusability and degradation of concrete components also for larger structures, where the conventional existing approaches cannot provide a reasonable computation time. [less ▲]

Detailed reference viewed: 52 (5 UL)
See detailContribution à la réactualisation théorique du rapport entre le contrat et la relation contractuelle au 21e siècle à partir des travaux de Axel Honneth sur la reconnaissance
Dufour, Pascale UL

Doctoral thesis (2021)

The aim of this interdisciplinary thesis is to engage a new theoretical reflection on the function of the contract. It essentially seeks to explain the link between objective law as applied to contractual ... [more ▼]

The aim of this interdisciplinary thesis is to engage a new theoretical reflection on the function of the contract. It essentially seeks to explain the link between objective law as applied to contractual relationships and intersubjective recognition. Honneth’s theoretical framework of recognition is used in order to rethink the classic conceptual toolbox of contractual legal theory, specifically the autonomy of the will and contractual liberty. By reevaluating contractual relationships through the prism of recognition and intersubjectivity, it appears that positive law neither voids nor contradicts these principles. Indeed, a fair number of provisions exist in a different legal realm, guaranteeing the minimal individual independence and social liberty of legal parties in their concrete contractual relationship. The contract, governing individual relationships between parties through positive law, takes on an institutional function beyond its symbolic function, at the crossroads of economic, political and social considerations. The limits of the contract’s function are revealed by the critique of the common legal techniques as well as the level of institutionalization of the contractual relationship. This argumentative decentering stays in line with liberal thinking whilst simultaneously rejecting the postulate of legal individualism, which still is the main critique regarding the principle of the autonomy of the will. This thesis is part of the civil law tradition and mainly draws on examples from Quebec Law and French Law. The conclusions pertaining to the function of the contract enable various explanations of certain contractual phenomena (contracts of adhesion, consumer contracts, default, pre-contractual obligations, etc.) and question many fundamental theoretical discourses in contractual theory (capacity, contractual justice, binding force of the contract, unforeseen events, etc.). [less ▲]

Detailed reference viewed: 80 (5 UL)
Full Text
See detailScattering Theory for the Hodge Laplacian and Covariant Riesz Transforms
Baumgarth, Robert UL

Doctoral thesis (2021)

Detailed reference viewed: 50 (12 UL)
See detailDirection of Arrival Estimation and Localization Exploiting Sparse and One-Bit Sampling
Sedighi, Saeid UL

Doctoral thesis (2021)

In the recent years, in order to reduce implementation costs and physical resources usage, there has been a growing tendency to exploit sparse and one-bit sampling in applications such as array processing ... [more ▼]

In the recent years, in order to reduce implementation costs and physical resources usage, there has been a growing tendency to exploit sparse and one-bit sampling in applications such as array processing, radar and wireless communication. This strategy for collecting data necessitates devising new algorithms for information retrieval in such applications. This fact has motivated further research in areas such as Directional of Arrival (DoA) estimation and source/target localization in the recent years. In this context, the first part of this thesis focuses on DoA estimation using Sparse Linear Arrays (SLAs). We consider this problem under three plausible scenarios from quantization perspective. Firstly, we assume that an SLA quantized the received signal to a large number of bits per samples such that the resulting quantization error can be neglected. Although the literature presents a variety of estimators under such circumstances, none of them are (asymptotically) statistically efficient. Motivated by this fact, we introduce a novel estimator for the DoA estimation from SLA data employing the Weighted Least Squares (WLS) method. We analytically show that the large sample performance of the proposed estimator coincides with the Cram\'{e}r-Rao Bound (CRB), thereby ensuring its asymptotic statistical efficiency. Next, we study the problem of DoA estimation from one-bit SLA measurements. The analytical performance of DoA estimation from one-bit SLA measurements has not yet been studied in the literature and performance analysis in the literature has be limited to simulations studies. Therefore, we study the performance limits of DoA estimation from one-bit SLA measurements through analyzing the identifiability conditions and the corresponding CRB. We also propose a new algorithm for estimating DoAs from one-bit quantized data. We investigate the analytical performance of the proposed method through deriving a closed-form expression for the covariance matrix of its asymptotic distribution and show that it outperforms the existing algorithms in the literature. Finally, the problem of DoA estimation from low-resolution multi-bit SLA measurements, e.g. $2$ or $4$ bit per sample, is studied. We develop a novel optimization-based framework for estimating DoAs from low-resolution multi-bit measurements. It is show that increasing the sampling resolution to $2$ or $4$ bits per samples could significantly increase the DoA estimation performance compared to the one-bit sampling case while the power consumption and implementation costs are still much lower compared to the high-resolution sampling scenario. In the second part of the thesis, the problem of target localization is addressed. Firstly, we consider the problem of passive target from one-bit data in the context of Narrowband Internet-of-Things (NB-IoT). In the recently proposed narrowband IoT (NB-IoT) standard, which trades off bandwidth to gain wide area coverage, the location estimation is compounded by the low sampling rate receivers and limited-capacity links. We address both of these NB-IoT drawbacks by consider a limiting case where each node receiver employs one-bit analog-to-digital-converters and propose a novel low-complexity nodal delay estimation method. Then, to support the low-capacity links to the fusion center (FC), the range estimates obtained at individual sensors are converted to one-bit data. At the FC, we propose a novel algorithm for target localization with the aggregated one-bit range vector. Our overall one-bit framework not only complements the low NB-IoT bandwidth but also supports the design goal of inexpensive NB-IoT location sensing. Secondly, in order to reduce bandwidth usage for performing high precision time of arrival-based localization, we developed a novel sparsity-aware target localization algorithm with application to automotive radars. The thesis concludes with summarizing the main research findings and some remarks on future directions and open problems. [less ▲]

Detailed reference viewed: 234 (40 UL)
Full Text
See detailSecuring Robots: An Integrated Approach for Security Challenges adn Monitoring for the Robotic Operating System
Rivera, Sean UL

Doctoral thesis (2021)

Robotic systems are proliferating in our society due to their capacity to carry out physical tasks on behalf of human beings, with current applications in the military, industrial, agricultural, and ... [more ▼]

Robotic systems are proliferating in our society due to their capacity to carry out physical tasks on behalf of human beings, with current applications in the military, industrial, agricultural, and domestic fields. The Robotic Operating System (ROS) is the de-facto standard for the development of modular robotic systems. Manufacturing and other industries use ROS for their robots, while larger companies such as Windows and Amazon have shown interest in supporting it, with ROS systems projected to make up most robotic systems within the next five years. However, a focus on security is needed as ROS is notorious for the absence of security mechanisms, placing people in danger both physically and digitally. This dissertation presents the security shortcomings in ROS and addresses them by developing a modular, secure framework for ROS. The research focuses on three features: internal system defense, external system verification, and automated vulnerability detection. This dissertation provides an integrated approach for the security of ROS-enabled robotic systems to set a baseline for the continual development of ROS security. Internal system defense focuses on defending ROS nodes from attacks and ensuring system safety in compromise. ROS-Defender, a firewall for ROS leveraging Software Defined Networking (SDN), and ROS-FM, an extension to ROS-Defender that uses the extended Berkely Packet Filter(eBPF), are discussed. External system verification centers on when data becomes the enemy, encompassing sensor attacks, network infrastructure attacks, and inter-system attacks. In this section, the use of machine learning to address sensor attacks is demonstrated, eBPF is utilized to address network infrastructure attacks, and consensus algorithms are leveraged to mitigate inter-system attacks. Automated vulnerability detection is perhaps the most important, focusing on detecting vulnerabilities and providing immediate mitigating solutions to avoid downtime or system failure. Here, ROSploit, an automated vulnerability scanner for ROS, and DiscoFuzzer, a fuzzing system designed for robots, are discussed. ROS-Immunity combines all the components for an integrated tool that, in conjunction with Secure-ROS, provides a suite of defenses for ROS systems against malicious attackers. [less ▲]

Detailed reference viewed: 57 (9 UL)
Full Text
See detailEssai sur les fonctions de la responsabilité contractuelle : l'éclairage du débat doctrinal par la pratique judiciaire française
Boyer, Julie Marie Suzie UL

Doctoral thesis (2021)

In French law, the debate regarding the functions of contractual damages still divides legal scholars. On the one hand, an unitarian approach argues that contractual damages should only compensate the ... [more ▼]

In French law, the debate regarding the functions of contractual damages still divides legal scholars. On the one hand, an unitarian approach argues that contractual damages should only compensate the creditor for his loss (‘réparation’). On the other hand, a dual approach argues that damages should protect the creditor’s right to performance (‘exécution par équivalent’). As a result, damages are not awarded because the debtor is liable, but because the contract guaranteed the performance of an obligation. However, some scholars take a position which aims at reconciling these conflicting positions by recognising the dual function of contractual damages. At a time when the French civil Code is being remodelled, our work tackles this debate with an innovative approach. Using both a comparative and an empirical method, our research verifies the viability of the theoretical arguments. The comparative perspective seeks to highlight the shortcomings in the structure of the debate in French law. The empirical perspective is testing the proposals put forward in the scholarly literature in order to pave the way for a renewed and structured duality of functions of contractual damages. [less ▲]

Detailed reference viewed: 50 (7 UL)
Full Text
See detailMultipath Routing on Anonymous Communication Systems: Enhancing Privacy and Performance
de La Cadena Ramos, Augusto Wladimir UL

Doctoral thesis (2021)

We live in an era where mass surveillance and online tracking against civilians and organizations have reached alarming levels. This has resulted in more and more users relying on anonymous communications ... [more ▼]

We live in an era where mass surveillance and online tracking against civilians and organizations have reached alarming levels. This has resulted in more and more users relying on anonymous communications tools for their daily online activities. Nowadays, Tor is the most popular and widely deployed anonymization network, serving millions of daily users in the entire world. Tor promises to hide the identity of users (i.e., IP addresses) and prevents that external agents disclose relationships between the communicating parties. However, the benefit of privacy protection comes at the cost of severe performance loss. This performance loss degrades the user experience to such an extent that many users do not use anonymization networks and forgo the privacy protection offered. On the other hand, the popularity of Tor has captured the attention of attackers wishing to deanonymize their users. As a response, this dissertation presents a set of multipath routing techniques, both at transport and circuit level, to improve the privacy and performance offered to Tor users. To this end, we first present a comprehensive taxonomy to identify the implications of integrating multipath on each design aspect of Tor. Then, we present a novel transport design to address the existing performance unfairness of the Tor traffic.In Tor, traffic from multiple users is multiplexed in a single TCP connection between two relays. While this has positive effects on privacy, it negatively influences performance and is characterized by unfairness as TCP congestion control gives all the multiplexed Tor traffic as little of the available bandwidth as it gives to every single TCP connection that competes for the same resource. To counter this, we propose to use multipath TCP (MPTCP) to allow for better resource utilization, which, in turn, increases throughput of the Tor traffic to a fairer extend. Our evaluation in real-world settings shows that using out-of-the-box MPTCP leads to 15% performance gain. We analyze the privacy implications of MPTCP in Tor settings and discuss potential threats and mitigation strategies. Regarding privacy, in Tor, a malicious entry node can mount website fingerprinting (WFP) attacks to disclose the identities of Tor users by only observing patterns of data flows.In response to this, we propose splitting traffic over multiple entry nodes to limit the observable patterns that an adversary has access to. We demonstrate that our sophisticated splitting strategy reduces the accuracy from more than 98% to less than 16% for all state-of-the-art WFP attacks without adding any artificial delays or dummy traffic. Additionally, we show that this defense, initially designed against WFP, can also be used to mitigate end-to-end correlation attacks. The contributions presented in this thesis are orthogonal to each other and their synergy comprises a boosted system in terms of both privacy and performance. This results in a more attractive anonymization network for new and existing users, which, in turn, increases the security of all users as a result of enlarging the anonymity set. [less ▲]

Detailed reference viewed: 131 (3 UL)
Full Text
See detailLa controverse constitutionnelle grecque sur l’article 120 § 4 en période de crise. Réflexions sur la compétence controversée du peuple en tant qu’organe de l’État
Mavrouli, Roila UL

Doctoral thesis (2021)

Cette thèse s’intéresse à l’apparition des deux discours doctrinaux grecs durant la période de crise économique de 2008 visant l’(in)constitutionnalité du premier mémorandum d’austérité, suivant les ... [more ▼]

Cette thèse s’intéresse à l’apparition des deux discours doctrinaux grecs durant la période de crise économique de 2008 visant l’(in)constitutionnalité du premier mémorandum d’austérité, suivant les politiques européennes de négociation de la dette publique. Il s’agit de faire apparaître les limites entre le discours du droit, la dogmatique juridique et la science du droit tout en identifiant trois niveaux de langage. La doctrine en tant qu’activité de compréhension, d’explication, de création et de critique du droit se distingue de la connaissance du droit positif. Mais parfois par crainte qu’une vision sociologique du droit ne prive celui-ci de toute prévisibilité, la doctrine se replie sur elle-même en fondant sa « science » et par conséquent prétend à une connaissance de son objet-droit. Ainsi, il s’agit de rechercher si le discours doctrinal pro-mémorandum autant que le discours doctrinal anti-mémorandum ne seraient pas descriptifs, mais exprimeraient des valeurs et énonceraient des prescriptions. Ou bien si la doctrine ne se limitant pas à une activité de connaissance de son objet, elle interprèterait et systématiserait le droit dans son rôle créateur de source complémentaire du droit en dialogue constant avec la jurisprudence et le législateur. Ou bien encore si elle peut être caractérisée par un élément scientifique, à savoir la description critique de l’activité scientifique ou prétendument scientifique à propos du droit. À cet égard, la démarche épistémologique de cette analyse est de montrer que la science juridique, aujourd’hui confrontée à une crise du paradigme positiviste dominant, mène à penser soit la nécessité de changer les dogmes établis soit au fait que l’« anomalie » ne sera pas parvenue à infirmer la fécondité du paradigme en place. [less ▲]

Detailed reference viewed: 92 (11 UL)
Full Text
See detailHuman Motion Analysis Using 3D Skeleton Representation in The Context of Real-World Applications: From Home-Based Rehabilitation to Sensing In The Wild
Lemos Baptista, Renato Manuel UL

Doctoral thesis (2021)

Human motion analysis using 3D skeleton representations has been a very active research area in the computer vision community. The popularity of this high-level representation mainly results from the ... [more ▼]

Human motion analysis using 3D skeleton representations has been a very active research area in the computer vision community. The popularity of this high-level representation mainly results from the large variety of possible real-world applications such as video surveillance, video conferencing, human-computer interaction, virtual reality, healthcare, and sports. Despite the effectiveness of recent 3D skeleton-based approaches, their suitability to real-world scenarios still needs to be assessed. Using these approaches in a real-world scenario can give new insights on how to improve them for reaching real-world standards. In this thesis, we propose new solutions to mitigate existing constraints for the deployment of 3D skeleton-based approaches in various real-world scenarios. For that purpose, we investigate two human motion analysis applications that are based on 3D skeletons, namely, home-based rehabilitation of functional activities and human motion analysis in the wild. In the first part of this thesis, we propose a low-cost solution designed for supporting home-based rehabilitation of stroke survivors under the remote supervision of a therapist. To that end, we introduce the concept of color-based feedback proposals for guiding the patients in real-time while exercising. More specifically, color-based codes are visualized for informing the patient on the accuracy of the movement and on the adequacy of the posture. Feedback proposals are tailored to each patient's body anthropometry. An initial clinical validation shows an improvement of the posture and of the quality of motion when using the proposed feedback proposals. In the second part of this thesis, we focus on human motion analysis in the wild in the context of cross-view action recognition. We propose and investigate different 3D human pose estimation techniques from a single RGB camera in order to take advantage of 3D skeleton-based approaches. Indeed, given their 3D nature, 3D skeletons can overcome more easily the challenge of viewpoint variability in contrast to 2D-based approaches. To show the relevance of 3D pose estimation techniques in the context of human motion analysis, two different pipelines are proposed. The first pipeline makes use of a per-frame pose estimation approach. Per-frame pose estimation shows temporal inconsistency and small fluctuations in the skeleton joint locations over time. Considering this, the second framework is then based on a sequence-to-sequence pose estimation, providing, therefore, temporally consistent skeleton sequences that are more robust to sensing in the wild. These two pipelines show an improvement in recognition accuracy as compared to state-of-the-art approaches on two different well-known datasets. However, despite their relevance, 3D human pose estimation methods present some limitations. For example, their accuracy drops significantly in the presence of unseen environments or situations, eg, challenging camera locations, and outdoor conditions. For that reason, we introduce 3DBodyTex.Pose dataset, an original dataset to address the challenges of camera locations and outdoor scenarios in the context of 3D human pose estimation. Moreover, 3DBodyTex.Pose offers to the research community new possibilities for the generalization of 3D human pose estimation from monocular in-the-wild images from arbitrary camera viewpoints. [less ▲]

Detailed reference viewed: 145 (15 UL)
Full Text
See detailLoad bearing mechanisms of headed stud shear connections in profiled steel sheeting transverse to the beam
Vigneri, Valentino UL

Doctoral thesis (2021)

Composite steel-concrete floor solutions have become popular in the design of buildings thanks to the efficient combination of high tensile strength and ductility of steel with reinforced concrete ... [more ▼]

Composite steel-concrete floor solutions have become popular in the design of buildings thanks to the efficient combination of high tensile strength and ductility of steel with reinforced concrete elements in compression. To ensure the longitudinal shear transfer between the downstand steel beam and the concrete slab in composite beams, headed stud shear connections are generally employed with profiled steel sheeting transverse to the supporting beam. However, whilst the steel deck enhances the bending resistance of the slab, the performance of the shear connection decreases. Based on the evaluation of a large database of push-out tests carried out in the last 40 years, several design models have been proposed in the last decades to predict the resistance of studs but none of them provides safe and reliable results. This is related to the fact that the proposed design equations do not always consider appropriately the actual resistance mechanisms activated in the shear connection. Also, as the failure modes are typically observed at high displacements, no information on the resistance components at lower displacements is given. Therefore, a deep investigation on the sequence of the load bearing resistance mechanisms of headed stud shear connections was performed with the support of an experimental campaign of 21 full scale push-out tests and numerical simulations. From the analysis of the experimental results, it was seen that all the samples experienced rib punching at low displacements followed by concrete pull-out failure or stud rupture. The influence of several structural parameters was also assessed by comparing different test series. It was found that 200 mm wide recess and slab depth have a minor impact on the performance of the connection. Instead, the addition of waveform rebars increased the resistance by 26% as well as the slip capacity whereas the different position of the wire mesh did not show an important influence. To investigate specifically the behaviour of the shear connections, the distribution of the compressive stresses in the rib and the plastic hinges developed in the stud connector were evaluated by means of a validated finite element model. From the outcomes of the experimental and numerical study, three main load bearing phases were distinguished. At low displacements (Phase 1), the concrete is not damaged until the typical cone crack initiates at the edge of the rib and the stud deforms in bending. Subsequently (Phase 2), while the cracks propagate, the internal forces in the rib redistribute and the resistance is governed by the bearing stresses of the concrete in front of the connector. At large displacements (Phase 3), the front side of the concrete rib is highly damaged whereas the tension stresses in the stud increases significantly due to pulling forces. For further slips, this can lead to concrete pull-out or stud rupture as confirmed by the experimental studies. These insights were taken as a basis for the development of three respective mechanical models: cantilever model, modified strut and tie model (MSTM), and strut and tie model (STM). Whilst the first considers the system as a cantilever beam, the other two reproduce the concrete as a system of compression struts and the steel sheeting was modelled as tie elements. All the resistance functions were analytically derived in consideration of the experimental and numerical results in order to estimate the capacity of the shear connection at different displacements. As the STM focuses on the behaviour at large deformations, only the first two models were considered to predict the actual capacity of the shear connection. The design resistance of these two proposed models was finally calibrated according to the statistical procedure of EN 1990. [less ▲]

Detailed reference viewed: 243 (43 UL)
See detailTUMOUR-ASSOCIATED MICROGLIA/MACROPHAGE HETEROGENEITY IN GLIOBLASTOMA
Pires Afonso, Yolanda Sofia UL

Doctoral thesis (2021)

Glioblastoma (GBM) is the most common and aggressive primary brain tumour in adults, characterized by high degrees of both inter- and intra-tumour heterogeneity. GBM cells secrete numerous factors ... [more ▼]

Glioblastoma (GBM) is the most common and aggressive primary brain tumour in adults, characterized by high degrees of both inter- and intra-tumour heterogeneity. GBM cells secrete numerous factors promoting the recruitment and infiltration of cellular players to the local tumour microenvironment. Tumour-associated microglia/macrophages (TAMs) represent the major cell type of the stromal compartment in GBM playing important roles along tumour development. Along GBM progression, these cells are supposed to be geared towards a tumour-supportive phenotype, therefore TAMs are pursued as key targets for the development of novel strategies aimed at re-educating them towards anti-tumour phenotypes. However, it is yet unclear how these immune suppressive properties are acquired and whether TAM subsets may phenotypically and functionally differently contribute to tumour development. Hence, the main goal of the present PhD project was to elucidate TAM diversity under defined temporal and spatial settings in GBM. Taking advantage of the GBM GL261 syngeneic and patient-derived orthotopic xenograft mouse models, we comprehensively studied the cellular and transcriptional heterogeneity of TAMs by combining single-cell RNA-sequencing, multicolour flow cytometry, immunohistological and functional analyses. We demonstrated that, as observed in patients, the myeloid compartment is the most affected and heterogeneous stromal compartment, with microglia and macrophage-like cells acquiring key transcriptional differences and rapidly adapting along GBM progression. Specifically, we uncovered that TAM transcriptional programmes converge over time, suggesting a context-dependent symbiosis mechanism characterized by decreased antigen-presenting cell signatures at late tumour stages. In the absence of Acod1/Irg1, a key gene involved in the metabolic reprogramming of macrophages towards an anti-inflammatory phenotype, we detected higher TAM diversity in the TME displaying increased immunogenicity and correlating with increased lymphocytic recruitment to the tumour site. Additionally, we uncovered that TAMs exhibit niche-specific functional adaptations in the tumour microenvironment, with microglia in the invasive landscapes displaying higher immune reactive profiles when compared to the corresponding cells in the angiogenic tumour phenotypes. Taken together, our data provide insights into the spatial and molecular heterogeneity of TAMs dynamically adapting along tumour progression or across specific tumour sites and revealing potential reactive anti-tumorigenic cell subsets that may be harnessed for therapeutic intervention in GBM. [less ▲]

Detailed reference viewed: 35 (2 UL)
See detailComprehensive peptidomic analysis of cell culture models and exosomes
Fougeras, Miriam Rebecca UL

Doctoral thesis (2021)

Cellular endogenous peptides may harbour important signalling functions regulating health and disease. The identification of functional peptides by mass spectrometry is very challenging but it allows ... [more ▼]

Cellular endogenous peptides may harbour important signalling functions regulating health and disease. The identification of functional peptides by mass spectrometry is very challenging but it allows identification and quantification of peptides in a large-scale and can provide experimental evidence of bioactive peptides. Quantitative approaches can provide insights in the regulation of endogenous peptides, however, they need a robust peptide extraction methodology. We demonstrated that different approaches for peptidomic sample preparation introduce variation and strongly influence the identification of different sets of peptides, showing the need of a critical evaluation of peptide extraction protocols. We identified a global peptidome, stable throughout different cell lines and within different organisms. And high numbers of identification allows us to target cellular fractions. An interesting source of bioactive peptides are extracellular vesicles (EVs). EVs transfer signalling molecules for cell-to-cell communication with surrounding but also distant cells. In cancer, EVs are involved in tumour progression, metastasis and treatment resistance. Their purity for proteomic and peptidomic analysis is very crucial and we consequently described strategies to assess the vesicle purity by mass spectrometry and selected a robust sample preparation method for further application. We identified many nuclear proteins enriched in EVs upon hypoxic treatment, even though general cellular markers were overall highly reduced in EV samples compared to cell samples. We thus conclude that the enriched cargo of the EVs is the result of targeted exocytosis of important proteins for tumour progression, rather than random co-exportation. An increased export of nuclear proteins involved in DNA replication, repair or chromatin remodelling suggests a proliferation-related signature of hypoxic EVs. So far, most EV studies are limited to the EVs’ nucleic acid, lipid or proteomic cargo, but little is known about the peptidomic cargo. Challenges of EV peptidomics lie in the low starting material EVs provide, compared to the high starting material which is usually needed for peptidomic studies. However, the exploitation of EVs regarding their peptidomic cargo might pave the way for better understanding of signalling pathways. Thus we aimed at comprehensively studying the cellular and EV peptidome. By combining different peptide extraction methodologies, we detected a vesicle- and a cell-origin related signature in the peptidome and we showed the feasibility of a parallel peptide and protein extraction and it’s advantage for precious EV-enriched samples. [less ▲]

Detailed reference viewed: 27 (2 UL)
Full Text
See detailMining App Lineages: A Security Perspective
Gao, Jun UL

Doctoral thesis (2021)

Direct inter-app code invocation in Android apps and its evolution: The Android ecosystem offers different facilities to enable communication among app components and across apps to ensure that rich ... [more ▼]

Direct inter-app code invocation in Android apps and its evolution: The Android ecosystem offers different facilities to enable communication among app components and across apps to ensure that rich services can be composed through functionality reuse. At the heart of this system is the Inter-component communication (ICC) scheme, which has been largely studied in the literature. Less known in the community is another powerful mechanism that allows for direct inter-app code invocation which opens up for different reuse scenarios, both legitimate or malicious. In this dissertation, we expose the general workflow for this mechanism, which beyond ICCs, enables app developers to access and invoke functionalities (either entire Java classes, methods or object fields) implemented in other apps using official Android APIs. We experimentally showcase how this reuse mechanism can be leveraged to “plagiarize" supposedly-protected functionalities. Typically, we could leverage this mechanism to bypass security guards that a popular video broadcaster has placed for preventing access to its video database from outside its provided app. We further contribute with a static analysis toolkit, named DICIDer, for detecting direct inter-app code invocations in apps. An empirical analysis of the usage prevalence and evolution of this reuse mechanism is then conducted. [less ▲]

Detailed reference viewed: 98 (10 UL)
See detailImplications of Blockchain-Based Smart Contracts on Contract Law
Bomprezzi, Chantal UL

Doctoral thesis (2021)

Detailed reference viewed: 66 (3 UL)
Full Text
See detailLarge Scale Parallel Simulation For Extended Discrete Element Method
Mainassara Chekaraou, Abdoul Wahid UL

Doctoral thesis (2020)

Numerical models are commonly used to simulate or model physical processes such as weather forecasts, fluid action, rocket trajectory, building designs, or biomass combustion. These simulations are ... [more ▼]

Numerical models are commonly used to simulate or model physical processes such as weather forecasts, fluid action, rocket trajectory, building designs, or biomass combustion. These simulations are immensely complex and require a hefty amount of time and computation, making it impossible to run on a standard modern laptop in a reasonable and fair period. This research work targets large-scale and parallel simulations of DEM and DEM-CFD couplings using high-performance computing techniques and optimizations. This thesis aims to analyze, contribute, and apply the DEM approach using the XDEM multi-Physics toolbox to physical processes that have been reluctant to be used due to their required computational resources and time. The first step of this work is to analyze and investigate the performance bottlenecks of the XDEM software. Therefore, the latter has been profiled and some critical parts as the contact detection were identified as the main bottlenecks of the software. A benchmark has also been set up to assess each bottleneck part’s performance using a baseline case. This step is crucial as it defines the general guidelines to follow in optimizing any application in general. A complete framework has been developed from scratch and aims to test and compare several contact detection algorithms and implementations. The framework, which also has a parallel version, has been used to select an appropriate algorithm and implementation for the XDEM software. The link-cell approach, combined with a new Verlet list concept, proved to be the best option for significantly reducing the contact detection part’s computational time. The Verlet buffer concept developed during this thesis takes the particle flow regime into account when selecting the skin margin to enhance the algorithm’s efficiency further. In order to target the high-performance computers for large-scale simulations, a full hybrid distributed-shared memory parallelization has been introduced by adding a fine-grain OpenMP implementation layer to the existing MPI approach. A shared memory parallelization allows taking full advantage of personal workstations with modern CPU architecture. On the other hand, a hybrid approach is one of the best ways to fully exploit the computing node capacities of our modern CPU clusters that mainly have a NUMA architecture. Macro-benchmarking performance analysis showed that we could entirely exploit 80% (speed-up) of 85 computing nodes representing 2380 cores on the ULHPC supercomputer. Finally, a life-size biomass combustion furnace is developed and used as an application test to demonstrate the complex and heavy cases that the XDEM software can accommodate at this time. The furnace is the combustion chamber of a 16 MW geothermal steam super-heater, partoftheEnelGreenPower"Cornia2." powerplant located in Italy. It proves that DEM, in general, and XDEM in particular, can be used for real case applications that discourage users due to their complexity and especially the time required to deliver the outcome results. [less ▲]

Detailed reference viewed: 57 (9 UL)
See detailUnlawful Content Online: Towards A New Regulatory Framework For Online Platforms
Ullrich, Carsten UL

Doctoral thesis (2020)

The thesis reviews the online intermediary liability framework of the E-Commerce Directive (in Articles 12 - 15) along two research questions. 1) Is the current legal framework regulating content ... [more ▼]

The thesis reviews the online intermediary liability framework of the E-Commerce Directive (in Articles 12 - 15) along two research questions. 1) Is the current legal framework regulating content liability of online platforms under the ECD still adequate when it comes to combating illegal content? 2) Are there alternative models for intermediary regulation that are better suited to include internet intermediaries in the fight against illegal content? These questions were formulated against the premises that unlawful content online has been a persisting and growing problem and that the position of online intermediaries today makes enhanced responsibilities on their part necessary. The thesis undertakes to analyse the nature of the enforcement challenges in the EU when trying to engage online platforms under the current liability framework, and charts out an alternative approach to holding online platforms responsible. Chapter 3 reviews the current intermediary framework in the EU and the horizontal challenges of holding internet intermediaries liable. This is analysed against the backdrop of the proliferation of the internet and online platforms, sketched out in the preceding Chapter 2. Due to the ambiguity and outdatedness of the ECD provisions, on the one hand, and different national secondary liability traditions, on the other hand, the liability protections of online platforms have been interpreted and applied differently by EU Member States, and most importantly courts, leading to an uneven and ineffective enforcement landscape. Chapter 4 analyses sectoral provisions that cover different kinds of offences related to unlawful content and their interactions with the ECD and national legislation on intermediary liability. The thesis evaluates enforcement efforts in the areas of defamation, hate speech, terrorist content, copyright, trademarks, product safety and food safety. While none of the national (sectoral) approaches reviewed appear to be effective when trying to enlist intermediaries in the fight against unlawful content, the latter have built up powerful own private enforcement systems that have come to rival and run counter to public interests and fundamental rights. Chapter 5 introduces case studies of online enforcement in the areas of product and food safety, based on interviews conducted with market surveillance authorities in the EU. The specific enforcement system of EU product regulation poses particular challenges, but also offers some useful lessons for the eventual framework proposed in Chapter 6. This system eschews today’s liability cornerstones and the reliance of self-regulatory tools favoured by EU and national legislators so far. Instead it proposes an enhanced responsibility system, based on harmonised technical standards as used in the EU's New Approach regulatory method. Technical standards would define duty of care obligations in the guise of risk management approaches, which focus on defined (sectoral) harms that arise from the business practices of online platforms. They incorporate prospective responsibilities, such as for example safety by design for user onboarding, user empowerment, or (algorithmic) content management, as well as specific retrospective responsibilities relating to e.g. notice and takedown or content identification system. The standard can be adapted to the type of harm/violation, thus taking account of the specific fundamental rights and public interests involved on a sectoral level. [less ▲]

Detailed reference viewed: 107 (31 UL)
See detailTaxation, Data and Destination - An Analysis of the Compatibility of a Digitalized Destination-Based Corporate Tax and a Destination-Based Cash-Flow Tax with International and EU Tax and Data Protection Law Frameworks
Sinnig, Julia Ruth UL

Doctoral thesis (2020)

The digitalized economy poses challenges and issues to traditional corporate taxation that require modifications in the way companies are taxed under international tax law. The thesis discusses two tax ... [more ▼]

The digitalized economy poses challenges and issues to traditional corporate taxation that require modifications in the way companies are taxed under international tax law. The thesis discusses two tax proposals to face some of the main issues, such as the intangibility of business assets and operations, the lack of physical presence of businesses in market jurisdictions, as well as non-taxation under both corporate income tax and value added tax in these jurisdictions. One of the tax proposals is the destination-based cash-flow tax that has been elaborated on mainly in economic literature. The other proposal has been drafted by the author and is named "digitalized destination-based corporate tax". The thesis analyzes the business and legal context in which the two taxes would operate: beyond the testing of the two model taxes against several digitalized business models, the relevant legal frameworks known in taxation and composed by double taxation conventions, EU law and WTO law are analyzed. Moreover, considering that the place of destination is determined by reference to the place of customers or users, corporate taxpayers likely need to collect and process (personal) data of these third parties in order to determine their place of tax liability. Thus, the thesis also examines potential data protection law interferences. [less ▲]

Detailed reference viewed: 83 (8 UL)
Full Text
See detailPressure Sensing with Nematic Liquid Crystal and Carbon Nanotube Networks
Murali, Meenu UL

Doctoral thesis (2020)

The study of colloidal dispersions of nanoparticles in liquid crystals (LCs) is well known. In most of the works, the particles are mixed into the LC to form suspensions with well-dispersed particles ... [more ▼]

The study of colloidal dispersions of nanoparticles in liquid crystals (LCs) is well known. In most of the works, the particles are mixed into the LC to form suspensions with well-dispersed particles. However, when nanoparticles are physically connected to form networks, the overall macroscopic properties of the ensemble are directly linked to the specific properties of the nanoparticles. Carbon nanotubes (CNTs) are excellent electrical conductors possessing extremely high aspect ratio, which results in a very low concentration threshold needed to obtain percolation. Therefore, they form conductive networks with extremely small amounts of CNTs. Another advantage of carbon nanotubes is their capability to transport large current densities without damage by electromigration, maintaining a stable resistance, and having scattering-less paths across several microns. Moreover, the electromechanical properties of CNTs make them an ideal candidate in pressure sensing technology. The doctoral thesis presented here describes two different approaches to integrate and utilise CNTs in an LC matrix. In the first case, we show that a variety of nanoparticles that are dispersed in LC can be attracted and assembled onto a LC defect line generated in a predetermined location, thereby creating a vertical interconnect of nanoparticles. The second consists of CNT sheets mechanically drawn from a CNT forest and an LC cell is then built on top, and the second consists of a template-based assembly of dispersed CNTs onto defect lines in LCs. In this case, we study the electrical and optical properties of CNT sheets in the presence and absence of liquid crystals based on their DC electrical characterization with distributed electrical contacts. Finally, we discuss how these two approaches can be used to successfully fabricate pressure-sensing devices. The pressure response in both these sensors is achieved based on the change in resistance of the CNTs, induced by the structural variations under the external applied pressure. Both the pressure sensors developed here are easy to fabricate, cost-effective, and recoverable owing to the elasticity and softness of the LC. [less ▲]

Detailed reference viewed: 93 (24 UL)
Full Text
See detailDEMAND-SIDE-MANAGEMENT MIT WÄRMEPUMPEN IN LUXEMBURG - POTENZIALE UND HERAUSFORDERUNGEN DER WÄRMEPUMPENFLEXIBILITÄT FÜR DIE SYSTEMINTEGRATION DER ERNEUERBAREN ENERGIEN
Bechtel, Steffen UL

Doctoral thesis (2020)

In 2020 the European Union introduced the “Green Deal” and declared the target of climate neutrality until 2050. The necessary measures will lead to a massive roll-out of fluctuating renewable energies ... [more ▼]

In 2020 the European Union introduced the “Green Deal” and declared the target of climate neutrality until 2050. The necessary measures will lead to a massive roll-out of fluctuating renewable energies such as wind power and photovoltaic. This in turn will lead to an increasing need for flexibility in the energy system. The design of the future European internal market for electricity intends to let end-consumers actively participate by managing their consumption based on variable electricity prices and in that way contributing to the flexibility demand. For private households, these Demand-Side-Management measures target heat pumps in particular. This work analyzes the flexibility potential of heat pumps in residential buildings and addresses challenges in the Luxembourgish context. The time horizon for the evaluation is defined as 2030. The methodology presented in this work is applicable to similar regions in Europe. The research questions are investigated by the means of thermal simulation. The software TRNSYS is used for the building models and heating systems. A Model-Predictive-Control, developed in MATLAB, is sending control signals to the heat pump that are based on variable electricity tariffs. The heat extraction of the thermal energy storage tank is determined by a neural network, so that the Model-Predictive-Control in itself works without an integrated building model. The suitability of the approach is validated by the simulation results. Based on the national developments in the building stock, there is a theoretical heat pump potential of 236-353 MWel that can offer flexibility. The band with arises because of different suppositions for the yearly refurbishment rate. The technical potential is significantly lower and is determined by the developments of the national heat pump market. As the data availability for Luxemburg was insufficient, a heat market study was initiated that investigated sales numbers for the period of 2014-2018 and derived scenarios until 2030. The technical potential in conclusion amounts to 30-73 MWel. The insights of the national context are used for the design of the simulation models. The concept of Demand-Side-Management is tested with numerous simulation cases and is then evaluated on aspects of energy efficiency, profitability and load shifting. In total there are three reference buildings, one single-family and one multi-family house, each according to the energetic standard of a new construction, and one single-family house that meets the legal requirements for energetic refurbishment in Luxembourg. In order to demonstrate the influence of the heat source there are simulations with air-to-water as well as geothermal heat pumps. The analysis furthermore considers six different thermal energy storage capacities. The influence of the predictive control strategy is demonstrated by a comparison with reference cases that work with a common control. The flexible electricity tariffs are based on real market data of the EPEX-Spot Day-Ahead auction and is completed with grid fees and taxes in Luxembourg. The simulation results confirm the suitability of the Model-Predictive-Control approach without integrated building model. Air-to-water heat pumps achieve better efficiency and cost reduction than geothermal heat pumps, as they have two ways to reduce the costs: via the variable electricity tariffs and via a performance optimization of the heat pump itself. The performance optimization is the preferred choice of the control strategy if the price profile consists of mainly static components. Buildings with high insulation level show a sharper reaction to price signals than buildings with lower insulation standard. For the latter in return the absolute cost reduction potential is better as the overall energy demand is higher. With low capacity thermal energy storage, the energy efficiency and cost reduction potential are limited since the reaction to price signals immediately leads to a temperature rise in the tank counteracting the overall objective by increasing the heat pump consumption. With increasing tank capacity, this aspect improves. Nevertheless, there is a limit where the increasing heat losses of the tank compensate the positive aspects of bigger tanks. As the heating systems are usually not equipped with larger thermal energy storage tanks, there is an extra investment for the end-consumer that needs to be compensated by the cost reduction of the Demand-Side-Management. This profitability is only given for the multi-family house and the less insulated single-family house, equipped with an air-to-water heat pump and small to medium sized storage tanks. Two alternative price profiles are tested in order to demonstrate the influence of the price signals. In the first case, a higher volatility of the prices is presumed, to reflect a higher market share of renewable energies. In the second case variable grid fees are added to the volatile prices to further increase the incentive of Demand-Side-Management. In all simulation cases the cost reduction increases so that that buildings with high thermal insulation and air-to-water heat pump are profitable with medium sized thermal energy storage. At the same time a change of behavior of the predictive controller can be observed as the price signals become more attractive than the aspect of performance optimization, leading to an increased electricity consumption in comparison to the previous price profile. An overall economic potential of 22-53 MWel can be concluded. The numerous constraints for the heat pump operation lead to an implicit load management effect that is difficult to interpret. Nevertheless, there is a clear systemic benefit of Demand-Side-Management that result from the better performance of air-to-water heat pumps and the highly probable reaction to extreme price signals. The assessment of a high number of heat pumps by the grid operator in order to stabilize the electricity grid is questionable. The main counter arguments are the limited reliability considering the constraints and the low electric power compared to the e-mobility that will be the major challenge of the low voltage grids in the nearer future. Concepts, where energy providers or direct marketers assess the flexibility to optimize procurement strategies seems more interesting. In this context the profitability is the main question that cannot be verified based on the findings, except if there is added value stemming from synergy effects that were not considered in this work. In relation to the peak demand of the Luxembourgish energy system there is a relevant heat pump potential for Demand-Side-Management. In the nearer future the subject should be further investigated, keeping in mind the findings and sensitivities presented in this work. [less ▲]

Detailed reference viewed: 170 (23 UL)
Full Text
See detailRecycling of gravel wash mud for manufacturing CO2-reduced cement
Thapa, Vishojit Bahadur UL

Doctoral thesis (2020)

The present research project “CO2REDCEM” is carried out at the Laboratory of Solid Structures (LSS) of the University of Luxembourg, in close collaboration with Luxembourgish industrial partners (Cimalux ... [more ▼]

The present research project “CO2REDCEM” is carried out at the Laboratory of Solid Structures (LSS) of the University of Luxembourg, in close collaboration with Luxembourgish industrial partners (Cimalux S.A., Carrières Feidt S.A. and Contern S.A.). This project aims at reducing the generation of CO2 emissions during cement production by minimisation of the use of cement clinker or its complete replacement by new binder compositions and concepts, containing novel material resources derived from local unused industrial waste products. Such a potential raw material is gravel wash mud (GWM), which occurs as a waste product from gravel mining. This clayey mud is collected from a sludge reservoir, located in the North West of Luxembourg. Currently, this waste product is landfilled without any further use. However, this prime material offers very promising properties, which require a thorough characterisation and verification before its revalorisation as a viable supplementary cementitious material (SCMs). Reusing or recycling of waste elements into goods has been among the greatest ambitions of our and earlier generations, and it will take a more important role in the future economy. One primary goal of this project is to replace the “end-of-life” concept of gravel wash mud by reusing it as new raw material. This endeavour will bring double benefit to environment as the waste is prevented from landfilling, and it is revalorised as a prime resource in another system.This research work shares the outcomes from the assessment of the performance of the prime material GWM within the following binder concepts and binder reaction mechanisms: • The use of gravel wash mud (GWM) powders as a precursor material for the synthesis of alkali-activated binders: A “cementless” binder is synthesised by alkaline activation of processed and calcined GWM powders. The mitigation of the CO2 emissions is achieved by the calcination process of the clayey gravel wash mud, which requires less thermal energy and thus lower energy consumption than for cement clinker production. • Substitution of Ordinary Portland Cement (OPC) by calcined GWM powders: Cement and concrete mixtures are prepared based on partial replacement of Portland cement by calcined GWM powders. This study presents the investigations on the involved reaction mechanisms (pozzolanic and cementitious hydration reactions), the optimal mixture configurations and the optimal material treatment processes. • The development of lime-Metakaolin-GWM binder concepts: Mixtures without cement are developed using GWM and other constituents, classified as industrial by-products. This research includes the mineralogical and microstructural characterisation of the constituents, the understanding of the reaction mechanism, and the optimisation of the mixtures to enhance the performance of the novel cementitious products. This thesis allowed to assess the performance of the waste product GWM as a valid pozzolanic prime material and to understand the requirements on physical, chemical and mineralogical characteristics of any potential raw material to ensure its permissibility as an alternative supplementary cementitious material (SCM). [less ▲]

Detailed reference viewed: 132 (9 UL)
Full Text
See detailBoosting Automated Program Repair for Adoption By Practitioners
Koyuncu, Anil UL

Doctoral thesis (2020)

Automated program repair (APR) attracts a huge interest from research and industry as the ultimate target in automation of software maintenance. Towards realizing this automation promise, the research ... [more ▼]

Automated program repair (APR) attracts a huge interest from research and industry as the ultimate target in automation of software maintenance. Towards realizing this automation promise, the research community has explored various ideas and techniques, which are increasingly demonstrating that APR is no longer fictional. Although literature techniques constantly set new records in fixing a significant fraction of defects within well-established benchmarks, we are not aware of large-scale adoption of APR in practice. Meanwhile, open-source and commercial organizations have started to reflect on the potential of integrating some automated steps in the software development cycle. Actually, the current practice has several development settings that use a number of tools to automate and systematize various tasks such as code style checking, bug detection, and systematic patching. Our work is motivated by this fact. We advocate that systematic and empirical exploration of the current practice that leverage tools to automate debugging tasks would provide valuable insights for rethinking and boosting the APR agenda towards its acceptability by developer communities. We have identified three investigation axes in this dissertation. First, mining software repositories towards understanding code change properties that could be valuable to guide program repair. Second, analyzing communication channels in software development in order to assess to what extent they could be relevant in a real-world program repair scenario. Third, exploring generic concepts of patching in the literature for establishing a common foundation for program repair pipelines that can be integrated with industrial settings. This dissertation makes the following contributions to the community: • An empirical study of tool support in a real development setting providing concrete insights on the acceptance, stability and the nature of bugs being fixed by manually-craft patches vs tool-supported patches and manifests opportunities for improving automated repair techniques. • A novel information retrieval based bug localization approach that learns how to compute the similarity scores of various types of features. • An automated mining strategy to infer fix pattern that can be integrated to automated program repair pipelines. • A practical bug report driven program repair pipeline. [less ▲]

Detailed reference viewed: 110 (13 UL)
Full Text
See detailRobust Real-time Sense-and-Avoid Solutions for Remotely Piloted Quadrotor UAVs in Complex Environments
Wang, Min UL

Doctoral thesis (2020)

UAV teleoperation is a demanding task: to successfully accomplish the mission without collision requires skills and experience. In real-life environments, current commercial UAVs are to a large extent ... [more ▼]

UAV teleoperation is a demanding task: to successfully accomplish the mission without collision requires skills and experience. In real-life environments, current commercial UAVs are to a large extent remotely piloted by amateur human pilots. Due to lack of teleoperation experience or skills, they often drive UAVs into collision. Therefore, in order to ensure safety of the UAV as well as its surroundings, it is necessary for the UAV to boast the capability of detecting emergency situation and acting on its own when facing imminent threat. However, the majority of UAVs currently available in the market are not equipped with such capability. To fill in the gap, in this work we present 2D LIDAR based Sense-and-Avoid solutions which are able to actively assist unskilled human operator in obstacle avoidance, so that the operator can focus on high-level decisions and global objectives in UAV applications such as search and rescue, farming etc. Specifically, with our novel 2D LIDAR based obstacle detection and tracking algorithm, perception-assistive flight control design, progressive emergency evaluation policies and optimization based and adaptive virtual cushion force field (AVCFF) based avoidance strategies, our proposed UAV teleoperation assistance systems are capable of obstacle detection and tracking, as well as automatic obstacle avoidance in complex environment where both static and dynamic objects are present. Additionally, while the optimization based solution is validated in Matlab, the AVCFF based avoidance system has been fully integrated with sensing system, perception-assistive flight controller on the basis of the Hector Quadrotor open source framework, and the effectiveness of the complete Sense-and-Avoid solution has been demonstrated and validated on a realistic simulated UAV platform in Gazebo simulations, where the UAV is operated at a high speed. [less ▲]

Detailed reference viewed: 64 (6 UL)
Full Text
See detailTertium non datur: Various aspects of value-added (VA) models used as measures of educational effectiveness
Levy, Jessica UL

Doctoral thesis (2020)

Value-added (VA) models are used as measures of educational effectiveness which aim to find the “value” that has been added by teachers or schools to students’ achievement, independent of students’ ... [more ▼]

Value-added (VA) models are used as measures of educational effectiveness which aim to find the “value” that has been added by teachers or schools to students’ achievement, independent of students’ backgrounds. Statistically speaking, teacher or school VA scores are calculated as the part of an outcome variable that cannot be explained by the covariates that are in the VA model (i.e., the residual). Teachers or schools are classified as effective (or ineffective) if they have a positive (or negative) effect on students’ achievement compared to a previously specified norm value. Although VA models have gained popularity in recent years, there is a lack of consensus concerning various aspects of VA scores. The present dissertation aims at shedding light on these aspects, including the state of the art of VA research in the international literature, covariate choice, and model selection for the estimation of VA scores. In a first step, a systematic literature review was conducted, in which 370 studies from 26 countries were classified, focusing on methodological issues (Study 1 of the present dissertation). Results indicated no consensus concerning the applied statistical model type (the majority applied a linear regression, followed by multilevel models). Concerning the covariate choice, most studies used prior achievement as a covariate, cognitive and/or motivational student data were hardly considered, and there was no consensus on the in- or exclusion of students’ background variables. Based on these findings, it was suggested that VA models are better suited to improve the quality of teaching than for accountability and decision-making purposes. Secondly, based on one of the open questions resulting from Study 1 (i.e., covariate choice), the aim of Study 2 was to systematically compare different covariate combinations in the estimation of school VA models. Based on longitudinal data from primary school students participating in the Luxembourg School Monitoring Programme in Grades 1 and 3, three covariate sets were found to be essential when calculating school VA scores with math or language achievement as dependent variables: prior language achievement, prior math achievement, and students’ sociodemographic and sociocultural background. However, the evaluation of individual schools’ effectiveness varied widely depending on the covariate set that was chosen, casting further doubt on the use of VA scores for accountability purposes. Thirdly, the aim of Study 3 was to investigate statistical model selection, as Study 1 showed no consensus on which model types are most suitable for the estimation of VA scores, with the majority of studies applying linear regression or multilevel models. These classical linear models, along with nonlinear models and different types of machine learning models were systematically compared to each other. Covariates were kept constant (based on the results from Study 2) across models. Multilevel models led to the most accurate prediction of students’ achievement. However, as school VA scores varied depending on specific model choices and as these results can be only generalized for a Luxembourgish sample, it was suggested for future research that the model selection process should be made transparent and should include different specifications in order to obtain ranges of potential VA scores. In conclusion, all three studies imply that the application of VA models for decision-making and accountability should be critically discussed and that VA scores should not be used as the only measure for accountability or high-stakes decisions. In addition, it can be concluded that VA scores are more suitable for informative purposes. Thus, the findings from the present dissertation prepare the ground for future research, where schools with stable high VA scores can be part of further investigations (both qualitatively and quantitatively) to study their pedagogical strategies and learn from them. [less ▲]

Detailed reference viewed: 126 (17 UL)
Full Text
See detailActionable knowledge for sustainability at the water-land nexus: An inquiry into governance and social learning in two river basins in Luxembourg
Hondrila, Kristina UL

Doctoral thesis (2020)

The thesis offers in-depth empirical insights into diverse factors that foster or hinder collective capacities of actors to address sustainability challenges at the water-land nexus. It focuses on how ... [more ▼]

The thesis offers in-depth empirical insights into diverse factors that foster or hinder collective capacities of actors to address sustainability challenges at the water-land nexus. It focuses on how relations, knowledge, and practices in diverse organisations and professions engaged in governance and social learning processes in the Syr and Upper Sûre river basins in Luxembourg have changed following the entering into force of the EU Water Framework Directive in 2000. Finding that contradictions in water and land systems grow while spaces for self-organisation and meaning-making shrink, the thesis raises fundamental questions concerning both dominant supply- and productivity-oriented paradigms and managerial approaches to sustainability. New governance approaches are needed to foster social learning and actionable knowledge, embracing interrelations between ecological and social dimensions of sustainability. [less ▲]

Detailed reference viewed: 199 (61 UL)
Full Text
See detailA newform theory for Katz modular forms
Mamo, Daniel Berhanu UL

Doctoral thesis (2020)

In this thesis, a strong multiplicity one theorem for Katz modular forms is studied. We show that a cuspidal Katz eigenform which admits an irreducible Galois representation is in the level and weight old ... [more ▼]

In this thesis, a strong multiplicity one theorem for Katz modular forms is studied. We show that a cuspidal Katz eigenform which admits an irreducible Galois representation is in the level and weight old space of a uniquely associated Katz newform. We also set up multiplicity one results for Katz eigenforms which have reducible Galois representation. [less ▲]

Detailed reference viewed: 44 (3 UL)
Full Text
See detailA newform theory for Katz modular forms
Mamo, Daniel Berhanu UL

Doctoral thesis (2020)

In this thesis, a strong multiplicity one theorem for Katz modular forms is studied. We show that a cuspidal Katz eigenform which admits an irreducible Galois representation is in the level and weight old ... [more ▼]

In this thesis, a strong multiplicity one theorem for Katz modular forms is studied. We show that a cuspidal Katz eigenform which admits an irreducible Galois representation is in the level and weight old space of a uniquely associated Katz newform. We also set up multiplicity one results for Katz eigenforms which have reducible Galois representation. [less ▲]

Detailed reference viewed: 99 (6 UL)
Full Text
See detailImmersions of surfaces into SL(2,C) and into the space of geodesics of Hyperbolic space
El Emam, Christian UL

Doctoral thesis (2020)

This thesis mainly treats two developments of the classical theory of hypersurfaces inside pseudo-Riemannian space forms. The former - a joint work with Francesco Bonsante - consists in the study of ... [more ▼]

This thesis mainly treats two developments of the classical theory of hypersurfaces inside pseudo-Riemannian space forms. The former - a joint work with Francesco Bonsante - consists in the study of immersions of smooth manifolds into holomorphic Riemannian space forms of constant curvature -1 (including SL(2,C) with a multiple of its Killing form): this leads to a Gauss-Codazzi theorem, it suggests an approach to holomorphic transitioning of immersions into pseudo-Riemannian space forms, a trick to construct holomorphic maps into the PSL(2,C)-character variety, and leads to a restatement of Bers theorem. The latter - a joint work with Andrea Seppi - consists in the study of immersions of n-manifolds inside the space of geodesics of the hyperbolic (n+1)-space. We give a characterization, in terms of the para-Kahler structure of this space of geodesics, of the Riemannian immersions which turn out to be Gauss maps of equivariant immersions into the hyperbolic space. [less ▲]

Detailed reference viewed: 30 (1 UL)
Full Text
See detailEnd-to-end Signal Processing Algorithms for Precoded Satellite Communications
Krivochiza, Jevgenij UL

Doctoral thesis (2020)

The benefits of full frequency reuse in satellite communications consist of increased spectral efficiency, physical layer security, enhanced coverage, and improved Quality of Service. This is possible due ... [more ▼]

The benefits of full frequency reuse in satellite communications consist of increased spectral efficiency, physical layer security, enhanced coverage, and improved Quality of Service. This is possible due to novel digital signal processing techniques for interference mitigation as well as signal predistortion in non-linear high-performance amplifiers. Advanced linear precoding and symbol-level precoding can jointly address the signal processing demands in the next-generation satellite communications. The real-time signal precoding increases the computational complexity handled at the gateway, thus requiring low-complexity high-performance algorithms to be developed. Additionally, extensive in-lab and field tests are required to increase the technology readiness level and industrial adaption rate. In this thesis, we focus on low-complexity precoding design and in-lab validations. We study the state-of-the-art linear and symbol-level precoding techniques and multi-user MIMO test-beds available in the literature. First, we present a novel low-complexity algorithm for sum power minimization precoding design. This technique allows to reduce transmitted power in a multi-beam satellite system and improves the quality of the received signal at user terminals. Next, we demonstrate an FPGA accelerated high-throughput precoding design. The FPGA precoding design is scalable for a different number of beams in the systems and operates in a real-time processing regime using a commercially available software defined radio platform. One of the highlights of this research is the creation of a real-time in-lab precoding test-bed. The test-bed consists of a DVB-S2X precoding enabled gateway prototype, a MIMO channel emulator, and user terminals. By using the radio frequency for transmitting and receiving the precoded signals, we can test the performance of different precoding techniques in realistic scenarios and channel impairments. We demonstrate an end-to-end symbol-level precoded real-time transmission, in which user terminals can acquire and decode the precoded signals showing an increase in performance and throughput. The in-lab validations confirm numerical results conducted alongside in this work. [less ▲]

Detailed reference viewed: 97 (18 UL)
Full Text
See detailvan der Waals Dispersion Interactions in Biomolecular Systems: Quantum-Mechanical Insights and Methodological Advances
Stoehr, Martin UL

Doctoral thesis (2020)

Intermolecular interactions are paramount for the stability, dynamics and response of systems across chemistry, biology and materials science. In biomolecules they govern secondary structure formation ... [more ▼]

Intermolecular interactions are paramount for the stability, dynamics and response of systems across chemistry, biology and materials science. In biomolecules they govern secondary structure formation, assembly, docking, regulation and functionality. van der Waals (vdW) dispersion contributes a crucial part to those interactions. As part of the long-range electron correlation, vdW interactions arise from Coulomb-coupled quantum-mechanical fluctuations in the instan- taneous electronic charge distribution and are thus inherently many-body in nature. Common approaches to describe biomolecular systems (i.e., classical molecular mechanics) fail to capture the full complexity of vdW dispersion by adapting a phenomenological, atom-pairwise formalism. This thesis explores beyond-pairwise vdW forces and the collectivity of intrinsic electronic behav- iors in biomolecular systems and discusses their role in the context of biomolecular processes and function. To this end, the many-body dispersion (MBD) formalism parameterized from density-functional tight-binding (DFTB) calculations is used. The investigation of simple molecular solvents with particular focus on water gives insights into the vdW energetics and electronic response properties in liquids and solvation as well as emergent behavior for coarse-grained models. A detailed study of intra-protein and protein–water vdW interactions highlights the role of many-body forces during protein folding and provides a funda- mental explanation for the previously observed “unbalanced” description and over-compaction of disordered protein states. Further analysis of the intrinsic electronic behaviors in explicitly solvated proteins indicates a long-range persistence of electron correlation through the aque- ous environment, which is discussed in the context of protein–protein interactions, long-range coordination and biomolecular regulation and allostery. Based on the example of a restriction enzyme, the potential role of many-body vdW forces and collective electronic behavior for the long-range coordination of enzymatic activity is discussed. Introducing electrodynamic quantum fluctuations into the classical picture of allostery opens up the path to a more holistic view on biomolecular regulation beyond the traditional focus on merely local structural modifications. Building on top of the MBD framework, which describes vdW dispersion within the interatomic dipole-limit, a practical extension to higher-order terms is presented. The resulting Dipole- Correlated Coulomb Singles account for multipolar as well as dispersion-polarization-like contri- butions beyond the random phase approximation by means of first-order perturbation theory over the dipole-coupled MBD state. It is shown that Dipole-Correlated Coulomb Singles become particularly relevant for relatively larger systems and can alter qualitative trends in the long-range interaction under (nano-)confinement. Bearing in mind the frequent presence of confinement in biomolecular systems due to cellular crowding, in ion channels or for interfacial water, this so-far neglected contribution is expected to have broad implications for systems of biological relevance. Ultimately, this thesis introduces a hybrid approach of DFTB and machine learning for the accu- rate description of large-scale systems on a robust, albeit approximate, quantum-mechanical level. The developed DFTB-NN rep approach combines the semi-empirical DFTB Hamiltonian with a deep tensor neural network model for localized many-body repulsive potentials. DFTB- NN rep provides an accurate description of energetic, structural and vibrational properties of a wide range of small organic molecules much superior to standard DFTB or machine learning. Overall, this thesis aims to extend the current view of complex (bio)molecular systems being governed by local, (semi-)classical interactions and develops methodological steps towards an advanced description and understanding including non-local interaction mechanisms enabled by quantum-mechanical phenomena such as long-range correlation forces arising from collective electronic fluctuations. [less ▲]

Detailed reference viewed: 83 (12 UL)
Full Text
See detailMICROGLIA IN PARKINSON´S DISEASE: IDENTITY, HETEROGENEITY AND THEIR CONTRIBUTION TO NEURODEGENERATION
Uriarte Huarte, Oihane UL

Doctoral thesis (2020)

Parkinson´s disease (PD) is the most common movement disorder caused by dopamine deficiency owing to a loss of dopaminergic neurons within the substantia nigra (SN). So far, there is no cure available ... [more ▼]

Parkinson´s disease (PD) is the most common movement disorder caused by dopamine deficiency owing to a loss of dopaminergic neurons within the substantia nigra (SN). So far, there is no cure available, hence understanding the mechanisms by which dopaminergic neurons degenerate is essential for the development of future treatment strategies. Recently, a potential role of neuroinflammation, and especially the activation of microglial cells in PD was suggested, not being secondary to neuronal death, but rather primarily implicated in PD pathogenesis. Hence, we have ventured in to study neuroinflammation and microglia activation in the context of PD using in vivo and in vitro mouse models. Firstly, we addressed microglial heterogeneity in the healthy nigrostriatal pathway, the primary circuit affected in PD. By using single-cell RNA sequencing, we have identified four different microglial immune subsets within the midbrain and the striatum. Notably, we were able to distinguish a microglial subset with an immune alerted phenotype, which was mainly composed of microglial cells from the midbrain. The transcriptomic identity of this subset resembled partially to the one of inflammatory microglia. Additionally, in situ morphological studies, such as 3D reconstruction, revealed that microglia located within the midbrain is less complex than microglia with a striatal origin. Secondly, we studied the potential role of neuroinflammation and microglia in PD progression by using a PD-like mouse model of a-synuclein (a-syn) seeding and spreading. In this study, pre-formed fibrils (PFF) were injected into the mice striatum, and a combined neuropathological and transcriptomic analysis was performed at two time points that have distinct and increasing levels and distribution of a-syn pathology across different brain regions (13 and 90 days post-injection). Interestingly, neuropathological quantifications at 90 days post-injection uncovered that neuroinflammation and microglial reactivity are linked to neurodegeneration. However, pathology neither correlates with neurodegeneration nor with a-syn aggregation. Importantly, at 13 days post-injection, the transcriptomic analysis of the midbrain revealed the dysregulation of several inflammatory pathways and pointed to the overexpression of neurotoxic inflammatory mediators. Furthermore, at this time point, the presence of a-syn oligomers was detected in certain areas of the brain. Subsequently, we hypothesised that at early stages of PD pathogenesis, the presence of a-syn oligomeric forms induces a robust inflammatory response of microglia, which can be further associated with neurodegeneration. Thirdly, to understand if a-syn oligomers are the main inducers of microglial activation, we examined further the microglial inflammatory response to other a-syn conformations, monomers and fibrils (PFF1 and PFF2). For that, BV2 and primary microglial cells were exposed to the a-syn moieties at different concentrations and incubations times. Electron microscopy depicted some heterogeneity across the synthetic a-syn fibrils, suggesting that PFF1 and PFF2 were composed by different structures. Then, microglial reactivity to a-syn monomers and fibrils was investigated by RT-PCR, and no specific response of microglia to a-syn was encountered. Also, only one of the a-syn fibrils, the PFF1, decreased microglial phagocytic activity and reduced the expression of Il1b by microglia after LPS stimulation. Concomitant to the findings in the a-syn seeding and spreading model, we attempted to elucidate the molecular profile of microglia associated with neurodegeneration. In this particular study, RNA-sequencing was performed in isolated microglial cells in an early stage of pathology progression. In contrast with our previous results, no differences in the microglial profile were found between the PFF and the control mice. Lastly, we have investigated potential neuroprotective mechanisms associated with microglial reactivity counter-regulation. Considering previous observations that microglia express dopaminergic receptors, we investigated further whether apomorphine, a dopamine agonist with anti-oxidant properties, could govern microglial activation. The effect of apomorphine enantiomers was analysed within primary microglia cultures that were activated by exposure to mutated A53T monomeric a-syn. Herein, we demonstrated that microglial activation can be dampened by apomorphine, via the recruitment of Nrf2 to the nucleus, which results in a decreased release of proinflammatory mediators, such as TNFa or PGE2. Taken together, this study provides an additional characterisation of neuroinflammation and microglial cells in the context of PD, which ultimately contributes to a better understanding of their relationship with neurodegeneration. [less ▲]

Detailed reference viewed: 104 (13 UL)
Full Text
See detailArgument Acceptance and Commitment in Formal Argumentation
Dauphin, Jérémie UL

Doctoral thesis (2020)

Detailed reference viewed: 34 (3 UL)
Full Text
See detailFoundations of an Ethical Framework for AI Entities: the Ethics of Systems
Dameski, Andrej UL

Doctoral thesis (2020)

The field of AI ethics during the current and previous decade is receiving an increasing amount of attention from all involved stakeholders: the public, science, philosophy, religious organizations ... [more ▼]

The field of AI ethics during the current and previous decade is receiving an increasing amount of attention from all involved stakeholders: the public, science, philosophy, religious organizations, enterprises, governments, and various organizations. However, this field currently lacks consensus on scope, ethico-philosophical foundations, or common methodology. This thesis aims to contribute towards filling this gap by providing an answer to the two main research questions: first, what theory can explain moral scenarios in which AI entities are participants?; and second, what theory can explain the process of moral reasoning, decision and action, for AI entities in virtual, simulated and real-life moral scenarios? This thesis answers these two research questions with its two main contributions to the field of AI ethics, a substantial (ethico-philosophical) and a methodological contribution. The substantial contribution is a coherent and novel theory named Ethics of Systems Framework, as well as a possible inception of a new field of study: ethics of systems. The methodological contribution is the creation of its main methodological tool, the Ethics of Systems Interface. The second part of the research effort was focused on testing and demonstrating the capacities of the Ethics of Systems Framework and Interface in modeling and managing moral scenarios in which AI and other entities participate. Further work can focus on building on top of the foundations of the Framework provided here, increasing the scope of moral theories and simulated scenarios, improving the level of detail and parameters to reflect real-life situations, and field-testing the Framework on actual AI systems. [less ▲]

Detailed reference viewed: 180 (11 UL)
Full Text
See detailInstruction Coverage for Android App Testing and Tuning
Pilgun, Aleksandr UL

Doctoral thesis (2020)

For many people, mobile apps have already become an indispensable part of modern life. Apps entertain, educate, assist us in our daily routines and help us connect with others. However, the advanced ... [more ▼]

For many people, mobile apps have already become an indispensable part of modern life. Apps entertain, educate, assist us in our daily routines and help us connect with others. However, the advanced capabilities of modern devices running the apps and sensitive user data make mobile devices also an attractive attack target. To get access to sensitive data, adversaries tend to conceal malicious functionality in freely distributed legitimately-looking apps. The problem of low-quality and malicious apps, spreading at an enormous scale, is especially relevant for one of the biggest software repositories – Google Play. The Android apps distributed through this platform undergo a validation process by Google. However, that is insufficient to confirm their good nature. To identify dangerous apps, novel frameworks for testing and app analysis are being developed by the Android community. Code coverage is one of the most common metrics for evaluating the effectiveness of these frameworks, and it is used as an internal metric to guide code exploration in some of them. However, when analyzing apps without source code, the Android community relies mostly on method coverage since there are no reliable tools for measuring finer-grained code coverage in 3rd-party Android app testing. Another stumbling block for testing frameworks is the inability to test an app exhaustively. While code coverage measurement can indicate an improvement in testing, it is neither possible to reach 100% coverage nor to identify the maximum reachable coverage value for the app. Despite testing, the app still contains high amounts of not executed code, which makes it impossible to confirm the absence of potentially malicious code in the part of the app that has not been tested. The existing static debloating approaches aim at app size minimization rather than security and simply debloat not reachable code. However, there is currently no approach to debloat apps based on dynamic analysis information, i.e. to cut out not-executed code. In this dissertation, we solve these two problems by, first, proposing an efficient approach and a tool to measure code coverage at the instruction level, and second, a dynamic binary shrinking methodology for deleting not executed code from the app. We support our solutions by the following contributions: - An instrumentation approach to measure code coverage at the instruction level. Our technique instruments smali representation of Android bytecode to allow code coverage measurement at the finest level. - An implementation of the instrumentation approach. ACVTool is a self-contained package containing 4K lines of Python code. It is publicly available and can be integrated into different testing frameworks. - An extensive empirical evaluation that shows the high reliability and versatility of our approach. ACVTool successfully executes on 96.9% of apps from our dataset, introduces a negligible instrumentation time and runtime overheads, and its results are complaint to the results of JaCoCo (source code coverage) and Ella (method coverage) tools. - A detailed study on the influence of code coverage metric granularity on automated testing. We demonstrate the usefulness of ACVTool for automated testing techniques that rely on code coverage data in their operation. - A dynamic debloating approach based on ACVTool instruction coverage. We propose Dynamic Binary Shrinking System, a novel methodology created to shrink 3rd-party Android apps towards observed benign functionality on executed code. - An implementation of the dynamic debloating technique incorporated into the ACVCut tool. The tool demonstrates the viability of the Dynamic Shrinking System on two examples. It allows us to cut out not executed code and, thus, provide 100% instruction coverage on explored app behaviors. [less ▲]

Detailed reference viewed: 105 (10 UL)
Full Text
See detailScalable Control of Asynchronous Boolean Networks
Su, Cui UL

Doctoral thesis (2020)

Direct cell reprogramming has been garnering attention for its therapeutic potential for treating the most devastating diseases characterised by defective cells or a deficiency of certain cells. It is ... [more ▼]

Direct cell reprogramming has been garnering attention for its therapeutic potential for treating the most devastating diseases characterised by defective cells or a deficiency of certain cells. It is capable of reprogramming any kind of abundant cells in the body into the desired cells to restore functions of the diseased organ. It has shown promising benefits for clinical applications, such as cell and tissue engineering, regenerative medicine and drug discovery. A major obstacle in the application of direct cell reprogramming lies in the identification of effective reprogramming factors. Experimental approaches are usually laborious, time-consuming and enormously expensive. Mathematical modelling of biological systems paves the way to study mechanisms of biological processes and identify therapeutic targets with computational reasoning and tools. Among several modelling frameworks, Boolean networks have apparent advantages. They provide a qualitative description of biological systems and thus evade the parametrisation problem, which often occurs in quantitative models. In this thesis, we focus on the identification of reprogramming factors based on asynchronous Boolean networks. This problem is equivalent to the control of asynchronous Boolean networks: finding a subset of nodes, whose perturbations can drive the dynamics of the network from the source state (the initial cell type) to the target attractor (the desired cell type). Before diving into the control problems, we first develop a near-optimal decomposition method and use this method to improve the scalability of the decomposition-based method for attractor detection. The new decomposition-based attractor detection method can identify all the exact attractors of the network efficiently, such that we can select the proper attractors corresponding to the initial cell type and the desired cell type as the source and target attractors and predict the key nodes for the conversion. Depending on whether the source state is given or not, we can have two control problems: source-target control and target control. We develop several methods to solve the two problems using different control strategies. All the methods are implemented in our software CABEAN. Given a control problem, CABEAN can provide a rich set of realistic solutions that manipulate the dynamics in different ways, such that biologists can select suitable ones to validate with biological experiments. We believe our works can contribute to a better understanding of the regulatory mechanisms of biological processes and greatly facilitate the development of direct cell reprogramming. [less ▲]

Detailed reference viewed: 111 (10 UL)
Full Text
See detailA multifaceted formal analysis of end-to-end encrypted email protocols and cryptographic authentication enhancements
Vazquez Sandoval, Itzel UL

Doctoral thesis (2020)

Largely owing to cryptography, modern messaging tools (e.g., Signal) have reached a considerable degree of sophistication, balancing advanced security features with high usability. This has not been the ... [more ▼]

Largely owing to cryptography, modern messaging tools (e.g., Signal) have reached a considerable degree of sophistication, balancing advanced security features with high usability. This has not been the case for email, which however, remains the most pervasive and interoperable form of digital communication. As sensitive information (e.g., identification documents, bank statements, or the message in the email itself) is frequently exchanged by this means, protecting the privacy of email communications is a justified concern which has been emphasized in the last years. A great deal of effort has gone into the development of tools and techniques for providing email communications with privacy and security, requirements that were not originally considered. Yet, drawbacks across several dimensions hinder the development of a global solution that would strengthen security while maintaining the standard features that we expect from email clients. In this thesis, we present improvements to security in email communications. Relying on formal methods and cryptography, we design and assess security protocols and analysis techniques, and propose enhancements to implemented approaches for end-to-end secure email communication. In the first part, we propose a methodical process relying on code reverse engineering, which we use to abstract the specifications of two end-to-end security protocols from a secure email solution (called pEp); then, we apply symbolic verification techniques to analyze such protocols with respect to privacy and authentication properties. We also introduce a novel formal framework that enables a system's security analysis aimed at detecting flaws caused by possible discrepancies between the user's and the system's assessment of security. Security protocols, along with user perceptions and interaction traces, are modeled as transition systems; socio-technical security properties are defined as formulas in computation tree logic (CTL), which can then be verified by model checking. Finally, we propose a protocol that aims at securing a password-based authentication system designed to detect the leakage of a password database, from a code-corruption attack. In the second part, the insights gained by the analysis in Part I allow us to propose both, theoretical and practical solutions for improving security and usability aspects, primarily of email communication, but from which secure messaging solutions can benefit too. The first enhancement concerns the use of password-authenticated key exchange (PAKE) protocols for entity authentication in peer-to-peer decentralized settings, as a replacement for out-of-band channels; this brings provable security to the so far empirical process, and enables the implementation of further security and usability properties (e.g., forward secrecy, secure secret retrieval). A second idea refers to the protection of weak passwords at rest and in transit, for which we propose a scheme based on the use of a one-time-password; furthermore, we consider potential approaches for improving this scheme. The hereby presented research was conducted as part of an industrial partnership between SnT/University of Luxembourg and pEp Security S.A. [less ▲]

Detailed reference viewed: 140 (14 UL)
See detailEmotion Regulation and Perceived Competence in Dyslexia and ADHD: Analyzing Predictors of Academic and Mental Health Outcomes in Adolescents
Battistutta, Layla UL

Doctoral thesis (2020)

Youths with dyslexia and ADHD are at risk for developing not only academic but also mental health problems. As these negative outcomes are however not found equally among all adolescents with dyslexia or ... [more ▼]

Youths with dyslexia and ADHD are at risk for developing not only academic but also mental health problems. As these negative outcomes are however not found equally among all adolescents with dyslexia or ADHD, this dissertation aimed at getting a better understanding of certain predictors and/or consequences of two mediating self-regulating mechanisms. Whereas study 1 focused on perceived competence as an important contributor to academic success or failure, studies 2, 3 and 4 analyzed the role of emotion regulation (ER) in the development of psychopathological symptoms. Study 1 showed that within a group of adolescents with dyslexia, adolescents with a late diagnosis hold lower general and academic perceived competency beliefs, with potential negative outcomes for academia. Study 2 gave a first insight into ER in dyslexia and revealed that while dyslexia might not be directly associated with ER difficulties, higher ADHD symptoms contribute to more ER difficulties not only in youths with clinical ADHD but also in youths with dyslexia. These findings were taken a step further in study 3, which showed that ER difficulties mediate the association between ADHD symptoms and further anxiety, depression and conduct disorder symptoms for youths with dyslexia, ADHD and comorbid dyslexia/ADHD. Moreover, it was demonstrated in study 4 that underlying working memory deficits, (and to a lesser extent) attentional control and inhibitory deficits are linked with ADHD symptoms, which in turn are associated with ER difficulties and further anxiety and depression symptoms. The findings are discussed within the larger context of perceived competence, ER as well as academic and psycho-social outcomes, and potential implications for the conceptualization, diagnosis, prevention and treatment of these disorders are considered. [less ▲]

Detailed reference viewed: 139 (3 UL)
Full Text
See detailJOINT DESIGN OF USER SCHEDULING AND PRECODING IN WIRELESS NETWORKS: A DC PROGRAMMING APPROACH
Bandi, Ashok UL

Doctoral thesis (2020)

These scenarios are of relevance and are already being considered in current and upcoming standards including 4G and 5G. This thesis begins by presenting the necessity of the joint design of scheduling ... [more ▼]

These scenarios are of relevance and are already being considered in current and upcoming standards including 4G and 5G. This thesis begins by presenting the necessity of the joint design of scheduling and precoding for the aforementioned scenario in detail in chapter 1. Further, the coupled nature of scheduling and precoding that prevails in many other designs is discussed. Following this, a detailed survey of the literature dealing with the joint design is presented. In chapter 2, the joint design of scheduling and precoding in the unicast scenario for multiuser MISO downlink channels for network functionality optimization considering sum-rate, Max-min SINR, and power. Thereafter, different challenges in terms of the problem formulation and subsequent reformulations for different metrics are discussed. Different algorithms, each focusing on optimizing the corresponding metric, are proposed and their performance is evaluated through numerical results. In chapter 3, the joint design of user grouping, group scheduling, user scheduling, and precoding is considered for MGMC. Differently to chapter 2, the optimization of a novel metric called multicast energy efficiency (MEE) is considered. This new paradigm for joint design in MGMC poses several additional challenges that can not be dealt with by the design in chapter 2. Therefore, towards addressing these additional challenges, a novel algorithm is proposed for MEE maximization and its efficacy is presented through simulations. In chapters 2 and 3, the joint design is considered within a given transmit slot and temporal design is not considered. In chapter 4, the joint design scheduling and precoding are considered over a block of multiple time slots for a unicast scenario. Differently to single slot design, the multi-slot joint design facilitates to address users' latency directly in terms of time slots. Noticing this, joint design across multiple slots is considered with the objective of minimizing the number of slots to serve all the users subject to users' QoS and latency constraints. Further, this multi-slot joint design problem is modeled as a structured group sparsity problem. Finally, by rendering the problem as a DC, high-quality stationary points are obtained through an efficient CCP based algorithm. In chapter 5, the joint scheduling and precoding schemes proposed in previous chapters are applied to satellite systems. Finally, The thesis concludes with the main research findings and the identification of new research challenges in chapter 6. [less ▲]

Detailed reference viewed: 104 (29 UL)