![]() Gabbay, Dov M. ![]() in Studia Logica (2009) A reactive graph generalizes the concept of a graph by making it dynamic, in the sense that the arrows coming out from a point depend on how we got there. This idea was fi rst applied to Kripke semantics ... [more ▼] A reactive graph generalizes the concept of a graph by making it dynamic, in the sense that the arrows coming out from a point depend on how we got there. This idea was fi rst applied to Kripke semantics of modal logic in [2]. In this paper we strengthen that unimodal language by adding a second operator. One op- erator corresponds to the dynamics relation and the other one relates paths with the same endpoint. We explore the expressivity of this interpretation by axiomatizing some natural subclasses of reactive frames. The main objective of this paper is to present a methodology to study reactive logics using the existent classic techniques. [less ▲] Detailed reference viewed: 108 (0 UL)![]() Prüm, André ![]() in Revue de Droit Bancaire et Financier (2009), (5), 1-2 Detailed reference viewed: 76 (0 UL)![]() Poncin, Norbert ![]() Presentation (2009) Detailed reference viewed: 51 (5 UL)![]() ![]() Radu, Marc ![]() ![]() Scientific Conference (2009) Detailed reference viewed: 28 (0 UL)![]() Poncin, Norbert ![]() Scientific Conference (2009) Detailed reference viewed: 54 (4 UL)![]() Marso, Michel ![]() in Revue Technique Luxembourgeoise (2009), (4), 36-37 Detailed reference viewed: 74 (6 UL)![]() ; Pigozzi, Gabriella ![]() ![]() Scientific Conference (2009) Distributive systems consisting of autonomous and intelligent components need to be able to reason and make decisions based on the information these components share. Judgment aggregation investigates how ... [more ▼] Distributive systems consisting of autonomous and intelligent components need to be able to reason and make decisions based on the information these components share. Judgment aggregation investigates how individual judgments on logically connected propositions can be aggregated into a collective judgment on the same propositions. It is the case that seemingly reasonable aggregation procedures may force the group to hold an inconsistent judgment set. What happens when the agents realize that the group outcome will be inconsistent? We claim that, in order to avoid an untenable collective outcome, individuals may prefer to declare a non-truthful, less preferred judgment set. Thus, the prospect of an individual trying to manipulate the social outcome by submitting an insincere judgment set is turned from being an undesirable to a “virtuous” (or white) manipulation. We define white manipulation and present the initial study of it as a coordinated action of the whole group. [less ▲] Detailed reference viewed: 105 (1 UL)![]() Coron, Jean-Sébastien ![]() ![]() in Proceedings of CHES 2009 (2009) Random delays are a countermeasure against a range of side channel and fault attacks that is often implemented in embedded software. We propose a new method for generation of random delays and a criterion ... [more ▼] Random delays are a countermeasure against a range of side channel and fault attacks that is often implemented in embedded software. We propose a new method for generation of random delays and a criterion for measuring the efficiency of a random delay countermeasure. We implement this new method along with the existing ones on an 8-bit platform and mount practical side-channel attacks against the implementations. We show that the new method is significantly more secure in practice than the previously published solutions and also more lightweight. [less ▲] Detailed reference viewed: 149 (0 UL)![]() Gilles, Peter ![]() in Berg, Charles; Kerger, Lucien; Milmeister, Marianne (Eds.) Savoirs et engagements. Hommage à Georges Wirtgen (2009) Detailed reference viewed: 170 (8 UL)![]() Ferring, Dieter ![]() in Handbuch der sozialen und erzieherischen Arbeit in Luxemburg / Manuel de l'intervention sociale et éducative au Grand-Duché de Luxembourg (2009) Detailed reference viewed: 40 (0 UL)![]() Biesta, Gert ![]() in European Educational Research Journal (2009), 8(2), 250-255 Detailed reference viewed: 115 (0 UL)![]() Tröhler, Daniel ![]() in Zeitschrift für Pädagogik. Beiheft (2009), 55(5), 817-819 Detailed reference viewed: 69 (0 UL)![]() ![]() Booth, Richard ![]() Scientific Conference (2009) Detailed reference viewed: 31 (0 UL)![]() Gerkrath, Jörg ![]() Book published by Larcier (2009) Le Conseil européen de Tampere a formulé l'objectif ambitieux d'élaborer " un régime d'asile européen commun, fondé sur l'application intégrale et globale de la Convention de Genève et assurer ainsi que ... [more ▼] Le Conseil européen de Tampere a formulé l'objectif ambitieux d'élaborer " un régime d'asile européen commun, fondé sur l'application intégrale et globale de la Convention de Genève et assurer ainsi que nul ne sera renvoyé là où il risque à nouveau d'être persécuté ". Cela s'est traduit par l'adoption des directives communautaires appelées communément " protection temporaire ", " conditions d'accueil ", " qualification " et " procédure " dont la transposition en droit luxembourgeois a été réalisée par la loi du 5 mai 2006 relative au droit d'asile et à des formes complémentaires de protection. Afin d'analyser ces développements récents du droit d'asile dans la double perspective luxembourgeoise et européenne, le présent ouvrage rassemble les contributions présentées lors d'une journée d'étude, organisée en coopération avec l'agence des Nations Unies pour les réfugiés (UNNCR), qui s'est tenue à l'Université du Luxembourg le 2 avril 2009. Dans la perspective luxembourgeoise, l'ouvrage aborde les aspects pratiques tels que l'accès au travail ainsi que la question fondamentale du rôle du juge, qui a fait l'objet d'une précieuse étude de jurisprudence élaborée sous l'égide de l'UNHCR. Dans la perspective comparative, européenne et internationale sont ensuite traités les efforts d'harmonisation les plus récents ainsi que la notion de groupe social au sens de la Convention de Genève de 1951. [less ▲] Detailed reference viewed: 221 (17 UL)![]() Fehlen, Fernand ![]() ![]() in XIIièmes Journées Internationales de Sociologie du Travail (2009) Detailed reference viewed: 208 (22 UL)![]() Albert, Isabelle ![]() ![]() Poster (2009) Detailed reference viewed: 57 (0 UL)![]() Haas, Claude ![]() ![]() ![]() in Handbuch der sozialen und erzieherischen Arbeit in Luxemburg / Manuel de l'intervention sociale et éducative au Grand-Duché de Luxembourg (2009) Detailed reference viewed: 102 (6 UL)![]() Michels, Tom ![]() ![]() ![]() Scientific Conference (2009) Detailed reference viewed: 64 (0 UL)![]() Gericke, Kilian ![]() ![]() in Proceedings of the ASME 2009 International Design Engineering Technical Conferences & 21st International Conference on Design Theory and Methodology IDETC/DTM 2009 (2009) Product development projects are difficult to plan due to complexity, dynamics, lack of transparency and polytely. Risk Management is often used to cope with this situation. Linkography is adapted with ... [more ▼] Product development projects are difficult to plan due to complexity, dynamics, lack of transparency and polytely. Risk Management is often used to cope with this situation. Linkography is adapted with the aim to ease the effort of the Risk Management process. Linkography is used to focus all Risk Management activities on those work packages which might affect the project the most in the case of failing the expected outcome. The criticality of a work package is defined by the number of links to other work packages, its duration and its costs. By applying Linkography as a Risk Management method, a prioritized list of work packages can be generated which pass consecutively through the usual Risk Management process. Unlike other methods, Linkography supports the user in a visual manner. Hence, Linkography can easily be used for communication with unskilled stakeholders. [less ▲] Detailed reference viewed: 95 (0 UL)![]() ; Jonard, Nicolas ![]() in Academy of Management Review (2009), 34 Detailed reference viewed: 167 (4 UL) |
||