![]() ; ; et al in Communications in Computer and Information Science (2015), 554 Nowadays, students can be assessed not only by means of pencil-and-paper tests but also by electronic exams which they take in examination centers or even from home. Electronic exams are appealing as they ... [more ▼] Nowadays, students can be assessed not only by means of pencil-and-paper tests but also by electronic exams which they take in examination centers or even from home. Electronic exams are appealing as they can reach larger audiences, but they are exposed to new threats that can potentially ruin the whole exam business. These threats are amplified by two issues: the lack of understanding of what security means for electronic exams (except the old concern about students cheating), and the absence of tools to verify whether an exam process is secure. This paper addresses both issues by introducing a formal description of several fundamental authentication and privacy properties, and by establishing the first theoretical framework for an automatic analysis of exam security. It uses the applied π-calculus as a framework and ProVerif as a tool. Three exam protocols are checked in depth: two Internet exam protocols of recent design, and the pencil-and-paper exam used by the University of Grenoble. The analysis highlights several weaknesses. Some invalidate authentication and privacy even when all parties are honest; others show that security depends on the honesty of parties, an often unjustified assumption in modern exams. [less ▲] Detailed reference viewed: 275 (11 UL)![]() Pantazatou, Aikaterini ![]() in Perspectives on Federalism (2015) This article examines the evolution of the EU ‘redistributive’ policies in the (post-) crisis EU era. By reviewing the EU cohesion policy, the financial assistance mechanisms, the new economic governance ... [more ▼] This article examines the evolution of the EU ‘redistributive’ policies in the (post-) crisis EU era. By reviewing the EU cohesion policy, the financial assistance mechanisms, the new economic governance measures and the potentials of attributing the EU fiscal capacity, it aims to conceptualize the notion of solidarity as redistribution as this has evolved by reason of the crisis. The article argues that by virtue of the diverging economies, interests and preferences of the Member States, reciprocal or ‘effects-based solidarity’ is the only type of solidarity that has been exhibited among the Member States during the crisis. It, further, shows how the principle of solidarity has not lived up to its potential in the present crisis context, but it has instead been cropped up in sharply different ways in the rhetorics and communications of political parties of all hues across the Union. [less ▲] Detailed reference viewed: 251 (19 UL)![]() Scuto, Denis ![]() Article for general public (2015) Weekly column on contemporary history ("L'histoire du temps présent") in Luxembourg newspaper Tageblatt, here on the round table on the so-called "Historikersträit" about the Artuso Report Detailed reference viewed: 164 (4 UL)![]() ; May, Patrick ![]() in Nature Communications (2015), 6(8829), Fanconi anemia (FA) is a hereditary disease featuring hypersensitivity to DNA cross-linker-induced chromosomal instability in association with developmental abnormalities, bone marrow failure and a strong ... [more ▼] Fanconi anemia (FA) is a hereditary disease featuring hypersensitivity to DNA cross-linker-induced chromosomal instability in association with developmental abnormalities, bone marrow failure and a strong predisposition to cancer. 17 FA disease genes have been reported, all of which act in a recessive mode of inheritance. Here we report on a de novo g.41022153G>A; p.Ala293Thr (NM_002875) missense mutation in one allele of the homologous recombination DNA repair gene RAD51 in an FA-like patient. This heterozygous mutation causes a novel FA subtype, “FA-R”, which appears to be the first subtype of FA caused by a dominant-negative mutation. The patient, who features microcephaly and mental retardation, has reached adulthood without the typical bone marrow failure and pediatric cancers. Together with the recent reports on RAD51-associated congenital mirror movement disorders our results point to an important role for RAD51-mediated homologous recombination in neurodevelopment, in addition to DNA repair and cancer susceptibility. [less ▲] Detailed reference viewed: 233 (21 UL)![]() Kmec, Sonja ![]() Article for general public (2015) Detailed reference viewed: 119 (4 UL)![]() Pichou, Maria ![]() Presentation (2015, December 18) Detailed reference viewed: 122 (4 UL)![]() Mousel, Marina ![]() Doctoral thesis (2015) Detailed reference viewed: 107 (7 UL)![]() Kobou Ngani, Patrick ![]() ![]() ![]() Scientific Conference (2015, December 17) Many automatic control applications such as wide scale power grid management and local power conditioning rely on the fast and accurate detection of the voltage signal phase and amplitude. These ... [more ▼] Many automatic control applications such as wide scale power grid management and local power conditioning rely on the fast and accurate detection of the voltage signal phase and amplitude. These information are almost all the time given by the Phase –locked Loop (PLL) systems and can be single-phase or three-phase and have many different structures. Many single-phase PLLs core structure are based on the regulation to zero of the voltage direct component in the rotating d-q frame obtained through the Park-transform. Their accuracy and dynamic rely on how quick and accurate the second voltage’s component in the static α-β frame is estimated. This paper presents a new single-phase PLL structure, also based on the same core structure as described before, but implementing a novel voltage β-component generation. A brief review of some single-phase PLLs is made, then the proposed novel PLL structure is detailed and its performance is compared with that of the other PLL’s taking into consideration the following signal disturbances: amplitude variations, phase step variation and frequency fluctuations as well as harmonic distortion. [less ▲] Detailed reference viewed: 207 (13 UL)![]() Löhlein, Lukas ![]() Doctoral thesis (2015) Detailed reference viewed: 273 (51 UL)![]() Hunegnaw, Addisu ![]() ![]() Poster (2015, December 17) In 2013 the International GNSS Service (IGS) Tide Gauge Benchmark Monitoring (TIGA) Working Group (WG) started their reprocessing campaign, which proposes to re-analyze all relevant Global Positioning ... [more ▼] In 2013 the International GNSS Service (IGS) Tide Gauge Benchmark Monitoring (TIGA) Working Group (WG) started their reprocessing campaign, which proposes to re-analyze all relevant Global Positioning System (GPS) observations from 1994 to 2013. This re-processed dataset will provide high quality estimates of land motions, enabling regional and global high-precision geophysical/geodetic studies. Several of the individual TIGA Analysis Centres (TACs) have completed processing the full history of GPS observations recorded by the IGS global network, as well as, many other GPS stations at or close to tide gauges, which are available from the TIGA data centre at the University of La Rochelle (www.sonel.org). Following the recent improvements in processing models and strategies, this is the first complete reprocessing attempt by the BLT TIGA Analysis centre to provide homogeneous position time series. We report the quality of the multi-year daily solutions from the consortium of the British Isles continuous GNSS Facility (BIGF) and the University of Luxembourg TIGA Analysis Centres (BLT) based on the Bernese GNSS Software Version 5.2 using a double difference (DD) network processing strategy. [less ▲] Detailed reference viewed: 115 (11 UL)![]() Wayessa, Gutu Olana ![]() in Society and Natural Resources (2015), 29(4), 387-402 This article analyzes recent state-implemented resettlement schemes in Oromia, Ethiopia, by examining the experiences and outcomes of resettlement from the perspective of both the resettlers and hosts ... [more ▼] This article analyzes recent state-implemented resettlement schemes in Oromia, Ethiopia, by examining the experiences and outcomes of resettlement from the perspective of both the resettlers and hosts. Besides involving transformations in people’s access to resources and the ability to earn their livelihoods, resettlement invites deep-seated questions of governance and justice. Drawing on theoretical approaches of political ecology and environmental justice, we analyse the processes and outcomes of resettlement in terms of four interlinked dimensions, including resource (re)distribution, cultural recognition, political representation, and social recovery. Special attention is paid to the questions of who decides for whom, and who lives the consequences. The analysis is based on a mixed-methods approach, involving a combination of qualitative interviews and a quantitative survey. We conclude that both the resettlers and the hosts experienced uneven redistribution of resources and unfair forms of recognition and political representation, which in tandem limited their possibilities for social recovery. [less ▲] Detailed reference viewed: 224 (8 UL)![]() Schwickart, Tim Klemens ![]() Doctoral thesis (2015) This thesis investigates a method to save energy and thus also extend the range of a series-production battery electric vehicle by influencing the driving style automatically with the help of a of a ... [more ▼] This thesis investigates a method to save energy and thus also extend the range of a series-production battery electric vehicle by influencing the driving style automatically with the help of a of a cruise controller. An exploration of existing methods shows that the contextual consideration of the current and upcoming driving situation is necessary to realise safe and energy-efficient driving. This limits the appropriate approaches to online methods using updated predictions of the vehicle behaviour. It turns out that the most suitable method for the intended purpose is model-predictive control (MPC). The MPC generates controls for the accelerator pedal of the vehicle based on optimised predictions of the vehicle motion and energy consumption subject to the current and future road slope, curvature, speed limits and distance to an eventually preceding vehicle. The non-linear nature of the vehicle dynamics generally necessitates the use of a non-linear prediction model and solving a non-linear optimisation which goes along with difficulties in the online real-time implementation. However in this work - by exploiting and extending the tool sets of classical MPC - a controller based on a quadratic optimal control problem with linear constraints can be formulated that approximates the nonlinearities of the plant dynamics with equivalent accuracy as a non-linear formulation. A linear prediction model of the vehicle motion is derived by a change of the model domain from time to position and a change of variables to predict the kinetic energy of the moving vehicle instead of the driving speed. Further, a convex piece-wise linear energy consumption model is included in the inequality constraints of the problem according to the methodology of separable programming to capture the consumption characteristics of the vehicle in different operating points. In this form, real-time capability and the energy-saving potential of the presented control approach can be demonstrated by simulations of the closed loop and by implementing the controller for driving experiments. A Smart ED series-production battery electric vehicle is chosen for the practical tests and all models and parameters are identified and adapted to the characteristics of the car. In this application case, a significant energy-saving potential could be demonstrated compared to human drivers. To further reduce the computational burden and speed up the computation, the so-called move blocking method for input parameterisation of the MPC control trajectory is investigated and extended within this work to a flexible move blocking approach which enables a fast computation and at the same time high tracking performance. [less ▲] Detailed reference viewed: 425 (13 UL)![]() Caruso, Geoffrey ![]() Conference given outside the academic context (2015) L’urbanisme, c’est bien plus qu’une simple affaire de dessin en plan. Un dessin en plan, si régulier soit-il sur le plan géométrique/géométral, ne donnera en fait jamais dans la réalité deux villes ... [more ▼] L’urbanisme, c’est bien plus qu’une simple affaire de dessin en plan. Un dessin en plan, si régulier soit-il sur le plan géométrique/géométral, ne donnera en fait jamais dans la réalité deux villes identiques quant à leur fonctionnement. La vie d’une ville se passe dans le temps, ses occupants et ses activités produisent des strates qui se cumulent et produisent un espace hétérogène. Cette « dépendance de chemin » contraint fortement les activités et les flux, au point de les rendre insensibles à des impositions, même fortes, mais elle crée aussi des opportunités de reconversion, des quartiers attractifs, uniques voire sympathiques. Les villes wallonnes n’y échappent pas, jouons-en ! [less ▲] Detailed reference viewed: 99 (1 UL)![]() Iena, Oleksandr ![]() Learning material (2015) These are the lecture notes for the course 'Riemann surfaces' (14 Lectures, 90 minutes each). The lectures are provided with exercises. Detailed reference viewed: 141 (9 UL)![]() Aurich, Maike Kathrin ![]() ![]() in Wolkenhauer, Olaf; Schmitz, Ulf (Eds.) Systems Medicine (2015) Modern high-throughput techniques offer immense opportunities to investigate whole-systems behavior, such as those underlying human diseases. However, the complexity of the data presents challenges in ... [more ▼] Modern high-throughput techniques offer immense opportunities to investigate whole-systems behavior, such as those underlying human diseases. However, the complexity of the data presents challenges in interpretation, and new avenues are needed to address the complexity of both diseases and data. Constraint-based modeling is one formalism applied in systems biology. It relies on a genome-scale reconstruction that captures extensive biochemical knowledge regarding an organism. The human genome-scale metabolic reconstruction is increasingly used to understand normal cellular and disease states because metabolism is an important factor in many human diseases. The application of human genome-scale reconstruction ranges from mere querying of the model as a knowledge-base to studies that take advantage of the model’s topology, and most notably, to functional predictions based on cell- and condition-specific metabolic models built based on omics data. An increasing number and diversity of biomedical questions are being addressed using constraint-based modeling and metabolic models. One of the most successful biomedical applications to date is cancer metabolism, but constraint-based modeling also holds great potential for inborn errors of metabolism or obesity. In addition, it offers great prospects for individualized approaches to diagnostics and the design of disease prevention and intervention strategies. Metabolic models support this endeavor by providing easy access to complex high-throughput datasets. Personalized metabolic models have been introduced. Finally, constraint-based modeling can be used to model whole-body metabolism, which will enable the elucidation of metabolic interactions between organs and disturbances of these interactions as either causes or consequence of metabolic diseases. This chapter introduces constraint-based modeling and describes some of its contributions to systems biomedicine. [less ▲] Detailed reference viewed: 394 (17 UL)![]() Abraha, Kibrom Ebuy ![]() in GPS Solutions (2015) We characterize the spatial–temporal variability of integrated water vapor (IWV) in Ethiopia from a network of global positioning system (GPS) stations and the European Center for Medium range Weather ... [more ▼] We characterize the spatial–temporal variability of integrated water vapor (IWV) in Ethiopia from a network of global positioning system (GPS) stations and the European Center for Medium range Weather Forecasting (ECMWF) model. The IWV computed from the ECMWF model is integrated from the height of the GPS stations on 60 pressure levels to take both the actual earth surface and the model orography discrepancies into account. First, we compare the IWV estimated from GPS and from the model. The bias varies from site to site, and the correlation coefficients between the two data sets exceed 0.85 at different time scales. The results of this study show that the general ECMWF IWV trend is underestimation over highlands and overestimation over lowlands for wet periods, and overestimation over high- lands and underestimation over lowlands for dry periods with very few exceptional stations. Second, we observe the spatial variation of the IWV. High values are obtained in those stations that are located in the north-eastern (Afar depression) sites and the south-western part of the country. This distribution is related to the spatial variability of the climate in Ethiopia. Finally, we study the seasonal cycle and inter-annual variability of IWV for all stations over Ethiopia. The main result is the strong inter-annual vari- ability observed for the dry seasons. [less ▲] Detailed reference viewed: 190 (15 UL)![]() Loffeier, Iris ![]() Presentation (2015, December 14) Detailed reference viewed: 114 (0 UL)![]() Michels, Andreas ![]() Presentation (2015, December 14) Detailed reference viewed: 54 (1 UL)![]() Halder, Rashi ![]() in Nature Neuroscience (2015) Detailed reference viewed: 97 (8 UL)![]() Schlichenmaier, Martin ![]() E-print/Working paper (2015) Krichever--Novikov type algebras are generalizations of the Witt, Virasoro, affine Lie algebras, and their relatives to Riemann surfaces of arbitrary genus and/or the multi-point situation. They play a ... [more ▼] Krichever--Novikov type algebras are generalizations of the Witt, Virasoro, affine Lie algebras, and their relatives to Riemann surfaces of arbitrary genus and/or the multi-point situation. They play a very important role in the context of quantization of Conformal Field Theory. In this review we give the most important results about their structure, almost-grading and central extensions. Furthermore, we explain how they are used in the context of Wess--Zumino--Novikov--Witten models, respectively Knizhnik-Zamolodchikov connections. There they play a role as gauge algebras, as tangent directions to the moduli spaces, and as Sugawara operators. [less ▲] Detailed reference viewed: 88 (1 UL) |
||