References of "Doctoral thesis"
     in
Bookmark and Share    
Full Text
See detailAnti-de Sitter geometry: convex domains, foliations and volume
Tamburelli, Andrea UL

Doctoral thesis (2018)

We study various aspects of the geometry of globally hyperbolic anti-de Sitter 3-manifolds. For manifolds with convex space-like boundaries, homeomorphic to the product of a closed, connected and oriented ... [more ▼]

We study various aspects of the geometry of globally hyperbolic anti-de Sitter 3-manifolds. For manifolds with convex space-like boundaries, homeomorphic to the product of a closed, connected and oriented surface of genus at least two with an interval, we prove that every pair of metrics with curvature less than -1 on the surface can be realised on the two boundary components. For globally hyperbolic maximal compact (GHMC) anti-de Sitter manifolds, we study various geometric quantities, such as the volume, the Hausdorff dimension of the limit set, the width of the convex core and the Holder exponent of the manifold, in terms of the parameters that describe the deformation space of GHMC anti-de Sitter structures. Moreover, we prove existence and uniqueness of a foliation by constant mean curvature surfaces of the domain of dependence of any quasi-circle in the boundary at infinity of anti-de Sitter space. [less ▲]

Full Text
See detailUNRAVELING THE COMPLEX GENETICS OF NEUROLOGICAL DISORDERS
Bobbili, Dheeraj Reddy UL

Doctoral thesis (2018)

Detailed reference viewed: 37 (14 UL)
Full Text
See detailMagnetic small-angle neutron scattering on bulk metallic glasses
Mettus, Denis UL

Doctoral thesis (2018)

The present PhD thesis is devoted to the exploration of the use of the magnetic small-angle neutron scattering (SANS) technique for analyzing the magnetic microstructure of bulk magnetic materials. More ... [more ▼]

The present PhD thesis is devoted to the exploration of the use of the magnetic small-angle neutron scattering (SANS) technique for analyzing the magnetic microstructure of bulk magnetic materials. More specifically, magnetic-field-dependent SANS has been utilized to study the magnetic microstructure of bulk metallic glasses (BMGs). The magnetic scattering is compared for soft magnetic and hard magnetic compositions in different mechanically treated states. On the basis of the continuum theory of micromagnetics, the correlation function of the spin-misalignment SANS cross section is computed and analyzed as a function of various external and material parameters. Analysis of the experimental correlation functions of the BMG reveals the existence of field-dependent anisotropic long-wavelength magnetization fluctuations on a scale of a few tens of nanometers. As a second aspect of this PhD work, we have explored the impact of the Dzyaloshinski-Moriya interaction on the elastic magnetic SANS cross section of microstructural-defect-rich materials. The effect was demonstrated by measuring polarized SANS on a nanocrystalline terbium sample and on a cold-rolled polycrystalline cobalt sample. [less ▲]

Detailed reference viewed: 18 (13 UL)
Full Text
See detailTraditions in Tension: An Ethnographic Inquiry of Luxembourg’s Family-Run Hotels
Adiguna, Rocky UL

Doctoral thesis (2018)

The suggestion that tradition plays a role in family business is a long-acknowledged but often presumed notion in family business research. As a result, studies that attempt to conceptualise tradition as ... [more ▼]

The suggestion that tradition plays a role in family business is a long-acknowledged but often presumed notion in family business research. As a result, studies that attempt to conceptualise tradition as a focal point remain scarce. This dissertation addresses this vacuum by examining the properties and processes that are involved in the tradition-making and tradition-maintaining of hospitality-based family businesses. Based on an ethnographic inquiry of five hotel-running families in Luxembourg, this dissertation inquires into the meanings and tensions of tradition. Drawing from a process perspective, it explores how family owner-managers receive, enact, and perpetuate the continuity of the family businesses as traditions. Theoretically, this study contributes to two streams of literature: to the family business literature by providing a conceptual foundation for understanding tradition as process, and to the process organisation studies literature by proposing family business as an exemplar of tradition where the past is immanent in the present. Methodologically, this study attends to discourses and narratives at the national level, the industry level, and the organisational level to contextualise the family-run hotels in a wider discursive space. These multi-level analyses constitute the basis for the application of a field ethnography which attempts to explore the relationality between different modes of discourse in a chosen field: texts, talks, actions, and images. As a result, the lived narratives of five hotel-running families are produced. This dissertation advances tradition as a root metaphor for family business and proposes three different angles of seeing the family business as tradition: family business as received tradition, family business as enacted tradition, and family business as tradition to be transmitted. In alignment with the process perspective, four dualities in the enactment of the family businesses as traditions are discussed: repetition and novelty, preservation and abandonment, being and appearing, and certainty and possibility. Ultimately, this dissertation puts into question the predominant understanding of tradition as a fixed construct argues instead that tradition's apparent unity, fixity, and stability is a result of a reflexive process which is enacted by owner-managers on a daily basis. [less ▲]

Detailed reference viewed: 32 (5 UL)
Full Text
See detailAngle and Spectral Dependence of the Internal and External Quantum Efficiency of Solar Modules
Reiners, Nils UL

Doctoral thesis (2018)

Reviewing scientific publications in the field of photovoltaic research, it becomes apparent that most of the investigations are carried out under perpendicular light incidence even though many of the ... [more ▼]

Reviewing scientific publications in the field of photovoltaic research, it becomes apparent that most of the investigations are carried out under perpendicular light incidence even though many of the relevant processes in a solar cell or module may strongly depend on the angle of incidence. The reasons for this are most likely due to three facts. Firstly, the equipment that is available for measurements and characterization in research laboratories is mainly constructed for perpendicular incidence. Secondly, the complexity of the analysis strongly increases when the angle of incidence is considered and thirdly, there is still a lack of standardization, which makes it difficult to compare the performance of solar modules at oblique incidence. Regarding the maximization of the annual energy yield of a solar module it is crucial to be aware of operating conditions in the field. It is obvious that most of the time, light is incident on the module’s surface with an oblique angle. However, it is not sufficient to investigate the short circuit current density effects due to the variation of the angle of incidence as it is often done. The reflection and absorption properties of the materials in a solar module generally vary with the wavelength of the incident light. This is the reason why it is convenient to take the angular and the spectral performance of solar modules into account simultaneously. In this thesis a synopsis of all the relevant angle and spectral dependent effects is presented for silicon solar cells and modules. It is shown that not only optical effects are occurring, but that the internal quantum efficiency (IQE) also varies with the angle of incidence. It is also shown to which extent the implementation of textured surfaces influences the angle dependence of the external quantum efficiency (EQE) and the IQE. The analysis is performed using a newly developed analytical solar cell model that takes into account all relevant parasitic absorption processes in an untextured solar cell. Using an effective angle approach, the analysis can be extended to a textured solar cell. For more complex structures, a ray tracing tool was developed that is capable of simulating several textured layers and subsequently, of determining the corresponding EQE and IQE at all desired angles of incidence. The angle and spectral dependence of the cells and modules under investigation were determined using measurement equipment that was particularly constructed for this purpose. The angle dependence of the EQE of the samples was determined with two different systems: A filter monochromator to determine the spectral response and by transforming the electroluminescence spectrum of the samples to the EQE using the opto-electronic reciprocity relation of solar cells. To determine the angle dependence of the IQE, a measurement setup was constructed for the determination of the angular reflection spectra. Finally, the different angle and spectral dependent effects that were identified were analyzed with respect to their influence on the energy yield estimation of standard solar modules under outdoor conditions. [less ▲]

Detailed reference viewed: 16 (3 UL)
See detailMany-Body Perturbation Theory Approach to Raman Spectroscopy and Its Application to 2D Materials
Reichardt, Sven UL

Doctoral thesis (2018)

Raman spectroscopy has become one of the most important techniques for the characterization of materials, as it allows the simultaneous probing of several properties, such as electronic and vibrational ... [more ▼]

Raman spectroscopy has become one of the most important techniques for the characterization of materials, as it allows the simultaneous probing of several properties, such as electronic and vibrational excitations, at once. This versatility, however, makes its theoretical description very challenging and, up to now, no fully satisfactory and general way for the calculation of Raman spectra from first principles exists. In this thesis, we aim to fill this gap and present a coherent theory of Raman scattering within the framework of many-body perturbation theory. We develop a novel and general, correlation function-based approach for the calculation of Raman scattering rates that can potentially also be applied to ultra-fast Raman spectroscopy out of equilibrium. Besides these theoretical developments, we present concrete computational recipes for the calculation of Raman intensities that allow the inclusion of both excitonic effects and non-adiabatic effects of lattice vibrations. The latter has so far not been possible with state-of-the-art methods, which can only take into account one of the two effects. As a first test case, we apply our theory to graphene, for which we use it to study the laser frequency and Fermi energy dependence of the Raman G-peak intensity. The flexibility of our approach also allows us to demonstrate that non-resonant processes and quantum mechanical interference effects play a significant role in Raman scattering. This applies not only to graphene but also to other two-dimensional materials of current interest, such as MoTe2 and MoS2. In addition to the development of a consistent and comprehensive description of Raman scattering, we derive a novel approach for the calculation of phonon frequencies and the screened electron-phonon coupling. It can be applied also to strongly correlated systems, for which the currently used methods are not entirely satisfactory or insufficient. Our new method goes beyond the limitations of the methods currently in use and will permit the computation of phonon-related quantities also in systems with strong correlation effects such as Kohn anomalies (e.g., graphene) or Peierls instabilities. Lastly, we present work on the application of (magneto-)Raman spectroscopy as a probe for many-body effects in graphene. Here we focus on the description of the phenomenon of magneto-phonon resonances and how it can be used to probe electronic excitation energies and to extract electron and phonon lifetimes. [less ▲]

Detailed reference viewed: 52 (12 UL)
Full Text
See detailA Scalable and Accurate Hybrid Vulnerability Analysis Framework
Thome, Julian UL

Doctoral thesis (2018)

As the Internet has become an integral part of our everyday life for activities such as e-mail, online-banking, shopping, entertainment, etc., vulnerabilities in Web software arguably have greater impact ... [more ▼]

As the Internet has become an integral part of our everyday life for activities such as e-mail, online-banking, shopping, entertainment, etc., vulnerabilities in Web software arguably have greater impact than vulnerabilities in other types of software. Vulnerabilities in Web applications may lead to serious issues such as disclosure of confidential data, integrity violation, denial of service, loss of commercial confidence/customer trust, and threats to the continuity of business operations. For companies these issues can result in significant financial losses. The most common and serious threats for Web applications include injection vulnerabilities, where malicious input can be “injected” into the program to alter its intended behavior or the one of another system. These vulnerabilities can cause serious damage to a system and its users. For example, an attacker could compromise the systems underlying the application or gain access to a database containing sensitive information. The goal of this thesis is to provide a scalable approach, based on symbolic execution and constraint solving, which aims to effectively find injection vulnerabilities in the server-side code of Java Web applications and which generates no or few false alarms, minimizes false negatives, overcomes the path explosion problem and enables the solving of complex constraints. [less ▲]

Detailed reference viewed: 67 (32 UL)
Full Text
See detailRecent developments around the Malliavin-Stein approach (Fourth moment phenomena via exchangeable pairs)
Zheng, Guangqu UL

Doctoral thesis (2018)

Part I is a survey, part II is a collection of papers.

Detailed reference viewed: 39 (11 UL)
Full Text
See detailLarge-scale and Flexible Nanogenerator based on ZnO conical nanostructures by Nano-Imprint Lithography and Atomic Layer Deposition
Spirito, David Mario André UL

Doctoral thesis (2018)

The present work stands in the context of the rapid growth of portable electronics and wireless sensors. This growth drives the request for advances in materials science and technology to harvest energy ... [more ▼]

The present work stands in the context of the rapid growth of portable electronics and wireless sensors. This growth drives the request for advances in materials science and technology to harvest energy from ambient sources. Piezoelectric nanogenerators, which convert vibrations into electrical energy, are considered as one of the promising building blocks for the design of low-cost and performant energy harvesting devices. Several demonstrations of PENGs have been reported throughout the last decade, many of them based on Zinc Oxide –ZnO– nanowires. Despite interesting performances, literature also suggests that the classical bottom-up approach of optimized ZnO-based PENGs performance approaches its limits and that top-down approaches merit further attention. This has motivated the present work, with the aim to conceptualize by models, to fabricate and to investigate a new type of piezoelectric nanogenerator based on ZnO nanostructures to overcome current limitations. To achieve this goal, we have used a top-down approach that allows an accurate control of the aspect ratio and density of tailored ZnO nanowires by using Nano-Imprint Lithography and Atomic Layer Deposition. In our work, we demonstrate that this approach enables the fabrication of large flexible piezoelectric nanogenerators with interesting properties. In the first part of this work, we have optimized the synthesis of crystalline N-doped ZnO films by ALD at a deposition temperature as low as T = 80 °C. We have particularly investigated the role of the time of purge with nitrogen as purge gas in each cycle of a ZnO monolayer of the ALD process. A thorough chemical and structural analysis illustrates that the time of purge allows tuning the N-doping-level which, despite being low, affects both the long-range and short-range structure. Raman and luminescence spectroscopy suggest a complex defect structure, characterized by nitrogen ions which substitute oxygen ions and by Zn cations on interstitial sites. Importantly, even the low level of nitrogen doping allows tuning the sheet resistivity of ZnO films by several orders of magnitude. The ability to obtain crystallized and tunable N-doped ZnO films down to 80 °C by ALD provides a critical building block to tune structural, optic and electric properties for a variety of applications. In the second part, we have designed, fabricated and characterized a new type of PENGs based on patterned nanostructures made of conical-shape ZnO pillars. First, we have used a finite element modeling to identify the optimization for the electromechanical performances of the ZnO nanowires, namely in terms of their aspect ratio and pitch. This has defined the stamps of the nano-imprint, which has then be combined with a low temperature conformal ALD to provide ZnO conical nanostructures. A thorough structural analysis of such nanostructures attests a high crystallinity, a polycrystalline growth and piezoelectric properties. This has been the necessary technological achievement for addressing in a next step functional patterned piezoelectric nanogenerators. We have produced small flexible devices with an active area of 4 x 4 mm2, using either a blocking electronic barrier with alumina, either a p-n junction with a conductive polymer (PEDOT:PSS). The different devices and architectures have then been characterized at matching impedance. The electric characterization of a device with a p-n junction exhibits a maximum output voltage of 0.2 V and a power density of 0.3 µW cm-2. An effective transverse piezoelectric coefficient value e31eff of -0.45 C m-2 is determined, which corresponds to the order of magnitude reported in literature. As a proof of concept for potential industrialization, we scaled the P-PENGs up to 20 cm² for large flexible substrates. The 3.7 billion pillars, sandwiched between electrodes, evidence the robustness of our process. The analysis of the constitutive piezoelectric equations has prompted us to pay a particular attention to an accurate setup for P-PENGs characterization, which turns out to be mandatory to compare accurately devices. For this, we setup an electromechanical actuator. Two devices with the same architecture but with different levels of N-doping are compared. Using an equivalent electrical model, the performance of the P-PENG with the higher N-doped ZnO shows a larger output voltage and power density than the device with a lower N-doping level. This comparison shows that the higher N-doping-level leads to an increase of 150 % of the power output. From this we calculate that the effective piezoelectric coefficient increases by about 60 % for a P-PENG based on higher N-doped ZnO. This latter demonstrates an energy conversion efficiency of 10 %, on top of PENG based on ZnO. [less ▲]

Detailed reference viewed: 78 (9 UL)
See detailColonization and succession of the human gastrointestinal microbiome in neonates and infants at high risk of metabolic disease in adulthood
Wampach, Linda UL

Doctoral thesis (2018)

Recent studies have highlighted that the human gastrointestinal microbiome not only maintains important functions for the human host, but is also intimately linked to the development of the neonatal ... [more ▼]

Recent studies have highlighted that the human gastrointestinal microbiome not only maintains important functions for the human host, but is also intimately linked to the development of the neonatal immune system. Therefore, earliest perturbations to the initial colonization process of the human gastrointestinal tract have been suggested to result in adverse health effects later in life. While the rate of caesarean section deliveries is increasing worldwide, it still remains unclear to what extent a caesarean section delivery (CSD) or other perturbations affect the colonization and succession of the gastrointestinal microbiome and might eventually impact the immune development of a neonate. Although much research has been performed on bacterial colonization and succession to date, far less is known about the other two domains of life, archaea and eukaryotes. Furthermore, it remains unclear whether a delivery by caesarean section causes a disruption of mother-to-infant transmission of microbiota and whether this affects human physiology early on, with potentially persistent effects in later life. Over the course of this thesis, a multitude of objectives was tackled. First of all, the description of microbial communities and trends over time within the neonatal and infant gut microbiome, and the study of the early colonization and succession by members of the three domains of life. Second, the careful application of high-throughput approaches on earliest low biomass samples, the detection of functional repertoires and strains transferred from mothers to neonates, and the analysis of the immunostimulatory potential of neonatal gut microbiomes in relation to delivery mode with likely effects on the later health status. In a first study based on 15 infants and using a combination of 16S and 18S rRNA gene amplicon sequencing and quantitative real-time PCR, earliest differences among the three domains of life according to delivery mode were detected as early as three days postpartum. Sequences from organisms belonging to all three domains of life were detectable in all of the collected meconium samples. The findings complement previous observations of a delay in colonization and succession of CSD infants, which likely affects not only bacteria but also archaea and microeukaryotes. Based on the observation that the first 5 days postpartum showed significant differing trends between delivery modes and considering the fact that the very first days postpartum are generally under-studied, this highlighted the importance to perform more in-depth analyses of these microbiome samples. In a next step, based on 12 mother-neonate pairs, high-resolution, metagenomic analysis of the gut microbiomes of mothers and neonates was performed to resolve the earliest colonizing microbiome. After data curation and in accordance with the observed changes in community composition for both cohorts, differences with respect to encoded metabolic functions between the microbiomes of vaginally delivered (VD) or CSD neonates as early as day 3 were observed. Several functional pathways were over-represented in VD neonates, including lipopolysaccharide (LPS) biosynthesis. Genes encoding proteins involved in these functions were linked to specific strains, which were vertically transmitted from the respective mothers. Based on the candidate’s work, more follow-up work on LPS was done by a colleague with a background in immunology. Isolated LPS from faecal samples collected at day 3 had a higher immunostimulatory potential in VD neonates and cytokines measured in plasma collected at the same day presented an increased immune reaction in VD neonates. Collectively, these results suggest that vaginal delivery favours vertical transmission of specific gastrointestinal strains from mother to neonate, while caesarean section may impede this process and thereby decrease linked functional repertoires and immunostimulatory potential with potential effects on human physiology later in life. Taken together, the results obtained from both cohorts strongly indicate that maternal and neonatal factors, such as antibiotics intake or milk diet, but most importantly the delivery mode, have the potential to influence the initial neonatal bacterial, archaeal and microeukaryotic colonization of the gut microbiome shortly postpartum, with the potential to impact the neonatal immune development, which could thereby affect the later health status. [less ▲]

Detailed reference viewed: 35 (4 UL)
See detailTuning Self-Assembly in Liquid Crystal shells: from Interfacial- to Polymer-stabilization
Noh, Junghyun UL

Doctoral thesis (2018)

Liquid crystals form a subclass of soft materials which is easily influenced and deformed by a surface, an interface and the geometry. Of particular interest, in this thesis, is the confinement of liquid ... [more ▼]

Liquid crystals form a subclass of soft materials which is easily influenced and deformed by a surface, an interface and the geometry. Of particular interest, in this thesis, is the confinement of liquid crystals in shell geometry, imposing real or virtual defects that the liquid crystal cannot avoid. With the help of microfluidics, we prepare our research platform, liquid crystal shells, which contain and are surrounded by aqueous phases. In order to maintain such a shell structure in the aqueous phases, immiscible with the liquid crystal, appropriate stabilization is required. Here we explore two different pathways of interfacial stabilization and polymer stabilization and their impact on liquid crystal self-assembly. We primarily use either a polymeric or an ionic surfactant dissolving in water to stabilize shells and tune boundary conditions of shells. Depending on symmetrically or asymmetrically imposed boundary conditions, the nematic–isotropic phase transition appears as a single transi- tion or separated into two steps. We propose that the latter phenomenon can be understood as a result of an ordering-enhancing effect by surfactants. The nematic–smectic A phase transition is also investigated under varying boundary conditions. With a precise temperature control, we explore equilibrium smectic structures and introduce a new arrangement of focal conic arrays in shell geometry. Beyond stabilizing the shell from the shell exterior, but we also incorporate a photosensitive surface agent within the shell, enabling dynamic and reversible photoswitching of the liquid crystal alignment in real time. However, shells with interfacial stabilization cannot survive more than several weeks due to their intrinsic fluid interfaces. In particular, a liquid crystal shell can serve as a permeable mem- brane which lets the constituents of aqueous phases pass through, giving a significant influence on the liquid crystalline order. To tame liquid crystal self-assembly and make the shell struc- ture permanent, we use photopolymerization to stabilize the shells. With only 5% monomer, the entire configuration of each liquid crystal shell is locked and shell lifetime extends beyond several months. The liquid crystalline order is visualized on the nanoscale via the polymer network and we further demonstrate that the shell configurations can be a unique template for creating complex polymer networks. Finally a new experimental approach is introduced to making ultrathin shells and several issues on shell instability and alignment determination are addressed. [less ▲]

Detailed reference viewed: 79 (5 UL)
Full Text
See detailDEVELOPMENT OF A COMPUTATIONAL RESOURCE FOR PERSONALIZED DIETARY RECOMMENDATIONS
Noronha, Alberto UL

Doctoral thesis (2018)

There is a global increase in the incidence of non-communicable diseases associated with unhealthy food intakes. Conditions such as diabetes, heart disease, high blood pressure, and strokes represent a ... [more ▼]

There is a global increase in the incidence of non-communicable diseases associated with unhealthy food intakes. Conditions such as diabetes, heart disease, high blood pressure, and strokes represent a high societal impact and an economic burden for health-care systems around the world. To understand these diseases, one needs to account the several factors that influence how the human body processes food, some of which are determined by the genome and patterns of gene expression that translate to the ability - or lack of - to degrade and absorb certain nutrients. Other factors, like the gut microbiota, are more volatile because its composition is highly moldable by diet and lifestyle. Multi-omics technologies can support the comprehensive collection of dietary intake data and monitoring of the health status of individuals. Also, a correct analysis of this data could lead to new insights about the complex processes involved in the digestion of dietary components and their involvement in the prevention or the appearance of health problems, but its integration and interpretation are still problematic. Thus, in this thesis, we propose the utilization of Constraint-Based Reconstruction and Analysis (COBRA) methods as a framework for the integration of this complex data. To achieve this goal, we have created a knowledge-base, the Virtual Metabolic Human (VMH), that combines information from large-scale models of metabolism from the human organism and typical gut microbes, with food composition information, and a disease compendium. VMH’s unique combination of resources leverages the exploration of metabolic pathways from different organisms, the inclusion of dietary information into in-silico experiments through its own diet designer tool, visualization and analysis of experimental and simulation data, and exploring disease mechanisms and potential treatment strategies. VMH is a step forward in providing the necessary tools to investigate the mechanisms behind the influence of diet in health and disease. Tools such as the diet designer can be used as a basis for diet optimization by predicting combinations of foods that can contribute to specific metabolic outcomes, which has the potential to be integrated and translated into treatment development and dietary recommendations in the foreseeable future. [less ▲]

Detailed reference viewed: 24 (10 UL)
Full Text
See detailSpectrum Monitoring Algorithms for Wireless and Satellite Communications
Politis, Christos UL

Doctoral thesis (2018)

Nowadays, there is an increasing demand for more efficient utilization of the radio frequency spectrum as new terrestrial and space services are deployed resulting in the congestion of the already crowded ... [more ▼]

Nowadays, there is an increasing demand for more efficient utilization of the radio frequency spectrum as new terrestrial and space services are deployed resulting in the congestion of the already crowded frequency bands. In this context, spectrum monitoring is a necessity. Spectrum monitoring techniques can be applied in a cognitive radio network, exploiting the spectrum holes and allowing the secondary users to have access in an unlicensed frequency band for them, when it is not occupied by the primary user. Furthermore, spectrum monitoring techniques can be used for interference detection in wireless and satellite communications. These two topics are addressed in this thesis. In the beginning, a detailed survey of the existing spectrum monitoring techniques according to the way that cognitive radio users 1) can detect the presence or absence of the primary user; and 2) can access the licensed spectrum is provided. Subsequently, an overview of the problem of satellite interference and existing methods for its detection are discussed, while the contributions of this thesis are presented as well. Moreover, this thesis discusses some issues in a cognitive radio system such as the reduction of the secondary user's throughput of the conventional \listen before talk" access method in the spectrum. Then, the idea of simultaneous spectrum sensing and data transmission through the collaboration of the secondary transmitter with receiver is proposed to address these concerns. First, the secondary receiver decodes the signal from the secondary transmitter, then, removes it from the total received signal and finally, applies spectrum sensing in the remaining signal in order to decide if the primary user is active or idle. The effects of the imperfect signal cancellation due to decoding errors, which are ignored in the existing literature, are considered in our analysis. The analytical expressions for the probabilities of false alarm and detection are derived and numerical results through simulations are also presented to validate the proposed study. Furthermore, the threat of interference for the satellite communications services is studied in this thesis. It proposes the detection of interference on-board the satellite by introducing a spectrum monitoring unit within the satellite transponder. This development will bring several benefits such as faster reaction time and simplification of the ground stations in multi-beam satellite systems. Then, two algorithms for the detection of interference are provided. The first detection scheme is based on energy detector with signal cancellation exploiting the pilot symbols. The second detection scheme considers a two-stage detector, where first, the energy detector with signal cancellation in the pilot domain is performed, and if required, an energy detector with signal cancellation in the data domain is carried out in the second stage. Moreover, the analytical expressions for the probabilities of false alarm and detection are derived and numerical results through simulations are provided to verify the accuracy of the proposed analysis. Finally, this thesis goes one step further and the developed algorithms are evaluated experimentally using software defined radios, particularly universal software radio peripherals (USRPs), while it concludes discussing some open research topics. [less ▲]

Detailed reference viewed: 9 (2 UL)
Full Text
See detailDynamical hybrid modeling of human metabolism
Ben Guebila, Marouen UL

Doctoral thesis (2018)

Human metabolism plays a key role in disease pathogenesis and drug action. Half a century of biochemical literature leveraged by the advent of genomics allowed the emergence of computational modeling ... [more ▼]

Human metabolism plays a key role in disease pathogenesis and drug action. Half a century of biochemical literature leveraged by the advent of genomics allowed the emergence of computational modeling techniques and the in silico analysis of complex biological systems. In particular, Constraint-Based Reconstruction and Analysis (COBRA) methods address the complexity of metabolism through building tissue-specific networks in their steady state. It is known that biological systems respond to perturbations induced by pathogens, drugs or malignant processes by shifting their activity to safeguard key metabolic functions. Extending the modeling framework to consider the dynamics of these complex systems will bring simulations closer to observable human phenotypes. In this thesis, I combined physiologically-based pharmacokinetic (PBPK) models with genome-scale metabolic models (GSMMs) to form hybrid genome-scale dynamical models that provide a hypothesis-free framework to study the perturbations induced by one or more perturbagen on human tissues. On a first stage, these methodologies were applied to decipher the absorption of levodopa and amino acids by the intestinal epithelium and allowed to derive a model-based diet for Parkinson's Disease patients. In the next phase, we extended the study to 605 drugs in order to predict the occurrence of gastrointestinal side effects through a machine learning classifier, using a combination of gene expression and metabolic reactions set as features. Finally, the approach upscaled to several tissues, specifically to investigate the genesis of metabolic symptoms in type 1 diabetes and to suggest key metabolic players underlying within and between-individual variability to insulin action. Taken as whole, the integration of two modeling techniques constrained by expert biological knowledge and heterogeneous data types will be a step forward in achieving convergence in human biology. [less ▲]

Detailed reference viewed: 103 (29 UL)
Full Text
See detailModelling the Extensionally Driven Transitions of DNA
Taghavi, Amirhossein UL

Doctoral thesis (2018)

Empirical measurements on DNA under tension show a jump by a factor of ≈ 1.5 − 1.7 in the relative extension at applied force of ≈ 65 − 70 pN, indi- cating a structural transition. The still ambiguously ... [more ▼]

Empirical measurements on DNA under tension show a jump by a factor of ≈ 1.5 − 1.7 in the relative extension at applied force of ≈ 65 − 70 pN, indi- cating a structural transition. The still ambiguously characterised stretched ‘phase’ is known as S-DNA. Using atomistic and coarse-grained Monte Carlo simulations we study DNA over-stretching in the presence of organic salts Ethidium Bromide (EtBr) and Arginine (an amino acid present in the RecA binding cleft). We present planar-stacked triplet disproportionated DNA as a solution phase of the double helix under tension, and dub it ‘Σ DNA’, with the three right-facing points of the Σ character serving as a mnemonic for the three grouped bases. Like unstretched Watson-Crick base paired DNA structures, the structure of the Σ phase is linked to function: the partitioning of bases into codons of three base-pairs each is the first stage of operation of recombinase enzymes such as RecA, facilitating alignment of homologous or near-homologous sequences for genetic exchange or repair. By showing that this process does not require any very sophisticated manipulation of the DNA, we position it as potentially appearing as an early step in the de- velopment of life, and correlate the postulated sequence of incorporation of amino acids (GADV then GADVESPLIT and then the full 20 residue set of canonical amino acids) into molecular biology with the ease of Σ-formation for sequences including the associated codons. To further investigate the de- pendence of stretching behaviour on the concentration of intercalating salt molecules, we present a physically motivated coarse-grained force-field for DNA under tension and use it to qualitatively reproduce regimes of force- extension behaviour which are not atomistically accessible. [less ▲]

Detailed reference viewed: 38 (12 UL)
Full Text
See detailDynamic Network Reconstruction in Systems Biology: Methods and Algorithms
Yue, Zuogong UL

Doctoral thesis (2018)

Dynamic network reconstruction refers to a class of problems that explore causal interactions between variables operating in dynamical systems. This dissertation focuses on methods and algorithms that ... [more ▼]

Dynamic network reconstruction refers to a class of problems that explore causal interactions between variables operating in dynamical systems. This dissertation focuses on methods and algorithms that reconstruct/infer network topology or dynamics from observations of an unknown system. The essential challenges, compared to system identification, are imposing sparsity on network topology and ensuring network identifiability. This work studies the following cases: multiple experiments with heterogeneity, low sampling frequency and nonlinearity, which are generic in biology that make reconstruction problems particularly challenging. The heterogeneous data sets are measurements in multiple experiments from the underlying dynamical systems that are different in parameters, whereas the network topology is assumed to be consistent. It is particularly common in biological applications. This dissertation proposes a way to deal with multiple data sets together to increase computational robustness. Furthermore, it can also be used to enforce network identifiability by multiple experiments with input perturbations. The necessity to study low-sampling-frequency data is due to the mismatch of network topology of discrete-time and continuous-time models. It is generally assumed that the underlying physical systems are evolving over time continuously. An important concept system aliasing is introduced to manifest whether the continuous system can be uniquely determined from its associated discrete-time model with the specified sampling frequency. A Nyquist-Shannon-like sampling theorem is provided to determine the critical sampling frequency for system aliasing. The reconstruction method integrates the Expectation Maximization (EM) method with a modified Sparse Bayesian Learning (SBL) to deal with reconstruction from output measurements. A tentative study on nonlinear Boolean network reconstruction is provided. The nonlinear Boolean network is considered as a union of local networks of linearized dynamical systems. The reconstruction method extends the algorithm used for heterogeneous data sets to provide an approximated inference but improve computational robustness significantly. The reconstruction algorithms are implemented in MATLAB and wrapped as a package. With considerations on generic signal features in practice, this work contributes to practically useful network reconstruction methods in biological applications. [less ▲]

Detailed reference viewed: 50 (7 UL)
Full Text
See detailINVESTIGATION OF THE CU(SN,GE)S3 TERNARY ALLOY FOR THIN FILM SOLAR CELLS
Robert, Erika UL

Doctoral thesis (2018)

This thesis examines material properties of the novel Cu2(Sn, Ge)S3 alloy, from the perspective of a solar cell scientist searching for a new light absorbing material to produce highly efficient thin-film ... [more ▼]

This thesis examines material properties of the novel Cu2(Sn, Ge)S3 alloy, from the perspective of a solar cell scientist searching for a new light absorbing material to produce highly efficient thin-film devices. [less ▲]

Detailed reference viewed: 14 (3 UL)
Full Text
See detailThe institution of linguistic dissidence in the Balearic Islands: ideological dynamics of Catalan standardisation
Duane Bernedo, Lucas John UL

Doctoral thesis (2018)

This thesis describes ethnographically the recent institution of linguistic dissidence in the Balearic Islands, understood as the establishment of a belief in the archipelago’s socio-political field that ... [more ▼]

This thesis describes ethnographically the recent institution of linguistic dissidence in the Balearic Islands, understood as the establishment of a belief in the archipelago’s socio-political field that claims ‘Balearic’, and not the current Catalan, must share official status with Castilian as its authentic autochthonous language. Three associations of language activists created in 2013 are responsible for this development. This thesis analyses two years of social media activity of the three language activist associations, together with other materials. Findings show how activists engaged in a struggle for the legitimisation of an alternative standard that revolved around authenticity ideologies, while they simultaneously secured and advanced the anonymity value of Castilian. Social media was instrumental for these purposes, as it provided activists representational control to articulate discourses about language and to police language practices. This thesis also examines the implications that this development represented for Catalan standardisation. I interviewed 11 language planners working at different institutions in the Balearic Islands and two Catalan language advocates. The interviews provided accounts on the ways institutional actors police the standard variety. After finding a vertical distribution of standard practices among institutional actors, the analysis focuses on a local planner’s social media practices. In all, this thesis advances three arguments about the activists’ strategic adoption of the standard language regime, the existence of an identification need in the Balearic linguistic market, and the role of minoritisation on standardisation. [less ▲]

Detailed reference viewed: 92 (8 UL)
Full Text
See detailComputational Integrative Models for Cellular Conversion: Application to Cellular Reprogramming and Disease Modeling
Zickenrott, Sascha UL

Doctoral thesis (2018)

The groundbreaking identification of only four transcription factors that are able to induce pluripotency in any somatic cell upon perturbation stimulated the discovery of copious amounts of instructive ... [more ▼]

The groundbreaking identification of only four transcription factors that are able to induce pluripotency in any somatic cell upon perturbation stimulated the discovery of copious amounts of instructive factors triggering different cellular conversions. Such conversions are highly significant to regenerative medicine with its ultimate goal of replacing or regenerating damaged and lost cells. Precise directed conversion of damaged cells into healthy cells offers the tantalizing prospect of promoting regeneration in situ. In the advent of high-throughput sequencing technologies, the distinct transcriptional and accessible chromatin landscapes of several cell types have been characterized. This characterization provided clear evidences for the existence of cell type specific gene regulatory networks determined by their distinct epigenetic landscapes that control cellular phenotypes. Further, these networks are known to dynamically change during the ectopic expression of genes initiating cellular conversions and stabilize again to represent the desired phenotype. Over the years, several computational approaches have been developed to leverage the large amounts of high-throughput datasets for a systematic prediction of instructive factors that can potentially induce desired cellular conversions. To date, the most promising approaches rely on the reconstruction of gene regulatory networks for a panel of well-studied cell types relying predominantly on transcriptional data alone. Though useful, these methods are not designed for newly identified cell types as their frameworks are restricted only to the panel of cell types originally incorporated. More importantly, these approaches rely majorly on gene expression data and cannot account for the cell type specific regulations modulated by the interplay of the transcriptional and epigenetic landscape. In this thesis, a computational method for reconstructing cell type specific gene regulatory networks is proposed that aims at addressing the aforementioned limitations of current approaches. This method integrates transcriptomics, chromatin accessibility assays and available prior knowledge about gene regulatory interactions for predicting instructive factors that can potentially induce desired cellular conversions. Its application to the prioritization of drugs for reverting pathologic phenotypes and the identification of instructive factors for inducing the cellular conversion of adipocytes into osteoblasts underlines the potential to assist in the discovery of novel therapeutic interventions. [less ▲]

Detailed reference viewed: 43 (8 UL)
Full Text
See detailComputational Integrative Models for Cellular Conversion: Application to Cellular Reprogramming and Disease Modeling
Jung Geb. Zickenrott, Sascha UL

Doctoral thesis (2018)

The groundbreaking identification of only four transcription factors that are able to induce pluripotency in any somatic cell upon perturbation stimulated the discovery of copious amounts of instructive ... [more ▼]

The groundbreaking identification of only four transcription factors that are able to induce pluripotency in any somatic cell upon perturbation stimulated the discovery of copious amounts of instructive factors triggering different cellular conversions. Such conversions are highly significant to regenerative medicine with its ultimate goal of replacing or regenerating damaged and lost cells. Precise directed conversion of damaged cells into healthy cells offers the tantalizing prospect of promoting regeneration in situ. In the advent of high-throughput sequencing technologies, the distinct transcriptional and accessible chromatin landscapes of several cell types have been characterized. This characterization provided clear evidences for the existence of cell type specific gene regulatory networks determined by their distinct epigenetic landscapes that control cellular phenotypes. Further, these networks are known to dynamically change during the ectopic expression of genes initiating cellular conversions and stabilize again to represent the desired phenotype. Over the years, several computational approaches have been developed to leverage the large amounts of high-throughput datasets for a systematic prediction of instructive factors that can potentially induce desired cellular conversions. To date, the most promising approaches rely on the reconstruction of gene regulatory networks for a panel of well-studied cell types relying predominantly on transcriptional data alone. Though useful, these methods are not designed for newly identified cell types as their frameworks are restricted only to the panel of cell types originally incorporated. More importantly, these approaches rely majorly on gene expression data and cannot account for the cell type specific regulations modulated by the interplay of the transcriptional and epigenetic landscape. In this thesis, a computational method for reconstructing cell type specific gene regulatory networks is proposed that aims at addressing the aforementioned limitations of current approaches. This method integrates transcriptomics, chromatin accessibility assays and available prior knowledge about gene regulatory interactions for predicting instructive factors that can potentially induce desired cellular conversions. Its application to the prioritization of drugs for reverting pathologic phenotypes and the identification of instructive factors for inducing the cellular conversion of adipocytes into osteoblasts underlines the potential to assist in the discovery of novel therapeutic interventions. [less ▲]

Detailed reference viewed: 25 (4 UL)
Full Text
See detailActive Harmonics Compensation in Smart Grids
Kobou Ngani, Patrick UL

Doctoral thesis (2018)

The quality of electric power is a key factor for the electricity supply service. It defines how good the characteristics of the supplied power meet the standard ones. Among several other power quality ... [more ▼]

The quality of electric power is a key factor for the electricity supply service. It defines how good the characteristics of the supplied power meet the standard ones. Among several other power quality issues, the harmonics are of more and more concern over the last decades. This is essentially due to the widespread use of electronic components. This thesis focuses on the development of a voltage active power filter implementing a new selective harmonics compensation algorithm. The first design is described as following: band-pass filters decompose the measured voltage signal as a sum of different harmonics voltages; PLLs (frequency-tuned) transform of the oscillating signals into two orthogonal and rotating components (dq-transform). The dq-components of each harmonic are controlled to zero using standard PI-controllers and the compensating harmonics waves are generated via the inverse PLL. All the harmonics compensating waves are superimposed and added to the fundamental reference signal. This represents the final control signal of the inverter. Implemented in the MATLAB-SIMULINK simulation environment, this foreseen methodology depicted as major issue the control stability especially when the system frequency differs from the rated 50-Hertz frequency. This is the reason why a second design has been proposed. The major improvement is done on the harmonics detection stability by replacing the PLLs frames by the well-known internal frame of the fundamental voltage of the controlled inverter. After the convincing theoretical results from the simulations, the method is implemented and validated experimentally on a test rig in the lab. The two key features of the developed active power filter (APF) are: 1)Its ability to be used as a standalone power unit that compensates by itself the harmonics that could appear in the system while generating the fundamental voltage necessary to build up the micro-grid. 2)Its ability to serve as a full grid-tied power element that not only mitigates the voltages harmonics on the coupled grid but also supports the grid by controlling the exchanged active and reactive powers between the inverter and the grid. In addition to the developed harmonic mitigation technique, a new grid synchronization method has been proposed along with a new power control algorithm combined with a grid impedance estimator for grid-tied inverter. Further investigations and development are required for three-phase unbalance voltage systems as well as for single-phase voltage power system for low power grids. [less ▲]

Detailed reference viewed: 83 (41 UL)
Full Text
See detailContributions to the asymptotic study of Hermite driven processes
Tran, Thi Thanh Diu UL

Doctoral thesis (2018)

This thesis consists of two parts. Part I is an introduction to Hermite processes, Hermite random fields, Fisher information and to the papers constituting the thesis. More precisely, in Section 1 we ... [more ▼]

This thesis consists of two parts. Part I is an introduction to Hermite processes, Hermite random fields, Fisher information and to the papers constituting the thesis. More precisely, in Section 1 we introduce Hermite processes in a nutshell, as well as some of its basic properties. It is the necessary background for the articles [a] and [c]. In Section 2 we consider briefly the multiparameter Hermite random fields and we study some less elementary facts which are used in the article [b]. In section 3, we recall some terminology about Fisher information related to the article [d]. Finally, our articles [a] to [d] are summarised in Section 4. Part II consists of the articles themselves: [a] T.T. Diu Tran (2017): Non-central limit theorem for quadratic functionals of Hermite-driven long memory moving average processes. Stochastic and Dynamics, 18, no. 4. [b] T.T. Diu Tran (2016): Asymptotic behavior for quadratic variations of nonGaussian multiparameter Hermite random fields. Under revision for Probability and Mathematical Statistics. [c] I. Nourdin, T.T. Diu Tran (2017): Statistical inference for Vasicek-type model driven by Hermite processes. Submitted to Stochastic Process and their Applications. [d] T.T. Diu Tran (2017+): Fisher information and multivariate Fouth Moment Theorem. Main results have already been obtained. It should be submitted soon. [less ▲]

Detailed reference viewed: 82 (9 UL)
Full Text
See detailIntegrating User- and System-Centric Perspectives into Collaborative Compound Document Authoring
Klein, Johannes UL

Doctoral thesis (2018)

Computer-supported collaborative work is increasingly common in our professional and personal life. However, the expectations and requirements of the users are frequently neglected when addressing the ... [more ▼]

Computer-supported collaborative work is increasingly common in our professional and personal life. However, the expectations and requirements of the users are frequently neglected when addressing the technological challenges associated with the development of a distributed collaboration system. The proposed collaboration environment employs an integrative approach to distributed compound document authoring, including both a user- and system-centric perspective on collaborative work. An interruption-free, reliable, and responsive shared work environment with a near real-time representation of the work of others is a core expectation from the users. In order to provide these features, a fine-granular, graph-based data representation has been developed to serve as the basis for this approach. The data representing individual compound document elements is partitioned over sets of three distinct nodes in the graph structure. This separation of metadata and payload data enables the precise attribution of editing operations while maintaining an adaptable and extensible data representation. User-specific preferences allow for the individualization of a user's work environment to account for personal preferences, requirements from the current collaboration scenario, or limitations of the employed computer system. Support for complex, data type-specific editing commands is integrated with a concurrent command application and Layered Consistency Management model. This enables a near real-time representation of the work of others, the preservation of the users' editing intentions, and the maintenance of a globally consistent data state. Intra- and inter-document relations retain semantic connections between distinct data structure elements. Together with an element's supplemental data, this related information enables additional, autonomous conflict resolution approaches and facilitates a comprehensive representation of the conflict in case of a manual resolution process. By integrating these functionalities into one coherent system, the users are provided with an unobtrusive, yet reliable and feature-rich distributed work environment able to actively support collaborative compound document authoring. [less ▲]

Detailed reference viewed: 54 (12 UL)
Full Text
See detailAdaptive capacities of cancer cells in Glioblastoma
Dirkse, Anne Marie Elisabeth UL

Doctoral thesis (2018)

Detailed reference viewed: 21 (3 UL)
Full Text
See detailAnalysis of cancer related protein isoforms by mass spectrometry
Ancheva, Lina UL

Doctoral thesis (2018)

Detailed reference viewed: 54 (8 UL)
See detailOptimierung und Charakterisierung einer mittels Laserstrahl gefügten Verbindung zwischen Aluminium und Polyamid 6.6
Lamberti, Christian UL

Doctoral thesis (2018)

The creation of strong joints between dissimilar materials and in particular between polymers and metals is one of the most often discussed topics in the fields of automotive, aerospace and transportation ... [more ▼]

The creation of strong joints between dissimilar materials and in particular between polymers and metals is one of the most often discussed topics in the fields of automotive, aerospace and transportation. Especially the combination of polyamide and aluminum is of highest interest, due to their market share as construction materials. New joining concepts are anticipated to deliver strong, durable and resource efficient structural components that are ideally suited for lightweight designs. However, current research activities have shown that the highly distinct material properties of these materials pose enormous challenges on the creation of hybrid structures. The cause that potentially enables the connection between the aluminum surface and the polymer is still not fully understood. The research objective of the presented work, therefore is, on the one hand, to create an optimal joint between aluminum and polyamide 6.6 using a laser beam to reach high shear strength for an industrial application. On the other hand, the presented work seeks to deliver a substantial contribution to furtherly understand the interaction between the polymer and the metal surface during the thermal joining. A laser-based joining method was developed that enables the researchers to overcome limitations of conventional processes, that is minimizing space requirements, making the application of additional gaskets obsolete, reaching high strength, saving weight and reducing processing time. The effectiveness of different surface pre-treatments has been studied, and the described optimization of this method has lead to an increase of the shear strength of the joints by more than 100 %. Laser ablation and the hydrothermal treatment of the metallic surface, before the joining operation, lead to the highest joint strength. The surface pre-treatment method of laser ablation delivered to transfer the gathered insights and experience from the laboratory to the industrial scale, due to its repeatability and reproducibility. The experiment mentioned above includes the use of production materials, such as aluminum with a higher sheet thickness of up to 1.48 mm and glass fiber reinforced polymer. Shear strength of 40 MPa was reached in quasi-static single lap shear tests. During dynamic testing, samples maintained 63 % of static breaking load after one million cycles. The hydrothermal treatment of the aluminum surface leads to a lower surface roughness of Ra = 1.58 µm in average as opposed to 4.90 µm after laser ablation. Due to the lower roughness values, the first-mentioned method was chosen to study the interaction. An XPS-analysis revealed a strong influence of the surface pre-treatment method on the chemical composition of the metal surface, which becomes noticeable by hydroxylation of the surface layer and is expressed by the oxide ratio (O/Al) and hydroxide ratio (OH/O). A high O/Al ratio of 2.36 and an OH/O ratio of 0.63 after the hydrothermal treatment is showing a strong increase of the amount of hydroxide in direct comparison to values of 35 % and 36 % of OH/O ratio after ethanol and hexane cleaning respectively. The question, as to which extent the presence of such hydroxide structures at the boundary layer of the aluminum influence the interaction between the metal surface and the polymer, was a subject matter of an additional FT-IR analysis. In case of the infrared spectra from thin polymer films on the hydrothermally treated surface, clear indications of interaction are visible. In direct comparison to the infrared spectra from polymer films on either ethanol or hexane cleaned surfaces, this interaction seems to increase nearby of the interface further. The interaction mentioned above appears at the carbonyl band and amine band as a shift of 4 cm-1 and 8 cm-1 and an increase of the full width at half maximum by 35 % respectively 40 %. Additional strong differences are visible at the molecule vibrations below 1,200 cm-1, which are typically assigned to both crystalline phases and amorphous phases of the polyamide. In case of the hydrothermal treatment, collected data indicates a polymorphous state inside the polymer films, which seems to become increasingly disordered close to the interface. On the contrary, spectra from the polymer films on ethanol and hexane pre-treated substrates show only marginal changes. Methods are proposed to build upon the results described in this work and refine distinct signs of the interaction. [less ▲]

Detailed reference viewed: 36 (10 UL)
Full Text
See detailTransforming Time Series for Efficient and Accurate Classification
Li, Daoyuan UL

Doctoral thesis (2018)

Time series data refer to sequences of data that are ordered either temporally, spatially or in another defined order. They can be frequently found in a variety of domains, including financial data ... [more ▼]

Time series data refer to sequences of data that are ordered either temporally, spatially or in another defined order. They can be frequently found in a variety of domains, including financial data analysis, medical and health monitoring and industrial automation applications. Due to their abundance and wide application scenarios, there has been an increasing need for efficient machine learning algorithms to extract information and build knowledge from these data. One of the major tasks in time series mining is time series classification (TSC), which consists of applying a learning algorithm on labeled data to train a model that will then be used to predict the classes of samples from an unlabeled data set. Due to the sequential characteristic of time series data, state-of-the-art classification algorithms (such as SVM and Random Forest) that performs well for generic data are usually not suitable for TSC. In order to improve the performance of TSC tasks, this dissertation proposes different methods to transform time series data for a better feature extraction process as well as novel algorithms to achieve better classification performance in terms of computation efficiency and classification accuracy. In the first part of this dissertation, we conduct a large scale empirical study that takes advantage of discrete wavelet transform (DWT) for time series dimensionality reduction. We first transform real-valued time series data using different families of DWT. Then we apply dynamic time warping (DTW)-based 1NN classification on 39 datasets and find out that existing DWT-based lossy compression approaches can help to overcome the challenges of storage and computation time. Furthermore, we provide assurances to practitioners by empirically showing, with various datasets and with several DWT approaches, that TSC algorithms yield similar accuracy on both compressed (i.e., approximated) and raw time series data. We also show that, in some datasets, wavelets may actually help in reducing noisy variations which deteriorate the performance of TSC tasks. In a few cases, we note that the residual details/noises from compression are more useful for recognizing data patterns. In the second part, we propose a language model-based approach for TSC named Domain Series Corpus (DSCo), in order to take advantage of mature techniques from both time series mining and Natural Language Processing (NLP) communities. After transforming real-valued time series into texts using Symbolic Aggregate approXimation (SAX), we build per-class language models (unigrams and bigrams) from these symbolized text corpora. To classify unlabeled samples, we compute the fitness of each symbolized sample against all per-class models and choose the class represented by the model with the best fitness score. Through extensive experiments on an open dataset archive, we demonstrate that DSCo performs similarly to approaches working with original uncompressed numeric data. We further propose DSCo-NG to improve the computation efficiency and classification accuracy of DSCo. In contrast to DSCo where we try to find the best way to recursively segment time series, DSCo-NG breaks time series into smaller segments of the same size, this simplification also leads to simplified language model inference in the training phase and slightly higher classification accuracy. The third part of this dissertation presents a multiscale visibility graph representation for time series as well as feature extraction methods for TSC, so that both global and local features are fully extracted from time series data. Unlike traditional TSC approaches that seek to find global similarities in time series databases (e.g., 1NN-DTW) or methods specializing in locating local patterns/subsequences (e.g., shapelets), we extract solely statistical features from graphs that are generated from time series. Specifically, we augment time series by means of their multiscale approximations, which are further transformed into a set of visibility graphs. After extracting probability distributions of small motifs, density, assortativity, etc., these features are used for building highly accurate classification models using generic classifiers (e.g., Support Vector Machine and eXtreme Gradient Boosting). Based on extensive experiments on a large number of open datasets and comparison with five state-of-the-art TSC algorithms, our approach is shown to be both accurate and efficient: it is more accurate than Learning Shapelets and at the same time faster than Fast Shapelets. Finally, we list a few industrial applications that relevant to our research work, including Non-Intrusive Load Monitoring as well as anomaly detection and visualization by means for hierarchical clustering for time series data. In summary, this dissertation explores different possibilities to improve the efficiency and accuracy of TSC algorithms. To that end, we employ a range of techniques including wavelet transforms, symbolic approximations, language models and graph mining algorithms. We experiment and evaluate our approaches using publicly available time series datasets. Comparison with the state-of-the-art shows that the approaches developed in this dissertation perform well, and contribute to advance the field of TSC. [less ▲]

Detailed reference viewed: 197 (25 UL)
Full Text
See detailCONSEQUENCES OF EARLY LIFE STRESS FOR PAIN PROCESSING AND COPING WITH STRESS IN LATER LIFE: BEHAVIOURAL AND BIOCHEMICAL STUDIES IN THE RAT
Genty, Julien UL

Doctoral thesis (2018)

Stress is commonly defined as the response to a non-specific situation presenting a psychological and/or physical challenge. In order to react in an appropriate manner to environmental threats the body ... [more ▼]

Stress is commonly defined as the response to a non-specific situation presenting a psychological and/or physical challenge. In order to react in an appropriate manner to environmental threats the body will trigger a wide range of defence mechanisms. However cases where challenges are sustained and the individual does not have the ability to cope with the stress are nowadays believed to be a main factor for the onset and exacerbation of a broad range of disorders. Among these are psychiatric disorders such as depression but also pain affections. Pain is described by the International Association for the study of Pain (IASP) as an unpleasant sensory and emotional experience associated with actual or potential tissue damage. As for stress, this system aiming at preserving the body integrity can become defective and enhance pain sensitivity or foster the development of chronic pain. These two health problems categories each represent a considerable issue of public health. Indeed the World Health Organization (WHO) estimates that 27% of the European adult population had experienced at least one episode of mental disorder and the IASP reported that 19% of the pan-European population experienced chronic pain (Macfarlane, Pain 2016). Furthermore, chronic pain and stress-related disorders are greatly comorbid, having deleterious effects on the efficacy of treatments. Despite the raising awareness of clinical and pre-clinical research on their overlapping pathways, common mediators and interactions, the nature of the relationship between chronic pain conditions and stress-related disorders is not yet elucidated. The studies I undertook during my Ph.D. aimed to understand how chronic stress, with an emphasis on early-life stress, is linked to altered nociceptive transmission and to modified chronic pain vulnerability. Early life stress (ELS) was of particular interest as this period of life is subjected to an intense neuronal plasticity of notably stress and pain systems. Furthermore it is increasingly accepted that early life factors are linked to the susceptibility to develop chronic pain conditions in adulthood. As pain is a multidimensional system, I had to restrict my studies to one of the relay stations for the transmission of pain. In the context of chronic stress, most of the work was done on the brain circuits underlying the affective part of pain but little is known about the effect of chronic pain on spinal nociceptive processes. Since chronic stress is a broad phenomenon altering not only processing at the brain level, I focused my studies on spinal dorsal horn noxious transmission. The first stage of my work was to assess the impact of ELS on neuropathic pain, a type of chronic pain arising from nerve lesions. In a second step, I sought to determine if the results obtained in this first study were specific to the type of pain (neuropathic) or also were valid for another type of chronic pain, e.g. chronic inflammatory pain. The third study aimed to determine if ELS would predispose to enhanced vulnerability to stress exposure later in life and to concomitant alterations of chronic pain. To finish, during the last year of my Ph.D. I investigated the possible mechanisms underlying the behavioural results using pharmacological manipulations and initiated a separate project devoted to in vivo electrophysiological characterization of the response behaviour of nociceptive spinal dorsal horn neurons. In the following introduction, I will give an overview of the stress systems, focusing on the hypothalamo-pituitary adrenal (HPA) axis and early life stress. Then I will outline the different part of the pain system and concepts of central sensitization involved in chronic pain. [less ▲]

Detailed reference viewed: 48 (6 UL)
Full Text
See detailGlobal flows, local conflicts and the challenge of urban governance: Managing the urban-airport interface in London and the South East of England
Mcdonough, Evan UL

Doctoral thesis (2018)

Whilst often taken for granted, transport flows, airspace and urbanisation at ‘ground level’ are deeply intertwined. This dissertation situates London’s current controversy regarding airport expansion and ... [more ▼]

Whilst often taken for granted, transport flows, airspace and urbanisation at ‘ground level’ are deeply intertwined. This dissertation situates London’s current controversy regarding airport expansion and aircraft noise and within new understandings of urbanisation and the role of transport flows within the urban realm, analysing the contested spatial relations stretched across the three-dimensional terrain, where the urban-rural, global-local and public- private spatial divisions are polarised by the negotiation of aircraft noise. Drawing from empirical evidence related to existing noise pollution issues and the expansion of aviation infrastructure in the South East, this text interprets airspace as part of the transformation and extension of the urban fabric above the built environment of the urban region, comparable to peri-urban extension and dispersal of the urban across the earth’s surface. This study draws from empirical qualitative evidence of London Heathrow Airport, Gatwick Airport, and the local places which experience noise pollution emanating from the various, changing flight paths to and from these airports within and surrounding London’s urban boundary. Theorised in this text as the relational, interscalar urban-airport interface, the constructivist approach employed here focuses on the constellation of public and private institutions and actors who co-constitute this interface and manage aircraft noise in the context of on-going airspace modernisation, the intensification of aircraft activity and pending airport expansion. [less ▲]

Detailed reference viewed: 23 (3 UL)
Full Text
See detailEmployment Dynamics, Firm Performance and Innovation Persistence in the Context of Differentiated Innovation Types: Evidence from Luxembourg
Zhen, Ni UL

Doctoral thesis (2018)

This doctoral dissertation examines the essential topics of employment dynamics, firm performance and innovation persistence comprehensively. In particular, this doctoral dissertation provides an ... [more ▼]

This doctoral dissertation examines the essential topics of employment dynamics, firm performance and innovation persistence comprehensively. In particular, this doctoral dissertation provides an assessment of the differentiated role of innovation strategies in employment, firm performance and innovation persistence. Chapter 2 studies the dynamic relationship between technological innovation and employment using Luxembourgish firm level data pertaining to the non-financial corporate sector during the period 2003-2012. A simple theoretical model that distinguishes the employment effect of product innovation from that of process innovation is developed. The model is then estimated by two-step generalised method of moments using an unbalanced panel data stemming from the annual structural business survey merged with the biennial innovation survey. The results show that the semi-elasticity of employment with respect to product innovation lies between 0.2% and 0.5%. The differential in the employment effects between radical and incremental innovation is estimated to be 50%. Similarly, the employment level differential between product innovators and firms with unchanged products lies between 4% and 11%. Unlike product innovation, however, process innovation does not have any significant effect on the firm level of employment. Chapter 3 investigates the two-way relationship between technological innovation and firm performance at the firm level. In the framework of evolutionary economics, innovation is regarded as a highly cumulative process which exhibits positive feedback. This chapter aims at capturing the interdependent relationship and possible bidirectional causality between innovation and firm performance. Superior firm performance facilitates the emergence of innovations, innovation contributes to firm performance by gaining successful and sustainable competitive advantage, which forms a virtuous circle. A fully recursive simultaneous model is established where product and process innovation are explicitly distinguished. The system of simultaneous equations with mixed structure is estimated by full information maximum likelihood methods. The longitudinal firm-level data is applied over the 2003-2012 period by merging five waves of the Luxembourgish innovation survey with structural business surveys. This chapter discovers that enhanced firm performance facilitates process innovation and process innovation improves firm performance, which forms a self-reinforcing virtuous circle. An opposite pattern is identified for the product innovation on the ground of cannibalization effect and inherent market risks associated with new products. Chapter 4 explores innovation persistence at the firm level by means of dynamic nonlinear random effects models based on the estimator proposed by Albarrán et al. [2015]. It aims at capturing the true state dependence which indicates the causal relationship between innovation in one period and decision to innovate in the subsequent period. The Albarrán et al. [2015] method accounts for unobserved individual effects that are correlated with the initial conditions as well as the unbalanced structure of panel. Using five questionnaire waves of Luxembourgish Community Innovation Surveys (CIS) for the years 2002-2012, this study provides new insights on the differentiated patterns of persistence among product and process innovation. Results highlight the relevance of innovation persistence for all types of innovation, particularly the highest level of persistence is found for product innovation. In addition, the state dependence of product innovation is mainly associated with sunk costs relevant to R&D expenditures, whereas the state dependence of process innovation can be attributed to other factors such as dynamic increasing returns and learning effect. The further differentiation of product innovator category reveals that the state dependence of incremental product innovation can be mainly attributed to sunk costs relevant to R&D expenditures. In contrast, the joint significance of average R&D intensity, intramural R&D share as well as the past realization of radical product innovation suggests the role of other factors such as dynamic increasing returns and learning effect in fostering state dependence for radical innovations. [less ▲]

Detailed reference viewed: 38 (8 UL)
Full Text
See detailLa mémoire de la "Résistance" au prisme d'une histoire croisée des associations d'anciens résistants du Luxembourg, de l'Alsace, de la Moselle et de la Belgique de l'Est (1944-2017)
Hoffmann, Elisabeth Jeanne Suzette UL

Doctoral thesis (2018)

Notre thèse, qui a pu être réalisée grâce au soutien du Fonds national de la Recherche du Luxembourg et qui s’est faite dans le cadre du projet de recherche « Partizip 2 » de l’Université du Luxembourg et ... [more ▼]

Notre thèse, qui a pu être réalisée grâce au soutien du Fonds national de la Recherche du Luxembourg et qui s’est faite dans le cadre du projet de recherche « Partizip 2 » de l’Université du Luxembourg et en cotutelle avec l’Université de Lorraine, est une analyse de la mémoire de la « Résistance » depuis 1944 à 2017 par le biais d’une histoire comparée des associations d’anciens résistants du Luxembourg, de l’Alsace, de la Moselle et de la Belgique de l’Est. Il s’agit des territoires, qui, lorsque les Allemands lancent leur offensive à partir du 10 mai 1940 en Europe de l’Ouest, sont annexés (de fait) au IIIe Reich. Au cours de notre recherche, nous avons pu constater d’importantes asymétries entre ces territoires au niveau des médias mémoriels présents, comme les monuments, les musées ou les statuts juridiques en hommage aux anciens résistants. Si au Luxembourg la mémoire de la « Résistance » est plus développée par rapport aux régions françaises et belges, cela s’explique du fait qu’elle a évolué dans un contexte national « homogène ». En effet, les Alsaciens, Mosellans et Belges de l’Est doivent situer leur passé régional particulier dans un paysage mémoriel national qui s’articule autour de l’occupation et où le contexte spécifique de l’annexion (de fait) est peu connu. Or, les asymétries mémorielles n’apparaissent pas seulement entre l’Etat luxembourgeois et les régions françaises et belges, mais également entre les régions mêmes. Si l’explication de la différence entre échelles nationales et régionales est pertinente lorsque nous comparons le Luxembourg et les régions françaises et belges, elle ne permet pourtant pas de comprendre les variations mémorielles entre ces régions. Quelles sont donc les raisons de ces asymétries mémorielles ? Ou autrement formulé : quels facteurs favorisent l’intensification de la mémoire de la « Résistance » ? Afin de déterminer ces facteurs, nous avons choisi d’effectuer une histoire comparée des associations d’anciens résistants du Luxembourg, de l’Alsace, de la Moselle et de la Belgique de l’Est, qui sont des acteurs de mémoire décisifs puisque souvent à l’origine des médias mémoriels que nous venons d’évoquer. Cette démarche nous a permis de mettre en évidence des clés d’interprétation qu’une étude isolée de chaque espace en question ne rendrait pas visible. Au cours de notre recherche, nous avons déterminé plusieurs facteurs qui peuvent favoriser l’intensification de la mémoire de la « Résistance » : la coordination efficace des projets collectifs des associations d’anciens résistants par le biais d’une organisation unique ou d’un porte-parole commun, les concurrences mémorielles et la participation politique qui incitent les associations d’anciens résistants à se mobiliser, favorisant ainsi l’émergence de médias mémoriels de la « Résistance » et finalement le développement des associations d’anciens résistants et de leurs médias mémoriels dans le contexte de la globalisation de la mémoire. Ces facteurs, qui sont intrinsèquement liés et qu’il faut ainsi concevoir dans une perspective dynamique et interdépendante, sont présentés dans les chapitres de notre analyse empirique, qui est agencée en trois parties. Une première partie se consacre à l’émergence des associations d’anciens résistants et à leurs activités liées à l’immédiat après-guerre dans le contexte du rapatriement et de l’entraide, de l’épuration et de la reconstruction. Un deuxième chapitre analyse la lutte des associations d’anciens résistants pour une reconnaissance morale et matérielle ainsi que leur participation politique. Une troisième et dernière partie aborde finalement les projets mémoriels des associations d’anciens résistants entre commémoration et médiation de l’histoire dans le contexte de la globalisation de la mémoire de la Seconde Guerre mondiale. [less ▲]

Detailed reference viewed: 21 (3 UL)
See detailHybrid Histories: Technologies of Memory and the Cultural Dynamics of Home Movies, 1895-2005
van der Heijden, Tim UL

Doctoral thesis (2018)

This dissertation analyses the cultural dynamics of home movies in the twentieth century. It investigates how various generations have recorded their family memories on film, video and digital media, and ... [more ▼]

This dissertation analyses the cultural dynamics of home movies in the twentieth century. It investigates how various generations have recorded their family memories on film, video and digital media, and, more specifically, how changes in these “technologies of memory” have shaped new forms of home movie making and screening. Covering the period from the invention of the film camera in the late nineteenth century, the introduction of 9.5mm, 16mm, 8mm small-gauges and Super 8 film technologies for amateurs, via home video to digital media technologies, this study addresses the complex interrelations between the materiality of film, video and digital media technologies, their social usages and cultural meanings from a long-term historical perspective. Focusing on specific periods of transition, it becomes clear that different media technologies, user practices and discourses not only succeed each other in time, but also increasingly interrelate, interact or even transform each other. Maintaining both a diachronic and a synchronic perspective on media transitions, this dissertation proposes an alternative form of media historiography that rethinks media histories beyond the frameworks of change and continuity by perceiving hybridity as a constant factor in media historical development. [less ▲]

Detailed reference viewed: 62 (7 UL)
Full Text
See detailL’enseignement du chinois standard en tant que 3ème ou 4ème langue étrangère dans une classe de seconde en Alsace : le rôle de la notion de compétence plurilingue et pluriculturelle
Chen, Yan-Zhen UL

Doctoral thesis (2017)

This thesis consists of a qualitative and ethnographic research. It aims to determinate the role played by the plurilingual and pluricultural competence of a teacher and her twenty-two full beginner ... [more ▼]

This thesis consists of a qualitative and ethnographic research. It aims to determinate the role played by the plurilingual and pluricultural competence of a teacher and her twenty-two full beginner students in the context of the teaching of Chinese as a foreign language. How does this teacher interpret this notion? How can this teacher take into account and make use of her students’ previously acquired languages, i.e. their plurilingual repertoire, to facilitate her teaching? This thesis concerns not only identifying the mechanisms and the frequency of the use of the plurilingual repertoire in the teaching of standard Chinese, but also interrogating the teacher and the students’ representation. This analysis intends to seize the causes of the gap between the official discourse and instructions on one hand and the empirical teaching and learning practices on the other hand. This thesis demonstrated two significant results: the “sloganization” of the notion of plurilingual and pluricultural competence in French educative language policies and the lack of awareness of the protagonists concerning their solicitation of the plurilingual and pluricultural competence in the classroom. [less ▲]

Detailed reference viewed: 50 (2 UL)
Full Text
See detailInvestigation of crack development in a fairfaced replacement screed based on fiber-reinforced concrete
Weiler, Michael UL

Doctoral thesis (2017)

In the present study, a design concept for unreinforced, cement-bound concrete floors is presented. The work concentrates on cracking caused by shrinkage of the concrete used. The central components of ... [more ▼]

In the present study, a design concept for unreinforced, cement-bound concrete floors is presented. The work concentrates on cracking caused by shrinkage of the concrete used. The central components of the work are a numerical model (Finite element model) which, taking into account all time-dependent material parameters and with the aid of a simple calculation approach, is able to predict crack paths on sharp edges. In addition, with the help of the model, it is possible to simulate the curling of the corners of a float mounted concrete floor. For this purpose, the required material parameters (static elastic modulus, uniaxial tensile strength) were investigated under laboratory conditions and compared with prognosis values of an available prognosis software and with the analytical prognosis approach of DIN EN 1992-1-1: 2011-01. In a first step, the crack formation and crack development on a small, H-shaped concrete sample were examined and a crack path was calculated using a first numerical approach. This first numerical approach was subsequently validated on large-scale surfaces. On the basis of the large-scale experiments, the numerical model was further developed with regard to curling of concrete floors. All experiments were calculated with the approach of element failure method (EFM) using the commercial finite element software ANSYS. The design concept is completed by a parameter study. By means of this parameter study, it is possible to identify the parameters which decisively influences cracking. The present work thus makes an important contribution to the numerical modelling of damage in unreinforced concrete structures. [less ▲]

Detailed reference viewed: 53 (12 UL)
Full Text
See detailEfficient and Secure Implementations of Lightweight Symmetric Cryptographic Primitives
Dinu, Dumitru Daniel UL

Doctoral thesis (2017)

This thesis is devoted to efficient and secure implementations of lightweight symmetric cryptographic primitives for resource-constrained devices such as wireless sensors and actuators that are typically ... [more ▼]

This thesis is devoted to efficient and secure implementations of lightweight symmetric cryptographic primitives for resource-constrained devices such as wireless sensors and actuators that are typically deployed in remote locations. In this setting, cryptographic algorithms must consume few computational resources and withstand a large variety of attacks, including side-channel attacks. The first part of this thesis is concerned with efficient software implementations of lightweight symmetric algorithms on 8, 16, and 32-bit microcontrollers. A first contribution of this part is the development of FELICS, an open-source benchmarking framework that facilitates the extraction of comparative performance figures from implementations of lightweight ciphers. Using FELICS, we conducted a fair evaluation of the implementation properties of 19 lightweight block ciphers in the context of two different usage scenarios, which are representatives for common security services in the Internet of Things (IoT). This study gives new insights into the link between the structure of a cryptographic algorithm and the performance it can achieve on embedded microcontrollers. Then, we present the SPARX family of lightweight ciphers and describe the impact of software efficiency in the process of shaping three instances of the family. Finally, we evaluate the cost of the main building blocks of symmetric algorithms to determine which are the most efficient ones. The contributions of this part are particularly valuable for designers of lightweight ciphers, software and security engineers, as well as standardization organizations. In the second part of this work, we focus on side-channel attacks that exploit the power consumption or the electromagnetic emanations of embedded devices executing unprotected implementations of lightweight algorithms. First, we evaluate different selection functions in the context of Correlation Power Analysis (CPA) to infer which operations are easy to attack. Second, we show that most implementations of the AES present in popular open-source cryptographic libraries are vulnerable to side-channel attacks such as CPA, even in a network protocol scenario where the attacker has limited control of the input. Moreover, we describe an optimal algorithm for recovery of the master key using CPA attacks. Third, we perform the first electromagnetic vulnerability analysis of Thread, a networking stack designed to facilitate secure communication between IoT devices. The third part of this thesis lies in the area of side-channel countermeasures against power and electromagnetic analysis attacks. We study efficient and secure expressions that compute simple bitwise functions on Boolean shares. To this end, we describe an algorithm for efficient search of expressions that have an optimal cost in number of elementary operations. Then, we introduce optimal expressions for first-order Boolean masking of bitwise AND and OR operations. Finally, we analyze the performance of three lightweight block ciphers protected using the optimal expressions. [less ▲]

Detailed reference viewed: 193 (35 UL)
Full Text
See detailComputational Methods for Analysing Long-run Dynamics of Large Biological Networks
Yuan, Qixia UL

Doctoral thesis (2017)

Systems biology combines developments in the fields of computer science, mathematics, engineering, statistics, and biology to study biological networks from a holistic point of view in order to provide a ... [more ▼]

Systems biology combines developments in the fields of computer science, mathematics, engineering, statistics, and biology to study biological networks from a holistic point of view in order to provide a comprehensive, system level understanding of the underlying system. Recent developments in biological laboratory techniques have led to a slew of increasingly complex and large biological networks. This poses a challenge for formal representation and analysis of those large networks efficiently. To understand biology at the system level, the focus should be on understanding the structure and dynamics of cellular and organismal function, rather than on the characteristics of isolated parts of a cell or organism. One of the most important focuses is the long-run dynamics of a network, as they often correspond to the functional states, such as proliferation, apoptosis, and differentiation. In this thesis, we concentrate on how to analyse long-run dynamics of biological networks. In particular, we examine situations where the networks in question are very large. In the literature, quite a few mathematical models, such as ordinary differential equations, Petri nets, and Boolean networks (BNs), have been proposed for representing biological networks. These models provide different levels of details and have different advantages. Since we are interested in large networks and their long-run dynamics, we need to use ``coarse-grained" level models that focus on the system behaviour of the network while neglecting molecular details. In particular, we use probabilistic Boolean networks (PBNs) to describe biological networks. By focusing on the wiring of a network, a PBN not only simplifies the representation of the network, but it also captures the important characteristics of the dynamics of the network. Within the framework of PBNs, the analysis of long-run dynamics of a biological network can be performed with regard to two aspects. The first aspect lies in the identification of the so-called attractors of the constituent BNs of a PBN. An attractor of a BN is a set of states, inside which the network will stay forever once it goes in; thus capturing the network's long-term behaviour. A few methods have been discussed for computing attractors in the literature. For example, the binary decision diagram based approach and the satisfiability based approach. These methods, however, are either restricted by the network size, or can only be applied to synchronous networks where all the elements in the network are updated synchronously at each time step. To overcome these issues, we propose a decomposition-based method. The method works in three steps: we decompose a large network into small sub-networks, detect attractors in sub-networks, and recover the attractors of the original network using the attractors of the sub-networks. Our methods can be applied to both asynchronous networks, where only one element in the network is updated at each time step, and synchronous networks. Experimental results show that our proposed method is significantly faster than the state-of-the-art methods. The second aspect lies in the computation of steady-state probabilities of a PBN with perturbations. The perturbations of a PBN allow for a random, with a small probability, alteration of the current state of the PBN. In a PBN with perturbations, the long-run dynamics is characterised by the steady-state probability of being in a certain set of states. Various methods for computing steady-state probabilities can be applied to small networks. However, for large networks, the simulation-based statistical methods remain the only viable choice. A crucial issue for such methods is the efficiency. The long-run analysis of large networks requires the computation of steady-state probabilities to be finished as soon as possible. To reach this goal, we apply various techniques. First, we revive an efficient Monte Carlo simulation method called the two-state Markov chain approach for making the computations. We identify an initialisation problem, which may lead to biased results of this method, and propose several heuristics to avoid this problem. Secondly, we develop several techniques to speed up the simulation of PBNs. These techniques include the multiple central processing unit based parallelisation, the multiple graphic processing unit based parallelisation, and the structure-based parallelisation. Experimental results show that these techniques can lead to speedups from ten times to several hundreds of times. Lastly, we have implemented the above mentioned techniques for identification of attractors and the computation of steady-state probabilities in a tool called ASSA-PBN. A case-study for analysing an apoptosis network with this tool is provided. [less ▲]

Detailed reference viewed: 63 (32 UL)
Full Text
See detailProposal of a Failure Criterion of Adhesively Bonded Connections with Silicone
Staudt, Yves Nico Louis UL

Doctoral thesis (2017)

In the field of façade engineering, structural silicone sealants have been used in adhesively bonded connections since the 1960s. The low strength and stiffness of silicone rubber compared to other types ... [more ▼]

In the field of façade engineering, structural silicone sealants have been used in adhesively bonded connections since the 1960s. The low strength and stiffness of silicone rubber compared to other types of adhesives are compensated by the excellent adhesion properties and the good resistance against ageing and environmental influences, like UV radiation. Silicone sealants show a pronounced nonlinear material behaviour. The applicable design concepts in civil engineering propose simplified design equations, which are based on the assumption of a linear material law. Due to the current state of knowledge and to compensate the simplified model assumptions in the design concept, high reduction factors on the material strength and many restrictions on applications are defined. In order to overcome these drawbacks, the stress state within the sealant is increasingly described using the Finite Element Method. Considering the results of these analysis, the assessment of both the complex stress states with a suitable failure criterion and the influence of stress singularities on the failure behaviour constitute inevitable questions. The present work addresses these two questions. In the first step, the strain magnitude has been determined as a suitable failure criterion for the defect-free bulk material of the considered Dow Corning® 993 structural silicone sealant, subjected to a quasi-static loading. The failure criterion has been calibrated using the results of uniaxial tension as well as circular shear tests and validated with the results of compression tests. The strain magnitude is a strain-based failure criterion, which can be seen as a measure for the distortion of the molecular chains. In a second step, the stress distribution of the single-lap shear joint has been investigated in detail. For the assessment of the singular stresses and strains at the edge area of the interface between the adhesive and the substrate, referred to as two-material wedge, the so-called coupled stress and energy criterion, a concept of Finite Fracture Mechanics, was extended to nonlinear elastic material behaviour. Based on results of conduced simple shear tests on small bonded connections with varying adhesive thicknesses and overlap lengths, the coupled criterion was used to predict the crack initiation loads and a good agreement with the experimentally recorded values was obtained. Knowing the strength and the critical energy release rate of the material, the crack initiation load and the corresponding crack length are determined in the coupled criterion by solving an optimisation problem based on a Finite Element Analysis. The stress partial criterion has been modified to consider the strain magnitude as a failure criterion. In order to analyse the energy partial criterion, the critical energy release rate of Dow Corning® 993 structural silicone sealant has been determined in Double Cantilever Beam tests using the evaluation method based on the J-integral approach. Furthermore, concepts of the Theory of Critical Distances were used to determine the failure loads of the small scale tests. Unlike as for the notched circular shear tests and the tension tests on small scale bonded connections, good predictions were found in the Finite Element Analysis for the simple shear specimens, when a constant element size and formulation at the vicinity of the two-material wedge were used. Similar results were obtained with the point method and the control volume approach. These findings indicate that the characteristic material length for silicone rubber is not constant. [less ▲]

Detailed reference viewed: 77 (13 UL)
Full Text
See detailBig Data Architectures For Robust Systems
Falk, Eric UL

Doctoral thesis (2017)

Monitoring robustness of critical systems/infrastructures is the major use case for anomaly detection. A robust system designates a structure not only safe against intentional attacks, but also capable of ... [more ▼]

Monitoring robustness of critical systems/infrastructures is the major use case for anomaly detection. A robust system designates a structure not only safe against intentional attacks, but also capable of stemming internal failures. These systems face two primary risks: cyber attacks fall into the first category, whereas failing hardware components are part of the second category. In both cases, fast decision making is crucial. Hence, streaming data processing is the decisive asset to consider. With this background, in this thesis, we investigate two scenarios from the fields of mobile network sanity monitoring and cyber-physical security. Our contribution is threefold: We display how the real-time requirements of the two use cases push existing frameworks to their utter limits; We show which anomaly detection methods can be used to facilitate instant assessment rendering; We blueprint the extensions we contributed to big data frameworks, which are powering major silicon valley companies, to make them capable of supporting our use cases. The data-sets issued by our monitoring systems yield different properties than data from internet companies such as Google, Facebook or LinkedIn. In this work we establish our use cases, illustrate the mathematical models employed for the decision taking, and examine how big data architectures have to be altered to support our scenarios. [less ▲]

Detailed reference viewed: 52 (10 UL)
See detailCONTRIBUTIONS TO THE STATISTICS OF RANDOM PROCESSES USING MALLIAVIN CALCULUS
Krein, Christian Yves Léopold UL

Doctoral thesis (2017)

In this dissertation we present several applications of Malliavin calculus, both to the statistical analysis of continuous time stochastic processes and to limit theorems for non-linear functionals of ... [more ▼]

In this dissertation we present several applications of Malliavin calculus, both to the statistical analysis of continuous time stochastic processes and to limit theorems for non-linear functionals of Gaussian Fields. Malliavin calculus extends techniques of classical calculus of variations from deterministic functions to random variables. In Malliavin calculus, the so called Malliavin derivative and its adjoint, the divergence operator, are combined with the theory of Hilbert spaces. Just as classical calculus, this theory has proved to be a powerful tool and its applications vary from the existence of densities, to the construction of estimators and the study of weak convergence of sequences of random variables and random vectors, with a special focus on normal approximations. The first part of the present document is essentially a generalization of a result of Privault and Réveillac (2008), which extends a seminal paper of Stein (1956). Stein has shown that, under certain conditions, there are biased estimators which perform better than the standard estimator for the mean of a multivariate normal vector. It has been shown by Privault and Réveillac that a similar statement holds for Gaussian processes and we shall present a generalization of their work to continuous time models, where the noise is either a chaotic Brownian martingale or a non-martingale noise living in the second Wiener chaos. This first part of the work corresponds to the paper "Drift estimation with non-gaussian noise using Malliavin Calculus" (2015) which has been published by the Electronic Journal of Statistics. In the second part of the work we give necessary and sufficient criteria for the convergence of sequences of random variables, living in a fixed sum of Wiener chaoses, to a limit which lives in the sum of the first two Wiener chaoses. Our results extend the important findings of Nualart and Peccati (2005), the so-called Fourth Moment Theorem, and a recent finding of Azmoodeh, Peccati and Poly (2014). Our criteria make use of the so-called Gamma-operators which are derived from scalar products of Malliavin derivatives and the infinitesimal generator of the Ornstein-Uhlenbeck semi-group, see for instance Azmoodeh, Peccati and Poly (2014). This part corresponds to the paper "Weak convergence on Wiener space: targeting the first two chaoses" (2017) which has been submitted to the Latin American Journal of Probability and Mathematical Statistics (ALEA). In the last part of the present work we consider a sequence living in a fixed Wiener chaos and converging in law to a normal variable. A second sequence is supposed to converge in law to a target variable which is the sum of a linear combination of independent chi-square distributed random variables and an independent normal variable. We derive conditions under which the sequence of random vectors, formed by both sequences of random variables, converges in law. We use again Gamma-operators and cumulants to derive necessary and sufficient conditions which can be seen as generalization of results of Peccati and Tudor (2005) for Gaussian limits in the case of sequences of random vectors which converge componentwise. We apply methods developed by Nourdin and Peccati (2009) to examine the rate of convergence of a sequence of double Wiener integrals towards a normal variable. [less ▲]

Detailed reference viewed: 31 (5 UL)
See detailLearning Finite Automata via Flexible State-Merging and Applications in Networking
Hammerschmidt, Christian UL

Doctoral thesis (2017)

Being able to model behavior described by a linear sequence of observations (such as log files) goes a long way towards better understanding the underlying processes. This improved understanding can be ... [more ▼]

Being able to model behavior described by a linear sequence of observations (such as log files) goes a long way towards better understanding the underlying processes. This improved understanding can be very helpful in a number of activities, ranging from software (reverse) engineering to network traffic analysis. The developments in this thesis were driven by specific goals in predicting (human) behaviors captured by a software appliance observing network traffic and user requests to specific resources. Its final contributions have exceeded the original goals of the project in two important ways: I present (1) a flexible learning algorithm for finite automata accompanied by theoretical underpinning and its implementation, a contribution towards better learning algorithms, and (2) applications of the algorithm to use-cases in computer networking and beyond. The central algorithm considered in the thesis is a blue-fringe state-merging automaton learning algorithm, conducting a greedy search over feasible solutions. Its key components are a heuristic to search for consistent merges and an evaluation metric to assess the quality of a merge by assigning scores to merges. I generalize this framework by making the heuristic components explicitly parametric. While state-merging algorithms were originally defined for probabilistic and non-probabilistic finite state machines and later used to derive algorithms for more extended models such as real-time automata, the work presented here extends the scope of the algorithms to a wide range of ad-hoc defined models as well as enables the user to implement modifications to the heuristic search process. These modifications help to account for domain knowledge and richer semantics of models with a regular language core. I provide an implementation and a Python interface of the flexible state-merging framework, including stream/online and interactive variants of the algorithm based on a C++ implementation of the blue-fringe greedy search algorithm called DFASAT. The algorithm and the framework encompass and improve upon state-of-the-art approaches. The application problems considered in this thesis can be seen as classical classification and anomaly detection tasks in machine learning. The application domain is network traffic analysis with a focus on network security. I discuss the problematic properties of data from computer networks and address how using automaton models can help mitigate them. I then use the flexible state-merging approach for host profiling. I show how to efficiently learn finite state automata as behavioral profiles. These profiles can serve as digital fingerprints and help to identify malicious traffic such as botnet traffic. Moreover, I show how communication profiles can be used for sequence clustering on NetFlow data to distinguish different behaviors over time. [less ▲]

Detailed reference viewed: 80 (20 UL)
Full Text
See detailAPPROACHES FOR IDENTIFICATION OF TRANSCRIPTIONAL AND POST-TRANSCRIPTIONAL REGULATORS OF MESENCHYMAL STEM CELL DIFFERENTIATION USING TIME-SERIES EPIGENOMIC DATA
Gerard, Déborah UL

Doctoral thesis (2017)

Gene regulatory networks (GRNs) control cellular differentiation and development and recapitulate the physical interactions between transcription factors (TFs) and their influence on their target genes ... [more ▼]

Gene regulatory networks (GRNs) control cellular differentiation and development and recapitulate the physical interactions between transcription factors (TFs) and their influence on their target genes that ultimately results into a defined cell phenotype. In addition, cellular differentiation represents the path a cell undergoes through multiple stages before reaching a terminally differentiated state and is by nature dynamic. Moreover, epigenetic regulation as well as post-transcriptional control of gene expression are critical for faithful cellular phenotype. Cellular differentiation of progenitor cells into their daughter cells provide a dynamic controllable system to study the epigenetic mechanisms as well as the transcriptional output that take place towards cellular specifications, and the TFs and non-coding RNAs that dictate their differentiation. Here, we have generated time-series transcriptomic and epigenomic data during the differentiation of bone marrow stromal cells towards adipocytes and osteoblasts and characterized a novel approach called EPIC-DREM to construct dynamic GRNs of adipocytes and osteoblasts. In order to focus on shared transcriptional regulators of early commitment of bone marrow stromal cells towards adipocytes and osteoblasts, we have concentrated our analysis on dynamic super-enhancers to prioritize the identified TFs and discovered aryl hydrocarbon receptor (AHR) as a transcriptional regulator of the multipotent state. In addition, the generated of time-series epigenomic data were used as input for linear regression analysis that allowed to predict genes that are dynamically controlled by post-transcriptional regulators such as microRNAs (miRs). Indeed, genes that differ from their predicted expression level as assessed by the residuals of the linear regression model can be informative about their mRNA stability. In order to decipher genes that are under dynamic post-transcriptional control, the standard deviation of gene’s residuals was taken as a dynamic measure of changes in mRNA stability and clustering analysis coupled to microRNA motifs enrichment analysis allowed to identify post-transcriptionally co-regulated mRNAs. Based on the linear regressions analysis, miR-204 was identified as a potential regulator of adipogenesis. Integration of these types of data can contribute to the understanding of transcriptional and post-transcriptional control of cell differentiation and the here established approaches for key regulators identification can be widely applied to study other cell states transitions. [less ▲]

Detailed reference viewed: 61 (10 UL)
Full Text
See detailDeformation Based Curved Shape Representation
Demisse, Girum UL

Doctoral thesis (2017)

Representation and modelling of an objects' shape is critical in object recognition, synthesis, tracking and many other applications in computer vision. As a result, there is a wide range of approaches in ... [more ▼]

Representation and modelling of an objects' shape is critical in object recognition, synthesis, tracking and many other applications in computer vision. As a result, there is a wide range of approaches in formulating representation space and quantifying the notion of similarity between shapes. A similarity metric between shapes is a basic building block in modelling shape categories, optimizing shape valued functionals, and designing a classifier. Consequently, any subsequent shape based computation is fundamentally dependent on the computational efficiency, robustness, and invariance to shape preserving transformations of the defined similarity metric. In this thesis, we propose a novel finite dimensional shape representation framework that leads to a computationally efficient, closed form solution, and noise tolerant similarity distance function. Several important characteristics of the proposed curved shape representation approach are discussed in relation to earlier works. Subsequently, two different solutions are proposed for optimal parameter estimation of curved shapes. Hence, providing two possible solutions for the point correspondence estimation problem between two curved shapes. Later in the thesis, we show that several statistical models can readily be adapted to the proposed shape representation framework for object category modelling. The thesis finalizes by exploring potential applications of the proposed curved shape representation in 3D facial surface and facial expression representation and modelling. [less ▲]

Detailed reference viewed: 121 (63 UL)
Full Text
See detailWohnmobilität in der Großregion – eine interurbane Diskursanalyse mit Fokus auf den Städten Arlon, Thionville und Trier.
Christmann, Nathalie UL

Doctoral thesis (2017)

Effects of residential mobility moulding in uneven development in border regions can be perceived very differently by city councils or planners and the local population. This dissertation focuses on the ... [more ▼]

Effects of residential mobility moulding in uneven development in border regions can be perceived very differently by city councils or planners and the local population. This dissertation focuses on the perceptions of population mobility and dwelling in a transnational cross-border polycentric region in western Europe. The economic development of the Grand Duchy of Luxembourg calls for a constant expansion of the labour market, attracting cross-border commuters and highly mobile professional elites. The concomitant rises in property prices as well as the extreme housing shortages in Luxembourg have led to an expansion of the housing market into the border regions. So far studies have mostly dealt with the socio-demographic characteristics of the transmigrants. This research aims to detect people’s perceptions of the phenomenon by applying a discourse analysis, thus aiming to trigger an increasing awareness for the emerging transnational housing market. [less ▲]

Detailed reference viewed: 47 (15 UL)
See detailArt as an Investment
Nasser Eddine, Ali UL

Doctoral thesis (2017)

During the 1970s and 1980s, the art markets gave abnormal returns. Individuals started speculating on art prices, and institutional investors soon entered the scene. Economists then began evaluating this ... [more ▼]

During the 1970s and 1980s, the art markets gave abnormal returns. Individuals started speculating on art prices, and institutional investors soon entered the scene. Economists then began evaluating this new alternative asset class. In this thesis, we review global art markets, analyze the methodologies employed for studying art as an investment, and seek answers to some fundamental questions. To build solid conclusions, we developed the largest up-to-date dataset of repeat sales of art objects. Our main additional contributions to the literature can be summarized as follows. First, we review and explain the growth in international art markets. Second, we show that it is unreasonable to make a comparison between the two main methodologies used for studying the investment perspective of art: the repeat-sales and hedonic regression frameworks. The returns estimated using the hedonic approach depend greatly on the specifications of the model. Thus, we find that of the two, the repeat-sales models are the most robust. Third, we study the returns on art after accounting for transaction costs. Importantly, we show that taking this fair view renders impractical the widely used art-investment measurement methodologies. Fourth, we revisit the “masterpiece effect”, and find strong evidence supporting its existence. Fifth, we investigate the potential of art investment. We find that the inclusion of art in an optimal portfolio depends significantly on the abnormal returns seen in the 1980s. Omitting these years leads to its exclusion. However, art may add a diversification benefit to an investment portfolio due to its low-to-negative correlation with other asset classes. Sixth, we analyze the optimal holding period of art and find that, in general, the returns increase with the length of the holding period. Nevertheless, we observe significant returns, accompanied with high levels of volatility, for trades made over very short time horizons. We notice that this “flipping” practice has been increasing in recent decades. Finally, we consider the effect some special cases have on art investment returns. We find that artworks that trade frequently tend not to outperform the market. Moreover, the nature of an artwork’s ownership history doesn’t alter returns. We also examine the returns on artworks selected by experts, and find that, surprisingly, they underperform. [less ▲]

Detailed reference viewed: 36 (8 UL)
Full Text
See detailA Model-Based Framework for Legal Policy Simulation and Compliance Checking
Soltana, Ghanem UL

Doctoral thesis (2017)

Information systems implementing requirements from laws and regulations, such as taxes and social benefits, need to be thoroughly verified to demonstrate their compliance. Several Verification and ... [more ▼]

Information systems implementing requirements from laws and regulations, such as taxes and social benefits, need to be thoroughly verified to demonstrate their compliance. Several Verification and Validation (V&V) techniques, such as reliability testing, and modeling and simulation, can be used for assessing that such systems meet their legal. Typically, one has to model the expected (legal) behavior of the system in a form that can be executed (simulated), subject the resulting models and the system to the same input data, and then compare the observed behavior of the model simulation and system execution. Existing V&V techniques often rely on code and complex logical expressions with no intuitive appeal to legal experts for specifying the expected behavior of a given system. Subsequently, one has no practical way to validate with legal experts that the underlying legal requirements are indeed complete and constitute a faithful representation of what needs to be implemented. Further, manually defining the expected behavior of a system and its test oracles is a tedious and error-prone task. The challenge here is to find a suitable knowledge representation that can be understood by all the involved stakeholders, e.g., software engineers and legal experts, but that remains complete and precise enough to enable automated analysis such as simulation and testing. As real data is seldom accessible in highly regulated domains, V&V requires the generation of synthetic testing data that can be used to build confidence in the reliability of the system under test. In particular, such data has to be structurally and logically well-formed to raise meaningful failures that can help reasoning about the reliability of the system under test. Further, the data should exhibit as much as possible the actual or anticipated system usage to help mimic how the system would behave under realistic circumstances. Generating such data is not a trivial task as the underlying data schemas are usually large and subject to numerous complex domain-related logical constraints. In this thesis, we investigate the use of the Unified Modeling Language (UML) and model-driven technologies, e.g., model to code transformations, to facilitate V&V activities for information systems that have to conform to laws and regulations, while tackling the above challenges. All our technical solutions have been developed and empirically evaluated in close collaboration with a government administration. Concretely, the technical solutions covered by this thesis include: - A modeling notation and methodology for formalizing legal policies. We propose a modeling notation and methodology for building abstract interpretations of the law. Models built using our methodology are simple enough to be understood by the involved stakeholders and are, at the same time, detailed enough to enable automated V&V activities. - A model-based simulation framework. We develop a model-based framework and associated tool support for simulating legal policies, when formalized using the aforementioned modeling methodology. Simulation provides a comparison baseline of how a compliant system should behave. Further, simulation is a mean to support decision-making when considering legal changes. Specifically, we report on a sizable case study where we assess the anticipated economic implications of a given policy change in Luxembourg’s tax law. - A model-based generator of test cases for reliability testing. We develop a heuristic approach for generating valid and representative test cases (data). Our generator is scalable and produces high-quality test data that is suitable for testing the reliability of data-intensive systems, e.g., a tax management system. [less ▲]

Detailed reference viewed: 99 (38 UL)
See detailLa compétence d'incrimination de l'Union européenne. Recherche sur le pouvoir pénal européen
Simon, Perrine UL

Doctoral thesis (2017)

The allocation by the Lisbon Treaty of a genuine criminalisation competence to the Union – article 83 TFEU – prompts the analysis of the existence and the exercice of European criminal law power. It ... [more ▼]

The allocation by the Lisbon Treaty of a genuine criminalisation competence to the Union – article 83 TFEU – prompts the analysis of the existence and the exercice of European criminal law power. It raises the question of the promotion, through criminalisation choices, of essential values to the community. Analysing the criminal law power is interconnected to the question about the nature of the European project as a whole, true existential space of society (ethos) or simple functional space comprised of objectives (telos). Despite the aspiration to clarify the delimitation of European penal power within the new treaty, its ambit remains unclear. An implicit criminalisation competence – an implied criminal law power – could still exist, allowing to overcome the minimum harmonisation provided for by article 83 TFEU. To admit such an implied power would mean revive competence creep. The exercice of the criminalisation competence is progressively framed, beyond the classical principles of subsidiarity and proportionality, by the criminal law principles of ultima ratio as well as the principles of legality and proportionality of criminal offences and penalties expressed in the Charter of fundamental rights. However, these principles have not been taken into account according to the actions of the legislator who appear to follow a securitarian trend. It is to the Court, through an in-depth proportionality check, to determine if the Charter can become the marker of criminal law policy characterised by its moderation and liberalism, and henceforth contribute to a European criminal law identity. [less ▲]

Detailed reference viewed: 40 (4 UL)
Full Text
See detailOn the Use of Alloy in Engineering Domain Specific Modeling Languages
Gammaitoni, Loïc UL

Doctoral thesis (2017)

Domain Specific Modeling Languages (DSMLs) tend to play a central role in modern design processes as they enable the effective involvement of domain experts by focusing on a particular problem domain ... [more ▼]

Domain Specific Modeling Languages (DSMLs) tend to play a central role in modern design processes as they enable the effective involvement of domain experts by focusing on a particular problem domain while abstracting away technical details. In this thesis, we investigate the specification of DSMLs with a particular focus on domain expert driven validation. Mainly, we are interested in developing Alloy-based approaches, allowing the definition of specifications from which instances can be generated and given to the domain experts for the sake of validation. The work we present in this thesis can be divided into three parts: The first part concerns the definition and execution of model transformations defined in Alloy. While Alloy analysis can be used as an execution engine for model transformations, the analysis process is time consuming. Model transformations playing a central role in DSML definitions, the development of a new model transformation language, named F-Alloy, retaining the benefits of Alloy with the added property of being efficiently computable was necessary. The second part focuses on validation. In that domain, our first contribution is a novel approach to the validation of model transformations called Visualization-Based Validation (VBV). VBV relies on the review by domain experts of intuitive depictions of model transformation traces to validate model transformation specifications. The whole process is made efficient by the usage of hybrid analysis, a combination of Alloy analysis and F-Alloy interpretation, allowing to reduce the time needed to analyze model transformations to the time needed to analyze its source. Our second contribution in the validation area is the definition of an Alloy-based approach to the specification and validation of DSMLs and of a design process defining how DSMLs can be validated using Alloy analysis at each iteration of the process. More precisely, we present how the abstract syntax, concrete syntax and operational semantics of a DSML can be defined using Alloy and F-Alloy, and show that the validation of a DSML' s abstract syntax and semantics benefits from the application of its concrete syntax. The third and last part aims at bringing those contributions to the practical world. To achieve this we developed a tool named Lightning implementing the aforementioned contributions. This tool, which belongs to the category of language workbenches, has been successfully used in an inter-disciplinary collaboration to define the Robot Perception System Language (RPSL). Based on this definition of RPSL, a framework has been developed to allow the execution of so called design space explorations. This framework represents a successful application of our approach to the real world problem of having RPSL specifications validated by experts in robotics. [less ▲]

Detailed reference viewed: 82 (11 UL)
Full Text
See detailEnhancing Mobility Applications Through Bluetooth Communications
Bronzi, Walter UL

Doctoral thesis (2017)

In the world of short and medium-range wireless technologies, Bluetooth has recently come to the forefront of innovation. Within the next five years its market presence, especially in its Low Energy ... [more ▼]

In the world of short and medium-range wireless technologies, Bluetooth has recently come to the forefront of innovation. Within the next five years its market presence, especially in its Low Energy variation, is expected to nearly double across all market segments. The technology is quickly and steadily gaining importance for a wide range of applications with a specific focus on Internet of Things (IoT) devices. The growing availability and variety of such devices constitute an untapped potential that we plan on exploiting. Our focus in this thesis is to understand Bluetooth’s capabilities and explore its potential in mobile contexts. One specific field where this technology remains unexplored is Vehicular Ad Hoc Networks (VANETs). Because of the need to implement and moderate vehicular communications, the topic of Intelligent Transportation Systems (ITSs) is now trending more than ever. In this thesis we propose two ways we can benefit from Bluetooth in a mobile environment. Firstly, we consider the technology as a communication medium to investigate how di↵erent mobilities a↵ect the link performance between two devices. To do this, we define a set of communication experiments, in our case between two vehicles, to analyse how Bluetooth Low Energy (BLE) is a↵ected by varying speed, distance and traffic conditions. We find that the maximum communication range between two devices can go beyond 100m and that a robust connection, capable of handling sudden signal losses or interference, can be achieved up to a distance of 50m. The experiments were conducted using a proof-of-concept mobile application for o↵-the-shelf smartphones that can be used to transmit data over multiple hops in various Vehicle-to-Everything (V2X) scenarios. Secondly, we consider Bluetooth discovery capabilities as an information medium by using a connectionless approach to analyse di↵erent mobility frameworks. As there is an increasing need for vehicles and objects to become aware of their context, we implement Bluetooth as a sensing system to provide contextual information about its surroundings. Our challenge is to find out to what extent we can exploit the Bluetooth discovery and beaconing scheme for this purpose. We collect and analyse a dataset of Bluetooth Classic and BLE discoveries and evaluate their respective characteristics and ability to provide context-aware information from a vehicular perspective. By examining data recorded about encountered devices, such as quantity, quality of signal and device class information, we infer distinctive Bluetooth behaviours related to context and application. For this purpose, we propose a set a features to train a classification model to recognize di↵erent driving environments (i.e. road classes). Investigating the performance of our classifier, we were able to predict up to three classes (highway, city, extra-urban) by using only Bluetooth discovery data and no geographical information. This outcome gives promising results targeted at low energy and privacy-friendly applications and can open up a wide range of research directions. In conclusion, in this thesis we present two ways of applying Bluetooth to mobile contexts for deploying novel human mobility applications. [less ▲]

Detailed reference viewed: 43 (14 UL)
See detailManaging the City-Region Like a Startup: Entrepreneurialism and Shifting Local Economic Governance in Developing Countries
Fegue, Jean Cyril UL

Doctoral thesis (2017)

The emerging experience of cities in the Global South regarding the complexity of their response to territorial competition's pressures requires the rethinking of the very concept of urban competitiveness ... [more ▼]

The emerging experience of cities in the Global South regarding the complexity of their response to territorial competition's pressures requires the rethinking of the very concept of urban competitiveness. This study proposes the distributionally-sensitive modeling of urban competitiveness (DS-MUC) in a perspective that is driven by the norm of Equity. The DS-MUC is posited as a critical theory to neoliberalism and as a contribution to the social sustainability and to the normative investigation of post-capitalist urban transformations in the Global South.The application of the DS-MUC in the investigation of Da Nang in Vietnam and Cebu City in the Philippines reveals that an interactive, relational and network-based entrepreneurial governance's capacity has a much greater proclivity to deliver Equity and therefore to achieve a 'high-quality competitiveness' than a city's organizing capacity embedded in illiberal, state-paternalistic and public-sector monopolistic arrangements. [less ▲]

Detailed reference viewed: 50 (14 UL)
See detailCorporations and Human Rights: Searching for International Norms for Corporate Conduct in Domestic Case Law
Baglayan Ceyhan, Basak UL

Doctoral thesis (2017)

Recent years have seen much debate concerning the interplay between human rights and corporations. Part of that debate has focused on corporate violations of human rights norms and possible legal ... [more ▼]

Recent years have seen much debate concerning the interplay between human rights and corporations. Part of that debate has focused on corporate violations of human rights norms and possible legal accountability mechanisms for such breaches. The present research is concerned with one such accountability mechanism, namely litigation before domestic courts seeking to enforce corporations’ international obligations and the complaints before the OECD National Contact Points (‘NCPs’). The thesis analyses how domestic courts and the OECD NCPs have conceptualised and implemented corporations’ human rights obligations. It is premised on the assumption that, through their application of international norms in their particular national context, these institutions act to crystallize and clarify the ambit of such norms. [less ▲]

Detailed reference viewed: 39 (5 UL)
See detailReiten van der stede wegen. Dienstliche Mobilität und städtische Kommunikation im Spiegel der Rechnungsbücher der Stadt Luxemburg (1388-1500) mit besonderer Betonung des Reitverkehrs
Meiers, Fabienne UL

Doctoral thesis (2017)

The aim of the doctoral thesis was to give an answer to the question of how important equestrian traffic was for official communication in and out of urban areas, as well as to identify mobility ... [more ▼]

The aim of the doctoral thesis was to give an answer to the question of how important equestrian traffic was for official communication in and out of urban areas, as well as to identify mobility behaviours of municipal administrative staff acting on behalf of the city. In order to conduct the following study the account books of the city of Luxembourg were used as source base; they encompass the period between 1388 and 1500. [less ▲]

Detailed reference viewed: 20 (4 UL)
Full Text
See detailModel-Based Specification, Deployment and Adaptation of Robot Perception Systems
Hochgeschwender, Nico UL

Doctoral thesis (2017)

As robots are becoming ubiquitous and more capable, the need for introducing solid robot software development methods is pressing to increase robots' task spectrum. This thesis is concerned with improving ... [more ▼]

As robots are becoming ubiquitous and more capable, the need for introducing solid robot software development methods is pressing to increase robots' task spectrum. This thesis is concerned with improving software engineering of robot perception systems. The presented research employs a model-based approach to provide the means to represent knowledge about robotics software. The thesis is divided into three parts, namely research on the specification, deployment and adaptation of robot perception systems. The first part contributes the design and development of two domain-specific languages, namely RPSL and DepSL. Those languages provide suitable notations and abstractions to enable domain experts to express, compose and explore functional, architectural and deployment design decisions of robot perception systems. The resulting models are interpretable, thus they can be used not only to communicate design decisions to stakeholders, but also to verify them in an early development stage. The second part contributes means for deploying perception systems on real robot systems even in the presence of varying resource conditions. To this end, functional, architectural and deployment models are composed in a graph-structure. Such a graph enables not only humans, but also robots to derive implicitly defined information about their software both at design time and run time. The second part also contributes a reference architecture for deploying robot perception systems. The architecture provides a template solution for integrating not only the models required for deployment, but also all the other means required to carry out deployment. The third part utilizes both RPSL, DepSL and the reference architecture to specify, implement and evaluate three different robot perception systems. Those are capable to satisfy changing requirements induced, for example, by the robot's tasks or environment. This is achieved by proposing algorithms which derive adaptation actions based on models and varying requirements. [less ▲]

Detailed reference viewed: 151 (43 UL)
Full Text
See detailContextual Integrity and Tie Strength in Online Social Networks: Social Theory, User Study, Ontology, and Validation
Ahmed, Javed UL

Doctoral thesis (2017)

Online Social Networks (OSNs) have become an important part of daily digital interactions for more than half billion users around the world. Unconstrained by physical spaces, OSNs offer to social web ... [more ▼]

Online Social Networks (OSNs) have become an important part of daily digital interactions for more than half billion users around the world. Unconstrained by physical spaces, OSNs offer to social web users new means to communicate, interact, and socialize. Online social networks exhibit many of the characteristics of human societies in terms of forming relationships and sharing personal information. However, current OSNs mainly assume binary, static, and symmetric relationship of equal value between the connected users. In human societies, social relationships are of varying tie strength, dynamic, and asymmetric in nature. The lack of an effective mechanism to represent diversity in social relationships leads to undesirable consequences of users personal information leakage to the unwanted audience and raises privacy concerns. The issue of privacy has received significant attention in both the research literature and the mainstream media. In this dissertation, we conduct a user study to analyze users' attitude towards personal information disclosure in online social networks. The study gives insight into user's information sharing behavior and interaction patterns in online social networks. The findings reveal that personal information disclosure depends on the quality of relationship among the users and it can be easily inferred from user interaction pattern in online social networks. We propose a theoretical framework that addresses the aforementioned issue from a social science perspective and exploits existing social theories of Goffman, Granovetter, and Nissenbaum to model social privacy for OSNs users. Based on this theoretical framework, we developed SOCPRI (SOCial PRIvacy) ontology to represent diversity in social relationships in online social networks. This model regulates personal information disclosure on the basis of the social role and the relationship quality between the OSNs users. The model is evaluated by translating competency questions into description logic (DL) queries to demonstrate the applicability of our approach. The results of ontology evaluation demonstrate the appropriateness of our ontology against proposed requirements. Based on this model a privacy-friendly online social networking environment can be developed to address some of the existing issues such as context collapse and user control. [less ▲]

Detailed reference viewed: 43 (10 UL)
Full Text
See detailIndividual rights under Union law. A study on the relation between rights, obligations and interests in the case law of the Court of Justice
Warin, Catherine Anne Sophie UL

Doctoral thesis (2017)

In the increasingly rights-centred legal system of the Union, the concept of individual rights is the source of growing confusion, and is more than ever in need of clarification. This thesis addresses the ... [more ▼]

In the increasingly rights-centred legal system of the Union, the concept of individual rights is the source of growing confusion, and is more than ever in need of clarification. This thesis addresses the following questions. Firstly, how does the relation between rights, obligations and interests define the nature and function of individual rights in the Union’s legal order? Secondly, to what extent is the evolution of the Union’s constitutional framework challenging the original concept of individual rights? These questions are addressed essentially by tracing the development of the CJEU’s method for identifying individual rights and by mapping the relation between rights, obligations and interests that emerges from the case law. The basic characteristics of the concept of individual rights are inferred from this relation. The case law on individual rights is examined through the lens of the basic concept of individual rights, i.e. in the light of the relation between rights, obligations and interests. The study scrutinises cases in which this relation took shape and is still developing, looking in turn at the protection of economic, non-economic, and collective interests. Special attention is paid to the impact of the introduction of the Charter of Fundamental Rights in the EU legal order as well as to the implications of the EU concept of rights for the requirement of an effective remedy. [less ▲]

Detailed reference viewed: 97 (11 UL)
See detailForm und Funktion des Diminutivs im luxemburgisch-moselfränkischen Übergangsgebiet
Edelhoff, Maike UL

Doctoral thesis (2017)

Diminutive formation is a common word formation process of the Luxembourgish (Lux.) lan-guage and the neighbouring Moselle-Franconian (MsFrc) dialects. The aim of this thesis is to collect and to analyse ... [more ▼]

Diminutive formation is a common word formation process of the Luxembourgish (Lux.) lan-guage and the neighbouring Moselle-Franconian (MsFrc) dialects. The aim of this thesis is to collect and to analyse the characteristics of this process, integrate them into common morpho-logical theories and to establish their geolinguistic properties. On a functional level, the diminutives show the same characteristics in both varieties although the loss of the evaluative meaning is further developed in Lux. than in MsFrc. How-ever, the most apparent differences can be seen on the level of the fomal execution of the di-minutive rule: While the diminutives in MsFrc share many similarities, such as grammatical gender, the singular suffix and to an extent also the plural marking with Standard German, the Lux. language differs greatly from the others. In Lux. the singular formation is quite similar to the one in the other varieties, however, the plural suffix is triggered by the syllabic and prosodic properties of the base noun. Additionally, the grammatical gender of the diminutive is in con-cordance with the gender of the base noun and hence, not influenced by the suffix. The reasons for these peculiar attributes are to be found both in the historical development of the language and its current structural form as well as in its sociolinguistic context. The consequences of the differing structural properties are clearly displayed on a geo-linguistic level. Although the varieties are historically closely related the differing formal ex-pressions of the diminutive meaning lead to the emergence of groups of isoglosses coinciding with the state border. In brief, the history and the present situation of the diminutive serve as evidence that the dialect continuum that once crossed the state border has been falling apart and that it has been replaced by a solid linguistic border that separates the closely related varieties from each other. [less ▲]

Detailed reference viewed: 48 (9 UL)
Full Text
See detailAb initio approaches to Resonant Raman Spectroscopy of Transition Metal Dichalcogenides
Pereira Coutada Miranda, Henrique UL

Doctoral thesis (2017)

This thesis deals with the theory and simulation of resonant Raman spectroscopy in two-dimensional transition metal dichalcogenides. We present two different ab initio approaches. In the first, we ... [more ▼]

This thesis deals with the theory and simulation of resonant Raman spectroscopy in two-dimensional transition metal dichalcogenides. We present two different ab initio approaches. In the first, we calculate the Raman susceptibility tensor as a function of laser energy from the change of the dielectric susceptibility with atomic displacements. In the second, we formulate the Raman tensor in terms of time-dependent perturbation theory and calculate it using electron-light and electron-phonon coupling matrix elements obtained from density functional theory. We investigate the role of resonance, quantum interference and excitonic effects in the Raman spectra of single and triple-layer MoTe2. We compare our simulations with experimental results, explaining the dependence of the Raman intensities on the excitation energy. We demonstrate that the two approaches are formally and numerically equivalent in the adiabatic limit. In addition, the second approach allows to include the dynamical effects and captures a shift of the intensities with respect to the adiabatic case. This method is also more computationally efficient and is extended to include temperature effects using many-body perturbation theory. We have implemented both of these methods in a software package with interfaces to open source ab initio codes. Furthermore, we have developed web based tools to visualize excitonic states and phonon modes. [less ▲]

Detailed reference viewed: 100 (7 UL)
See detailLe mouvement-liberté. Généalogie philosophique et littéraire d'un imaginaire politique
Jeusette, Julien UL

Doctoral thesis (2017)

Cette thèse, qui se situe au croisement de trois champs de recherche (la littérature, la philosophie, l’histoire des idées), a pour ambition de retracer la manière dont le déracinement, le nomadisme et ... [more ▼]

Cette thèse, qui se situe au croisement de trois champs de recherche (la littérature, la philosophie, l’histoire des idées), a pour ambition de retracer la manière dont le déracinement, le nomadisme et l’errance ont été investis, à un moment donné de notre Histoire, d’une appréciation positive, au moment même où la sédentarité et l’enracinement se sont vus taxés de conservatisme ennuyeux. Nous postulons que cet imaginaire politique, que nous appelons « mouvement-liberté » (tout discours axiologique valorisant le mouvement libre et infini, et dévalorisant toute forme d’immobilité), émerge dans Les Nourritures terrestres d’André Gide et dans Ainsi parlait Zarathoustra de Nietzsche à la fin du XIXe siècle. Nous montrons ensuite que ce discours s’amplifie au cours des années 1920-1930, notamment au sein des textes que nous avons qualifiés de « romans de fuite » ; la troisième partie de la thèse porte sur les années 1960-1970 et met en évidence la redondance discursive du « mouvement-liberté » au sein de la « French theory ». La dernière partie met en lumière la façon dont le « mouvement-liberté », qui était politiquement critique et explicitement de l’ordre du contre-pouvoir de la fin du XIXe siècle jusqu’aux années 1970, est aujourd’hui récupéré par le néolibéralisme, qui le revendique pour son propre compte et le travestit en « idéologie nomade ». [less ▲]

Detailed reference viewed: 25 (3 UL)
See detailIn Luxemburg mit Portugal verbunden : Eine Verflechtungsgeschichte portugiesischer Migrantenvereine in Luxemburg und Portugals Emigrationspolitik (1974-1997).
Hinger, Thierry Pierre UL

Doctoral thesis (2017)

The thesis is a contribution to the migration history of Luxembourg and Portugal for the period between 1974 and the end of the 20th century. It analyses the entangled history of the Portuguese migrant ... [more ▼]

The thesis is a contribution to the migration history of Luxembourg and Portugal for the period between 1974 and the end of the 20th century. It analyses the entangled history of the Portuguese migrant organizations in Luxembourg and the emigration policy of Portugal in the context of the Portuguese nation (re-)building process that took place after the end of dictatorship and the loss of the empire, in Portugal and abroad. No more an imperial nation, Portugal became after April 25 1974 what Dufoix calls a trans-territorial nation. It emphasized the role of the Portuguese living abroad as a part of the nation and adopted an emigration policy that aimed at protecting the Portuguese migrants and strengthening their ties with Portugal. The entanglement of the two actors, the migrant organizations and the Portuguese state, in Luxembourg reveals their interrelation in the fields of political participation across borders, economics, and culture and education. They offered the Portuguese migrants in Luxembourg ways and means to maintain cross-border connections with Portugal, and must therefore be considered as two actors in the Portuguese nation (re-)building process that took place in Luxembourg. The thesis offers a historical account of the institutional role of the state of origin with its emigration policy and the migrant’s organizations in the country of destination in maintaining cross-border connections with the country of origin. [less ▲]

Detailed reference viewed: 60 (16 UL)
Full Text
See detailTESTING 21ST CENTURY SKILLS IN A CHANGING NATURE OF WORK: THE CONSTRUCT VALIDITY OF COMPLEX PROBLEM SOLVING AND ORGANIZATIONAL LEARNING
Mainert, Jakob Simon UL

Doctoral thesis (2017)

This thesis investigates the empirical assessment and construct validity of complex problem-solving (CPS) skills and organizational learning (OL) in a changing nature of work. Technological and ... [more ▼]

This thesis investigates the empirical assessment and construct validity of complex problem-solving (CPS) skills and organizational learning (OL) in a changing nature of work. Technological and organizational change enlarge the gap between the type of employee required by the market and the employees who are actually being provided by higher education as human capital to the market. Two constructs, CPS and OL, might strengthen human capital to close the emerging gap in a changing nature of work. [less ▲]

Detailed reference viewed: 57 (11 UL)
Full Text
See detailL'intégration des élèves nouvellement arrivés en France dans l'espace scolaire français. Langues, représentations, identités en contexte.
Kadas, Timea UL

Doctoral thesis (2017)

Our thesis focuses on newcomer students in France and aims at understanding how these students integrate into French schools and exploring the educational paths they tread. Thus, this study is based ... [more ▼]

Our thesis focuses on newcomer students in France and aims at understanding how these students integrate into French schools and exploring the educational paths they tread. Thus, this study is based mainly on the analysis of the discourse of thirteen students concerning their learning and their school experiences. It is also based on the representations that these students have of themselves, others (French students, teachers), their learning in general, their learning of the French language in particular and the context in which this learning takes place. Our thesis also focuses on the students’ first languages and their role in the learning process. The link between language and identity has long been established by researchers from different disciplines. Therefore, we have tried to understand, through an autobiographical project based on the notions of multiliteracy and multimodality, how the first languages of the students can be taken into consideration in order to help them progress in both the learning of French and learning in general. We also considered the significance of such an approach in the reconstruction of these students' identities. Furthermore, in response to our initial question regarding how these students integrate into the French education system, we investigated two complementary perspectives: that of the institution through interviews with three teachers, three heads of school and two inspectors and that of the students’ families through questioning nine parents. The aim of this study is to contribute to the body of research on the role of migration in the French educational context and to provide a better understanding of the current educational challenges facing our globalized society. [less ▲]

Detailed reference viewed: 139 (9 UL)
See detailStem cells for modeling Parkinson's disease
Nickels, Sarah Louise UL

Doctoral thesis (2017)

Detailed reference viewed: 76 (16 UL)
Full Text
See detailANALYSIS OF NEURONAL DIFFERENTIATION IN GENETIC FORMS OF PARKINSON’S DISEASE REVEALS A NEURODEVELOPMENTAL CONTRIBUTION
Walter, Jonas UL

Doctoral thesis (2017)

During the mammalian embryonic neurodevelopment, all neurons descend from neuroepithelial stem cells. Accumulating evidences indicate a contribution of neurodevelopmental processes to the vulnerability to ... [more ▼]

During the mammalian embryonic neurodevelopment, all neurons descend from neuroepithelial stem cells. Accumulating evidences indicate a contribution of neurodevelopmental processes to the vulnerability to diseases. Here, we elucidate such developmental contribution in the context of Parkinson’s disease by combining high content imaging approaches, single-cell RNA sequencing, 3D image analysis, and multifactorial functional mitochondrial readouts. We found that the prominent PD-associated LRRK2-G2019S mutation accelerates dopaminergic neuron differentiation, accompanied by a reduced viability, resulting in indistinguishable dopaminergic neuron quantities. Our data indicate that the unexpected dynamics is driven by LRRK2-G2019S-dependent aberrations in gene expression as well as mitochondrial health and biogenesis of the neuroepithelial stem cell population. We conclude that LRRK2-G2019S modifies the dynamics of dopaminergic neuron fate specification during development, what may constitute a predisposition to parts of the PD-associated clinical manifestations. [less ▲]

Detailed reference viewed: 27 (10 UL)
Full Text
See detailHistoricizing the journey of the New Math reform from the United States to Luxembourg in the 1960s and 1970s
Nadimi Amiri, Shaghayegh UL

Doctoral thesis (2017)

This research investigates the process of the New Math, an internationally disseminated reform of school mathematics in the Grand Duchy of Luxembourg, during the 1960s and 1970s. This mathematics reform ... [more ▼]

This research investigates the process of the New Math, an internationally disseminated reform of school mathematics in the Grand Duchy of Luxembourg, during the 1960s and 1970s. This mathematics reform was propagated in the Western side of the Cold War to promote the mathematical and scientific power of Western countries. With this initial objective as a core of the study, the research then expands the area of the research to look at the mathematics education in the western countries. Timewise also, this expansion goes beyond the 1960s and 1970s, the era of the New Math reform. Thus, in a broader perspective, the research attempts to study what school policymakers expect from school mathematics historically in Western countries. It studies how the background idea and reasoning of the New Math reform through the journey of the reform from the United States to Europe and Luxembourg was changed and adapted to be applicable in the educational context of Luxembourg. The three main questions of the research are: 1 How was the New Math reform received and advanced in Luxembourg? 2 What did Luxembourgers expect from their school mathematics? Or Why students in Luxembourg should learn mathematics? 3 What was the reasoning behind mathematics education in Western countries through the history of schooling? The research began by exploratory methods to clear the property of the research and to determine the data collection method and other features that research needed to improve its design. This approach led to a collection of data including documents related to the context of Luxembourg, and context outside Luxembourg. This collection included both primary and secondary sources. The research studied texts of laws, regulations, newspapers, conference proceedings of the era, mathematics textbooks, teacher journals and other officially published sources as well as unpublished sources such as correspondences between different actors related to the school system and math education. For reading and analyzing data, the research was inspired by Foucault’s archaeological approach in historical research and the study of different layers, which shape the discourse. In addition to Foucault, Popkewitz (e.g., 1997, 2009; Popkewitz & Lindblad, 2004) and Hacking (2012) inspired the work in developing the historical study of the reasoning. The research indicated two paradigms, which shaped the answers to the questions “why students should learn mathematics.” The first paradigm supports the reasoning, which argues that mathematics education should improve thinking ability, mental power and intellectuality. The second paradigm was based on the idea that mathematics offers a tool to learners to solve the problems of everyday life such as economics, engineering, etc. The research showed that these two paradigms shaped the discourse before and during the New Math reform and in different contexts and culture. [less ▲]

Detailed reference viewed: 27 (6 UL)
Full Text
See detailInflammatory signaling in liver cells: Cross-regulation of the IL-6/JAK/STAT3 pathway and microRNAs
Servais, Florence UL

Doctoral thesis (2017)

Interleukin-6 (IL-6) plays important roles in the regulation of liver functions and promotes the development of hepatocellular carcinoma (HCC), the most common primary liver cancer. Whereas protein ... [more ▼]

Interleukin-6 (IL-6) plays important roles in the regulation of liver functions and promotes the development of hepatocellular carcinoma (HCC), the most common primary liver cancer. Whereas protein-encoding genes are well-studied, the contribution of IL-6-regulated microRNAs (miRNAs) to its effects is largely unexplored. Similarly, little is known about miRNAs regulating key molecules of the IL-6/JAK/STAT3 signaling pathway. In the main part of this thesis, cell-based high-throughput screenings systems were developed, allowing the identification of miRNAs interfering with the IL-6/JAK/STAT3 signaling. Out of 538 miRNA mimics, this dual screening approach followed by various validation steps (luciferase-3’UTR-reporter assays, western blot and flow cytometry analyses) allowed us to identify twelve miRNAs targeting STAT3, JAK1, SOCS3, IL6R and/or gp130, ten of them had not yet been reported as regulators of this pathway before. In the second part of this work, microarray analyses revealed that primary hepatocytes are considerably more responsive to IL-6 stimulation regarding changes in their miRNomes than liver-derived cell lines. Despite their weaker response, one of the top regulated miRNA found in the primary hepatocytes, miR-146b-5p, could also be induced by IL-6-type cytokines (IL-6 and Oncostatin M) in cell lines. Its functional role(s) in hepatocytes are currently investigated. A larger, comparative study included additionally Interferon gamma and IL-27, cytokines with a STAT1-dominated response, and supplementary cell lines originating not only from the liver but also from other tissues. While all cytokines had profound effects on the mRNA transcriptomes, only very small to moderate changes were observed at the miRNome level, suggesting that the regulation mediated by cytokines mainly happens through the modulation of protein-coding genes rather than by fine-tuning via miRNAs. Additionally, we analyzed expression of a broad panel of cytokines in sera of 125 patients with liver diseases (steatosis, non-alcoholic steatohepatitis, HCC) by bead-based multiplex immunoassays. We observed that, for example, serum HGF, IL-6 and IL-8 levels increased in relation with the severeness of liver pathology while PDGF-BB and RANTES decreased. When investigating the impact of the patatin-like phospholipase domain-containing protein 3 variant I148M (PNPLA3 I148M), known to be a risk factor for the development of liver diseases, on the serum levels of cytokines, no significant differences could be observed between the different genotypes. In this PhD thesis, we identified and characterized miRNAs relevant for the IL-6/JAK/STAT3 signaling pathway, including miR-146b-5p as an IL-6-inducible miRNA. Others like miR-194-5p, miR-4473 and miR-548k were demonstrated to be negative regulators of this pathway and may be of potential therapeutic significance. In addition, we showed that, while miRNAs can modulate this pathway, IL-6 seems to rather regulate the mRNA transcriptome than the miRNome. [less ▲]

Detailed reference viewed: 33 (8 UL)
Full Text
See detailKusuoka-Stroock type bounds for densities related to low-dimensional projections of high-dimensional SDE
Ledent, Antoine Patrick Isabelle Eric UL

Doctoral thesis (2017)

One of the purposes of this thesis is to use Malliavin calculus and Stochastic Taylor expansions to study the densities of interacting systems of stochastic differential equations (SDE), seen as ... [more ▼]

One of the purposes of this thesis is to use Malliavin calculus and Stochastic Taylor expansions to study the densities of interacting systems of stochastic differential equations (SDE), seen as projections of SDE onto a low-dimensional space, and to control the dependence of the constants on the dimension of the background space. The setting includes time-dependent SDE and a relatively large class of path-dependent SDE. Several results also shed light on the classical theory of SDE, independently of the control on the constants. In Part 1, assuming the system satisfies suitably defined projected equivalents of the classic ellipticity or weak Hörmander conditions, we prove Gaussian estimates in terms of the Euclidean distance where, provided natural assumptions, for a fixed target-space dimension, the constants depend polynomially on the background dimension, and, in the elliptic case, on the number of driving Brownian motions. In Part 2, we first define suitable generalisations of (time-dependent) control distances and prove Kusuoka-Stroock type results without control on the constants. In particular, we obtain a time-dependent extension of a result of Léandre about SDE with non-trivial drifts, i.e., drifts which are not uniformly contained in the span of the other vector fields. Then, we introduce a condition which we call the `Progressive Hörmander condition' and prove similar control-type estimates valid under this assumption, with polynomial control on the growth of the constants with background space dimension. The condition is of independent interest in the study of SDE, and shows the connection between the classic works of Ben Arous, Kusuoka, Léandre and Stroock, and the more recent works of Bally, Caramellino, Delarue, Menozzi and Pigato. To main technique required is the study of density and scaling properties of some careful choice of linear combinations of terms of the signature of the driving path. In Part 3, we introduce a stricter condition called the `separated progressive Hörmander condition', and prove lower bounds and local strict positivity under this assumption. (By `local' we mean local around the solution of the deterministic ODE driven by a null control, rather than local round the initial point.) The main technical difficulty is the identification of points contained in the interior of the support of the log-signature of the path in the d dimensional Euclidean space composed of d Brownian motions and a deterministic linear component. The purpose of Part 4 is to use some results and techniques of the rest of the thesis to prove extensions of a theorem of Löcherbach about uniformly elliptic interacting branching diffusions. [less ▲]

Detailed reference viewed: 108 (17 UL)
Full Text
See detailMolecular mechanisms of kinase inhibitor resistance in melanoma
Cesi, Giulia UL

Doctoral thesis (2017)

In my thesis, I elucidated several aspects of melanoma biology, all related to the influence of targeted therapies in both responding and resistant melanoma cells. To better understand the MAPK signalling ... [more ▼]

In my thesis, I elucidated several aspects of melanoma biology, all related to the influence of targeted therapies in both responding and resistant melanoma cells. To better understand the MAPK signalling pathway, the impact of BRAF inhibitors on metabolic alterations as well as the connection between BRAF inhibitors and the onset of drug resistance was investigated. This introduction is focused on four topics: i) melanoma, ii) cancer metabolism, iii) miRNAs and iv) extracellular vesicles. First, melanoma biology including incidence rates, etiology, canonical and altered signalling pathways, therapies and resistance mechanisms will be introduced. The second part of the introduction will concentrate on metabolic alterations in the context of cancer and their implication on proliferation and survival. Thirdly, miRNAs and extracellular vesicles will be illustrated providing insights into their role in cancer development and especially drug resistance [less ▲]

Detailed reference viewed: 45 (9 UL)
Full Text
See detailCHARACTERIZATION OF PARKINSON’S DISEASE GENE DJ-1/PARK7 IN CD4+CD25+FOXP3+ REGULATORY T-CELLS
Danileviciute, Egle UL

Doctoral thesis (2017)

DJ-1, also known as PARK7, as its name suggests, is one of the familial Parkinson’s disease (PD) genes. Defects in human DJ-1 are the cause of autosomal recessive early-onset PD. DJ-1 is a redox ... [more ▼]

DJ-1, also known as PARK7, as its name suggests, is one of the familial Parkinson’s disease (PD) genes. Defects in human DJ-1 are the cause of autosomal recessive early-onset PD. DJ-1 is a redox-responsive protein and is long thought to mainly play an essential protective role in neurons. DJ-1 is ubiquitously expressed throughout the body rather than only in brain and is involved in several biological functions. We here seek to characterize a novel role of DJ-1 in regulatory T cells, currently recognized as CD4+CD25+FOXP3+ regulatory T-cells (Tregs), which are well-known immune suppressor cells in many peripheral diseases and emerging to play a role in several neurodegenerative diseases. [less ▲]

Detailed reference viewed: 62 (5 UL)
See detailEssays on Asset Pricing Models with Jump Processes
Cui, Xuecan UL

Doctoral thesis (2017)

This dissertation contains four autonomous academic papers on asset pricing models with jump processes, including the studies of equilibrium asset pricing model, option pricing model, and empirical test ... [more ▼]

This dissertation contains four autonomous academic papers on asset pricing models with jump processes, including the studies of equilibrium asset pricing model, option pricing model, and empirical test. The common thread between them is the application of jump processes that links them in asset price modeling. The first three papers study Lévy process and its inhomogeneous extensions, while the last one studies contagious Hawkes processes. The first essay proposes a novel equilibrium asset pricing model under the semiparametric jump diffusion framework, including drift, volatility and jump intensity in a general time-varying form. The corresponding pricing kernel provides insights on option pricing, and equity premium puzzle [Mehra & Prescott (1985)]. The analytical solutions of equity premium and European call option are given as well. The second essay introduces a new econometric method/procedure to disentangle the three time-varying components of drift, volatility and jump in asset prices. By combining Hodrick-Prescott filter and particle filters, I decomposed the three timevarying components in the S&P500 index, and observed the clustering of volatility and jumps, though the clustering effects are more pronounced when the time-varying drift is negative. Empirical results support the proposed time-varying jump diffusion asset pricing model in Chapter 2. The third essay studies the (un)importance of small jumps in option pricing models. The option pricing literature argues that the behavior of small jumps in a Geometric Lévy model is of paramount importance [Carr et al. (2002)]. This is evidently true for very short time horizons and very deep in- and out-of-the-money options. In this paper, we took the complementary view and asked what values of time to maturity and option moneyness in a Geometric Lévy model lead to option prices, which are practically indistinguishable from the price of plain vanilla options in the BlackScholes model. In other words, in what situation that the Lévy model in question can be replaced with a Brownian motion with minimal pricing error. We produced explicit tight bounds in the case of a Poisson jump process, and related heuristic bounds for arbitrary Lévy process with exponentially decaying jump intensity. The fourth essay models and tests contagious jumps in bull/bear market regimes, in which I developed the regime switching Hawkes processes to model the contagious asset jumps in the international stock market. This new model allows serial and regional contagion in international asset prices, in which contagious impact can be flexible to accommodate different market conditions. [less ▲]

Detailed reference viewed: 64 (8 UL)
Full Text
See detailAutomated and Effective Security Testing for XML-based Vulnerabilities
Jan, Sadeeq UL

Doctoral thesis (2017)

Nowadays, the External Markup Language (XML) is the most commonly used technology in web services for enabling service providers and consumers to exchange data. XML is also widely used to store data and ... [more ▼]

Nowadays, the External Markup Language (XML) is the most commonly used technology in web services for enabling service providers and consumers to exchange data. XML is also widely used to store data and configuration files that control the operation of software systems. Nevertheless, XML suffers from several well-known vulnerabilities such as XML Injections (XMLi). Any exploitation of these vulnerabilities might cause serious and undesirable consequences, e.g., denial of service and accessing or modifying highly-confidential data. Fuzz testing techniques have been investigated in the literature to detect XMLi vulnerabilities. However, their success rate tends to be very low since they cannot generate complex test inputs required for the detection of these vulnerabilities. Furthermore, these approaches are not effective for real-world complex XML-based enterprise systems, which are composed of several components including front-end web applications, XML gateway/firewall, and back-end web services. In this dissertation, we propose several automated security testing strategies for detecting XML-based vulnerabilities. In particular, we tackle the challenges of security testing in an industrial context. Our proposed strategies, target various and complementary aspects of security testing for XML-based systems, e.g., test case generation for XML gateway/firewall. The development and evaluation of these strategies have been done in close collaboration with a leading financial service provider in Luxembourg/Switzerland, namely SIX Payment Services (formerly known as CETREL S.A.). SIX Payment Services processes several thousand financial transactions daily, providing a range of financial services, e.g., online payments, issuing of credit and debit cards. The main research contributions of this dissertation are: -A large-scale and systematic experimental assessment for detecting vulnerabilities in numerous widely-used XML parsers and the underlying systems using them. In particular, we targeted two common XML parser’s vulnerabilities: (i) XML Billion Laughs (BIL), and (ii) XML External Entities (XXE). - A novel automated testing approach, that is based on constraint-solving and input mutation techniques, to detect XMLi vulnerabilities in XML gateway/firewall and back-end web services. - A black-box search-based testing approach to detect XMLi vulnerabilities in front-end web applications. Genetic algorithms are used to search for inputs that can manipulate the application to generate malicious XML messages. - An in-depth analysis of various search algorithms and fitness functions, to improve the search-based testing approach for front-end web applications. - Extensive evaluations of our proposed testing strategies on numerous real-world industrial web services, XML gateway/firewall, and web applications as well as several open-source systems. [less ▲]

Detailed reference viewed: 116 (12 UL)
Full Text
See detailACTIVITY-TRAVEL BEHAVIOUR IN THE CONTEXT OF WORKPLACE RELOCATION
Sprumont, François UL

Doctoral thesis (2017)

Travel behaviour analysis is a complex task because of the myriad of determinants influencing decision makers. The commuting trip constitutes an important travel purpose, but is not the dominant one ... [more ▼]

Travel behaviour analysis is a complex task because of the myriad of determinants influencing decision makers. The commuting trip constitutes an important travel purpose, but is not the dominant one. Because of its spatial and temporal concentration, the commuting flow is an ideal target for mobility management measures aiming at decreasing its negative externalities. Nevertheless, commuting travels are done in the frame of a more complex activity-travel chain, and some choices, whether on the short term (e.g. commuting mode choice) or in the longer term (e.g. where to live, buy a car) are done considering an ensemble of trips. Our research hypothesis is that workplace relocation, or more generally an event that strongly affects travellers’ trip chains, induces different and interrelated responses. Our research aim is to gain insight into this complex decision-making process, in order to better understand its relation with transport policy measures. [less ▲]

Detailed reference viewed: 53 (7 UL)
See detailCRISPR/CAS9 AND PIGGYBAC MEDIATED LRRK2-G2019S IN VITRO PARKINSON’S DISEASE MODELING
Qing, Xiaobing UL

Doctoral thesis (2017)

Parkinson’s disease (PD), the second most common neurodegenerative disorder, is characterized by the progressive loss of dopaminergic (DA) neurons in the substantial nigra pars compacta (SNpc) area of the ... [more ▼]

Parkinson’s disease (PD), the second most common neurodegenerative disorder, is characterized by the progressive loss of dopaminergic (DA) neurons in the substantial nigra pars compacta (SNpc) area of the human midbrain with an unclear cause. Mutations revealed by whole genome sequencing (WGS) from familial PD cases may explain how cell loss occurs. Confirmation of this hypothesis has been hampered by the lack of available cell types from affected patients. Transgenic animal models have been used, but differences between these animals and humans have greatly impacted their usefulness for studying human diseases. Additionally, because PD is regarded to only affect humans, reliable human material-based experimental models are urgently needed. Human-induced pluripotent stem cells (hiPSCs)- derived DA neurons provide an opportunity to establish in vitro mutation-related PD models of disease-relevant cells that represent replacement alternatives to in vivo animal experiments. However, these hiPSCs-based PD models have limitations regarding the genetic background differences between patients and healthy controls. Genomic editing of hiPSCs allows for the generation of isogenic cellular models that differ only in the disease-specific mutations of interest. Currently, the biggest concern regarding nuclease-mediated genomic editing is the potentially undesirable alterations associated with remnant sequences, off-target effects and random integration, which may result in cell lines not being truly isogenic. To avoid potential confounding effects and establish a causal link between genotype and phenotype, robust isogenic cell lines free of unwanted mutagenesis are absolutely required for the study of PD. To better understand the pathogenesis of the most prevalent leucine-rich repeat kinase 2 (LRRK2) mutation, G2019S, which causes both familial and sporadic PD, patient hiPSCs have been corrected using the Cre/LoxP recombination system. However, the LoxP site inevitably remaining after excision of the selection cassette can influence gene expression. In this thesis, a “footprint-free” LRRK2-G2019S isogenic model was created using clustered regularly interspaced short palindromic repeats/Cas9-associated (CRISPR/Cas9) system and a piggyBac transposon that can remove selection cassettes without leaving remnants. In LRRK2-G2019S DA neurons, the percentage of tyrosine hydroxylase (TH)-positive neurons with a total neurite length greater than 2 cm was significantly reduced, and the average branch number was also decreased. These PD-like phenotypes could be rescued by administration of the specific LRRK2 inhibitor LRRK2-IN-1 and by the compound BRF110, which activates the Nurr1:RXRa heterodimer to replenish the DA shortage. Our data suggest that the “footprint- free” LRRK2-G2019S isogenic cell lines allow standardized, genetic background-independent, in vitro PD modeling and are suitable for screening novel drugs that have clinical applications. In addition, we have shown that in vitro TH-positive neurons with a total neurite length greater than 2 cm were positive for serine 129 phosphorylated (S129P) α-synuclein, and we hypothesize that S129P α-synuclein plays a role in the maintenance or formation of long neurites. Thus, we have also provided new insights into the roles of LRRK2-G2019S and S129P α-synuclein in PD pathogenesis. Furthermore, we have optimized CRISPR/Cas9-mediated genomic editing in hiPSCs by establishing a FACS-assisted CRISPR/Cas9 editing (FACE) strategy that uses three fluorescent proteins to isolate biallelic-edited cells with no random integration and by using Exonuclease III (ExoIII)-facilitated long single stranded DNA (ssDNA) donor to reduce random integration. [less ▲]

Detailed reference viewed: 115 (15 UL)
Full Text
See detailAutomated requirements-driven testing of embedded systems based on use case specifications and timed automata
Wang, Chunhui UL

Doctoral thesis (2017)

The complexity of embedded software in safety-critical domains, such as automotive and avionics, has significantly increased over the years. For most embedded systems, standards require system testing to ... [more ▼]

The complexity of embedded software in safety-critical domains, such as automotive and avionics, has significantly increased over the years. For most embedded systems, standards require system testing to explicitly demonstrate that the software meets its functional and safety requirements. In these domains, system test cases are often manually derived from functional requirements in natural language plus other design artefacts, like UML statecharts. The definition of system test cases is therefore time-consuming and error-prone, especially given the quickly rising complexity of embedded systems. The benefits of automatic test generation are widely acknowledged today but existing approaches often require behavioural models that tend to be complex and expensive to produce, and are thus often not part of development practice. The work proposed in this dissertation focusses on the automated generation of test cases for testing the compliance between software and its functional and timing requirements. This dissertation is inspired by contexts where functional and timing requirements are expressed by means of use case specifications and timing automata, respectively. This is the development context of our industrial partner, IEE, an automotive company located in Luxembourg, who provided the case study used to validate the approach and tool described in this dissertation. This dissertation presents five main contributions: (1) A set of guidelines for the definition of functional and timing requirements to enable the automated generation of system test cases. (2) A technique for the automated generation of functional test cases from requirements elicited in the form of use case specifications following a prescribed template and natural-language restrictions. (3) A technique that reuses the automatically generated functional test cases to generate timeliness test cases from minimal models of the timing requirements of the system. (4) A technique for the automated generation of oracles for non-deterministic systems whose specifications are expressed by means of timed automata. In the context of this dissertation, automated oracles for non-deterministic systems are necessary to evaluate the results of the generated timeliness test cases. (5) The evaluation of the applicability and effectiveness of the proposed guidelines and techniques on an industrial case study, a representative automotive embedded system developed by IEE. [less ▲]

Detailed reference viewed: 60 (13 UL)
Full Text
See detailProjectional Editing of Software Product Lines–The PEoPL approach
Behringer, Benjamin UL

Doctoral thesis (2017)

Detailed reference viewed: 51 (12 UL)
Full Text
See detailActive Learning in Cognitive Radio Networks
Tsakmalis, Anestis UL

Doctoral thesis (2017)

In this thesis, numerous Machine Learning (ML) applications for Cognitive Radios Networks (CRNs) are developed and presented which facilitate the e cient spectral coexistence of a legacy system, the ... [more ▼]

In this thesis, numerous Machine Learning (ML) applications for Cognitive Radios Networks (CRNs) are developed and presented which facilitate the e cient spectral coexistence of a legacy system, the Primary Users (PUs), and a CRN, the Secondary Users (SUs). One way to better exploit the capacity of the legacy system frequency band is to consider a coexistence scenario using underlay Cognitive Radio (CR) techniques, where SUs may transmit in the frequency band of the PU system as long as the induced to the PU interference is under a certain limit and thus does not harmfully a ect the legacy system operability. [less ▲]

Detailed reference viewed: 131 (40 UL)
Full Text
See detailDamage detection in prestressed concrete bridges based on static load testing, sagging and modal parameters, using measurements and model updating
Schommer, Sebastian UL

Doctoral thesis (2017)

Bridges are an essential part of nowadays infrastructure to cross natural and artificial obstacles like rivers, valleys or other roads and railways. Many concrete bridges were built in the last 70 years ... [more ▼]

Bridges are an essential part of nowadays infrastructure to cross natural and artificial obstacles like rivers, valleys or other roads and railways. Many concrete bridges were built in the last 70 years. The traffic density has increased immensely over the last decades and the bridges are suffering from corrosion and wear. Nevertheless, the safety of the infrastructure has to be guaranteed and therefore it is very important to find efficient methods for structural health monitoring. For this purpose, visual inspections are the most widely adopted in reality today. Considering the size of most bridge structures, it is understandable that these tests are generally very time-consuming and many personnel are needed, so they are cost-intensive. However, it is not always guaranteed that all damage can be found as only the surface is accessible. For instance, internal damage, such as corrosion of passive reinforcements or prestressed tendons, is difficult to detect. In addition, small cracks can remain undetected when covered by paints or dirt. Therefore, it is important to complement the standard methods with advanced alternatives. The aim is therefore not necessarily to replace visual inspections, but rather to find efficient methods for amendment. An idea being vigorously discussed in the scientific community is based on vibration measurements of a structure to assess its dynamic behaviour. The occurrence of damage will change the system properties, as it changes above all the stiffness distribution. So the system identification process in principle allows detection of changes of eigenfrequencies and hence stiffness. The main problem in practice on real bridges is that the robustness of a method is often insufficient, as the measured parameters are often also influenced by temperature changes. It will be shown that the impact of temperature change, e.g. between night and day, on the system properties is much higher than the influence of small damage. Furthermore, changes in soil and bearing conditions between different seasons can play a role. These environmental effects have to be taken into account while performing measurements for damage assessment. For this purpose, strategies are proposed to compensate environmental effects. Therefore, this thesis focuses on measurements under real environmental conditions, outside a laboratory. Different methods for damage assessment or stiffness tracking based on measured static and on dynamic properties of structures are deployed. Finally, the measured and analysed physical properties of the bridges in this thesis are: eigenfrequencies, mode shapes, sagging under own weight and the deflection line under a static test-loading. These quantities are tracked and artificial damage is introduced stepwise to a test-beam of a real bridge. Damage assessment and localisation is tried directly with the measured quantities but also by model-updating of a finite element model. This solid model is divided in a special way in different slices. It is possible to change the stiffness distribution along the axis of the simulated beam by varying the Young’s moduli of these slices. Furthermore, to reduce the number of free parameters for the subsequent up-dating process, an exponential damage function is introduced that describes the stiffness distribution. At first, the model was designed to fit a healthy reference state. Now measurement data from the artificially damaged test-beam are introduced and the model is updated by changing the Young’s moduli of the slices to minimise a special objective function containing the measured and simulated physical quantities. The comparison of initial and updated model allows a quantification and localisation of damage. Finally, the slice width is reduced around the identified damage region to improve the process. [less ▲]

Detailed reference viewed: 89 (16 UL)
Full Text
See detailObservation and Control of Anaerobic Digestion Processes for Improved Biogas Production
Chaib Draa, Khadidja UL

Doctoral thesis (2017)

In this thesis, we propose a formal modelling framework for the anaerobic digestion process, where we add more degrees of freedom in the control of biogas production. Indeed, we add two additional control ... [more ▼]

In this thesis, we propose a formal modelling framework for the anaerobic digestion process, where we add more degrees of freedom in the control of biogas production. Indeed, we add two additional control inputs to the standardized AM2 (Acidogenesis Methanogenesis, 2 steps) model, re ecting addition of stimulating substrates which enhance the biogas quality and quantity. Then, we describe how the parameters of the resulted nonlinear model can be identi ed, and we analyse the positiveness and boundedness of its state variables. Based on the derived mathematical model and the analysis results, we design di erent software sensors to overcome the lack of reliable and cheap sensors. Indeed, we present a general class of systems to which the considered process model belongs. Then, we design an LMI-based invariant like observer as well as an LMI-based nonlinear observer of the same form as the generalized Arcak's observer. Furthermore, with the aim to render the observer design more robust to disturbances, we include the H1 criterion in its synthesis. Also, to promote the use of the proposed observers in real applications, we extend the methodology to the discrete time case and to the case of nonlinear systems with nonlinear outputs. For the di erent observers design, we use the di erential mean value theorem which allows the transformation of the nonlinear estimation error to a linear parameter varying system. Then, we use the Lipschitz conditions and the Lyapunov standard function to synthesize the stability conditions in the form of linear matrix inequalities. Finally, we enhance the feasibility of the later conditions by using a judicious reformulation of the Young's inequality. In the thesis, we also deal with the process control where we propose a control strategy to track an admissible reference trajectory planned by the plant operator. Moreover, to account for the partial availability of the state vector measurements, we include an exponential nonlinear observer in the control synthesis. Thus, we design an observer based tracking control scheme. To perform the stability analysis of the closed loop system, composed of the system, the observer and the controller, we use the Barbalat's lemma conjointly with the techniques already mentioned for the observers design. Finally, we propose two different methods to compute the controller and the observer parameters. In the first one, we propose to compute them separately. While, in the second one we compute the parameters simultaneously. [less ▲]

Detailed reference viewed: 90 (18 UL)
Full Text
See detailSelf-assembly of binary colloidal nanocrystals
Mravlak, Marko UL

Doctoral thesis (2017)

The synthesis of functional nanoparticles is an important step in the hierarchical construction of hybrid materials for nanotechnological applications. A useful path to build these components is to use ... [more ▼]

The synthesis of functional nanoparticles is an important step in the hierarchical construction of hybrid materials for nanotechnological applications. A useful path to build these components is to use colloidal nanocrystals that can spontaneously agglomerate into ordered structures under confinement. The focus of this thesis is to explore the diversity of superstructures that can be self-assembled using binary dispersions where the dispersed colloids have spherical or quasi-spherical shapes and interact through simple potentials with repulsive cores and short-range attractions. Using computer simulations we demonstrate that agglomeration experiments with heterogeneous binary mixtures of nanoparticles can be exploited for the synthesis of structured clusters which are proposed as potential intermediate building blocks in hierarchical self-assembly of colloidal molecules and crystals. To describe the structural properties of aggregates resulting from confined mixtures of particles with heterogeneous attractions we analyse the structure diagrams of binary Lennard-Jones clusters by means of a basin-hopping global optimisation approach for a broad range of cluster sizes, compositions and interaction energies and present a large database of minimal energy structures. We identify a variety of structures such as core-shell clusters, Janus clusters and clusters in which the minority species is located at the vertices of icosahedra. For a binary mixture with heterogeneous particle diameters we use molecular dynamics simulations to demonstrate that pressure-dependent inter-particle potentials affect the self-assembly route of the confined particles. This is in agreement with experiments where crystalline superlattices, Janus particles, and core-shell particle arrangements form in the same dispersions for moderate changes in the working pressure or the surfactant that sets the Laplace pressure inside the droplets. Comparison of experimental analysis and simulations confirms that the onset of self-assembly depends on particle size and pressure. Finally, we explore regular superlattices into which clusters can arrange by investigating the equilibrium phase behaviour for a monodisperse system of Mackay icosahedra. Monte Carlo simulations show that either a fluid phase, a crystal phase or rotator phases with different degrees of rotational correlations form. We analyse the correlations using the positional and orientational pair correlation functions and find that the densest lattice packing of hard icosahedra is stable at finite temperatures. [less ▲]

Detailed reference viewed: 35 (9 UL)
Full Text
See detailAchtsamkeit als Determinante von Glück im Alter - Theoretische und Empirische Analysen
Theisen, Marie-Paule Gaby UL

Doctoral thesis (2017)

In den späten siebziger Jahren entwickelte der Molekularbiologe und Zen-Praktiker Jon Kabat-Zinn in den USA das „Mindfulness-Based Stress Reduction Program – MBSR“ (dt.: das Programm zur Stressreduzierung ... [more ▼]

In den späten siebziger Jahren entwickelte der Molekularbiologe und Zen-Praktiker Jon Kabat-Zinn in den USA das „Mindfulness-Based Stress Reduction Program – MBSR“ (dt.: das Programm zur Stressreduzierung durch Achtsamkeit). Der Medizinprofessor begann mit Erfolg, das Programm an Schmerzpatienten der University of Massachusetts Medical School Stress Reduction Clinic zu vermitteln. Parallel dazu untersuchte der Forscher die Auswirkungen dieses Stressreduzierungsprogramms auf das psychische und physische Wohlbefinden der Patienten. Diese Forschungsergebnisse veranlassten mich dazu, das bestehende Programm MBSR an die Bedürfnisse und Wünsche von gesunden, existenziell verängstigten, gestressten Menschen im Vorrentenalter und Rentenalter anzupassen und das Programm „Achtsamkeit Entdecken – Leben im Augenblick“ (AELA) für Senioren zu entwickeln. Als theoretische Grundlage dieses Programms wurden einschlägige Theorien zu Achtsamkeit, Glück und dem Alternsprozess beschrieben und in ihrem Zusammenhang elaboriert. Anschließend daran wurden über eine Kombination von quantitativem und qualitativem Vorgehen die Nützlichkeit und die Wirkungen von Achtsamkeit auf das Glücksempfinden „betagter“ Menschen im Alltag untersucht. Im Rahmen einer quantitativ angelegten Trainingsstudie wurden über den Zeitraum von vier Wochen Achtsamkeitselemente vermittelt, die über die Selbstberichte der Teilnehmer evaluiert wurden. Insgesamt zeichneten sich dabei positive Effekte auf das Befinden der Teilnehmer ab und diese betrachteten die Achtsamkeitsübungen als nützlich, um bewusster zu leben. Im Rahmen einer qualitativen Studie wurden fünfzehn Interviews zum Leben im Alter durchgeführt und dabei unterschiedliche Aspekte – wie z.B. Wünsche und Ziele, aber auch Ängste und Befürchtungen – exploriert. In den Interviews wurde zudem erfragt, inwieweit die Personen bereits mit dem Konzept der Achtsamkeit vertraut sind und inwieweit sie dieses nutzen. Auch diese Studie belegt die Bedeutsamkeit dieses Konzeptes für das Leben im Alter. Alle Befunde sprechen somit dafür, dass der gesunde ältere Mensch durch eine regelmäßige Achtsamkeitspraxis – im Sinne eines bewussten Lebens von Augenblick zu Augenblick – Stressfreiheit und Glück erfahren kann.   [less ▲]

Detailed reference viewed: 290 (21 UL)
Full Text
See detailAUTOMATED DEBUGGING AND FAULT LOCALIZATION OF MATLAB/SIMULINK MODELS
Liu, Bing UL

Doctoral thesis (2017)

Matlab/Simulink is an advanced environment for modeling and simulating multidomain dynamic systems. It has been widely used to model advanced Cyber-Physical Systems, e.g. in the automotive or avionics ... [more ▼]

Matlab/Simulink is an advanced environment for modeling and simulating multidomain dynamic systems. It has been widely used to model advanced Cyber-Physical Systems, e.g. in the automotive or avionics industry. To ensure the reliability of Simulink models (i.e., ensuring that they are free of faults), these models are subject to extensive testing to verify the logic and behavior of software modules developed in the models. Due to the complex structure of Simulink models, finding root causes of failures (i.e., faults) is an expensive and time-consuming task. Therefore, there is a high demand for automatic fault localization techniques that can help en- gineers to locate faults in Simulink models with less human intervention. This demand leads to the proposal and development of various approaches and techniques that are able to automatically locate faults in Simulink models. Fault localization has been an active research area that focuses on developing automated tech- niques to support software debugging. Although there have been many techniques proposed to localize faults in programs, there has not been much research on fault localization for Simulink models. In this dissertation, we investigate and develop a lightweight fault localization approach to automatically and accurately locate faults in Simulink models. To enhance the usability of our approach, we also develop a stand-alone desktop application that provides engineers with a usable interface to facilitate localization of faults in their models. [less ▲]

Detailed reference viewed: 101 (15 UL)
Full Text
See detailParkinson's disease: Evaluation of a neuroprotective target and identification of candidate biomarker signatures using murine models
Ashrafi, Amer UL

Doctoral thesis (2017)

Parkinson's disease (PD) is one of the most common age-related neurologic diseases. While existing therapeutic approaches, focusing on dopamine replacement, can alleviate some of the cardinal symptoms ... [more ▼]

Parkinson's disease (PD) is one of the most common age-related neurologic diseases. While existing therapeutic approaches, focusing on dopamine replacement, can alleviate some of the cardinal symptoms, they are associated with severe adverse effects in the long-term. Therefore, identification of new therapeutic interventions to reverse, stop or slow down the progression of Parkinson’s disease is a major focus of PD research. Similarly, identifying reliable biomarkers that would enable early therapeutic intervention is another key area of current research. Here, we evaluated a recently proposed non-dopaminergic protein drug target for PD, Regulator of G-Protein Signaling 4 (RGS4), and performed preliminary studies aimed at the identification of novel biomarker signatures using two murine models of Parkinson’s disease. Recent research on new non-dopaminergic PD drug targets has indicated that inhibition of RGS4, a member of the RGS family of proteins that inactivate G-proteins, could be an effective adjuvant treatment option. However, the effectiveness of RGS4 inhibition for an array of PDlinked functional and structural neuroprotection endpoints had not yet been demonstrated. Here, we used the 6-Hydroxydopamine (6-OHDA) lesioning mouse model to address this question. We observed, using a battery of behavioral and pathological measures, that mice deficient for RGS4 are not protected from 6-OHDA induced injury, and showed enhanced susceptibility in some measures of motor function. Our results suggest that inhibition of RGS4 as a non-dopaminergic target for PD should be approached with caution. In the second part of this study, two alpha-synuclein based PD mouse models, human E46K mutated overexpressed alpha-synuclein and alpha-synuclein fibril spreading models, were used to investigate early pathological events in PD and identify novel candidate biomarker signatures for subsequent validation. Two different time points, before disease onset, and at peak disease manifestation, were analyzed in the two models. Using multiple histopathology and molecular biology techniques, we were able to identify complex changes in patterns of gene expression at early stages of the disease, well before neurodegeneration is detectable. These findings might open venues for new therapeutic strategies and provide insights on the molecular perturbations occurring during the earliest stages of the disease, paving the way for the development of a biomarker signatures for early diagnosis of Parkinson’s disease. [less ▲]

Detailed reference viewed: 61 (17 UL)
Full Text
See detailThe Europeanisation of German, French and Luxembourgish Economic Interest Groups: The Case of the Blue Card Directive Policy-Making Process
Foltête Usage Paris, Sidonie UL

Doctoral thesis (2017)

The Europeanisation of interest groups has been the subject of a substantial academic literature. Yet, multi-level venue shopping has stirred relatively little attention and the cognitive dimension of ... [more ▼]

The Europeanisation of interest groups has been the subject of a substantial academic literature. Yet, multi-level venue shopping has stirred relatively little attention and the cognitive dimension of actors’ Europeanisation has remained largely untouched. This research project addresses these shortcomings by exploring the degree to which business organisations and labour unions deploy their activities at the level of the European Union (i.e. ‘strategic Europeanisation’) and the causal effects of European integration on interest organisations’ shift of perception (i.e. ‘cognitive Europeanisation). This dual perspective is applied to the study of German, French, and Luxembourgish actors’ behaviours in the case of the Blue Card Directive policy-making process. Results on ‘strategic Europeanisation’ reveal a high inclination of German actors to resort to multi-level lobbying in the Blue Card Directive policy-making process and a conversely low propensity of their French counterparts to activate the supranational arena. Luxembourgish stakeholders show very little drive to activate their EU-level lobbying channels. Specific findings point to the importance of financial resources and actors’ domestic embeddedness when deciding whether to make use of Europe, although in contrasted ways. As regards ‘cognitive Europeanisation’, the study shows that the European Union did not shape actors’ shift of perception on labour immigration across the three countries under examination. [less ▲]

Detailed reference viewed: 72 (8 UL)
Full Text
See detailInterpretive Interactions among Legal Systems and Argumentation Schemes
Malerba, Alessandra UL

Doctoral thesis (2017)

This thesis is about argumentation schemes that help to deal with interactions between national and foreign canons of interpretation in private international law cases. In fact, many legal orders, like ... [more ▼]

This thesis is about argumentation schemes that help to deal with interactions between national and foreign canons of interpretation in private international law cases. In fact, many legal orders, like Italy, require that, in conflict of laws disputes, courts apply the relevant foreign law using canons of interpretation and rules of application of the original foreign system. Our research hypothesis is that, in interpreting the foreign rule, domestic courts incur interpretive divergences of many kinds among the involved legal systems. Foreign law interpretation may result in linguistic and/or conceptual misalignments, in normative and/or interpretive gaps, and in specific incompatibilities between inner and foreign canons of interpretation. By focusing on interpretive conflicts within one legal system, legal theorists and AI and Law scholars have not yet paid sufficient attention to the issue, even if pluralist logics and argumentation have been generally applied to legal pluralism and conflict of laws. The present study fills this gap in the literature: it explores the feasibility of a theory for arguing and interpreting in private international law contexts, providing an argument-based conceptual framework that encompasses plausible interpretive interactions. To this end, and after addressing the epistemic concerns foreign law raises for domestic judges, the thesis gives a definition of cross-border interpretive incompatibilities and proposes argumentation schemes to reason with interpretive canons coming from different legal systems. An illustrative list of critical questions is used to evaluate the correctness of such interpretive reasoning. Lastly, the thesis presents the first formal developments of the study, based on the concept of meta-argumentation. It is possible to detect two main contributions to knowledge. First, this work identifies the components of foreign law interpretation, an interpretation activity with significant practical implications for legal systems today. In so doing, it also indirectly contributes to better understand interpretation at large. Secondly, its argument-based analysis paves the way for further formal applications in the domain of AI and Law. [less ▲]

Detailed reference viewed: 48 (4 UL)
Full Text
See detailDevelopment and analysis of individual-based gut microbiome metabolic models
Magnusdottir, Stefania UL

Doctoral thesis (2017)

The human gut microbiota plays a large role in the metabolism of our diet. These microorganisms can break down indigestible materials such as polysaccharides and convert them into metabolites that the ... [more ▼]

The human gut microbiota plays a large role in the metabolism of our diet. These microorganisms can break down indigestible materials such as polysaccharides and convert them into metabolites that the human body can take up and utilize (e.g., vitamins, essential amino acids, and short-chain fatty acids). Disbalances in the gut microbiome have been associated with several diseases, including diabetes and obesity. However, little is known about the detailed metabolic crosstalk that occurs between individual organisms within the microbiome and between the microbiome and the human intestinal cells. Because of the complexity of the intestinal ecosystem, these interactions are difficult to determine using existing experimental methods. Constraint-based reconstruction and analysis (COBRA) can help identify the possible metabolic mechanisms at play in the human gut. By combining mathematical, computational, and experimental methods, we can generate hypotheses and design targeted experiments to elucidate the metabolic mechanisms in the gut microbiome. In this thesis, I first applied comparative genomics to analyze the biosynthesis pathways of eight B-vitamins in hundreds of human gut microbial species. The results suggested that many gut microbes do not synthesize any B-vitamins, that is, they depend on the host’s diet and neighboring bacteria for these essential nutrients. Second, I developed a semi-automatic reconstruction refinement pipeline that quickly generates biologically relevant genome-scale metabolic reconstructions (GENREs) of human gut microbes based on automatically generated metabolic reconstructions, comparative genomics data, and data extracted from biochemical experiments on the relevant organisms. The pipeline generated metabolically diverse reconstructions that maintain high accuracy with known biochemical data. Finally, the refined GENREs were combined with metagenomic data from individual stool samples to build personalized human gut microbiome metabolic reconstructions. The resulting large-scale microbiome models were both taxonomically and functionally diverse. The work presented in this thesis has enabled the generation of biologically relevant human gut microbiome metabolic reconstructions. Metabolic models resulting from such reconstructions can be applied to study metabolism within the human gut microbiome and between the gut microbiome and the human host. Additionally, they can be used to study the effects of different dietary components on the metabolic exchanges in the gut microbiome and the metabolic differences between healthy and diseased microbiomes. [less ▲]

Detailed reference viewed: 226 (26 UL)
Full Text
See detailThe politics of knowledge that govern the European Union lifelong learning policy space – A Foucauldian reading
Rizzo, Stephen UL

Doctoral thesis (2017)

This contemporary historical research calls into question the mentalities that construct the EU lifelong learning policy space in specific ways. By drawing on the Foucauldian concepts of governmentality ... [more ▼]

This contemporary historical research calls into question the mentalities that construct the EU lifelong learning policy space in specific ways. By drawing on the Foucauldian concepts of governmentality and genealogy, this thesis analyses selected main EU lifelong learning policy literature by focusing on how this space has been articulated in governable forms. In line with a Foucauldian interpretation of power, the EU as a subject is decentred and considered as an epistemological form of assumption so that power and knowledge are analysed according to how they operate in this space. The governmentalist approach explores the technologies of the self and the technologies of government that construct and govern the conduct of conduct of the subject through the recurrent narratives in this space. In combination with this approach, the genealogical analysis of the episteme lifelong learning traces the different terminological interpretations which have been systematically reconfigured throughout the years to attain new connotations. These different connotations are problematised not only because the distinctiveness of the definition influenced the trajectory lifelong learning took throughout the years, but also because lifelong learning can, at one and the same time, control or liberate people. The distinctive contribution to academic literature that this thesis achieves is that it problematises the unquestionable truths that construct the EU lifelong learning policy space from a non-normative point of view. The overriding idea is for the actors in this space to make visible the taken-for granted principles and to create the possibility to challenge prevailing power relations and challenge what is uncritically taken as natural. [less ▲]

Detailed reference viewed: 57 (6 UL)
Full Text
See detailComputational Aspects of Classical and Hilbert Modular Forms
van Hirtum, Jasper UL

Doctoral thesis (2017)

The main topic of this thesis is the study of classical and Hilbert modular forms and computational aspects of their q-expansions. The coefficients of q-expansions of eigenforms are particularly ... [more ▼]

The main topic of this thesis is the study of classical and Hilbert modular forms and computational aspects of their q-expansions. The coefficients of q-expansions of eigenforms are particularly interesting because of their arithmetic significance. Most notably, modular forms are an essential ingredient in Andrew Wiles’s proof of Fermat’s last theorem. This thesis consists of two parts: the first part concerns the distribution of the coefficients of a given classical eigenform; the second part studies computational aspects of the adelic q-expansion of Hilbert modular forms of weight 1. Part I of this thesis is an adapted version of the article On the Distribution of Frobenius of Weight 2 Eigenforms with Quadratic Coefficient Field published in Experimental Mathematics [38]. It presents a heuristic model that settles the following question related to the Sato-Tate and Lang-Trotter conjectures: given a normalised eigenform of weight 2 with quadratic coefficient field, what is the asymptotic behaviour of the number of primes p such that the p-th coefficient of this eigenform is a rational integer? Our work contributes to this problem in two ways. First, we provide an explicit heuristic model that describes the asymptotic behaviour in terms of the associated Galois representation. Secondly, we show that this model holds under reasonable assumptions and present numerical evidence that supports these assumptions. Part II concerns the study of (adelic) q-expansions of Hilbert modular forms. Our main achievements are the design, proof and implementation of several algorithms that compute the adelic q-expansions of Hilbert modular forms of weight 1 over C and over finite fields. One reason we are studying such q-expansions is that their coefficients (conjecturally) describe the arithmetic of Galois extensions of a totally real number field with Galois group in GL 2 (F p ) that are unramified at p. Using the adelic q-expansions of Hilbert modular forms of higher weight, these algorithms enable the explicit computation of Hilbert modular forms of any weight over C and the computation of Hilbert modular forms of parallel weight both over C and in positive characteristics. The main improvement to existing methods is that this algorithm can be applied in (partial) weight 1, which fills the gap left by standard computational methods. Moreover, the algorithm computes in all characteristics simultaneously. More precisely, we prove that, under certain conditions in higher weight, the output of the algorithm for given level N and quadratic character E includes a finite set of primes L such that all Hilbert modular forms of given parallel weight, level N and quadratic character E over F p are liftable for all primes p outside the set L. In particular, testing primes in the set L enabled the computation of examples of non-liftable Hilbert modular forms of weight 1. [less ▲]

Detailed reference viewed: 40 (10 UL)
Full Text
See detailStudent-driven Inquiry-based Science Education in Luxembourg Primary School Contexts
Wilmes, Sara UL

Doctoral thesis (2017)

This study examined the use of a student-driven inquiry-based science education instructional approach designed specifically to meet the contextualized needs of Luxembourg primary schools. The key issues ... [more ▼]

This study examined the use of a student-driven inquiry-based science education instructional approach designed specifically to meet the contextualized needs of Luxembourg primary schools. The key issues, namely an increasing linguistically diverse student population and limited instructional time for science, were considered in the design of the instructional approach. Drawing on theories of dialogic inquiry, the instructional approach engages students in asking questions and designing investigations to build their science understanding. This interpretive qualitative study utilized a multi-perspective approach to analyse how teachers used the instructional approach in their classrooms and explored two overarching research questions, first, what instructional opportunities does Science Workshop, an inquiry-based student-driven science instructional approach, afford when used in Luxembourg primary classrooms? And second, what does analysis of interactions in these contexts reveal about inquiry-based science instruction in multilingual classrooms? Qualitative methodologies, specifically case studies of classroom implementation, were used to examine the use of the program teachers’ adaptations of the program in their classrooms. Bakhtinian notions of heteroglossia and dialogic pedagogies were used as lenses to examine the instructional opportunities afforded. Interaction analysis was used to examine instruction in a focal classroom when the inquiry-based approach was used. Analyses rooted in sociocultural theoretical frameworks of science and language learning revealed three key contributions toward the use of IBSE in Luxembourg primary schools. First, the key characteristics of teacher professional learning opportunities that supported teachers’ use of the program in Luxembourg, which included workshops, material support, and opportunities to share implementation cases were identified. Second, the ways in which ritualized instructional components afford students spaces to engage on micro-scales in building synchronous interactions during science investigations were revealed. Third, that the science notebooks can position students to engage in dialogic discussions surrounding science investigations was shown through detailed analysis. Taken together, these interrelated points contribute to an understanding of the use of student-driven instructional approaches in multilingual science classrooms in general, while revealing implications for the use of inquiry-based science instructional approaches in Luxembourg primary schools specifically. [less ▲]

Detailed reference viewed: 45 (15 UL)
See detailDynamic Career Attitudes And Life Satisfaction Among CEDIES' Postgraduates From Luxembourg
Karavdic, Senad UL

Doctoral thesis (2017)

Introduction: With an ever increasing number of university students and the employment shift from an opportunity to insecure development, new postgraduate generations have to be amenable to continuous ... [more ▼]

Introduction: With an ever increasing number of university students and the employment shift from an opportunity to insecure development, new postgraduate generations have to be amenable to continuous upgrading, complete with a wide range of skills in the promotion of their career development. Keeping in mind that the job market and work environment are variables that are mostly changing, the possession of an active career attitude may be a guarantee for postgraduates’ employability and their career outcome. Giving importance to the adjustment during the transitional period, life satisfaction (LS) may be altered based on the discrepancy between career aspiration and career achievement. Among university postgraduates, the main objectives of our doctoral work are to (1) measure the associations between dynamic career attitudes (DCA), generic employment capabilities and socioeconomic factors (2) determine the underlying structure of DCA, protean career orientation and career goal (3) analyze relations between DCA dimensions and career factors such as career goals, protean career orientation and LS (4) evaluate the effects of DCA dimensions on LS for native and non-native Luxembourgish postgraduates. Method: A survey was conducted among 2800 participants registered at the Centre for Documentation and Information on Higher Education (CEDIES). Data collection was realized via an information flyer that was sent to the home addresses of the postgraduates and that contained instructions about the aims of the study and a link to the survey. The postgraduates could directly access the anonymous online questionnaire in either French or English. To explore the associations and relations between variables student t-tests and bivariate correlations were used. Exploratory factor analysis was conducted to identify the underlying relationships between measured DCA dimensions, protean career orientation and career goals. In order to determine the statistical significance of the indirect effect for the mediation analysis, the bootstrapped confidence interval on 1000 bootstrap samples was used. A multiple logistic regression was applied to each group, but only significant variables (p<0.05) were introduced into the regression models. Results: A total of 644 volunteers completed the self-assessment questionnaire online. Majority of the participants were female, students and not employed. Postgraduates with high employment capabilities tend to present a higher dynamic career score that has been identified as a construct of four career dimensions (career adaptability, career optimism, career related knowledge and career planning). Each dimension was mediated from self-directed career dimension of protean career orientation by intrinsic career goal. Career adaptability and career optimism predicted both, happiness and LS. However, this relationship seems only to be presented for ‘postgraduates that are still studying. In the same vein, the DCA dimension of career optimism has been associated to LS by native Luxembourgers, whereas perceived financial situation intervenes in explanation of LS by non-native postgraduates. Discussion and Conclusion: The Dynamic Career Attitudes scale appears to be a relevant instrument in evaluating disparities in employment capabilities among postgraduates. Our findings indicated the application of intrinsic career goal in the development of career attitudes, where career adaptability and career optimism explained the highest proportion of the variance related to LS. The acquisition of qualitative information on DCA from a comparable population at different stages (from career goals aspirations and the process toward career goal accomplishments), could be rendered more straightforward for future research. Finally, it could be interesting to assess the DCA of university graduates during and after their Master’s degrees; before they start work and in the early years of their careers. Contextualizing our findings, the differences of native Luxembourgish and non-native postgraduates don't differ in LS, however, it seems to be influenced by different variables such as financial situation suggesting the introduction of the social grant of CEDIES for the most disadvantaged students. Practical implications are also suggested. Promoting programs proposed by University services towards counseling and an accompaniment to their career attitudes may enhance postgraduates’ LS which are major indicators for a successful mobility. [less ▲]

Detailed reference viewed: 125 (16 UL)