References of "Reports"
     in
Bookmark and Share    
See detailLes professions juridiques et judiciaires en Europe / Fiche sur le regime en Grèce
Beka, Anthi UL

Report (2014)

This report has been written in the framework of a comparative project undertaken by the University of Bordeaux on behalf of the French public institution "Mission Droit et Justice". It answers the ... [more ▼]

This report has been written in the framework of a comparative project undertaken by the University of Bordeaux on behalf of the French public institution "Mission Droit et Justice". It answers the questionnaire that has been provided by the research group leading the project, with regard to certain aspects of the impact of European Union law on Greek law governing the legal profession. [less ▲]

Detailed reference viewed: 62 (18 UL)
Full Text
See detailA Model-Driven Approach to Offline Trace Checking of Temporal Properties with OCL
Dou, Wei UL; Bianculli, Domenico UL; Briand, Lionel UL

Report (2014)

Offline trace checking is a procedure for evaluating requirements over a log of events produced by a system. The goal of this paper is to present a practical and scalable solution for the offline checking ... [more ▼]

Offline trace checking is a procedure for evaluating requirements over a log of events produced by a system. The goal of this paper is to present a practical and scalable solution for the offline checking of the temporal requirements of a system, which can be used in contexts where model-driven engineering is already a practice, where temporal specifications should be written in a domain-specific language not requiring a strong mathematical background, and where relying on standards and industry-strength tools for property checking is a fundamental prerequisite. The main contributions are: the TemPsy language, a domain-specific specification language based on common property specification patterns, and extended with new constructs; a model-driven offline trace checking procedure based on the mapping of requirements written in TemPsy into OCL (Object Constraint Language) constraints on a conceptual model on execution traces, which can be evaluated using an OCL checker; the implementation of this trace checking procedure in the TemPsy-Check tool; the evaluation of the scalability of TemPsy-Check and its comparison to a state-of-the-art alternative technology. The proposed approach has been applied to a case study developed in collaboration with a public service organization, active in the domain of business process modeling for eGovernment. [less ▲]

Detailed reference viewed: 478 (129 UL)
Full Text
See detailFinal report of the effectiveness study in Virtual Coach Reaches Out to me project
Aleksic, Gabrijela UL; Roelofsma, Peter

Report (2014)

One out of three persons in our society suffers from social or emotional loneliness. This percentage is even higher in the population of people who suffer from chronic diseases. Loneliness has pervasive ... [more ▼]

One out of three persons in our society suffers from social or emotional loneliness. This percentage is even higher in the population of people who suffer from chronic diseases. Loneliness has pervasive effects on mental health but it also has negative effects on physical well-being. The aim of this paper is to present a series of pilot studies evaluating the development of an ambient virtual coaching system. This system, called V2me (Virtual Coach reaches Out to Me) offers a friendship enrichment course for people in need for improving their social network. Several pilot studies were performed with about 50 participants in total who evaluated the system that was developed using a living lab approach. In this approach new health media was developed from a user-centered process that allows frequent iterations of user evaluation and involvement. The paper presents the results of the first five iterations. The reactions on receiving the system and experiences during instruction were increasingly positive over these iterations of the system development phase. Over time the system has passed the user’s choice selection criteria. Participants have been expressing a clear interest for choosing and wanting to use the system in their daily lives. However, the system did not pass the persistent use selection criteria when the system was brought and left for independent use. It appeared that participants did not use it very much during the day as expected. Moreover, participants did not perform all the tasks (i.e., messaging, Skyping) that they were asked to achieve on a daily basis. The final goal of the V2me system, i.e. establishing social relations between elderly persons, was not achieved as well, although this might be due to the limited time space of using the system and its facilities. Given these observation, it is concluded that more iterations in the system development are needed for the system in order to pass the habitual use criteria which is needed for its effectiveness. [less ▲]

Detailed reference viewed: 59 (1 UL)
Full Text
See detailMIGRANT ACCESS TO SOCIAL SECURITY: POLICIES AND PRACTICE IN LUXEMBOURG
Sommarribas, Adolfo UL; Besch, Sylvain; Baltes-Löhr, Christel UL

Report (2014)

The social security system in Luxembourg is in principle a contributory-based system different to other countries, which have a residence-based system. The social protection system is composed of three ... [more ▼]

The social security system in Luxembourg is in principle a contributory-based system different to other countries, which have a residence-based system. The social protection system is composed of three major branches: a) Social security: This branch comprehends healthcare, sick cash benefits, maternity and paternity leave benefits, accidents at work and occupational diseases, long-term care, invalidity benefits, old-age pensions, survivors’ pensions and family allowances. The social security benefits are financed by contributions paid either by the employer, the employee or the State. We include in this branch unemployment because the employee contributes to the system. The only requirements that the beneficiary has to fulfill are the objective criteria for granting each one of the benefits. b) Social assistance system: This branch comprehends the guaranteed minimum income (RMG), which is financed by general taxation and is paid from the general budget of the State. The persons have to prove that they do not have sufficient means to live when their income does not reach a certain threshold. c) Social aid: This is considered the safety net of the system. This aid allows people in need and their families to have a life in dignity. As the social assistance system it is financed by general taxation and in principle any person residing in Luxembourg can benefit from it if s/he fulfills the criteria. This benefit is granted and distributed by the social assistance offices of the municipalities. [less ▲]

Detailed reference viewed: 107 (11 UL)
Full Text
See detailCorrectness of source code extension for fault detection in openflow based networks
Hermann, Frank UL; Hommes, Stefan UL; State, Radu UL et al

Report (2014)

Software Defined Networks using OpenFlow have to provide a re- liable way to detect network faults and attacks. This technical report shows a formal analysis of correctness for an automated code extension ... [more ▼]

Software Defined Networks using OpenFlow have to provide a re- liable way to detect network faults and attacks. This technical report shows a formal analysis of correctness for an automated code extension technique used to extend OpenFlow networks with a logging mecha- nism that is used for the detection of faults and attacks. As presented in a companion paper, we applied the code extension techniques for a framework that can extend controller programs transparently, making possible on-line fault management, debugging as well as off-line and forensic analysis. [less ▲]

Detailed reference viewed: 162 (37 UL)
Full Text
See detailEvaluating the HPC Performance and Energy-Efficiency of Intel and ARM-based systems with synthetic and bioinformatics workloads
Plugaru, Valentin UL; Varrette, Sébastien UL; Pinel, Frédéric UL et al

Report (2014)

The increasing demand for High Performance Computing (HPC) paired with the higher power requirements of the ever-faster systems has led to the search for both performant and more energy-efficient ... [more ▼]

The increasing demand for High Performance Computing (HPC) paired with the higher power requirements of the ever-faster systems has led to the search for both performant and more energy-efficient architectures. This article compares and contrasts the performance and energy efficiency of two modern, traditional Intel Xeon and low power ARM-based clusters, which are tested with the recently developed High Performance Conjugate Gradient (HPCG) benchmark and the ABySS, FASTA and MrBayes bioinformatics applications. We show a higher Performance per Watt valuation of the ARM cluster, and lower energy usage during the tests, which does not offset the much faster job completion rate obtained by the Intel cluster, making the latter more suitable for the considered workloads given the disparity in the performance results. [less ▲]

Detailed reference viewed: 157 (23 UL)
Full Text
See detailOCLR: a More Expressive, Pattern-based Temporal Extension of OCL
Dou, Wei UL; Bianculli, Domenico UL; Briand, Lionel UL

Report (2014)

Modern enterprise information systems often require to specify their functional and non-functional (e.g., Quality of Service) requirements using expressions that contain temporal constraints ... [more ▼]

Modern enterprise information systems often require to specify their functional and non-functional (e.g., Quality of Service) requirements using expressions that contain temporal constraints. Specification approaches based on temporal logics demand a certain knowledge of mathematical logic, which is difficult to find among practitioners; moreover, tool support for temporal logics is limited. On the other hand, a standard language such as the Object Constraint Language (OCL), which benefits from the availability of several industrial-strength tools, does not support temporal expressions. In this paper we propose OCLR, an extension of OCL with support for temporal constraints based on well-known property specification patterns. With respect to previous extensions, we add support for referring to a specific occurrence of an event as well as for indicating a time distance between events and/or scope boundaries. The proposed extension defines a new syntax, very close to natural language, paving the way for a rapid adoption by practitioners. We show the application of the language in a case study in the domain of eGovernment, developed in collaboration with a public service partner. [less ▲]

Detailed reference viewed: 331 (87 UL)
Full Text
See detailImproving Traffic in Urban Environments
Codeca, Lara UL; Frank, Raphaël UL; Engel, Thomas UL

Report (2014)

The vehicular traffic in the cities is increasing every year. The road infrastructure in many metropolitan areas is not able to sustain the rush-hour traffic demand and the extension of the road network ... [more ▼]

The vehicular traffic in the cities is increasing every year. The road infrastructure in many metropolitan areas is not able to sustain the rush-hour traffic demand and the extension of the road network cannot easily be done. There are some solution proposed to improve the traffic situation, among them, the optimization of the resources already available by means of collecting real time Floating Car Data (FCD) from the vehicles and use them to suggest dynamic routes in order to minimize travel delays. The centralized infrastructure able to achieve this goal has already been presented in ”Improving Traffic in Urban Environments applying the Wardrop Equilibrium” (Codeca, L. et al., 2013). In this extended abstract we present the decentralized version of the system and the preliminary results of its evaluation. [less ▲]

Detailed reference viewed: 129 (15 UL)
Full Text
See detailSentiment Barometer in Financial News
Schommer, Christoph UL

Report (2014)

This booklet is a collection of project reports written by graduate students, who have participated the course "Machine Learning" in Winter Term 2013/14. Here, we have concerned Financial News Documents ... [more ▼]

This booklet is a collection of project reports written by graduate students, who have participated the course "Machine Learning" in Winter Term 2013/14. Here, we have concerned Financial News Documents regarding the Irish Financial Crisis in the years of 2009 - 2013. We have studied different forms of sentiments, for example with StoryTakes, Alerts, Headlines, authors, and others. [less ▲]

Detailed reference viewed: 127 (12 UL)
Full Text
See detailBlack-box SQL Injection Testing
Appelt, Dennis UL; Alshahwan, Nadia UL; Nguyen, Duy Cu UL et al

Report (2014)

Web services are increasingly adopted in various domains, from finance and e-government to social media. As they are built on top of the web technologies, they suffer also an unprecedented amount of ... [more ▼]

Web services are increasingly adopted in various domains, from finance and e-government to social media. As they are built on top of the web technologies, they suffer also an unprecedented amount of attacks and exploitations like the Web. Among the attacks, those that target SQL injection vulnerabilities have consistently been top-ranked for the last years. Testing to detect such vulnerabilities before making web services public is crucial. We present in this report an automated testing approach, namely μ4SQLi, and its underpinning set of mutation operators. μ4SQLi can produce effective inputs that lead to executable and harmful SQL statements. Executability is key as otherwise no injection vulnerability can be exploited. Our evaluation demonstrated that the approach outperforms contemporary known attacks in terms of vulnerability detection and the ability to get through an application firewall, which is a popular configuration in real world. [less ▲]

Detailed reference viewed: 682 (59 UL)
See detailPrévention de la corruption des parlementaires, des juges et des procureurs- FRANCE
Poirier, Philippe UL

Report (2014)

le Groupe d’Etats contre la Corruption (GRECO) du Conseil de l'Europe salue diverses réformes récentes dans la prévention de la corruption en France, mais note qu’il reste des lacunes importantes dans la ... [more ▼]

le Groupe d’Etats contre la Corruption (GRECO) du Conseil de l'Europe salue diverses réformes récentes dans la prévention de la corruption en France, mais note qu’il reste des lacunes importantes dans la réglementation et le statut des parlementaires, juges et procureurs. Le GRECO conclue que députés et sénateurs ne font pas encore l’objet de règles adéquates sur les conflits d’intérêts, les cadeaux et autres avantages, les déclarations de patrimoine et les conséquences à tirer de manquements dans ces matières. Il préconise également des améliorations concernant les collaborateurs et assistants parlementaires (en raison de risques de lobbying déguisé et d’emplois fictifs), les indemnités représentatives de frais de mandat (pouvant être utilisées à d’autres fins) ou encore la réserve parlementaire qui concerne des fonds gérés par les parlementaires mais dont l’utilisation est laissée aux groupes politiques et membres du parlement. Le rapport souligne que la justice jouit globalement d’une réputation d’intégrité. La situation des tribunaux de commerce et du travail, composés de juges bénévoles sujets à peu de garde-fous efficaces, appelle néanmoins des réformes d’envergure. Il reste aussi des risques d’interventions du pouvoir exécutif dans le système disciplinaire et des carrières des juges et plus encore des procureurs. En 2013, le pouvoir du ministre de la Justice de donner des instructions aux procureurs dans des dossiers individuels a été définitivement aboli. Néanmoins, afin d’éviter les soupçons d’instructions déguisées, le GRECO appelle à mieux réglementer la faculté du Ministère de la Justice d’exiger des informations en temps réel dans les dossiers sensibles. Il appelle aussi à mettre en place des limites plus strictes au secret-défense, afin de limiter les risques d’abus du dispositif dans les affaires sensibles ou de grande corruption. La mise en œuvre des 11 recommandations adressées à la France sera examinée par le GRECO au cours du deuxième semestre 2015 par le biais d’une procédure de conformité spécifique. [less ▲]

Detailed reference viewed: 80 (1 UL)
Full Text
See detailBook II - Administrative Rulemaking
Mendes, Joana UL; Curtin, Deirdre; Hoffman, Herwig C. H. et al

Report (2014)

Book II aims to fill a gap in the existing legal system of the EU. It links the provisions, general principles of law and values arising from primary law with the procedure for adoption of non-legislative ... [more ▼]

Book II aims to fill a gap in the existing legal system of the EU. It links the provisions, general principles of law and values arising from primary law with the procedure for adoption of non-legislative acts of general application. Progressively over the past decades, a set of constitutional values emerged as general principles of law both in the case law of the CJ and in (incremental) Treaty amendments. Such principles have until now mainly shaped the EU’s institutional structures and decision-making procedures with regard to the EU’s formalised legislative procedure. Rule-making outside of legislative procedures, the subject matter of this book, has arguably been much less influenced by these constitutional principles. The implementation of such principles is, in any event, scattered across single provisions in some but not all policy areas. The provisions of this book are designed to ensure their systematic infusion into non-legislative rule-making more generally [less ▲]

Detailed reference viewed: 60 (3 UL)
Full Text
See detailBericht zur Reform der Aide à l'Enfance et à la Famille (AEF)
Peters, Ulla UL; Jäger, Julia UL; Ministerium für nationale Bildung, Kindheit und Jugend Luxemburg

Report (2014)

Detailed reference viewed: 80 (7 UL)
Full Text
See detailAccessibility to Healthcare
Limbach-Reich, Arthur UL

Report (2014)

Detailed reference viewed: 34 (0 UL)
See detailLe management humain face à la distanciation – Etat de l’art théorique et empirique
Constantinidis, Christina UL; Rousseau, Anne; Taskin, Laurent

Report (2014)

Detailed reference viewed: 54 (0 UL)
Full Text
See detailCountry studies for the project ‘Protection against discrimination on grounds of sexual orientation, gender identity and sex characteristics in the EU, Comparative legal analysis, Update 2015
Vysotskaya, Volha UL

Report (2014)

The Employment Directive was transposed into the “Equal Treatment Law” of 28 November 2006 on equal treatment (the “Law”). 1 The law’s definitions of direct and indirect discrimination includes all the ... [more ▼]

The Employment Directive was transposed into the “Equal Treatment Law” of 28 November 2006 on equal treatment (the “Law”). 1 The law’s definitions of direct and indirect discrimination includes all the elements in the definitions of the concept given in the Employment Directive, in particular less favourable treatment because of an individual’s sexual orientation as grounds for a finding of direct or indirect discrimination. The Equal treatment law amends the Labour and Criminal Codes, following very closely the provisions of the Employment Directive. By transposing both the Employment Directive and the Racial Equality Directive in the same piece of legislation, the Law broadens the Employment Directive’s material scope of the application, the “Equal Treatment Law” . The law also provides for the establishment of a Centre for Equal Treatment (CET) (Centre pour l’égalité de traitement, CET), which began to set up the elements necessary for its operation at the end of 2007. The CET has emphasised that its mission provides it with no binding powers over institutions or private persons that do not wish to collaborate with it; and believes that its investigative powers should be strengthened. [less ▲]

Detailed reference viewed: 59 (9 UL)
Full Text
See detailEine Single-Item-Skala zur Erfassung von Risikobereitschaf: Die Kurzskala Risikobereitschaft-1 (R-1)
Beierlein, C.; Kovaleva, A.; Kemper, Christoph UL et al

Report (2014)

Detailed reference viewed: 110 (1 UL)
See detailReport on the results of the UGC Thematic Task Force
Wieneke, Lars UL; Hazan, Susan

Report (2014)

The Europeana UGC Thematic Task Force was instigated as an initiative of Europeana network members to provide a deeper understanding about the current practices of user generated content (UGC) and to ... [more ▼]

The Europeana UGC Thematic Task Force was instigated as an initiative of Europeana network members to provide a deeper understanding about the current practices of user generated content (UGC) and to identify inter‐project services and practices that could become shared building blocks for the creation of a Europeana UGC ecosystem. [less ▲]

Detailed reference viewed: 27 (1 UL)
See detailReNEUAL model rules on EU administrative procedure
Mendes, Joana UL; Hofmann, Herwig UL; Schneider, Jens-Peter et al

Report (2014)

Detailed reference viewed: 86 (8 UL)
See detailEducation and Social Progress in Switzerland
Samuel, Robin UL; Bergman, Manfred Max

Report (2014)

Detailed reference viewed: 31 (0 UL)
Full Text
See detailTowards a Formally Verified Proof Assistant (technical report)
Anand, Abhishek; Rahli, Vincent UL

Report (2014)

Detailed reference viewed: 60 (2 UL)
See detailPrivacy and Data Protection by Design-from policy to engineering
Le Métayer, Daniel; Danezis, George; Hansen, Marit et al

Report (2014)

Detailed reference viewed: 46 (0 UL)
Full Text
See detailStandards für die stationären Hilfen in der Kinder- und Jugendhilfe - Fachliche Hintergründe und wissenschaftliche Erkenntnisse
Peters, Ulla UL; Jäger, Julia UL; Ministère de l'Education nationale, de l'Enfance et de la Jeunesse

Report (2014)

Detailed reference viewed: 196 (7 UL)
Full Text
See detailOn the verifiability of (electronic) exams
Dreier, Jannik; Giustolisi, Rosario; Kassem, Ali et al

Report (2014)

The main concern for institutions that organize exams is to detect when students cheat. Actually more frauds are possible and even authorities can be dishonest. If institutions wish to keep exams a ... [more ▼]

The main concern for institutions that organize exams is to detect when students cheat. Actually more frauds are possible and even authorities can be dishonest. If institutions wish to keep exams a trustworthy business, anyone and not only the authorities should be allowed to look into an exam’s records and verify the presence or the absence of frauds. In short, exams should be verifiable. However, what verifiability means for exams is unclear and no tool to analyze an exam’s verifiability is available. In this paper we address both issues: we formalize several individual and universal verifiability properties for traditional and electronic exams, so proposing a set of verifiability properties and clarifying their meaning, then we implement our framework in ProVerif, so making it a tool to analyze exam verifiability. We validate our framework by analyzing the verifiability of two existing exam systems – an electronic and a paper-and-pencil system. [less ▲]

Detailed reference viewed: 123 (3 UL)
Full Text
See detailNational intelligence authorities and surveillance in the EU: Fundamental rights safeguards and remedies
Vysotskaya, Volha UL; Ramires Campino, Ana Rita

Report (2014)

Given the present state of law, Luxembourgish legislation does not provide any legal basis for mass surveillance. Nonetheless, various social and political developments compelled the state to develop them ... [more ▼]

Given the present state of law, Luxembourgish legislation does not provide any legal basis for mass surveillance. Nonetheless, various social and political developments compelled the state to develop them in the interests of national protection. During the cold war, Luxembourg had prepared to protect the country from the Soviet Union threats. Under such circumstances, it created the State Intelligence Service SIS (Service de renseignement de l'état, SREL) whose mission of that time was to protect national secrets externally and secrets of the United States with whom Luxembourg was united by common defense agreements [less ▲]

Detailed reference viewed: 56 (5 UL)
See detail“Protecting Victims’ Rights in the EU: the theory and practice of diversity of treatment during the criminal trial. National Report: France”
Tricot, Juliette; Binard, Clément; Iliadou, Rita et al

Report (2014)

Detailed reference viewed: 111 (3 UL)
Full Text
See detailEine Single-Item-Skala zur Erfassung der Allgemeinen Lebenszufriedenheit: Die Kurzskala Lebenszufriedenheit-1 (L-1)
Beierlein, C.; Kovaleva, A.; László, Z. et al

Report (2014)

Detailed reference viewed: 142 (1 UL)
See detailInformaticaonderwijs aan Nederlandse Universiteiten in 2013 - State of the Art
Paredaens, Jan; Bijlsma, Lex; Boot, Peter et al

Report (2014)

Detailed reference viewed: 29 (0 UL)
Full Text
See detailFunctional Alloy Modules
Gammaitoni, Loïc UL; Kelsen, Pierre UL

Report (2014)

The Alloy language was developed as a lightweight modelling language that allows fully automatic analysis of software design models via SAT solving. The practical application of this type of analysis is ... [more ▼]

The Alloy language was developed as a lightweight modelling language that allows fully automatic analysis of software design models via SAT solving. The practical application of this type of analysis is hampered by two limitations: first, the analysis itself can become quite time consuming when the scopes become even moderately large; second, determining minimal scopes for the entity types (limiting the number of entities of each type) to achieve better running times is itself a non-trivial problem. In this paper we show that for the special case of Alloy modules specifying transformations we may be able to circumvent these limitations. We define the corresponding notion of functional module and define precise conditions under which such functional modules can be efficiently interpreted rather than analysed via SAT solving and we also explain how interpretation of functional Alloy modules can be seamlessly integrated with the SAT-based analysis of other modules. We provide evidence that for complex transformations interpreting functional modules may result in significant time savings. [less ▲]

Detailed reference viewed: 154 (48 UL)
Full Text
See detailStrain smoothing technique in 3D for nearly incompressible neo-Hookean material
Lee, Chang-Kye; Mihai, L. Angela; Kerfriden, Pierre et al

Report (2014)

Detailed reference viewed: 182 (12 UL)
See detailPérimètre RH et rôle(s) des line managers, Etat de l’art et recherche empirique
Constantinidis, Christina UL; Nils, Frédéric; Rousseau, Anne et al

Report (2014)

Detailed reference viewed: 39 (1 UL)
Full Text
See detailLes oeuvres complètes de Laurent Menager
Sagrillo, Damien UL; Nitschké, Alain UL

Report (2013)

Detailed reference viewed: 50 (1 UL)
Full Text
See detailGlobal energy minimization for multiple fracture growth
Sutula, Danas; Bordas, Stéphane UL

Report (2013)

Detailed reference viewed: 194 (5 UL)
See detailLes Épreuves Standardisées vues par les acteurs du terrain. Étude exploratoire.
Milmeister, Marianne UL; Milmeister, Paul UL; Weis, Christiane UL

Report (2013)

Afin de dépasser le stade des hypothèses, il a été décidé de récolter des informations quantitatives (au moyen d'un questionnaire à large échelle) et qualitatives (au travers de focus groups) quant à la ... [more ▼]

Afin de dépasser le stade des hypothèses, il a été décidé de récolter des informations quantitatives (au moyen d'un questionnaire à large échelle) et qualitatives (au travers de focus groups) quant à la façon dont sont perçues et utilisées les Épreuves Standardisées. Le but en est de mieux comprendre comment les différents acteurs concernés (directeurs, inspecteurs, enseignants, élèves et parents) perçoivent le dispositif des Épreuves Standardisées et tiennent compte des informations qui leur sont envoyées en retour (rapport NATIONAL, rapport ECOLE, rapport CLASSE, rapports ELEVE). Une attention particulière est portée à la compréhension et l'usage des rapports mis à disposition ainsi qu'aux éventuelles pistes d'amélioration de l'outil proposées par les acteurs concernés. Le présent document synthétise la phase exploratoire de l'étude qualitative (menée en 2013) en présentant (1) les guides d'entretien utilisés (et leur modification) et (2) une première analyse quant aux contenus développés par les personnes interrogées. [less ▲]

Detailed reference viewed: 47 (12 UL)
Full Text
See detailSuburbaner Raum im Lebenszyklus
Reicher, Christa; Hesse, Markus UL

Report (2013)

The central part of the study deals with the question of how to approach the temporarily differentiated development dynamics of suburban spaces within a systematic, conceptual analysis framework. The ... [more ▼]

The central part of the study deals with the question of how to approach the temporarily differentiated development dynamics of suburban spaces within a systematic, conceptual analysis framework. The temporal variation and trajectory analysis however remains descriptive in this study, as the method still has not been developed into an autonomous explanatory system. The study concentrates on the integration of the particular phases and cycles into a broader context of the suburban system and - as far as possible - to describe interdependencies of trigger factors as well as of the local and regional framework. This makes the approach different to a static spatial analysis. Those phases contain, in most cases, the Growth, Maturity, Transition and Resiliency. The latter describes the capability of a system to encounter decline or even to reach a development turn. The phases develop into cycles when temporal periodic changes occur, following a certain logic determined by definable factors and strategies. [less ▲]

Detailed reference viewed: 121 (2 UL)
Full Text
See detailResearch & Innovation: Which priorities for structural funds in Luxembourg
Evrard, Estelle UL; Hachmann, Verena UL; Schulz, Christian UL

Report (2013)

It is a key aim of the EU2020 strategy and of the Luxembourg government to promote research and innovation (“smart growth”). The 2014-2020 programming period of the Structural Funds offers an opportunity ... [more ▼]

It is a key aim of the EU2020 strategy and of the Luxembourg government to promote research and innovation (“smart growth”). The 2014-2020 programming period of the Structural Funds offers an opportunity to support projects in this field at national, cross-border and transnational levels. This leaflet synthesises the results of a consultation process organised by the ESPON Contact Point of Luxembourg in summer and autumn 2013 in the framework of the USESPON project. First, it aimed at analysing the relevance of ESPON results in the field of research, development and innovation (RDI) in Luxembourg. Second, this process reflected on possible priorities for the future operational programmes of the structural funds. This process involved either experts in the field of RDI or those responsible for drafting operational programmes. The consultation process has been framed by a Delphi technique. First, participants received “support material” presenting the situation of Luxembourg according to the ESPON results. Second, they participated in a workshop on 11th July 2013. Third, a synthesis based on the results of the workshop was provided together with a questionnaire giving the experts the opportunity to deepen and concretise their contribution. By summarising this consultation process, this leaflet aims at 1) working out a profile of Luxembourg on the basis of ESPON results in the field of RDI and 2) developing recommendations of how future-oriented innovation strategies can be implemented in the context of European Territorial Cooperation. The final version of this document was published on the ECP Luxembourg website in autumn 2013. [less ▲]

Detailed reference viewed: 63 (4 UL)
Full Text
See detailWolfgang Suppan und die Blasmusikforschung
Sagrillo, Damien UL

Report (2013)

Detailed reference viewed: 169 (6 UL)
Full Text
See detailRefinement of AADL models using early-stage analysis methods : An avionics example
Brau, Guillaume UL; Hugues, Jérôme; Navet, Nicolas UL

Report (2013)

Model-Driven Engineering (MDE) is a relevant approach to support the engineering of distributed embedded systems with performance and dependability constraints. MDE involves models definitions and ... [more ▼]

Model-Driven Engineering (MDE) is a relevant approach to support the engineering of distributed embedded systems with performance and dependability constraints. MDE involves models definitions and transformations to cover most of the system life-cycle: design, implementation and Verifi cation & Validation activities towards system quali fication. Still, few works evaluate the early integration of performance evaluation based on architectural models. In this report, we investigate the early-stage use of analysis in AADL modeling. Precisely, we exemplify on an avionics case study how to dimension the data flows for an application distributed over an AFDX network. Based on the insight from this study, we suggest a simple framework and associated techniques to e fficiently support analysis activities in the early-stage design phases. [less ▲]

Detailed reference viewed: 213 (10 UL)
Full Text
See detailPerformance tuning of applications for HPC systems employing Simulated Annealing optimization
Plugaru, Valentin UL; Georgatos, Fotis UL; Varrette, Sébastien UL et al

Report (2013)

Building fast software in an HPC environment raises great challenges as software used for simulation and modelling is generally complex and has many dependencies. Current approaches involve manual tuning ... [more ▼]

Building fast software in an HPC environment raises great challenges as software used for simulation and modelling is generally complex and has many dependencies. Current approaches involve manual tuning of compilation parameters in order to minimize the run time, based on a set of predefined defaults, but such an approach involves expert knowledge, is not scalable and can be very expensive in person-hours. In this paper we propose and develop a modular framework called POHPC that uses the Simulated Annealing meta-heuristic algorithm to automatically search for the optimal set of library options and compilation flags that can give the best execution time for a library-application pair on a selected hardware architecture. The framework can be used in modern HPC clusters using a variety of batch scheduling systems as execution backends for the optimization runs, and will discover optimal combinations as well as invalid sets of options and flags that result in failed builds or application crashes. We demonstrate the optimization of the FFTW library working in conjunction with the high- profile community codes GROMACS and QuantumESPRESSO, whereby the suitability of the technique is validated. [less ▲]

Detailed reference viewed: 172 (32 UL)
Full Text
See detailIn-vehicle communication networks - a historical perspective and review
Navet, Nicolas UL; Simonot-Lion, Françoise

Report (2013)

The use of networks for communications between the Electronic Control Units (ECU) of a vehicle in production cars dates from the beginning of the 90s. The specific requirements of the different car ... [more ▼]

The use of networks for communications between the Electronic Control Units (ECU) of a vehicle in production cars dates from the beginning of the 90s. The specific requirements of the different car domains have led to the development of a large number of automotive networks such as LIN, CAN, CAN FD, FlexRay, MOST, automotive Ethernet AVB, etc.. This report first introduces the context of in-vehicle embedded systems and, in particular, the requirements imposed on the communication systems. Then, a review of the most widely used, as well as the emerging automotive networks is given. Next, the current efforts of the automotive industry on middleware technologies which may be of great help in mastering the heterogeneity, are reviewed, with a special focus on the proposals of the AUTOSAR consortium. Finally, we highlight future trends in the development of automotive communication systems. [less ▲]

Detailed reference viewed: 512 (32 UL)
See detailAn empirical analysis of heavy-tails behavior of financial data: the case for power laws
Champagnat, Nicolas; Deaconu, Madalina; Lejay, Antoine et al

Report (2013)

This work aims at underlying the importance of a correct modelling of the heavy-tail behavior of extreme values of financial data for an accurate risk estimation. Many financial models assume that prices ... [more ▼]

This work aims at underlying the importance of a correct modelling of the heavy-tail behavior of extreme values of financial data for an accurate risk estimation. Many financial models assume that prices follow normal distributions. This is not true for real market data, as stock (log-)returns show heavy-tails. In order to overcome this, price variations can be modeled using stable distribution, but then, as shown in this study, we observe that it over-estimates the Value-at-Risk. To overcome these empirical inconsistencies for normal or stable distributions, we analyze the tail behavior of price variations and show further evidence that power-law distributions are to be considered in risk models. Indeed, the efficiency of power-law risk models is proved by comprehensive backtesting experiments on the Value-at-Risk conducted on NYSE Euronext Paris stocks over the period 2001-2011. [less ▲]

Detailed reference viewed: 47 (0 UL)
Full Text
See detailThe Node-Based Smoothed Finite Element Method in nonlinear elasticity
Lee, Chang-Kye; Mihai, Angela; Bordas, Stéphane UL

Report (2013)

Detailed reference viewed: 154 (12 UL)
See detailAccess to Electoral Rights: Luxembourg
Scuto, Denis UL

Report (2013)

Detailed reference viewed: 78 (7 UL)
Full Text
See detailGreen growth in the Benelux: Indicators of local transition to a low-carbon economy in cross-border regions
Bruyninckx, Hans; Martinez-Fernandez; Sharpe, Samantha et al

Report (2013)

This paper discusses the results of a study of measuring green growth in the Benelux countries (Belgium, The Netherlands and Luxembourg). The study paid particular attention to the challenges of measuring ... [more ▼]

This paper discusses the results of a study of measuring green growth in the Benelux countries (Belgium, The Netherlands and Luxembourg). The study paid particular attention to the challenges of measuring the transition to a low-carbon economy in cross-border areas as they have additional levels of complexity when it comes to measuring and monitoring their low-carbon transition. In cross- regions data collection hardly ever coincide with any single data gathering ‘institution’. Moreover, Belgium (Flanders, Brussels, Wallonia), the Netherlands, and Luxembourg have different indicator systems at the national level, and even more so at the more decentralised level which creates problems of data availability, data (in)consistency, and hence comparability. Progress is already noticeable in the two crossborder areas analysed in the study. In Ghent-Terneuzen the bio-base economy is contributing to the value of turnover and growth in employment in the environmental goods and services (EGS) sectors. In Alzette-Belval the construction industry is engaging in resource-efficient building design and certification. In other aspects there is evidence of progress, but this evidence is anecdotal, or patchy in its collection, and not able to be included in the dashboard metrics developed during the study and discussed in the paper. [less ▲]

Detailed reference viewed: 118 (12 UL)
Full Text
See detailMapping the Social Economy in British Columbia and Alberta - Final Report
Gismondi, Mike; Ross, Lynda; Marois, Juanita et al

Report (2013)

Detailed reference viewed: 41 (1 UL)
Full Text
See detailEvaluative Gespräche 2012 zur Arbeit mit der Herkunftsfamilie in der Heimerziehung
Peters, Ulla UL; Jäger, Julia UL; Lellinger, Danielle

Report (2013)

Detailed reference viewed: 137 (11 UL)
Full Text
See detailHighly precise taint analysis for Android applications
Fritz, Christian; Arzt, Steven; Rasthofer, Siegfried et al

Report (2013)

Today’s smart phones are a ubiquitous source of private and confidential data. At the same time, smartphone users are plagued by malicious apps that exploit their given privileges to steal such sensitive ... [more ▼]

Today’s smart phones are a ubiquitous source of private and confidential data. At the same time, smartphone users are plagued by malicious apps that exploit their given privileges to steal such sensitive data, or to track users without their consent or even the users noticing. Dynamic program analyses fail to discover such malicious activity because apps have learned to recognize the analyses as they execute. In this work we present FlowDroid, a novel and highly precise taint analysis for Android applications. A precise model of Android’s lifecycle allows the analysis to properly handle callbacks, while context, flow, field and objectsensitivity allows the analysis to track taints with a degree of precision unheard of from previous Android analyses. We also propose DroidBench, an open test suite for evaluating the e↵ectiveness and accuracy of taint-analysis tools specifically for Android apps. As we show through a set of experiments using SecuriBench Micro, DroidBench and a set of well-known Android test applications, our approach finds a very high fraction of data leaks while keeping the rate of false positives low. On DroidBench, our approach achieves 93% recall and 86% precision, greatly outperforming the commercial tools AppScan Source and Fortify SCA. [less ▲]

Detailed reference viewed: 88 (1 UL)
See detailCountry report on citizenship law: Luxembourg
Scuto, Denis UL

Report (2013)

Detailed reference viewed: 67 (7 UL)
Full Text
See detailConceptual model and questionnaire: LLLight'in' Europe, Lifelong Learning, Innovation, Growth and Human Capital, Tracks in Europe
Brandi, Ulrik; Elkjær, Bente; Holford, John et al

Report (2013)

This report focuses on reviewing how lifelong learning strategies at an enterprise level influence the development of human capital. The conceptual analysis is to inform and guide semi-structured ... [more ▼]

This report focuses on reviewing how lifelong learning strategies at an enterprise level influence the development of human capital. The conceptual analysis is to inform and guide semi-structured interviews conducted in LLLight’in’Europe’s (FP7) participating enterprises. As a first step towards contributing to the current research and theoretical paradigms in strategic human resource management, the report builds on current models, keeping in mind the intangibles of human capital, the pervasiveness and ubiquitous attributes of situated learning at different levels within enterprises. [less ▲]

Detailed reference viewed: 111 (8 UL)
See detailNaturalisation Procedures for Immigrants: Luxembourg
Scuto, Denis UL

Report (2013)

Detailed reference viewed: 81 (5 UL)
Full Text
See detailLernprozesse und Lernerfahrungen in Jugendprojekten. Eine Studie zu Aspekten non-formaler Bildung in den Projekten von "Jugend in Aktion" in Luxemburg
Weis, Daniel UL; Meyers, Christiane UL; Willems, Helmut UL

Report (2013)

This report summarises the results of a study of the learning effects in the projects of the European Union "Youth in Action” programme (YiA). This national study is part of a European study into non ... [more ▼]

This report summarises the results of a study of the learning effects in the projects of the European Union "Youth in Action” programme (YiA). This national study is part of a European study into non-formal learning and takes an academic look at the learning and educational processes within the scope of the projects. The main area of interest here are projects financed by the Luxembourg Agency for the YiA programme. By incorporating them into the European study, which is being carried out by the international RAY Network, the results can also be compared to those of other countries. [less ▲]

Detailed reference viewed: 476 (47 UL)
Full Text
See detailGovernance for Sustainable Spatial Development – a comparative study of Luxembourg and Switzerland
Carr, Constance UL; Hesse, Markus UL

Report (2013)

The project, SUSTAIN_GOV, aims at investigating sustainable spatial development policies in the context of governance, both with respect to Luxembourg and, as a comparative ap-proach, to the Swiss ... [more ▼]

The project, SUSTAIN_GOV, aims at investigating sustainable spatial development policies in the context of governance, both with respect to Luxembourg and, as a comparative ap-proach, to the Swiss planning system and urban transformation processes in the Glattal-Stadt. SUSTAIN_GOV builds directly from the strong conceptual and empirical foundations estab-lished by the “SUSTAINLUX Project” (CO9/SR/01) that has thus far shown that despite the intense urbanization pressure, the strong strains on land resources and infrastructure, and the political dilemmas these issues raise, policy, planning and governance practices in the Grand Duchy remain underdeveloped, particularly in the domain citizen involvement in public deci-sion-making. SUSTAIN_GOV brings into sharper focus a more nuanced scientific under-standing of participation, governance, and integrated sustainable spatial development, and an in-depth evaluation of existing spatial planning, policy, and governance patterns in the Grand Duchy. The proposed research is informed by a robust and contemporary set of conceptual approach, that shape current urban and regional literatures. The research design follows a qualitative methodological approach. [less ▲]

Detailed reference viewed: 231 (19 UL)
See detailOn the security, privacy and usability of online seals: An overview
Tschofenig, Hannes; Volkamer, Melanie; Jentzsch, Nicola et al

Report (2013)

Detailed reference viewed: 31 (0 UL)
Full Text
See detailLibraries and publications of the future
Fonds national de la Recherche; Bibliothèque nationale de Luxembourg; Université du Luxembourg - Bibliothèque et al

Report (2013)

For sustainable growth, job creation and innovation, Luxembourg has chosen to rapidly develop high quality university and public research infrastructures and transition to a knowledge society. Europe ... [more ▼]

For sustainable growth, job creation and innovation, Luxembourg has chosen to rapidly develop high quality university and public research infrastructures and transition to a knowledge society. Europe, through its "Digital Agenda" has chosen to maximise the social and economic potential of ICT. In order to achieve these goals, high quality knowledge in all fields must be available not only for University and Research Centers but for the whole population. Lifelong learning and cultural commons need to be promoted actively. This was one of the motivations to modernise the library sector and to invest in new built infrastructures for the National Library and the University of Luxembourg. Though printed material will not disappear, a rapidly increasing amount will be in exclusively digital format (the focus of this document) either licensed from publishers, made accessible under Open Access regimes or through digitisation of printed originals. The internet continues to have a big impact on knowledge creation and cultural creativity through vastly facilitated networking and availability of very large amounts of information. The organisations endorsing this document have taken up the challenge to respond pro-actively to this evolution. This document is a guide to help readers understand a number of current challenges and opportunities for digital culture and science, relevant to libraries, research organisations as well as research and library funders. [less ▲]

Detailed reference viewed: 95 (27 UL)
Full Text
See detailOptimizing algebraic petri net model checking by slicing
Khan, Yasir Imtiaz UL

Report (2013)

Detailed reference viewed: 52 (4 UL)
Full Text
See detailReport of Stakeholder Workshop
Carr, Constance UL

Report (2013)

Detailed reference viewed: 79 (15 UL)
Full Text
See detailRapport politique sur les migrations et l’asile 2012 - Luxembourg
Baltes-Löhr, Christel UL; Sommarribas, Adolfo UL; Li, Lisa et al

Report (2013)

Le rapport politique sur les migrations et l’asile destiné au Réseau Européen des Migrations donne un aperçu des principaux débats politiques et développements dans ce domaine au Luxembourg au cours de ... [more ▼]

Le rapport politique sur les migrations et l’asile destiné au Réseau Européen des Migrations donne un aperçu des principaux débats politiques et développements dans ce domaine au Luxembourg au cours de l’année 2012. Si plusieurs sujets ont dominé le débat politique général comme la gestion de la crise économique, la réforme du système de pensions, ou encore la réforme du système d’enseignement, ces questions ont été thématisées le plus souvent sans qu’un lien ne soit établi avec la situation démographique particulière du Luxembourg caractérisée d’une part, par une population composée de 43% de non-nationaux et un emploi intérieur dont la maind’oeuvre étrangère, résidente ou transfrontalière, représente 68,5%. Dans ce contexte, trois thématiques ont dominé le débat politique en 2012 - les flux migratoires en relation avec la libre circulation des citoyens de l’Union européenne, l’accueil et l’aide sociale des demandeurs de protection internationale et le débat sur la réforme de la loi sur la nationalité. [less ▲]

Detailed reference viewed: 52 (5 UL)
Full Text
See detailHigher Lie Theory
Jubin, Benoît Michel UL; Poncin, Norbert UL

Report (2013)

Poster, abstracts, and list of participants of the International Workshop on Higher Lie Theory organized in December 2013 at the University of Luxembourg by Benoît Jubin and Norbert Poncin

Detailed reference viewed: 136 (13 UL)
See detailJugendliche Risikolagen im Übergang zwischen Schule und Beruf
Milmeister, Paul UL; Heinen, Andreas UL; Milmeister, Marianne UL et al

Report (2013)

In vielen europäischen Ländern haben Jugendliche zunehmend Probleme beim Übergang von der Schule in den Beruf. Die hohen Zahlen arbeitsloser Jugendlicher in vielen Ländern Europas verdeutlichen diesen ... [more ▼]

In vielen europäischen Ländern haben Jugendliche zunehmend Probleme beim Übergang von der Schule in den Beruf. Die hohen Zahlen arbeitsloser Jugendlicher in vielen Ländern Europas verdeutlichen diesen Trend. Der vorliegende Bericht greift diese Entwicklung auf und beschäftigt sich mit den spezifischen Problemen und Risiken von Jugendlichen in Luxemburg beim Übergang auf den Arbeitsmarkt. In einem ersten Schritt werden die zentralen theoretischen Konzepte zur Beschreibung von Übergängen und Übergangsproblemen skizziert und kritisch erläutert. Davon ausgehend erfolgt für Luxemburg die differenzierte Beschreibung potentieller Problem- und Risikolagen von Jugendlichen. Die empirische Analyse erfolgt dabei auf der Grundlage vorhandener Daten (Sekundäranalyse). Der Blick wird nicht nur auf die Arbeitslosigkeit gerichtet, sondern auch auf die Situation Jugendlicher in Bildungs- und Arbeitsmaßnahmen, in prekärer Beschäftigung sowie auf Jugendliche, die inaktiv sind. [less ▲]

Detailed reference viewed: 170 (37 UL)
See detailTransparency of Media Ownership - Luxembourg
Cole, Mark UL

Report (2013)

Detailed reference viewed: 63 (1 UL)
Full Text
See detailSurvey of Petri nets Slicing
Khan, Yasir Imtiaz UL; Guelfi, Nicolas UL

Report (2013)

Petri nets slicing is a technique that aims to improve the verification of systems modeled in Petri nets. Different Petri nets slicing constructions are studied along with algorithms to compute them ... [more ▼]

Petri nets slicing is a technique that aims to improve the verification of systems modeled in Petri nets. Different Petri nets slicing constructions are studied along with algorithms to compute them. Petri nets slicing was first developed to facilitate debugging but then devel- oped for alleviating the state space explosion problem for model checking Petri nets. This article has twofold objectives, the first is to unify all the existing slicing algorithms syntactically by the definition of a standard abstract syntax and rewriting of the studied slicing algorithms using the proposed syntax. The second is to discuss the contribution of each slicing construction and comparing the major differences between them. One of the interesting exploitation of the survey is for the selection and im- provement of slicing techniques for approaches concerned by optimizing verification of state event models. [less ▲]

Detailed reference viewed: 217 (10 UL)
Full Text
See detailDie Bildungsrelevanz der Betreuungswirklichkeit: Eine Studie zur institutionellen Praxis nicht-familialer Kleinkindererziehung. Problemstellung, Ansatz und ausgewählte Ergebnisse des Forschungsprojekts "Betreuungswirklichkeit und Bildungswirklichkeit. Qualität und Qualifizierung in flexiblen Strukturen der Kinderbetreuung luxemburgischer Maisons Relais pour Enfants" (EDUQUA-MRE)
Honig, Michael-Sebastian UL; Neumann, Sascha UL; Schnoor, Oliver UL et al

Report (2013)

The study deals with the practice of education and care for 0-4 year old children in the publicly funded daycare sector of Luxembourg by examining six selected crèches with the methods of ethnographic ... [more ▼]

The study deals with the practice of education and care for 0-4 year old children in the publicly funded daycare sector of Luxembourg by examining six selected crèches with the methods of ethnographic fieldwork. It describes the realities of care focusing on the question how professionals account for their educational significance in light of heterogeneous and at times also dilemmatic expectations of their services. Thus, the study contributes to debates on the educational quality of daycare facilities. In contrast to most other studies on tis subject, however, it does not presuppose what "education" is or should be. Rather, it understands education as a task that educational practice has to confront in order to assure itself as being educational and to represent itself as such in front of its audience. Empirically, the study is about practices of pedagogicalization. Theoretically, it is about aspects of the institutionalization of non-familial childcare. [less ▲]

Detailed reference viewed: 705 (40 UL)
See detailVersorgungsbericht Trier-Saarburg
Jacob, Rüdiger; Michels, Harald; Sischka, Philipp UL et al

Report (2013)

Detailed reference viewed: 81 (2 UL)
Full Text
See detailThe King Edward Point Geodetic Observatory
Teferle, Felix Norman UL

Report (2013)

During the period from 7th until 14th February 2013 Norman Teferle (University of Luxembourg) and Seth White (Unavco Inc.) visited King Edward Point (KEP) research station, South Georgia, to establish the ... [more ▼]

During the period from 7th until 14th February 2013 Norman Teferle (University of Luxembourg) and Seth White (Unavco Inc.) visited King Edward Point (KEP) research station, South Georgia, to establish the KEP Geodetic Observatory (KEPGO). The observatory consists of an autonomous, continuous Global Navigation Satellite System (GNSS) station with auxiliary equipment on Brown Mountain, as well as, benchmarks on Brown Mountain and at KEP research station. The primary objective of the observatory is to measure vertical land movements in order to study sea level changes using the KEP tide gauge record or satellite altimeter data. Therefore, the existing tide gauge was connected to the observatory through precise levelling and campaign GNSS observations. The levelling was carried out over the tide gauge itself, two existing United Kingdom Hydrographic Office (UKHO) and four newly established KEPGO tide gauge benchmarks (TGBMs). The GNSS observations were carried out on two benchmarks and their coordinates were computed with respect to the continuous GNSS station on Brown Mountain. Taking the UKHO height information together with the levelling and GNSS results it is suggested that the UKHO TGBM on the jetty may have settled by a few centimetres over the period from 2003 to 2013 and that the UKHO height datum requires a shift of by about -1 m in order to bring it closer to a globally consistent vertical reference system. This technical report details the installation work and analysis carried out during and after the visit. [less ▲]

Detailed reference viewed: 144 (18 UL)
Full Text
See detailGuidelines for the dissemination of ESPON results in different spatial contexts
Hohmann, Kirsten; Schmidt-Seiwert, Volker; Schön, Karl Peter et al

Report (2013)

From 2010 to 2013, the ESPON Contact Points (ECPs) from Austria, Germany, Hungary, Luxembourg and Switzerland/Liechtenstein worked together on the project “Breakdown and capitalisation of ESPON results on ... [more ▼]

From 2010 to 2013, the ESPON Contact Points (ECPs) from Austria, Germany, Hungary, Luxembourg and Switzerland/Liechtenstein worked together on the project “Breakdown and capitalisation of ESPON results on different scales/SCALES”. This report presents different sets of strategies to facilitate the transferability of ESPON results on various territorial levels. [less ▲]

Detailed reference viewed: 48 (2 UL)
See detailLebensqualität im Landkreis Trier-Saarburg 2013
Jacob, Rüdiger; Sischka, Philipp UL; Helsper, Anke et al

Report (2013)

Detailed reference viewed: 58 (2 UL)
Full Text
See detailSpace-time goal-oriented reduced basis approximation for linear wave equation
Hoang, Khac Chi; Kerfriden, Pierre; Bordas, Stéphane UL

Report (2013)

In this paper, we study numerically the linear damped second-order hyperbolic partial differen-tial equation (PDE) with affine parameter dependence using a goal-oriented approach by finite element (FE ... [more ▼]

In this paper, we study numerically the linear damped second-order hyperbolic partial differen-tial equation (PDE) with affine parameter dependence using a goal-oriented approach by finite element (FE) and reduced basis (RB) methods. The main contribution of this paper is the “goal-oriented” proper orthogonal decomposition (POD)–Greedy sampling procedure within the RB approximation context. First, we introduce the RB recipe: Galerkin projection onto a space YN spanned by solutions of the governing PDE at N selected points in parameter space. This set of N parameter points is constructed by the standard POD–Greedy sampling procedure already developed. Second, based on the affine parameter dependence, we make use of the offline-online computational procedures: in the offline stage, we generate the RB space; in the online stage, given a new parameter value, we calculate rapidly and accurately the space-time RB output of interest and its associated asymptotic error. The proposed goal-oriented POD–Greedy sampling procedure can now be implemented and will look for the parameter points such that it minimizes this (asymptotic) output error rather than the solution error (or, error indicator which is the dual norm of residual) as in the standard POD–Greedy procedure. Numerical results show that the new goal-oriented POD–Greedy sampling procedure improves significantly the accuracy of the space-time output computation in comparison with the standard POD–Greedy one. The method is thus ideally suited for repeated, rapid and reliable evaluation of input-output relationships within the space-time setting. [less ▲]

Detailed reference viewed: 125 (3 UL)
Full Text
See detailImplications of Results
Carr, Constance UL; Hesse, Markus UL

Report (2013)

Detailed reference viewed: 116 (17 UL)
Full Text
See detailHigher Algebras and Lie Infinity Homotopy Theory
Dotsenko, Vladimir; Poncin, Norbert UL

Report (2013)

Abstracts and list of participants of the Workshop on "Higher Algebras and Lie Infinity Homotopy Theory" organized in June 2013 at the University of Luxembourg by Vladimir Dotsenko and Norbert Poncin

Detailed reference viewed: 132 (13 UL)