References of "Paper published in a journal"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailEmpowering and integrating senior citizens with virtual coaching
Braun, Andreas; Roelofsma, Peter; Ferring, Dieter UL et al

in In R. Wichert, K. van Learhoven, & J. Gelissen (Eds.) (2011)

With Europes aging population and an increasing number of older people living alone or geographically distant from kin, loneliness is turning into a prevalent issue. This might involve deleterious ... [more ▼]

With Europes aging population and an increasing number of older people living alone or geographically distant from kin, loneliness is turning into a prevalent issue. This might involve deleterious consequences for both the older person and society, such as depression and increased use of healthcare services. Virtual coaches that act as friend in a para-social relationship but also as mentor that helps the elderly end- user to create meaningful relationships in his actual social environment are a powerful method to overcome loneliness and increase the quality of life in the elderly population.The AAL Joint Programme projects A2E2 (AAL-2008-1-071) and V2me (AAL-2009-2-107) are exploring virtual coaches and their application in AAL scenarios, including the use of user avatars, virtual self-representations that allow the user to be represented in communication scenarios. Other European research projects that focus on social integration of the elderly are e.g. ALICE (AAL-2009-2-091) or WeCare (AAL-2009-2-026). Outside the European Union the negative implications of population aging can be observed in Japan, having an even larger proportion of senior citizens, using individual-centred devices, such as robot pets,1 to improve the quality of life of lonely elderly persons. The user groups involved often are not acquainted with modern ICT systems and therefore it is a challenge to create intuitive, adaptive platforms that cater to the individual needs and allow the user to interact easily. [less ▲]

Detailed reference viewed: 75 (0 UL)
Full Text
Peer Reviewed
See detailDessiner des cartes pour trouver des hôpitaux
Pauly, Michel UL

in Annales de l'Est (2011), n° spécial 2010

Detailed reference viewed: 32 (1 UL)
Full Text
See detailNouveaux systèmes de murs isolants en béton
Agaajani, Shariar; Waldmann, Danièle UL

in RF2B 2011 – 12ème édition des Journées scientifiques du Regroupement francophone pour la recherche et la formation sur le béton (2011)

Detailed reference viewed: 88 (21 UL)
Full Text
Peer Reviewed
See detailEnhanced memory consolidation by post-learning autonomic activation in response to stress
Larra y Ramirez, M.; Schulz, André UL; Naumann, E. et al

in Psychophysiology (2011), 48(Supplement 1), 88-88

Detailed reference viewed: 33 (1 UL)
Full Text
Peer Reviewed
See detailSelective Test Generation Method for Evolving Critical Systems
Fourneret, Elizabeta UL; Bouquet, Fabrice; Dadeau, Frédéric et al

in Proceedings of 4th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2011) (2011)

We present in this paper the implementation of a model-based testing technique for evolving systems. These latters are described in UML using class/object diagrams and state charts, augmented with OCL ... [more ▼]

We present in this paper the implementation of a model-based testing technique for evolving systems. These latters are described in UML using class/object diagrams and state charts, augmented with OCL constraints. Based on two versions of a given model, an automated process deduces the impact of model evolutions on the existing tests. Our methodology then classifies tests into different test suites to test evolution, regression, stagnation and deletion on the concrete system. We introduce the notion of tests and test suites life cycles that help defining the purpose of each test at a given step of the system evolution, and thus, their classification in different test suites. The approach is illustrated on a realistic case study, and the improvements w.r.t. other regression testing techniques are discussed. [less ▲]

Detailed reference viewed: 61 (1 UL)
Full Text
Peer Reviewed
See detailDesign principles of nuclear receptor signalling: How complex networking improves signal transduction
Kolodkin, Alexey UL; Bruggeman, Frank J.; Plant, Nick et al

in Toxicology (2011), 290(2-3), 131-132

Detailed reference viewed: 94 (7 UL)
See detailPassing through a moving traffic gap: Drivers’ perceptual control of approach to an intersection
Louveton, Nicolas UL; Montagne, Gilles; Berthelon, Catherine et al

in Perception -- ECVP Abstract Supplement (2011)

Detailed reference viewed: 53 (1 UL)
See detailCharakter, System und Fristen der Verjährung im französischem Recht
Ancel, Pascal UL

in Verjährungsrecht in Europa zwischen Bewährung und Reform (2011)

Detailed reference viewed: 43 (2 UL)
Full Text
Peer Reviewed
See detailStudying Microbial Dynamics in Anaerobic Monofermentation of Energy Crops – is FISH the right Technique
Beierlein-Sibisi, N. UL; Greger, Manfred UL

in Microbes in Wastewater and waste Treatment, Bioremediation, and Energy Production (2011)

Detailed reference viewed: 42 (1 UL)
Full Text
Peer Reviewed
See detailOO-SPL modelling of the focused case study
Capozucca, Alfredo UL; Cheng, Betty; Guelfi, Nicolas UL et al

in Comparing Modeling Approaches (CMA) International Workshop affiliated with ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (CMA@MODELS2011) (2011)

Detailed reference viewed: 80 (3 UL)
Full Text
Peer Reviewed
See detailModel-based security verification and testing for smart-cards
Fourneret, Elizabeta UL; Ochoa, Martìn; Bouquet, Fabrice et al

in Proceedings of 6th International Conference on Availability, Reliability and Security (ARES 2011) (2011)

Model-Based Testing (MBT) is a widely used methodology for generating tests aiming to ensure that the system behaviour conforms to its specification. Recently, it has been successfully applied for testing ... [more ▼]

Model-Based Testing (MBT) is a widely used methodology for generating tests aiming to ensure that the system behaviour conforms to its specification. Recently, it has been successfully applied for testing certain security properties. However, for the success of this approach, it is an important prerequisite to consider the correctness of test models with respect to the given security property. In this paper we present an approach for smart-card specific security properties that permits to validate the system with MBT from test schemas. We combine this MBT approach with UMLsec security verification technique, by using UMLsec stereotypes to verify the model w.r.t. given security properties and gain more confidence in the model. We then define an automatic procedure to generate security test from the UMLsec model via so-called "test schemas". We validate this approach on a fragment of the Global Platform specification and report on available tool support. [less ▲]

Detailed reference viewed: 73 (2 UL)
Full Text
Peer Reviewed
See detailSelective location blinding using hash chains (transcript of discussion)
Mauw, Sjouke UL

in In B. Christianson et al., editor, Proc. 19th Security Protocols Workshop (2011), 7114

Detailed reference viewed: 77 (0 UL)
Full Text
Peer Reviewed
See detail50 Ways to Break RFID Privacy
van Deursen, Ton UL

in Privacy and Identity Management for Life (2011), 352

Detailed reference viewed: 55 (0 UL)
Full Text
Peer Reviewed
See detailLe développement d’un regard clinique à travers un dispositif d’analyse de pratiques
Weber, Jean-Marie UL

in Actes du congrès : AREF 2010 Congrès international: Actualité de la recherche en sciences de l'éducation (2011)

Dans l’approche de leur futur métier, les jeunes enseignants-stagiaires sont souvent menés par différents fantasmes par rapport à la réalité en classe et la transmission du savoir. À ce sujet, un ... [more ▼]

Dans l’approche de leur futur métier, les jeunes enseignants-stagiaires sont souvent menés par différents fantasmes par rapport à la réalité en classe et la transmission du savoir. À ce sujet, un dispositif d’analyse des pratiques a été mis en place à l’Université du Luxembourg en 2005 dans le cadre de la formation des enseignants du secondaire. Ma visée pour ce genre de travail était d’aider les stagiaires à s’ouvrir à l’altérité de l’autre et à savoir trouer leurs propres croyances et représentations, à savoir se considérer partie prenante dans leur observation et jugements et à se découvrir à une place de sachant et de supposé savoir. Le travail sur le transfert devra permettre de voir comment le rapport au savoir et à la vérité est en jeu dans la relation avec les élèves. À ce sujet je me demandais : quels peuvent être les effets et les limites et défis de cette démarche ? Premières conclusions : ? grâce à ce dispositif les stagiaires peuvent confronter le manque de savoir, la différence entre savoir et vérité, trouer certaines positions imaginaires et développer de nouveaux signifiants ; ? l’analyse de mes propres contre-transferts m’a aidé à développer le dispositif. [less ▲]

Detailed reference viewed: 60 (1 UL)
Full Text
Peer Reviewed
See detailKorrelate intergenerationaler familiärer Unterstützung im Erwachsenenalter.
Albert, Isabelle UL; Ferring, Dieter UL

in Von der Forschung zur Praxis: 13. Kongress der DGVM (2011)

Die Frage nach Zuständigkeiten für Pflege und Unterstützung im Alter ist in den letzten Jahren im Zuge des demographischen Wandels immer mehr in das Zentrum des öffentlichen Interesses gerückt und hat ... [more ▼]

Die Frage nach Zuständigkeiten für Pflege und Unterstützung im Alter ist in den letzten Jahren im Zuge des demographischen Wandels immer mehr in das Zentrum des öffentlichen Interesses gerückt und hat zahlreiche Forschungsaktivitäten angeregt. Insbesondere die Erforschung von Eltern-Kind-Beziehungen im Erwachsenenalter hat dabei stark an Bedeutung gewonnen, da ein Großteil an intergenerationeller Unterstützung innerhalb der Familie geleistet wird. In Anlehnung an das Modell der intergenerationalen Solidarität sensu Bengtson (z.B. Bengtson & Roberts, 1991) als theoretischer Bezugsrahmen werden in der vorliegenden Studie unterschiedliche Dimensionen der Solidarität umschrieben und Korrelate intergenerationeller Unterstützung zwischen erwachsenen Kindern und ihren Müttern analysiert. Die Stichprobe bestand aus insgesamt N = 123 Personen im mittleren Erwachsenenalter (davon 31.1% männlich) zwischen 32 und 64 (M = 44.99, SD = 6.68) Jahren, die anhand eines standardisierten Fragebogens über Aspekte der Beziehungen zu ihren Müttern (gegebene und erhaltene Unterstützung, internalisierte Familiennormen, emotionale Beziehungsqualität zur Mutter, Gefühle der Ambivalenz gegenüber der Mutter) befragt wurden. Es lagen demnach Auskünfte über Mütter im Alter zwischen 54 und 93 Jahren (M = 72.58, M = 7.99) vor, von denen die meisten nach Angaben ihrer Kinder über einen relativ guten oder im mittleren Bereich liegenden Gesundheitszustand verfügten, in 16 Fällen war jedoch eine Pflegebedürftigkeit gegeben. Die Ergebnisse zeigten, dass vor allem die emotionale Beziehungsqualität sowie internalisierte Familiennormen den Austausch von Unterstützung bedingen, wohingegen Kontextmerkmale (wie Familienstand, Gesundheitszustand der Mutter; Berufstätigkeit des Kindes) weniger stark mit Aspekten der Solidarität zusammenhingen. Ferner wurde das Auftreten ambivalenter Gefühle im Zusammenhang mit der Unterstützung für Mütter durch eine internalisierte Familienorientierung moderiert: Respondenten, die bei starker Familienorientierung hohe Unterstützungsleistungen erbrachten, berichteten über weniger ambivalente Gefühle als Personen, die bei niedriger Familienorientierung hohe Unterstützungsleistungen erbrachten. Die Ergebnisse werden mit Blick auf mögliche Voraussagen für Situationen späterer Pflegebedürftigkeit und unter Berücksichtigung intrafamilialer Prozesse der intergenerationellen Beziehungsregulation diskutiert. [less ▲]

Detailed reference viewed: 138 (0 UL)
Full Text
Peer Reviewed
See detailVerification of a key-chain based TTP transparent CEM protocol
Liu, Zhiyuan UL; Pang, Jun UL; Zhang, Chenyi UL

in Proceedings of the 3rd Workshop on Harnessing Theories for Tool Support in Software (2011), ENTCS 274

Detailed reference viewed: 83 (4 UL)
Full Text
Peer Reviewed
See detailA study of the PDGF signaling pathway with PRISM
Yuan, Qixia UL; Pang, Jun UL; Mauw, Sjouke UL et al

in Proceedings of the 3rd Workshop on Computational Models for Cell Processes (2011), EPTCS 67

Detailed reference viewed: 135 (13 UL)
See detailZur psychometrischen Abbildung und Erfassung von Ambivalenz in Generationenbeziehungen.
Albert, Isabelle UL; Ferring, Dieter UL

in Vortrag beim 2. Werkstattgespräch „Ambivalenz“ (2011)

Detailed reference viewed: 27 (2 UL)
Full Text
See detailThe role of gender in the intergenerational transmission of family values between mothers, fathers and adolescents.
Albert, Isabelle UL; Michels, Tom; Ferring, Dieter UL

in Abstract book of 15th European Conference on Developmental Psychology (2011)

Referring to gender role models of socialization, the intergenerational transmission of values within families should generally be higher in same-gender compared to mixed dyads. However, empirical studies ... [more ▼]

Referring to gender role models of socialization, the intergenerational transmission of values within families should generally be higher in same-gender compared to mixed dyads. However, empirical studies have not always supported this assumption. Recent research has suggested that different results might be expected depending on the specific value content. The aim of the present study is to investigate the influence of the parent-child gender constellation on value similarities in families with adolescents in Luxembourg, focusing on gender-related and general family values. A sample of N = 46 family triads, i.e. adolescents (n=22 boys, n=24 girls) between age 15 and 20 together with their mothers and fathers, were interviewed on values about hierarchical gender roles as well as obligations towards family members. Analyses showed that both daughters and sons were more similar to mothers compared to fathers in their respective value profiles. Analyzing the similarities between the adolescent and parent generation showed that daughters were more similar to the typical female and sons more similar to the typical male value profile. Regarding specific value contents, fathers’ and sons’ values about obligations towards family members were related to each other. Moreover, similarities in values about hierarchical gender roles were showed for both mother-daughter and mother-son dyads. This finding was further specified, given that sons agreed more than mothers with values about hierarchical gender roles, indicating thus a relative (not absolute) mother-son value transmission. Results are discussed from theoretical perspectives of gender role socialization as well as gender specific salience of value orientations. [less ▲]

Detailed reference viewed: 135 (1 UL)
See detailAmbivalenz in Eltern-Kind-Beziehungen im Jugend- und jungen Erwachsenenalter: Welche Rolle spielt das elterliche Erziehungsverhalten?
Albert, Isabelle UL; Ferring, Dieter UL

in Abstractband EPSY (2011)

Die Erforschung von Ambivalenz in intergenerationalen Beziehungen hat sich in den letzten Jahren schwerpunktmäßig mit Übergängen in Eltern-Kind-Beziehungen im Erwachsenenalter befasst. Frühere Phasen in ... [more ▼]

Die Erforschung von Ambivalenz in intergenerationalen Beziehungen hat sich in den letzten Jahren schwerpunktmäßig mit Übergängen in Eltern-Kind-Beziehungen im Erwachsenenalter befasst. Frühere Phasen in Eltern-Kind-Beziehungen wurden hingegen seltener unter diesem Gesichtspunkt betrachtet. Gerade der Prozess der Individuation im Jugend- und jungen Erwachsenenalter ist jedoch von Dynamiken der gleichzeitigen Suche nach Nähe und Abgrenzung bestimmt, die mit widersprüchlichen Emotionen und Handlungstendenzen einhergehen können. Die innerfamiliale Regulation unterschiedlicher Bedürfnisse sollte dabei nicht zuletzt auch vom elterlichen Erziehungsverhalten abhängen. Ziel der vorliegenden Studie ist es, die erlebte Ambivalenz von Jugendlichen und jungen Erwachsenen im Zusammenhang mit dem wahrgenommenen elterlichen Erziehungsverhalten zu untersuchen und zwar unter Berücksichtigung der Frage, ob das Alter der Befragten einen Moderator dieses Zusammenhangs darstellt. Die Stichprobe besteht aus N = 233 luxemburgischen Jugendlichen und jungen Erwachsenen im Alter zwischen 14 und 25 Jahren, die mittels eines standardisierten Fragebogens das wahrgenommene elterliche Erziehungsverhalten (Wärme, psychologische Kontrolle und Verhaltenskontrolle) und ihre erlebte Ambivalenz zu Vater und Mutter einschätzten. Die Analysen zeigten insbesondere einen starken positiven Zusammenhang zwischen elterlicher psychologischer Kontrolle und Ambivalenz über alle Altersgruppen hinweg, wohingegen elterliche Wärme durchweg einen negativen Zusammenhang zum Erleben von Ambivalenz gegenüber beiden Eltern aufzeigte. Hingegen war die mütterliche Verhaltenskontrolle nur bei älteren Jugendlichen und jungen Erwachsenen mit dem Erleben von Ambivalenz gegenüber den eigenen Müttern verbunden; in den Beziehungen zum Vater zeigten sich keine Altersunterschiede im positiven Zusammenhang zwischen Verhaltenskontrolle und Ambivalenz. Die vorliegende Studie liefert damit einen wichtigen Beitrag zur Erforschung von Ambivalenz in früheren Abschnitten der Entwicklung sowie einen weiteren Hinweis darauf, dass insbesondere die mütterliche Verhaltenskontrolle je nach Alter des Jugendlichen unterschiedliche Bedeutungen haben kann. Die Ergebnisse werden vor dem Hintergrund der intrafamilialen Regulation von Beziehungen im Individuationsprozess diskutiert. [less ▲]

Detailed reference viewed: 191 (4 UL)
See detailAcculturation of Portuguese immigrants in Luxembourg: Do value orientations of Portuguese and Luxembourgish mothers and daughters converge or diverge?
Albert, Isabelle UL; Michels, Tom UL; Ferring, Dieter UL

in IACCP Regional Conference (2011)

In acculturation research, the convergence/divergence in value orientations of immigrants and host nationals as well as the question of an acculturation gap between first- and second generation immigrants ... [more ▼]

In acculturation research, the convergence/divergence in value orientations of immigrants and host nationals as well as the question of an acculturation gap between first- and second generation immigrants are important issues. The present study examines similarities and differences between first- and second generation immigrants compared to host nationals in a sample of n = 51 Luxembourgish and Portuguese mother-daughter dyads living in Luxembourg who were interviewed with a standardized questionnaire regarding (a) value orientations, (b) family norms, and (c) self-construal. Controlling for the psychometric properties of the national groups, mean comparisons indicated an acculturation gap regarding family norms with Portuguese daughters being more similar to their Luxembourgish counterparts than to their mothers, whereas both Portuguese generations rated conservation values higher and an independent self-construal lower than Luxembourgish participants. Results are discussed in a theoretical framework of value change in acculturation considering the role of salience of different value contents. [less ▲]

Detailed reference viewed: 114 (9 UL)
Full Text
Peer Reviewed
See detailNetPower DemoLab A Test Bed Infrastructure for Security and Reliability Investigations of SCADA Systems
Jostock, Markus UL; Sachau, Jürgen UL

in Abstract paper of 2011 Grande Region Security and Reliability Day (2011)

The purpose of this paper is to present the capabilities of the new NetPower DemoLab of the Interdisciplinary Centre for Reliability and Trust at the University of Luxembourg, operated by the Systems and ... [more ▼]

The purpose of this paper is to present the capabilities of the new NetPower DemoLab of the Interdisciplinary Centre for Reliability and Trust at the University of Luxembourg, operated by the Systems and Control group, and to stimulate potential public or private collaborations in the area of SCADA security and reliability investigations. [less ▲]

Detailed reference viewed: 135 (11 UL)
Full Text
Peer Reviewed
See detailAdaptive Neighborhoods for Cellular Genetic Algorithms
Dorronsoro, Bernabé UL; Bouvry, Pascal UL

in Nature Inspired Distributed Computing (NIDISC) sessions of the International Parallel and Distributed Processing Symposium (IPDPS) 2011 Workshop (2011)

Detailed reference viewed: 88 (0 UL)
See detail„Wann werde ich alt sein?“ Zur Bedeutung wahrgenommener Restlebenszeit und subjektivem Alter für das Bewusstsein des Älterwerdens.
Ferring, Dieter UL

in In E.-M. Kessler, & H.-W. Wahl (Chairs), Subjektive Repräsentationen von normalem und pathologischem Altern. (2011)

Detailed reference viewed: 56 (2 UL)
Full Text
Peer Reviewed
See detailJudgment Aggregation for Cooperative Anchoring on the NAO Robots
Ganesan, V.; Slavkovik, Marija UL; Sousa, S. et al

in Works-in-progress track - 3rd International Conference on Social Robotics (2011)

Cooperative anchoring is the sharing of associations between symbols and sensor data across multi robot systems. We apply the solution of Judgment Aggregation, a logic based collective-decision making ... [more ▼]

Cooperative anchoring is the sharing of associations between symbols and sensor data across multi robot systems. We apply the solution of Judgment Aggregation, a logic based collective-decision making framework from social choice theory to the problem of cooperative anchoring in terms of information fusion. We model a multi-agent system comprising of nao robots on a search exercise using its vision and audition sensor into this framework and fuse them by means of aggregation rules and compare them on a truth-tracking basis. [less ▲]

Detailed reference viewed: 44 (0 UL)
Full Text
See detailConference report
Oesch, Lucas UL

in IFPO (2011)

Detailed reference viewed: 48 (15 UL)
Full Text
See detailL'impossible authenticité. La pédagogie prise au piège entre histoire, mémoire et souvenir
Kmec, Sonja UL

in Histoire & Mémoire Cahiers du CDREF (2011), 3

Detailed reference viewed: 62 (1 UL)
Full Text
Peer Reviewed
See detailLifetime prediction for solder joints with the extended finite element method
Menk, Alexander; Pearce, Chris J.; Lanier, Olivier et al

in Proceedings of 12th Int. Conf. on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems, EuroSimE 2011 (2011)

Predicting the lifetime of solder joints undergoing thermal cycling is crucial for the electronics industry in order to guarantee a certain performance of their products in the field. Semi-empirical ... [more ▼]

Predicting the lifetime of solder joints undergoing thermal cycling is crucial for the electronics industry in order to guarantee a certain performance of their products in the field. Semi-empirical methods are often used to predict the average lifetime of the critical joints. However, to get a reliable failure probability the standard deviation must also be addressed. The deviation of the lifetime from the mean value is a consequence of the variation in microstructure found in actual joints. We therefore propose a new methodology that calculates crack growth based on microstructural features of the joint. A series of random microstructures is generated. Crack growth calculations are performed for each of these structures. The structural problem is solved numerically with the extended finite element method which allows a complete automation of the process. The mean crack length and standard deviation are calculated from the crack growth simulations and the result is compared to experimental data. [less ▲]

Detailed reference viewed: 70 (1 UL)
Full Text
Peer Reviewed
See detailChildren Participating in Armed Conflict and International Criminal Law
Happold, Matthew UL

in Human Rights and International Legal Discourse (2011), 5

Detailed reference viewed: 127 (4 UL)
Full Text
See detailThe influence of stationary synaptic activity on the PRC
Garcia, Guadalupe Clara UL; Gemma, Huguet; Rinzel, John

in BMC Neuroscience (2011), 12

Detailed reference viewed: 91 (3 UL)
Full Text
Peer Reviewed
See detailA Satisficing Agreements Model
Boella, Guido UL; Pigozzi, Gabriella UL; Slavkovik, Marija UL et al

in Proceedings of the 13th International Workshop on Coordination, Organization, Institutions and Norms (COIN@WI-IAT) (2011)

Satisficing, the concept proposed by Herbert Simon, as an approach to reaching agreements is little explored. We propose a model for satisficing agreement reaching for an adaptive collaborative group of ... [more ▼]

Satisficing, the concept proposed by Herbert Simon, as an approach to reaching agreements is little explored. We propose a model for satisficing agreement reaching for an adaptive collaborative group of agents. The group consists of one human agent familiar with the problem and arbitrarily many artificial agents. Our model raises to the team level the recognition-primed decision model constructed in the field of cognitive decision-making by using social choice for reaching group opinions. [less ▲]

Detailed reference viewed: 87 (0 UL)
Full Text
Peer Reviewed
See detailmCarve: Carving attributed dump sets
van Deursen, Ton UL; Mauw, Sjouke UL; Radomirovic, Sasa UL

in Abstract book of 20th USENIX Security Symposium (2011)

Detailed reference viewed: 24 (1 UL)
Full Text
Peer Reviewed
See detailModel Driven Mutation Applied to Adaptative Systems Testing
Bartel, Alexandre UL; Baudry, Benoit; Munoz, Freddy et al

in Mutation 2011 (@ICST) (2011)

Dynamically Adaptive Systems modify their behavior and structure in response to changes in their surrounding environment and according to an adaptation logic. Critical systems increasingly incorporate ... [more ▼]

Dynamically Adaptive Systems modify their behavior and structure in response to changes in their surrounding environment and according to an adaptation logic. Critical systems increasingly incorporate dynamic adaptation capabilities, examples include disaster relief and space exploration systems. In this paper, we focus on mutation testing of the adaptation logic. We propose a fault model for adaptation logics that classifies faults into environmental completeness and adaptation correctness. Since there are several adaptation logic languages relying on the same underlying concepts, the fault model is expressed independently from specific adaptation languages. Taking benefit from model-driven engineering technology, we express these common concepts in a metamodel and define the operational semantics of mutation operators at this level. Mutation is applied on model elements and model transformations are used to propagate these changes to a given adaptation policy in the chosen formalism. Preliminary results on an adaptive web server highlight the difficulty of killing mutants for adaptive systems, and thus the difficulty of generating efficient tests. [less ▲]

Detailed reference viewed: 179 (5 UL)
Full Text
Peer Reviewed
See detailCertiCloud: une plate-forme Cloud IaaS sécurisée
Bertholon, Benoit UL; Varrette, Sébastien UL; Bouvry, Pascal UL

in RenPar'20 2011 (2011)

La sécurité des Clouds est un aspect essentiel qui n'est pas forcément abordé selon le point de vue de l'utilisateur. En particulier, sur une plate-forme de type IaaS, il est actuellement impossible pour ... [more ▼]

La sécurité des Clouds est un aspect essentiel qui n'est pas forcément abordé selon le point de vue de l'utilisateur. En particulier, sur une plate-forme de type IaaS, il est actuellement impossible pour un utilisateur de certifier de manière fiable et sécurisée que l'environnement qu'il a déployé (typiquement sous forme d'une machine virtuelle) est toujours dans un état qu'il juge intègre et opérationnel. Cet article s'attelle à cette tâche en proposant CertiCloud, une plate-forme Cloud de type IaaS qui exploite les concepts développés dans le cadre du TCG mais aussi les éléments matériels que sont les TPM pour offrir à l'utilisateur un environnement sécurisé et sécurisant. Ces deux aspects sont garantis par les deux protocoles TCRR et VerifMyVM qui sont à la base de CertiCloud. Quand le premier permet de certifier l'intégrité d'une machine distante et d'échanger une clef de chiffrement symétrique, le second permet à l'utilisateur de s'assurer dynamiquement et à la demande de l'intégrité de sa machine virtuelle exécutée sur les ressources de \CertiC. Ces deux protocoles étant les briques de base de notre plate-forme, une attention toute particulière a été apportée à leurs élaborations. A cet effet, ils ont été validés avec succès par AVISPA et Scyther, deux outils de référence dans le domaine de la vérification automatique des protocoles de sécurité (cette analyse est présentée dans cet article). Ensuite, la plate-forme CertiCloud est détaillée: outre les protocoles TCRR et VerifMyVM, elle propose le stockage sécurisé des environnements utilisateurs et leurs exécutions à travers un framework de virtualisation reprenant l'hyperviseur Xen. Quand les ressources physiques sont certifiées par TCRR, l'utilisateur peut utiliser à la demande le protocole VerifMyVM pour s'assurer de l'intégrité de son environnement déployé. Un prototype de CertiCloud a été réalisé et nous présentons les premiers résultats expérimentaux qui démontrent de la faisabilité et du faible surcoût de notre approche sur des scénarios classiquement rencontrés sur les infrastructures Cloud de type IaaS. [less ▲]

Detailed reference viewed: 122 (5 UL)
Full Text
Peer Reviewed
See detailShifts of spatial attention cued by irrelevant numbers: electrophysiological evidence.
Schuller, Anne-Marie UL

in Journal of Cognitive Neuroscience (2011)

Detailed reference viewed: 42 (5 UL)
Full Text
Peer Reviewed
See detailAdaptive Sliding Mode Control Design for a Class of Nonlinear Systems with Unknown Dead Zone of Unknown Bounds
Jasim, Ibrahim UL; Jasim, Najah

in Abstract book of 1st International Conference on Energy, Power, and Control (2010, December)

The control problem for a class of nonlinear systems that contain the coupling of unmeasured states and unknown parameters is addressed. The system actuation is assumed to suffer from unknown dead zone ... [more ▼]

The control problem for a class of nonlinear systems that contain the coupling of unmeasured states and unknown parameters is addressed. The system actuation is assumed to suffer from unknown dead zone nonlinearity. The parameters bounds of the unknown dead zone to be considered are unknown. Adaptive sliding mode controller, unmeasured states observer, and unknown parameters estimators are suggested such that global stability is achieved. Simulation for a single link mechanical system with unknown dead zone and friction torque is implemented for proving the efficacy of the suggested scheme. [less ▲]

Detailed reference viewed: 36 (5 UL)
Full Text
Peer Reviewed
See detailStable Robust Adaptive Control of Induction Motors with Unknown Parameters
Jasim, Ibrahim UL

in Abstract book of 1st International Conference on Energy, Power, and Control (2010, November)

This paper presents a new strategy for controlling induction motors with unknown parameters. Using a simple linearized model of induction motors, we design robust adaptive controllers and unknown ... [more ▼]

This paper presents a new strategy for controlling induction motors with unknown parameters. Using a simple linearized model of induction motors, we design robust adaptive controllers and unknown parameters update laws. The control design and parameters estimators are proved to have global stable performance against sudden load variations. All closed loop signals are guaranteed to be bounded. Simulations are performed to show the efficacy of the suggested scheme. [less ▲]

Detailed reference viewed: 47 (6 UL)
Full Text
Peer Reviewed
See detailMemory-aware Green Scheduling on Multi-core Processors
Pinel, Frédéric UL; Pecero, Johnatan UL; Bouvry, Pascal UL et al

in Proceedings of the Second International Workshop on Green Computing (2010, September 16)

Contention on shared resources such as cache and main memory slows down the execution of the applications affecting not only application performance but also induces inefficient use of energy. Therefore ... [more ▼]

Contention on shared resources such as cache and main memory slows down the execution of the applications affecting not only application performance but also induces inefficient use of energy. Therefore, in this paper we deal with the contention problem and energy optimization on shared resources multicore-based machines. Our main contribution is a memory-aware resource allocation algorithm that minimize energy consumption by reducing contention conflicts and maximizing performance. We design a heuristic that includes in its objective function the impact of the contention on the application performance. Experimental results emphasize the interest of the provided solution. [less ▲]

Detailed reference viewed: 94 (1 UL)
Full Text
Peer Reviewed
See detailClassifying Ear Disorders Using Support Vector Machines
Moein, Mahsa UL; Davarpanah, Mohammad; M. Ali, Montazeri et al

in IEEE (2010, September), 1

Detailed reference viewed: 99 (4 UL)
Full Text
Peer Reviewed
See detailUnderstanding uctuations and limitations in a multi-sector model of the economy with delays and intrinsic noise
Goncalves, Jorge UL; Tonita, Robert; Lestas, Ioannis et al

in American Control Conference (2010, July)

Detailed reference viewed: 42 (0 UL)
Full Text
Peer Reviewed
See detailA Logical Understanding of Legal Interpretation
Boella, Guido UL; Governatori, Guido; Rotolo, Antonino et al

in KR 2010 (2010)

If compliance with a norm does not achieve its purpose, then its applicability must dynamically be restricted or expanded. Legal interpretation is a mechanism from law allowing norms to be adapted to ... [more ▼]

If compliance with a norm does not achieve its purpose, then its applicability must dynamically be restricted or expanded. Legal interpretation is a mechanism from law allowing norms to be adapted to unforeseen situations. We model this mechanism for norms regulating computer systems by representing the purpose of norms by social goals and by revising the constitutive rules defining the applicability of norms. We illustrate the interpretation mechanism by examples. [less ▲]

Detailed reference viewed: 69 (0 UL)
Full Text
Peer Reviewed
See detailChemical microscopy and nanoscopy of bio-materials and living cells
Erik, Brundermann; Schmidt, Diedrich; Kopf, Ilona et al

in Infrared Millimeter and Terahertz Waves (IRMMW-THz) Conf. Proc. (2010)

Raman microspectroscopy of human sperm cells and nearfield infrared microscopy of nanoscale biomaterials like nanografted DNA have been performed. A newly developed station for the ANKA-IR2 beamline ... [more ▼]

Raman microspectroscopy of human sperm cells and nearfield infrared microscopy of nanoscale biomaterials like nanografted DNA have been performed. A newly developed station for the ANKA-IR2 beamline combines several techniques to study the same sample at the same position. [less ▲]

Detailed reference viewed: 104 (0 UL)
Full Text
Peer Reviewed
See detailBrief announcement: Asynchronous bounded expected delay networks
Bakhshi, R.; Endrullis, Joerg; Fokkink, W. J. et al

in Proc. 29th Annual ACM Symposium on Principles of Distributed Computing (2010)

Detailed reference viewed: 33 (0 UL)
Full Text
Peer Reviewed
See detailTrust in Abstract Argumentation
Boella, Guido UL; van der Torre, Leon UL; Villata, Serena

in Proceedings of the 4th Mahasarakham International Workshop on Artificial Intelligence (MIWAI'10) (2010)

Detailed reference viewed: 43 (0 UL)
Full Text
Peer Reviewed
See detailA Molecular Concept of Managing Data
Schommer, Christoph UL

in Abstract book of 2nd Conference on Agents and Artificial Intelligence (ICAART 2010) (2010)

The following (position) paper follows the concept of the field of Artificial Life and argues that the (relational) management of data can be understood as a chemical model. Whereas each data itself is ... [more ▼]

The following (position) paper follows the concept of the field of Artificial Life and argues that the (relational) management of data can be understood as a chemical model. Whereas each data itself is consistent with atomic entities, each combination of data corresponds to a (artificial) molecular structure. For example, an attribute D inside a relational system can be represented by a nucleus aD sharing a cloud of values, which consists of so-called valectrons (the values for the column D). By using reaction rules like the selection of tuples or projection of attributes, a retrieve of molecules can be achieved quite easily. Advantages of the chemical model are no data types, a fast data access, and the associative nature of the molecules: this automatically supports a direct identification of patterns in the sense of data mining. A disadvantage is the need for restructuring that must eventually be done, because the incoming data stream is allowed to influence the chemical model. With this position paper, we present our basic concept. [less ▲]

Detailed reference viewed: 86 (5 UL)
Full Text
Peer Reviewed
See detailEffects of traditional bullying and empathy on cyberbullying
Steffgen, Georges UL; Pfetsch, Jan; König, Andreas UL et al

in Proceedings of the XIV European Conference on Developmental Psychology ECDP. (2010)

Detailed reference viewed: 91 (3 UL)
Full Text
Peer Reviewed
See detailCoherent Receiver for AIS Satellite Detection
Gallardo, M. M. A. Jurado; Sorger, Ulrich UL

in Proceedings of 4th International Symposium on Communications, Control and Signal Processing (ISCCSP) (2010)

Detailed reference viewed: 147 (10 UL)
Full Text
Peer Reviewed
See detailGeneralizing the Transfer in Iterative Error Correction: Dissection Decoding
Sorger, Ulrich UL; Heim, Alex

in International Zurich Seminar on Communications (2010)

Iterative decoding with message-passing is consid- ered. The message format is generalized from the classical, single probability value for each code symbol to a probability distribu- tion by introducing ... [more ▼]

Iterative decoding with message-passing is consid- ered. The message format is generalized from the classical, single probability value for each code symbol to a probability distribu- tion by introducing an additional logarithmic probability mea- sure. Thereby, the representation of the probability distributions underlying the constituent code constraints by the messages is improved in terms of the Kullback-Leibler divergence. Simulation shows that this improvement can transfer to the error correcting performance. [less ▲]

Detailed reference viewed: 62 (1 UL)
Full Text
Peer Reviewed
See detailIncreasing the energy efficiency of sludge stabilization by an interconnected operational approach
Hobus, I.; Kolisch, G.; Hansen, Joachim UL

in Proceedings of the Conference "Water and Energy" (2010)

In Germany sewage treatment plants with serving sizes from 5,000 to 40,000 PE are usually designed with simultaneous aerobic sludge stabilisation. Main advantages of this approach are the simple operation ... [more ▼]

In Germany sewage treatment plants with serving sizes from 5,000 to 40,000 PE are usually designed with simultaneous aerobic sludge stabilisation. Main advantages of this approach are the simple operation and easy technical design of the biological stage. But the balance of the turnover of the organic load shows an increased energy consumption of these sewage plants compared to plants with separate anaerobic sludge stabilisation. In order to optimize the energy consumption omitting the implementation of a digester on every plant, an interconnected operational approach for sludge stabilisation was developed. In this concept the aerobic stabilisation plants are operated at reduced sludge ages providing nutrient removal without sludge stabilization. The unstabilised sludge of these plants is transported to a central digestion plant with corresponding aggregates like digester, CHPP, dewatering. [less ▲]

Detailed reference viewed: 52 (2 UL)
Full Text
Peer Reviewed
See detailApplying Shape Analysis on the two dimensional objects in medecine: Differentiation of tumors in early childhood
Schiltz, Jang UL; Giebel, S.; Schenk, J.-P.

in Proceedings of the Jangjeon Mathematical Society (2010)

Detailed reference viewed: 17 (0 UL)
Full Text
Peer Reviewed
See detailA dimensional-categorical approach to the language of dyspnea
Petersen, Sibylle UL; von Leupoldt, Andreas; Ritz, Thomas

in Biological Psychology (2010), 83(1), 64-65

Detailed reference viewed: 23 (0 UL)
Full Text
Peer Reviewed
See detailDer Einfluss von sozialem Vergleich auf die Wahrnehmung von Atemnot in pneumologischer Rehabilitation
Petersen, Sibylle UL; Taube, Karin; Lehmann, Kirsten et al

in Zeitschrift für medizinische Psychologie (2010), 19

Detailed reference viewed: 23 (0 UL)
Full Text
Peer Reviewed
See detailStatische und dynamische Zustandsbewertung von Stahlbetonbauteilen
Bungard, Volker UL; Waldmann, Danièle UL

in Abstract book of 51. Forschungskolloquium des Deutschen Ausschusses für Stahlbetonbau (2010)

Detailed reference viewed: 52 (13 UL)
Full Text
Peer Reviewed
See detailA biophysical model for modulation frequency encoding in the cochlear nucleus.
Eguia, Manuel C.; Garcia, Guadalupe Clara UL; Romano, Sebastian A.

in Journal of physiology, Paris (2010), 104(3-4), 118-27

Encoding of amplitude modulated (AM) acoustical signals is one of the most compelling tasks for the mammalian auditory system: environmental sounds, after being filtered and transduced by the cochlea ... [more ▼]

Encoding of amplitude modulated (AM) acoustical signals is one of the most compelling tasks for the mammalian auditory system: environmental sounds, after being filtered and transduced by the cochlea, become narrowband AM signals. Despite much experimental work dedicated to the comprehension of auditory system extraction and encoding of AM information, the neural mechanisms underlying this remarkable feature are far from being understood (Joris et al., 2004). One of the most accepted theories for this processing is the existence of a periodotopic organization (based on temporal information) across the more studied tonotopic axis (Frisina et al., 1990b). In this work, we will review some recent advances in the study of the mechanisms involved in neural processing of AM sounds, and propose an integrated model that runs from the external ear, through the cochlea and the auditory nerve, up to a sub-circuit of the cochlear nucleus (the first processing unit in the central auditory system). We will show that varying the amount of inhibition in our model we can obtain a range of best modulation frequencies (BMF) in some principal cells of the cochlear nucleus. This could be a basis for a synchronicity based, low-level periodotopic organization. [less ▲]

Detailed reference viewed: 95 (1 UL)
Full Text
Peer Reviewed
See detailAutomated and Scalable T-wise Test Case Generation Strategies for Software Product Lines
Perrouin, Gilles UL; Sen, Sagar; Klein, Jacques UL et al

in International Conference on Software Test and Validation (2010)

Detailed reference viewed: 298 (1 UL)
Full Text
Peer Reviewed
See detailArguing about Trust in Multiagent Systems
Villata, Serena; Boella, Guido UL; Gabbay, Dov M. UL et al

in Proceedings of the 11th Symposium on Artificial Intelligence of the Italian Association for Artificial Intelligence (AIIA'10) (2010)

Trust in multiagent systems is used for seeking to minimize the uncertainty in the interactions among the agents. In this paper, we discuss how to use argumentation to reason about trust. Using the ... [more ▼]

Trust in multiagent systems is used for seeking to minimize the uncertainty in the interactions among the agents. In this paper, we discuss how to use argumentation to reason about trust. Using the methodology of meta-argumentation, first we represent the source of the information from which the argument is constructed in the abstract argumentation framework capturing the fact that b is attacked because b is from a particular source s. We show how a source of information can be attacked if it is not evaluated as trustworthy. Second, we provide a fine grained representation of the trust relationships between the information sources in which trust concerns not only the sources but also the single arguments and attack relations the sources propose. Moreover, we represent the evidences in support of the arguments which are put forward by the information sources and the agents can express arguments by referring to other agents’ arguments. Meta-argumentation allows us not to extend Dung’s abstract argumentation framework by introducing trust and to reuse those principles and properties defined for Dung’s framework. [less ▲]

Detailed reference viewed: 28 (0 UL)
Full Text
Peer Reviewed
See detailModel checking round-based distributed algorithms
An, X.; Pang, Jun UL

in Proc. 15th IEEE International Conference on Engineering of Complex Computer Systems (2010)

Detailed reference viewed: 78 (0 UL)
Full Text
Peer Reviewed
See detailHigher-Order Coalition Logic
Boella, Guido UL; Gabbay, Dov M. UL; Genovese, Valerio UL et al

in Bibliothèque(s) : revue de l'Association des bibliothécaires de France (2010)

We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}ψ]φ expressing that the coalition of all agents satisfying ψ(x) can achieve a state in ... [more ▼]

We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}ψ]φ expressing that the coalition of all agents satisfying ψ(x) can achieve a state in which φ holds. We use neighborhood semantics to model extensive games of perfect information with simultaneous actions and we provide a framework reasoning about agents in the same way as it is reasoning about their abilities. We illustrate higher-order coalition logic to represent and reason about coalition formation and cooperation, we show a more general and expressive way to quantify over coalitions than quantified coalition logic, we give an axiomatization and prove completeness. [less ▲]

Detailed reference viewed: 42 (0 UL)
Full Text
Peer Reviewed
See detailDer Pyrenäenfrieden und seine Auswirkungen auf die Grenzziehung zwischen Frankreich und dem Herzogtum Luxemburg im Spiegel der Kartographie
Uhrmacher, Martin UL

in Hemecht : Zeitschrift für Luxemburger Geschichte = Revue d'Histoire Luxembourgeoise (2010), 62(3/4), 463-492

Detailed reference viewed: 172 (5 UL)
Full Text
Peer Reviewed
See detailLife investment and psycho-physical well-being in old age
Leist, Anja UL; Ferring, Dieter UL

in Gerontologist (2010), 50(S1), 15-15

Detailed reference viewed: 40 (2 UL)
Full Text
Peer Reviewed
See detailGroup Intentions are Social Choice with Commitment
Boella, Guido UL; Pigozzi, Gabriella UL; Slavkovik, Marija UL et al

in Pre-Procs. of the 11th International Workshop on Coordination, Optimization, Institution and Norms in Multiagent Systems (COIN@MALLOW'10) (2010)

An agent intends g if it has chosen to pursue goal g an is committed to pursuing g . How do groups decide on a common goal? Social epistemology offers two views on collective attitudes: according to the ... [more ▼]

An agent intends g if it has chosen to pursue goal g an is committed to pursuing g . How do groups decide on a common goal? Social epistemology offers two views on collective attitudes: according to the summative approach, a group has attitude p if all or most of the group members have the attitude p; according to the non-summative approach, for a group to have attitude p it is required that the members together agree that they have attitude p. The summative approach is used extensively in multi-agent systems. We propose a formalization of non-summative group intentions, using social choice to determine the group goals. We use judgment aggregation as a decision-making mechanism and a multi-modal multi-agent logic to represent the collective attitudes, as well as the commitment and revision strategies for the groups intentions. [less ▲]

Detailed reference viewed: 47 (0 UL)
Full Text
Peer Reviewed
See detailAn element nodal force-based large increment method for elastoplasticity
Long, Danbin; Guo, Zaoyang; Liu, Xila et al

in AIP Conference Proceedings (2010), 1233(PART 1), 1401-1405

This paper presents a new method for establishing the basic equations in the novel force-based large increment method (LIM) for continuum elastoplastic problems. In LIM, unlike traditional displacement ... [more ▼]

This paper presents a new method for establishing the basic equations in the novel force-based large increment method (LIM) for continuum elastoplastic problems. In LIM, unlike traditional displacement methods, the (generalised) elemental force variables are adopted as system unknowns. The equilibrium equations can then be obtained directly at every nodal degree of freedom without physical equations (i.e., constitutive equations) involved. The generalised inverse of the non-square system of equations is employed to obtain the set of solutions of the non-square matrix equations directly. A conjugate gradient procedure is then used to find the correct solution from this set of solutions by optimising the compatibility of the solution based on the fact that the correct solution should also satisfy the constitutive equations and the compatibility equations. In this paper, the generalised elemental force variables are defined based on the element nodal forces. The LIM framework is therefore successfully applied to elements based on this definition. The efficiency and accuracy of the LIM are illustrated with a few benchmark problems and the results are compared with the analytical solution and the conventional displacement-based finite element method. [less ▲]

Detailed reference viewed: 87 (0 UL)
Full Text
Peer Reviewed
See detailLuminal-like oestrogen receptor-positive breast cancer: identification of prognostic biological subclasses
Habashy, H.O.; Powe, D.G.; Ball, G. et al

in European Journal of Cancer Supplements (2010), 8(3), 91

Detailed reference viewed: 34 (6 UL)
Full Text
Peer Reviewed
See detailLearning conditionally lexicographic preference relations
Booth, Richard UL; Chevaleyre, Yann; Lang, Jérôme et al

in Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010) (2010)

Detailed reference viewed: 34 (0 UL)
Full Text
Peer Reviewed
See detailObligations and Prohibitions in Talmudic Deontic Logic
Abraham, Michael; Gabbay, Dov M. UL; Schild, Uri J.

in DEON (2010)

This paper examines the deontic logic of the Talmud. We shall find, by looking at examples, that at first approximation we need deontic logic with several connectives: OTA Talmudic obligation FTA Talmudic ... [more ▼]

This paper examines the deontic logic of the Talmud. We shall find, by looking at examples, that at first approximation we need deontic logic with several connectives: OTA Talmudic obligation FTA Talmudic prohibition FDA Standard deontic prohibition ODA Standard deontic obligation [less ▲]

Detailed reference viewed: 91 (0 UL)
Full Text
Peer Reviewed
See detailModelling thermophilic anaerobic digestion of maize silage
Beierlein, Nomathamsanqa Nonjabulo UL; Golkowska, Katarzyna UL; Greger, Manfred UL

in Proceedings Venice 2010, Third International Symposium on energy from Biomass and Waste, 8-11.11.2010, Venice (2010)

Detailed reference viewed: 92 (3 UL)
Peer Reviewed
See detailAn implicit approach to predict the dynamics of granular media
Samiei, Kasra UL; Peters, Bernhard UL; Bolten, M. et al

in Abstract book of 81st Annual Meeting of the International Association of Applied Mathematics and Mechanics (2010), 10(1), 55-56

Detailed reference viewed: 100 (5 UL)
See detailPatterns of intergenerational support and reciprocity
Albert, Isabelle UL; Michels, Tom; Ferring, Dieter UL

in In R. Zukauskiene (Ed.). Proceedings of the XIV European Conference on Developmental Psychology ECDP. Bologna, Italy: Medimond. (2010)

Detailed reference viewed: 56 (0 UL)
Full Text
Peer Reviewed
See detailDe 20 ans à l'horizon 2020, bâtir le tribunal de demain sur de solides fondations
Ravarani, Georges UL

in Publication de la Cour de Justice de l'Union européenne (2010)

Detailed reference viewed: 36 (4 UL)
Full Text
Peer Reviewed
See detailSubsumption and Count as Relation in Arguments Ontologies
Boella, Guido; Gabbay, Dov M. UL; Villata, Serena

in Procs. of the 13th International Workshop on Non-Monotonic Reasoning (NMR'10) (2010)

The paper proposes a representation of the subsumption re- lation and of count as conditional in the context of argument ontologies. Starting from the weaker notion of classification represented by the ... [more ▼]

The paper proposes a representation of the subsumption re- lation and of count as conditional in the context of argument ontologies. Starting from the weaker notion of classification represented by the subsumption relation towards the stronger notion of count as, we show how to reason whether an argu- ment is accepted in ontologies involving these two notions. We adopt the methodology of meta-argumentation in order to model the design decisions. Argumentation, being able to handle contradictory information, is proposed as technique to reason about count as for ontology interoperability. [less ▲]

Detailed reference viewed: 20 (0 UL)
Full Text
See detailL'objectivité dans la théorie d'Umberto Eco
Treleani, Matteo UL

in Travaux en cours. Revue de l'UFR LAC. Université Paris Diderot (2010)

Detailed reference viewed: 39 (0 UL)
Full Text
Peer Reviewed
See detailOn numerical integration of discontinuous approximations in partition of unity finite elements
Natarajan, S.; Bordas, Stéphane UL; Mahapatra, D. R.

in IUTAM Bookseries (2010), 19

This contribution presents two advances in the formulation of discontinuous approximations in finite elements. The first method relies on Schwarz-Christoffel mapping for integration on arbitrary polygonal ... [more ▼]

This contribution presents two advances in the formulation of discontinuous approximations in finite elements. The first method relies on Schwarz-Christoffel mapping for integration on arbitrary polygonal domains [1]. When an element is split into two subdomains by a piecewise continuous discontinuity, each of these polygonal domains is mapped onto a unit disk on which cubature rules are utilized. This suppresses the need for the usual two-level isoparametric mapping. The second method relies on strain smoothing applied to discontinuous finite element approximations. By writing the strain field as a non-local weighted average of the compatible strain field, integration on the surface of the finite elements is transformed into boundary integration, so that the usual subdivision into integration cells is not required, an isoparametric mapping is not needed and the derivatives of the shape (enrichment) functions do not need to be computed. Results in fracture mechanics and composite materials are presented and both methods are compared in terms of accuracy and simplicity. The interested reader is referred to [1,6,13] for more details and should contact the authors to receive a version of the MATLAB codes used to obtain the results herein. © 2010 Springer Science+Business Media B.V. [less ▲]

Detailed reference viewed: 176 (1 UL)
Full Text
Peer Reviewed
See detailExtending a key-chain based certified email protocol with transparent TTP
Liu, Z.; Pang, Jun UL; Zhang, C.

in Proc. 6th IEEE/IFIP Symposium on Trusted Computing and Communications (2010)

Detailed reference viewed: 93 (0 UL)
Full Text
Peer Reviewed
See detailTowards E-Conviviality in Web-Based Systems by considering the Wisdom of Crowds
Kaufmann, Sascha UL; Schommer, Christoph UL

in Abstract book of 2nd Conference on Agents and Artificial Intelligence (ICAART 2010) (2010)

Detailed reference viewed: 42 (7 UL)
Full Text
Peer Reviewed
See detailDetermination of the rheological characteristics of Self-Compacting Concrete at different temperatures
Waldmann, Danièle UL; Weisheit, Sandro UL

in Abstract book of 3rd Congress of the International Federation for Structural Concrete (fib) (2010)

Detailed reference viewed: 59 (6 UL)
Full Text
Peer Reviewed
See detailAmbient Vibration and Forced Excitation Tests of a Composite Bridge: Environmental influences and nonlinear effects on the dynamic properties
Bungard, Volker UL; Mahowald, Jean UL; Waldmann, Danièle UL et al

in Proceedings of the International Conference on Noise and Vibration Engineering, ISMA (2010)

Detailed reference viewed: 74 (19 UL)
Full Text
Peer Reviewed
See detailA discrete approach to thermal conversion of solid fuel by the discrete particle method (dpm)
Peters, Bernhard UL; Dziugys, Algis; Navakas, Robertas

in Abstract book of 10th International Conference Modern Building Materials, Structures and Techniques (2010)

Detailed reference viewed: 100 (14 UL)
See detailIntergenerational value transmission within the family and the role of emotions.
Albert, Isabelle UL; Michels, Tom; Ferring, Dieter UL

in Proceedings of 5th Congress of the European Society of Family Relations 2010 (2010)

The intergenerational transmission of values from one generation to the next is a crucial task of the family as primary socialization agent. Aspects that characterize the family context (such as parenting ... [more ▼]

The intergenerational transmission of values from one generation to the next is a crucial task of the family as primary socialization agent. Aspects that characterize the family context (such as parenting, communication style, relationship quality) may serve as transmission belts enhancing (or hindering) the intrafamilial transfer of values. Although the importance of emotions of parents and their children has been acknowledged, their role in the transmission process has only rarely been addressed empirically. For several reasons one can assume that emotions have an essential function in the transfer of values from parents to their offspring. As demonstrated by cognitive psychology, contents that are linked to emotions are remembered more easily. Further, one can assume that the valence of emotions influences the internalization process: While positive emotions towards the transmitter should enhance attention to value messages and willingness of the recipient to take over these values, negative emotions should reduce the recipient’s readiness to take over specific values. The aim of the present study is to investigate in how far value similarity between mothers and adolescents is linked to their positive or negative emotions towards each other. A sample of N = 95 mother-adolescent dyads living in Luxembourg was studied by means of a standardized questionnaire measuring four general value orientations, namely self-direction, hedonism, conformism and benevolence as well as positive and negative emotions of both mothers and adolescents. Results indicate that positive emotions of adolescents towards their mothers were related with higher value similarity, whereas negative and ambivalent emotions were related to lower value similarity. Also for mothers, negative emotions were related to lower value similarity with their children. Results are discussed with respect to intrafamilial processes underlying the regulation of intergenerational relations and the transmission of values. [less ▲]

Detailed reference viewed: 85 (13 UL)
Full Text
Peer Reviewed
See detailCoalition Formation via Negotiation in Multiagent Systems with Voluntary Attacks
Boella, Guido; Gabbay, Dov M. UL; Perotti, Alan et al

in Procs. of the 22th Belgian-Netherlands Conference on Artificial Intelligence (BNAIC'10) (2010)

Argumentation networks are put forward by Dung considering only one kind of attack among argu- ments. In this paper, we propose to extend Dung’s argumentation framework with voluntary attacks in the ... [more ▼]

Argumentation networks are put forward by Dung considering only one kind of attack among argu- ments. In this paper, we propose to extend Dung’s argumentation framework with voluntary attacks in the context of multiagent systems, characterized by the possibility of the attacker to decide whether to attack or not. Enabling voluntary attacks impacts on the acceptability of the arguments in the framework, and therefore it becomes subject of debate between the agents. Agents can negotiate about which subset of voluntary attacks can be raised, and they form coalitions after the negotiation process. [less ▲]

Detailed reference viewed: 12 (0 UL)
Full Text
Peer Reviewed
See detailCombining chondrocyte gene expression, literature mining and pathway/network analysis to extract biological insights from small-scale microarray data
Glaab, Enrico UL; Clutterbuck, L.; Bacardit, J. et al

in Osteoarthritis and Cartilage (2010), 18(2), 169

Detailed reference viewed: 50 (0 UL)
Full Text
See detailPeut-on mesurer la qualité de la justice?
Ravarani, Georges UL

in Publication de la Cour de justice de l'Union européenne (2010)

Detailed reference viewed: 29 (0 UL)
See detailWho will care for me?
Ferring, Dieter UL

in Trends in Family Caregiving in European Countries. Invited Keynote at the 20th Alzheimer Europe Conference „Facing dementia together“. Luxembourg, Luxembourg. (2010)

Detailed reference viewed: 19 (0 UL)
Full Text
Peer Reviewed
See detailOn the structure of a new superhard hexagonal carbon phase
Zhang, Bin; Liang, Yongcheng; Guo, Zaoyang et al

in AIP Conference Proceedings (2010), 1233(PART 1), 489-493

Molecular dynamics simulations show that graphite will transform into a superhard phase under cold compression. Recent experiments show that there is a sp 3-rich hexagonal carbon polymorph (a 0=2.496 Å, c ... [more ▼]

Molecular dynamics simulations show that graphite will transform into a superhard phase under cold compression. Recent experiments show that there is a sp 3-rich hexagonal carbon polymorph (a 0=2.496 Å, c 0=4.123Å) with a bulk modulus of 447 GPa and average density about 3.6g/cm 3, restricted to the space group of P-62c (No. 190), but the detailed atomic structure was not obtained [Wang et al., P. Natl. Acad. Sci. 101(38), 13699]. Here we set carbon atoms occupying P-62c 4f Wyckoff positions of P-62c, and calculate the total energy of the different structures changing the internal parameter z by first-principles calculations using geometry optimisation algorithm in CASTEP code, which shows that the stable structures in energy (at local minimum points) are hexagonal carbon (z=1/4) and hexagonal diamond (z=1/16). The calculated mechanical properties and lattice parameters of the structure P-62c 4f (z=1/4) are in good agreement with those of the new hexagonal carbon proposed by Wang et al., which indicates that the atomic structure is a possible candidate. © 2010 American Institute of Physics. [less ▲]

Detailed reference viewed: 84 (0 UL)
Full Text
Peer Reviewed
See detailModal Access Control Logic - Axiomatization, Semantics and FOl Theorem Proving
Genovese, Valerio UL; Rispoli, Daniele; Gabbay, Dov M. UL et al

in STAIRS 2010 (2010)

We present and study a Modal Access Control Logic (M-ACL) to specify and reason about access control policies. We identify canonical properties of well-known access control axioms. We provide a Hilbert ... [more ▼]

We present and study a Modal Access Control Logic (M-ACL) to specify and reason about access control policies. We identify canonical properties of well-known access control axioms. We provide a Hilbert-style proof-system and we prove soundness, completeness and decidability of the logic. We present a sound and complete embedding of Modal Access Control Logic into First-Order Logic. We show how to use SPASS theorem prover to reason about access control policies expressed as formulas of Modal Access Control Logic, and we compare our logic with existing ones. [less ▲]

Detailed reference viewed: 36 (0 UL)
Full Text
Peer Reviewed
See detailSupport in Abstract Argumentation
Boella, Guido UL; Gabbay, Dov M. UL; van der Torre, Leon UL et al

in Proceedings of the Third International Conference on Computational Models of Argument (COMMA'10) (2010)

n this paper, we consider two drawbacks of Cayrol and Lagasque-Schiex's meta-argumentation theory to model bipolar argumentation frameworks. We consider first the “lost of admissibility” in Dung's sense ... [more ▼]

n this paper, we consider two drawbacks of Cayrol and Lagasque-Schiex's meta-argumentation theory to model bipolar argumentation frameworks. We consider first the “lost of admissibility” in Dung's sense and second, the definition of notions of attack in the context of a support relation. We show how to prevent these drawbacks by introducing support meta-arguments. Like the model of Cayrol and Lagasque-Schiex, our formalization confirms the use of meta-argumentation to reuse Dung's properties. We do not take a stance towards the usefulness of a support relation among arguments, though we show that if one would like to introduce them, it can be done without extending Dung's theory. Finally, we show how to use meta-argumentation to instantiate an argumentation framework to represent defeasible support. In this model of support, the support relation itself can be attacked. [less ▲]

Detailed reference viewed: 132 (0 UL)
Full Text
Peer Reviewed
See detailPrivacy Policies with Modal Logic: The Dynamic Turn
Aucher, Guillaume UL; Boella, Guido; van der Torre, Leon UL

in DEON (2010)

Privacy policies are often defined in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies defined in terms of permitted and ... [more ▼]

Privacy policies are often defined in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies defined in terms of permitted and obligatory knowledge. With this new approach, we do not have to specify the permissions and prohibitions of all message combinations explicitly. To specify and reason about such privacy policies, we extend a multi-modal logic introduced by Cuppens and Demolombe with update operators modeling the dynamics of both knowledge and privacy policies. We show also how to determine the obligatory messages, how to express epistemic norms, and how to check whether a situation is compliant with respect to a privacy policy.We axiomatize and prove the decidability of our logic. [less ▲]

Detailed reference viewed: 89 (0 UL)
See detailStatus of the full scale component testing of the KERENA ™ emergency condenser and Containment Cooling Condenser
Leyer, Stephan UL; Maisberger, F.; Herbst, V. et al

in International Congress on Advances in Nuclear Power Plants 2010, ICAPP 2010 (2010), 2

KERENA™ (SWR1000) is an innovative boiling water reactor concept with passive safety systems. In order to verify the functionality of the passive components requiredfor the transient and accident ... [more ▼]

KERENA™ (SWR1000) is an innovative boiling water reactor concept with passive safety systems. In order to verify the functionality of the passive components requiredfor the transient and accident management, the test facility INKA (Integral-Versuchstand Karlstein) is build in Karlstein (Germany). The key elements of the KERENA™ passive safety concept -the Emergency Condenser, the Containment Cooling Condenser, the Passive Core Flooding System and the Passive Pressure Pulse Transmitter - will be tested at INKA. The Emergency Condenser system transfer heaty form the reactor pressure vessel to the core flooding pools of the containment. The heat introduced into the containment during accidents will be transferred to the main heat sink for passive accident management (Shielding/Storage Pool) via the Containment Cooling Condensers. Therefore both systems are part of the passive cooling chain connecting the heat source RPV (Reactor Pressure Vessel) with the heat sink. At the INKA test facility both condensers are tested in full scale setup, in order to determine the heat transfer capacity as function of the main input parameters. For the EC these are the RPV pressure, the RPV water level, the containment pressure and the water temperature of the flooding pools. For the Containment Cooling Condenser the heat transfer capacity is a function of the containment pressure, the water temperature of the Shielding/Storage Pooland the fraction of non -condensable gases in the containment. The status of the test program and the available test data will be presented. An outlook of the future test of the passive core flooding system and the integral system test including also the passive pressure pulse transmitter will be given. [less ▲]

Detailed reference viewed: 117 (10 UL)
Full Text
Peer Reviewed
See detailStrategic Games and Truly Playable Effectivity Functions
Goranko, V.; Jamroga, Wojciech UL; Turrini, Paolo UL

in Proceedings of EUMAS2010 (2010)

Detailed reference viewed: 58 (2 UL)
Full Text
Peer Reviewed
See detailDesign model for sfrc flat slabs with openings in the column area
Michels, Julien UL; Waldmann, Danièle UL

in Abstract book of 3rd Congress of the International Federation for Structural Concrete (fib) (2010)

Detailed reference viewed: 61 (9 UL)
See detailPerceived parenting and ambivalence in parent-child relations in adolescence and emerging adulthood.
Albert, Isabelle UL; Michels, Tom; Ferring, Dieter UL

in XIIth EARA Conference (2010)

The concept of ambivalence describes dynamics of simultaneous attraction and repulsion in families. Especially transitions during the life span are likely to elicit ambivalence in intergenerational ... [more ▼]

The concept of ambivalence describes dynamics of simultaneous attraction and repulsion in families. Especially transitions during the life span are likely to elicit ambivalence in intergenerational relations. Adolescence and emerging adulthood are phases of important transformations in parent-child relations entailing an array of developmental tasks, such as identity development and the dual process of individuation, which may give rise to ambivalences and tensions in family relations. Assuming different stages in the individuation process, parental control might be perceived differently by adolescents and emerging adults: while younger children may perceive parental control as kind of support and care, it may be experienced more as intrusion when autonomy demands of adolescents increase. The aims of the present study were to analyse a) the relation of perceived parenting and ambivalence towards parents with age, b) the interrelation of perceived parenting and feelings of ambivalence, as well as c) the moderating role developmental phase may have for the relation between perceived parenting and ambivalence. In the present study, a sample of N = 233 participants between the age of 14 and 25 (M = 19.00, SD = 2.69) living in Luxembourg were interviewed with regard to their relations towards their mothers and their fathers. The standardized questionnaire measured perceived parenting on three dimensions (maternal resp. paternal support, behavioural control and psychological control); further, ambivalence towards mothers and fathers was assessed with a newly developed questionnaire including contradictory emotional, motivational, and behavioural tendencies. Results showed that behavioural control was reduced with growing age; moreover, ambivalence was related positively to psychological control and behavioural control. Developmental phase moderated the relation between behavioural control and feelings of ambivalence towards mothers: This relation showed to be stronger for older participants. Results will be discussed with respect to intrafamilial processes underlying the regulation of ambivalence within the individuation process. [less ▲]

Detailed reference viewed: 76 (4 UL)
Full Text
Peer Reviewed
See detailNumber of maximal partial clones
Schölzel, Karsten UL

in Proceedings of The International Symposium on Multiple-Valued Logic (2010)

All maximal partial clones on 4-element, 5-element, and 6-element sets have been found and are compared to the case of maximal clones of all total functions. Due to the large numbers of maximal partial ... [more ▼]

All maximal partial clones on 4-element, 5-element, and 6-element sets have been found and are compared to the case of maximal clones of all total functions. Due to the large numbers of maximal partial clones other criteria to check for generating systems of all partial functions are analyzed. [less ▲]

Detailed reference viewed: 69 (0 UL)
Full Text
Peer Reviewed
See detailDeontic Redundancy: A Fundamental Challenge for Deontic Logic
van der Torre, Leon UL

in DEON (2010)

To decide which norms can be removed from a system, we need to know when a norm is redundant. After shifting the focus of attention in deontic logic from detachment of obligations and permissions to ... [more ▼]

To decide which norms can be removed from a system, we need to know when a norm is redundant. After shifting the focus of attention in deontic logic from detachment of obligations and permissions to deontic redundancy, I discuss in this paper five benchmark examples of deontic redundancy in reasoning about permissions, intermediate concepts and constitutive norms, deontic dilemmas, temporal deontic reasoning and contrary-to-duty reasoning. Then I discuss those benchmark examples in four formal approaches to deontic reasoning: traditional model logic, dynamic approaches, violation oriented or diagnostic systems, and imperativist or norm based approaches. [less ▲]

Detailed reference viewed: 83 (2 UL)
Full Text
Peer Reviewed
See detailA classification of partial Boolean clones
Lau, Dietlinde; Schölzel, Karsten UL

in Proceedings of The International Symposium on Multiple-Valued Logic (2010)

We study intervals I(A) of partial clones whose total functions constitute a (total) clone A. In the Boolean case, we provide a complete classification of such intervals (according to whether the interval ... [more ▼]

We study intervals I(A) of partial clones whose total functions constitute a (total) clone A. In the Boolean case, we provide a complete classification of such intervals (according to whether the interval is finite or infinite), and determine the size of each finite interval I(A). [less ▲]

Detailed reference viewed: 80 (0 UL)
See detail"Differdange, terres rouges ou l'ancrage identitaire chez Jean Portante"
Raus, Tonia

in Mutations et perspectives du bassin minier (2010), 1

Detailed reference viewed: 1 (0 UL)
Full Text
Peer Reviewed
See detailSteigerung der Energieeffizienz kommunaler Kläranlagen in Rheinland-Pfalz
Hansen, Joachim UL; Wu, K.; Hobus, I. et al

in Proceedings of the Conference ‚DWA-Energietage‘ (2010)

Im Rahmen eines Projektes mit dem Titel ‚Energie- und Kostenoptimierung durch den Ein-satz von Semizentralen Schlammbehandlungscentern’ -Förderung durch das rheinland-pfälzische Ministerium für Umwelt ... [more ▼]

Im Rahmen eines Projektes mit dem Titel ‚Energie- und Kostenoptimierung durch den Ein-satz von Semizentralen Schlammbehandlungscentern’ -Förderung durch das rheinland-pfälzische Ministerium für Umwelt, Forsten und Verbraucherschutz (2008-2009) - wurden Ansätze zum integrierten Betrieb räumlich nahe zueinander liegender aerober Stabilisierungs- und Faulungsanlagen entwickelt. In den Stabilisierungsanlagen wird das Schlammalter gezielt reduziert und somit auf das Ziel ‚aerobe Schlammstabilisierung’ verzichtet, der nicht stabilisierte Schlamm wird dem Faulbehälter der Faulungsanlage zugeführt. Die beschriebene Konzeption weist im Falle der untersuchten Anlagen Grolsheim und Welgesheim erhebliche energetische Vorteile auf. Eine Umsetzung der Konzeption auf andere Anwendungsfälle ist im Einzelfall zu prüfen. De nachfolgenden Ausführungen beruhen im Wesentlichen auf dem Vortrag ‚Energie- und Kostenoptimierung durch Schaffung von Semizentralen Schlammbehandlungscentern‘ (Hansen et al. 2009) [less ▲]

Detailed reference viewed: 71 (1 UL)