Action Planning for Autonomous Systems with respect to Safety Aspects

in IEEE Int. Conference on Systems Man and Cybernetics (SMC), Istanbul, Turkey, 2010 (2010)

Abstract—Autonomous systems are often needed to perform tasks in complex and dynamic environments. For this class of systems the traditional safety assuring methods are not satisfying because these ... [more ▼]

Abstract—Autonomous systems are often needed to perform tasks in complex and dynamic environments. For this class of systems the traditional safety assuring methods are not satisfying because these systems cannot be analyzed completely during development phase. In order to realize a more flexible safety analysis the internal representation of the outside world that is learned by an autonomous Cognitive Technical System is used to identify hazardous situations. The so called safety principles are the hazard knowledge. These can be added to the system prior to operating time without losing the possibility of adjusting or expanding this hazard knowledge during operating time. How these safety principles are generally designed and implemented is explained in this contribution. Furthermore, as underlying Cognitive Technical System provides anticipation capabilities it is possible to expand the planning process in order to take hazard information into account. Finally, in a simulation example is shown how the autonomous system determines possible future actions and evaluates them with regard to hazards in order to provide a plan with acceptable risk. [less ▲]

Profil différentiel des chômeurs à risque au Luxembourg

in de Ribaupierre, Anik; Ghisletta, Paolo; Lecerf, Thierry (Eds.) et al Identité et spécificités de la psychologie différentielle (2010)

L'objectif de la présente étude est de déterminer le poids respectif de différents facteurs socioprofessionnels et psychologiques dans la sortie du chômage. Un suivi longitudinal de 384 chômeurs ... [more ▼]

L'objectif de la présente étude est de déterminer le poids respectif de différents facteurs socioprofessionnels et psychologiques dans la sortie du chômage. Un suivi longitudinal de 384 chômeurs nouvellement inscrits dans les Services Publics de l'Emploi (SPE) et n'ayant aucun passé de chômage a été réalisé durant un an. Au début de la période, une prise de données a été réalisée par un questionnaire informatisé pour mesurer les variables socioprofessionnelles et psychologiques. Ces données ont été confrontées aux informations sur le statut d'emploi des sujets 6 et 12 mois plus tard. [less ▲]

Archäologie und Sklaverei: Möglichkeiten und Perspektiven einer Bilddatenbank zur antiken Sklaverei

in Heinen, Heinz (Ed.) Antike Sklaverei: Rückblick und Ausblick. Neue Beiträge zur Forschungsgeschichte und zur Erschließung der archäologischen Zeugnisse (2010)

Metroborder Cross-border Polycentric Metropolitan Regions

Book published by ESPON & University of Luxembourg (2010)

Reorganising the reintegration of prisoners into society: lessons from a research-driven practise development project.

Scientific Conference (2010)

Small languages, education and citizenship: The paradoxical case of Luxembourgish

in International Journal of the Sociology of Language (2010), 205

Effect of endogenous mutant and wild-type PINK1 on Parkin in fibroblasts from Parkinson disease patients.

in Human molecular genetics (2010), 19(16), 3124-37

Mutations in the PTEN-induced putative kinase 1 (PINK1), a mitochondrial serine-threonine kinase, and Parkin, an E3 ubiquitin ligase, are associated with autosomal-recessive forms of Parkinson disease (PD ... [more ▼]

Mutations in the PTEN-induced putative kinase 1 (PINK1), a mitochondrial serine-threonine kinase, and Parkin, an E3 ubiquitin ligase, are associated with autosomal-recessive forms of Parkinson disease (PD). Both are involved in the maintenance of mitochondrial integrity and protection from multiple stressors. Recently, Parkin was demonstrated to be recruited to impaired mitochondria in a PINK1-dependent manner, where it triggers mitophagy. Using primary human dermal fibroblasts originating from PD patients with various PINK1 mutations, we showed at the endogenous level that (i) PINK1 regulates the stress-induced decrease of endogenous Parkin; (ii) mitochondrially localized PINK1 mediates the stress-induced mitochondrial translocation of Parkin; (iii) endogenous PINK1 is stabilized on depolarized mitochondria; and (iv) mitochondrial accumulation of full-length PINK1 is sufficient but not necessary for the stress-induced loss of Parkin signal and its mitochondrial translocation. Furthermore, we showed that different stressors, depolarizing or non-depolarizing, led to the same effect on detectable Parkin levels and its mitochondrial targeting. Although this effect on Parkin was independent of the mitochondrial membrane potential, we demonstrate a differential effect of depolarizing versus non-depolarizing stressors on endogenous levels of PINK1. Our study shows the necessity to introduce an environmental factor, i.e. stress, to visualize the differences in the interaction of PINK1 and Parkin in mutants versus controls. Establishing human fibroblasts as a suitable model for studying this interaction, we extend data from animal and other cellular models and provide experimental evidence for the generally held notion of PD as a condition with a combined genetic and environmental etiology. [less ▲]

Arithmétique mentale : la comparaison préalable de deux nombres facilite l’addition de ceux-ci.

Poster (2010)

Satisfiability of general intruder constraints with a set constructor

in CRiSIS 2010, Proceedings of the Fifth International Conference on Risks and Security of Internet and Systems, Montreal, QC, Canada, October 10-13, 2010. (2010)

Many decision problems on security protocols can be reduced to solving so-called intruder constraints in Dolev Yao model. Most constraint solving procedures for protocol security rely on two properties of ... [more ▼]

Many decision problems on security protocols can be reduced to solving so-called intruder constraints in Dolev Yao model. Most constraint solving procedures for protocol security rely on two properties of constraint systems called monotonicity and variable-origination. In this work we relax these restrictions by giving an NP decision procedure for solving general intruder constraints (that do not have these properties). Our result extends a first work by L. Mazaré in several directions: we allow non-atomic keys, and an associative, commutative and idempotent symbol (for modeling sets). We also give several new applications of the result. [less ▲]