![]() ; ; Bordas, Stéphane ![]() in PROCEEDINGS OF THE ASME PRESSURE VESSELS AND PIPING CONFERENCE - 2008, VOL 6, PT A AND B (2009) The extended element-free Galerkin (XEFG) method incorporates cracks through partition of unity enrichment of the standard basis functions. Discontinuous functions are added to capture the jump through ... [more ▼] The extended element-free Galerkin (XEFG) method incorporates cracks through partition of unity enrichment of the standard basis functions. Discontinuous functions are added to capture the jump through the crack faces and near-front enrichment is added to capture the asymptotic behaviour in the vicinity of the crack fronts. Depending on the material behaviour, these functions can be of various type. The method can treat initiation, growth and coalescence of cracks seamlessly in both linear elastic and non-linear settings. The method is a powerful tool for modelling and studying crack paths, which are a central feature in the assessment of multiple flaws.The method is applied to the problem of multiple non-aligned flaws in a ferritic plate under cleavage failure. Fracture paths from two nonaligned notches in a plate are modelled. Based on the observations of crack paths the critical flaw alignment distance is established for nonaligned through-wall flaws. [less ▲] Detailed reference viewed: 118 (0 UL)![]() Capozucca, Alfredo ![]() ![]() in Proceedings of the 24th ACM Symposium on Applied Computing (Track on Real-Time Systems) SAC'09 (2009) Coordinated Atomic Actions is a conceptual framework used to increase the reliability (by fault tolerance) of concurrent object-oriented software systems. An extension of this con-ceptual framework to ... [more ▼] Coordinated Atomic Actions is a conceptual framework used to increase the reliability (by fault tolerance) of concurrent object-oriented software systems. An extension of this con-ceptual framework to support the modelling of real-time software systems has been proposed. In this work we present our proposal for improvements of this extension focusing on recovery process optimisation, non-determinism reduction and time-related constructs extension. [less ▲] Detailed reference viewed: 109 (3 UL)![]() Fehlen, Fernand ![]() in Cultural Identities and National Borders (2009) Detailed reference viewed: 141 (2 UL)![]() Thielen, Thomas ![]() ![]() ![]() in Conference & 27. CADFEM Users´ Meeting in Leipzig, November 2009 (2009) Detailed reference viewed: 141 (10 UL)![]() Becker, Sheila ![]() ![]() ![]() in The 11th IFIP/IEEE International Symposium on Integrated Network Management (2009) Detailed reference viewed: 110 (1 UL)![]() Becker, Sheila ![]() ![]() ![]() in Lecture Notes in Computer Science (2009) Detailed reference viewed: 152 (5 UL)![]() Amalio, Nuno ![]() in SECURWARE 2009 (2009) Increasingly, engineers need to approach security and software engineering in a unified way. This paper presents an approach to the formal analysis of security requirements that is based on planning and ... [more ▼] Increasingly, engineers need to approach security and software engineering in a unified way. This paper presents an approach to the formal analysis of security requirements that is based on planning and uses the concept of suspicion to guide the search for threats and security vulnerabilities in requirements. The approach is tested and illustrated by conducting two experiments: one focussing on a system with a confidentiality security property, and another with an integrity security property enforced through the separation of duty principle. The paper shows that suspicion plays an important role in finding vulnerabilities and security threats in requirements. [less ▲] Detailed reference viewed: 98 (1 UL)![]() Baumann, Michèle ![]() ![]() in Sociologie de la Santé (2009) Notre problématique s’inscrit dans l’identification et la compréhension des conséquences que peut avoir la survenue d’un accident cérébro-vasculaire sur la famille et les proches de la personne qui en a ... [more ▼] Notre problématique s’inscrit dans l’identification et la compréhension des conséquences que peut avoir la survenue d’un accident cérébro-vasculaire sur la famille et les proches de la personne qui en a été victime. En effet, l’AVC produit des effets sur l’organisation des relations entre les patients et les aidants, ce réaménagement dépendant en grande partie de la situation antérieure des liens affectifs. La personne atteinte de plein fouet par cet accident n’est pas la seule au centre de cette étude, nous avons fait le choix de privilégier également la personne désignée par le patient comme son « aidant principal ». Au sein des tandems patient-aidant qui partagent désormais le quotidien entaché des conséquences produites par un AVC, s’installe ou non une harmonie en fonction de la manière dont l’évènement est ressenti et intériorisé. La façon dont le patient et l’aidant vivent l’adaptation à cette nouvelle situation et la façon dont les personnes rencontrées réagissent devant les comportements de la personne atteinte font appels ou non à une complicité qui mérite d’être étudiée. Face au retentissement psychologique et social, aux activités culturelles et de loisirs abandonnées ou maintenues, aux aides, services et informations obtenus ou non depuis l’AVC, les objectifs de ce travail ont été de comparer les réponses fournies par les patients et les aidants et d’analyser les domaines dans lesquels elles sont concordantes au sein des diades. [less ▲] Detailed reference viewed: 255 (1 UL)![]() Fehlen, Fernand ![]() ![]() in XIIièmes Journées Internationales de Sociologie du Travail (2009) Detailed reference viewed: 208 (22 UL)![]() ; Schulz, André ![]() in Frontiers in Behavioral Neuroscience (2009) Detailed reference viewed: 62 (0 UL)![]() Ostaszewski, Marek ![]() ![]() in GECCO '09: Proceedings of the 11th Annual conference on Genetic and evolutionary computation (2009) The paper proposes a multiobjective approach to the problem of malicious network traffic classification, with specificity and sensitivity criteria as objective functions for the problem. The ... [more ▼] The paper proposes a multiobjective approach to the problem of malicious network traffic classification, with specificity and sensitivity criteria as objective functions for the problem. The multiobjective version of Gene Expression Programming (GEP) called moGEP is proposed and applied to find proper classifiers in the multiobjective search space. The purpose of the classifiers is to discriminate information about the network traffic obtained from Idiotypic Network-based Intrusion Detection System (INIDS), transformed into time series. The proposed approach is validated using the network traffic simulator ns2. Classifiers of high accuracy are obtained and their diversity offers interesting possibilities to the domain of network security. [less ▲] Detailed reference viewed: 137 (3 UL)![]() Caire, Patrice ![]() ![]() in Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS (2009) We show how to use TROPOS as a design methodology for convivial multi-agent systems. We introduce temporal dependence networks to measure the evolution of conviviality over time, and we compare them to ... [more ▼] We show how to use TROPOS as a design methodology for convivial multi-agent systems. We introduce temporal dependence networks to measure the evolution of conviviality over time, and we compare them to dynamic dependence networks introduced for conviviality masks and internal dynamics. [less ▲] Detailed reference viewed: 110 (3 UL)![]() ; Jamroga, Wojciech ![]() in Proceedings of AAMAS'09 (2009) Detailed reference viewed: 39 (1 UL)![]() ; Jamroga, Wojciech ![]() in Proceedings of AAMAS'09 (2009) Detailed reference viewed: 37 (2 UL)![]() ; Hansen, Joachim ![]() in Proceedings of the IWA Conference ‘Water and Energy 2009’ (2009) The power consumption of municipal and industrial sewage plants has increased over the last decade because of enhanced requirements on nutrient removal. In addition, the cost for external power provision ... [more ▼] The power consumption of municipal and industrial sewage plants has increased over the last decade because of enhanced requirements on nutrient removal. In addition, the cost for external power provision has significantly increased in the last years. The portion of the energy cost today is about 5 to 10 % of the annual cost of wastewater treatment. However, compared with the operational cost of wastewater treatment a much higher portion must be related to power consumption. With the tool of an energy analysis the energy consumption related to wastewater treatment can be efficiently optimized. Energy analyses carried out by the authors on sewage plants in Germany show that an increased energy efficiency of sewage treatment can be achieved. [less ▲] Detailed reference viewed: 122 (7 UL)![]() Schäfer, Markus ![]() in infosteel (2009) Detailed reference viewed: 68 (5 UL)![]() Höppner, Kristina D. C. ![]() ![]() ![]() in Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications 2009 (2009) The Bachelor in Educational Sciences at the University of Luxembourg is a four-year study program for students training to become nursery and elementary school teachers in Luxembourg. The program has ... [more ▼] The Bachelor in Educational Sciences at the University of Luxembourg is a four-year study program for students training to become nursery and elementary school teachers in Luxembourg. The program has subscribed to an ICT-enriched study approach, meaning that students and teachers use a variety of (social) media tools for learning as well as for organizational planning. This best practice presentation will show how the tools used are intertwined. Furthermore, the presenters discuss the program's strategy of acquainting students with media tools, the support measures that are in place as well as the students' use and acceptance of ICT. The winter semester 2008/09 was important as the switch was made to a new ePortfolio system and increased inclusion of social media tools, especially with first-year students. The presentation will provide insight into first impressions of this change, touch upon pitfalls, and look at the plans for the coming semesters. [less ▲] Detailed reference viewed: 123 (39 UL)![]() Gallina, Barbara ![]() ![]() ![]() in Abstract book of 33rd Annual IEEE Software Engineering Workshop 2009 (SEW-33) (2009) SPLACID is a semi-formal language conceived for the specification and synthesis of (advanced) transactional models from basic features, such as transaction types and (relaxed) ACID variants. SPLACID is an ... [more ▼] SPLACID is a semi-formal language conceived for the specification and synthesis of (advanced) transactional models from basic features, such as transaction types and (relaxed) ACID variants. SPLACID is an improvement of the ACTA framework offering a well-structured and formal syntax. Neither ACTA nor SPLACID, however, benefit from a formal tool-supported semantics. This paper presents the first step for having a full formal semantics of SPLACID by translation to Alloy. In particular, we present the translation of the SPLACID concepts into Alloy concepts focusing on those concepts pertaining to the structure of a Transactional Model and those characterizing the isolation variant. The Alloy specification obtained by this translation preserve the SPLACID main key-properties, namely, modularity, flexibility and reusability. To support this claim we show how flexible, modular and reusable structures and isolation variants can be obtained in Alloy. Finally, we analyze the flat and nested transactional model structures and the serializability-based isolation variant using the Alloy Analyzer. [less ▲] Detailed reference viewed: 117 (1 UL)![]() Schulz, André ![]() in Frontiers in Behavioral Neuroscience (2009) Detailed reference viewed: 61 (1 UL)![]() Waldmann, Danièle ![]() ![]() ![]() in Concrete 21st Century Superhero (2009) Detailed reference viewed: 87 (17 UL)![]() Peters, Bernhard ![]() in Proceedings of Dagstuhl Seminar (2009) Detailed reference viewed: 79 (1 UL)![]() Boella, Guido ![]() ![]() ![]() in BNAIC 2009: 21th Belgian - Netherlands Conference on Artificial Intelligence (2009) In this paper we first formalize dependence networks that can be automaticaly build to model goalbased relationships among agents. Then, we propose three algorithms to build and check the consistency of a ... [more ▼] In this paper we first formalize dependence networks that can be automaticaly build to model goalbased relationships among agents. Then, we propose three algorithms to build and check the consistency of a dependence network. We start presenting the elements composing our ontology such as agents, goals, skills, dependencies with the addition of the institutional notions of roles, institutional goals, institutional skills. We investigate the reasons behind the possible inconsistencies in building the combined dependence network and we propose an algorithm to check them [less ▲] Detailed reference viewed: 59 (5 UL)![]() Booth, Richard ![]() in Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009) (2009) Detailed reference viewed: 38 (0 UL)![]() ; ; Klein, Jacques ![]() in Abstract book of 8th International Conference on Aspect Oriented Software Development (AOSD.09) (2009) Detailed reference viewed: 140 (6 UL)![]() Boella, Guido ![]() ![]() in Proceedings of COIN (2009) We introduce a new formal approach to social networks in order to distinguish four ways in which coalitions change.First, the agents in the network change. Second, dependencies among the agents change ... [more ▼] We introduce a new formal approach to social networks in order to distinguish four ways in which coalitions change.First, the agents in the network change. Second, dependencies among the agents change, for example due to addition or removal of powers and goals of the agents. Third, norms can introduce normative dependencies for obligations and prohibitions. Fourth, coalitions can change due to internal processes. We propose a number of stability measures to identify each one of the four proposed sources of coalitions ’dynamics and the consequences they induce on the stability of coalitions. [less ▲] Detailed reference viewed: 41 (0 UL)![]() Leyer, Stephan ![]() in International Congress on Advances in Nuclear Power Plants 2009, ICAPP 2009 (2009), 2 [No abstract available] Detailed reference viewed: 82 (5 UL)![]() Lygidakis, Charilaos ![]() in Swiss Medical Weekly (2009), 139(33-34), 57 Aim: To evaluate the potential correlation between depression and type 2 diabetes mellitus (DM2) in patients aged 65 years and over accessing primary health care (PHC) units. Methods: During the last ... [more ▼] Aim: To evaluate the potential correlation between depression and type 2 diabetes mellitus (DM2) in patients aged 65 years and over accessing primary health care (PHC) units. Methods: During the last semester of 2008, 109 elderly patients with DM2 (mean age 74.86, sd = 5.72) were examined by GP trainees in PHC practices. Demographics, BMI, waist circumference, fasting blood glucose (FBG), HbA1c and medicine treatment were queried. Dietary and drug therapy compliance and weekly physical activity in recreational time were investigated; expended energy was measured using Metabolic Equivalents (METs). Depression was assessed with the 15-item Geriatric Depression Scale (GDS-15) and mental health was evaluated with the General Health Questionnaire – 12 (GHQ-12). For comparison purposes, a short interview comprising the GDS-15 and GHQ-12 was performed in 52 non diabetic, randomly selected patients. The two groups were properly adjusted for sex and age. Results: Moderate (GDS-15 scores 6–8) and severe depression (GDS-15 >9) were found in 33.9% and 17.4% of the diabetics respectively. Female patients seemed to have better FBG values (r = 0.33, p = 0.006) and more controlled HbA1c (<7%, r = 0.37, p = 0.003). However, only males with regular HbA1c showed significantly lower BMI (Mdn = 27.72, U = 128.00, p <0.001) and waist circumference (Mean = 91.84 cm, t = 3.32, p = 0.002). Diabetics without depression signs were triply likely to do moderate weekly exercise compared with depressed ones (OR = 3.01, 95%CI = 1.36–6.57). Lower GDS-15 and GHQ-12 scores were correlated with more scarce therapy compliance (r = 0.46, p <0.001; r = 0.43, p <0.001 respectively). Diabetics seemed to be 2.83 times more likely to suffer from moderate depression compared with the control patients (95%CI = 1.19–6.68). Conclusions: The findings of our study suggest that moderate depression is a common underlying comorbidity in DM2, affecting aspects of its management such as the physical activity and compliance of medical therapy. [less ▲] Detailed reference viewed: 147 (2 UL)![]() ; Schulz, André ![]() in Psychophysiology (2009), 46(Supplement 1), 77-77 Detailed reference viewed: 60 (1 UL)![]() Boella, Guido ![]() ![]() ![]() in Normative Multi-agent Systems (2009) In this paper we introduce and discuss ten guidelines for the use of normative systems in computer science. We adopt a multiagent sys- tems perspective, because norms are used to coordinate, organize ... [more ▼] In this paper we introduce and discuss ten guidelines for the use of normative systems in computer science. We adopt a multiagent sys- tems perspective, because norms are used to coordinate, organize, guide, regulate or control interaction among distributed autonomous systems. The first six guidelines are derived from the computer science literature. From the so-called ‘normchange’ definition of the first workshop on nor- mative multiagent systems in 2005 we derive the guidelines to motivate which definition of normative multiagent system is used, to make explicit why norms are a kind of (soft) constraints deserving special analysis, and to explain why and how norms can be changed at runtime. From the so-called ‘mechanism design’ definition of the second workshop on nor- mative multiagent systems in 2007 we derive the guidelines to discuss the use and role of norms as a mechanism in a game-theoretic setting, clarify the role of norms in the multiagent system, and to relate the no- tion of “norm” to the legal, social, or moral literature. The remaining four guidelines follow from the philosophical literature: use norms also to resolve dilemmas, and in general to coordinate, organize, guide, regulate or control interaction among agents, distinguish norms from obligations, prohibitions and permissions, use the deontic paradoxes only to illustrate the normative multiagent system, and consider regulative norms in rela- tion to other kinds of norms and other social-cognitive computer science concepts. [less ▲] Detailed reference viewed: 176 (2 UL)![]() Ziegler, Gudrun ![]() in SemLang (2009) Ce document constitue une synthèse des enseignements tirés de l’Université d’été SemLang (Sèvres, 6-10 juillet 2009). Il présente les grandes lignes du projet, la méthodologie utilisée, et propose une ... [more ▼] Ce document constitue une synthèse des enseignements tirés de l’Université d’été SemLang (Sèvres, 6-10 juillet 2009). Il présente les grandes lignes du projet, la méthodologie utilisée, et propose une série de recommandations. Celles-ci sont fondées sur les conclusions des conférences et des ateliers, sur l’interaction entre les participants, ainsi que sur le rapport analytique créé par le consortium. [less ▲] Detailed reference viewed: 47 (0 UL)![]() Dorronsoro, Bernabé ![]() ![]() ![]() in Proceedings of national Conference on Metaheuristicas, Algoritmos Evolutivos y Bioinspirados(MAEB'09) (2009) Detailed reference viewed: 219 (9 UL)![]() ; ; Schulz, André ![]() in Psychophysiology (2009), 46(Supplement 1), 77-77 Detailed reference viewed: 76 (0 UL)![]() ; Schulz, André ![]() in Psychophysiology (2009), 46(Supplement 1), 76-77 Detailed reference viewed: 87 (0 UL)![]() Baldoni, Matteo ![]() ![]() ![]() in Proceedings of PROMAS (2009) Organizations and roles are often seen as mental constructs, good to be used during the design phase in Multi Agent Systems, but they have also been considered as first class citizens in MAS, when ... [more ▼] Organizations and roles are often seen as mental constructs, good to be used during the design phase in Multi Agent Systems, but they have also been considered as first class citizens in MAS, when objective coordination is needed. Roles facilitate the coordination of agents inside an organization, and they give new abilities in the context of organizations, called powers, to the agents which satisfy the necessary requirements to play them. No general purpose programming languages for multiagent systems offer primitives to program organizations and roles as instances existing at runtime, so, in this paper, we propose our extension of the Jade framework, with Java primitives to program organizations structured in roles, and to enable agents to play roles in organizations. We provide classes and protocols which enable an agent to enact a new role in an organization, to interact with the role by invoking the execution of powers, and to receive new goals to be fulfilled. Roles and organizations can be on a different platform with respect to the role players, and communication is protocol-based. Since they can have complex behaviours, they are implemented by extending the Jade agent class. Our aim is to give to programmers a middle tier, built on the Jade platform, useful to solve with minimal implementative effort many coordination problems, and to offer a first, implicit, management of norms and sanctions. [less ▲] Detailed reference viewed: 121 (0 UL)![]() Savvaidis, Dimitrios ![]() ![]() in Abstract paper of 4th Saar-Lor-Lux Colloquium in Mechanics (2009) Detailed reference viewed: 87 (8 UL)![]() ; ; et al in Psychophysiology (2009), 46(Supplement 1), 77-77 Detailed reference viewed: 129 (0 UL)![]() ; Schulz, André ![]() in Psychophysiology (2009), 46(Supplement 1), 115-115 Detailed reference viewed: 74 (1 UL)![]() Kaufmann, Sascha ![]() ![]() in Abstract book of 4th ICITST09 - International Conference for Internet Technology and Secured Transactions (2009) Detailed reference viewed: 114 (2 UL)![]() Aleluia Da Silva Reis, Lara ![]() in Monitoring and Management of Air Pollution (2009) Detailed reference viewed: 140 (2 UL)![]() Leist, Anja ![]() ![]() in Gerontologist (2009), 49(S2), 8-8 Detailed reference viewed: 91 (4 UL)![]() Caire, Patrice ![]() ![]() in Normative Multi-agent Systems (2009) Detailed reference viewed: 72 (3 UL)![]() Glodt, Christian ![]() ![]() ![]() in International Conference on Object-Oriented Programming, Systems, Languages, and Applications (2009) Detailed reference viewed: 150 (5 UL)![]() Albert, Isabelle ![]() ![]() in Abstract paper of the 63rd Annual Scientific Meeting of the Gerontological Society of America (GSA), New Orleans (USA). (2009) Detailed reference viewed: 80 (7 UL)![]() Dorronsoro, Bernabé ![]() ![]() ![]() in Abstract book of 2009 IEEE Congress on Evolutionary Computation (2009) Detailed reference viewed: 271 (16 UL)![]() Odenbreit, Christoph ![]() in Proceedings of IABSE Conference (2009) In the last years mixed structures in steel and concrete gain more and more importance. These structures combine the advantages of steel constructions with the advantages of the concrete. The typical slab ... [more ▼] In the last years mixed structures in steel and concrete gain more and more importance. These structures combine the advantages of steel constructions with the advantages of the concrete. The typical slab construction for those buildings insists in a concrete slab, which is carried by a steel beam. Both elements together result in the composite beam. The composite beam is connected to the column with the composite connection. The presented analysing model is valid for fixed, pinned and even for semi-rigid composite connections. It is related to the model by the study group COST C1. The Model helps to determine computational values for the stiffness, the load-carrying capacities and the rotation ability of composite joints. The model is based on the evaluation of 56 experiments at composite connections. [less ▲] Detailed reference viewed: 43 (7 UL)![]() Boella, Guido ![]() ![]() in Proceedings of IAT 2009: Procs. of IEEE/WIC/ACM International Conference on Intelligent Agent Technology (2009) In this paper we introduce a theory of meta-argumentation, by using Dung’s theory of abstract argumentation to reason about itself. Meta-arguments are generated from atomic arguments, and extensions of ... [more ▼] In this paper we introduce a theory of meta-argumentation, by using Dung’s theory of abstract argumentation to reason about itself. Meta-arguments are generated from atomic arguments, and extensions of acceptable meta-arguments are based on Dung’s argumentation semantics. To illustrate our theory, we show how to represent Toulmin schemes in this theory by introducing meta-arguments using the Caminada labeling, and meta-arguments for support [less ▲] Detailed reference viewed: 103 (1 UL)![]() Waldmann, Danièle ![]() ![]() ![]() in Concrete 21st Century Superhero (2009) Detailed reference viewed: 59 (5 UL)![]() ; ; Moein, Mahsa ![]() in Advances in Intelligent and Soft Computing (2009), 56 Detailed reference viewed: 121 (0 UL)![]() ![]() Martin, Romain ![]() ![]() ![]() in XXIX International Congress of Psychology (2008) Detailed reference viewed: 83 (4 UL)![]() Odenbreit, Christoph ![]() in 7th International Conference on Steel Bridges (2008) Detailed reference viewed: 44 (4 UL)![]() ; van der Torre, Leon ![]() in Proceedings of the 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2008) (2008) Coalitions are usually defined with respect to a static framework of dependencies among agents. In this paper we propose a dynamic view of dependence networks to enable dynamic coalitions which can self ... [more ▼] Coalitions are usually defined with respect to a static framework of dependencies among agents. In this paper we propose a dynamic view of dependence networks to enable dynamic coalitions which can self adapt to a situation by exploiting the possibility to trigger other agentspsila goals. [less ▲] Detailed reference viewed: 102 (1 UL)![]() Pigozzi, Gabriella ![]() ![]() ![]() in Proceedings of the Ninth International Meeting of the Society for Social Choice and Welfare, SCW'08 (2008) One of the better studied properties for operators in judgment aggregation is independence, which essentially dictates that the collective judgment on one issue should not depend on the individual ... [more ▼] One of the better studied properties for operators in judgment aggregation is independence, which essentially dictates that the collective judgment on one issue should not depend on the individual judgments given on some other issue(s) in the same agenda. Independence is a desirable property for various reasons, but unfortunately it is too strong, as, together with mild additional conditions, it implies dictatorship. We propose here a weakening of independence, named agenda separability and show that this property is discriminant, i.e., some judgment aggregation rules satisfy it, others do not. [less ▲] Detailed reference viewed: 55 (1 UL)![]() ; ; et al in Proceedings of the International Conference on Electronic Commerce in the 21th Century (ECIC-2008) (2008) Detailed reference viewed: 54 (1 UL)![]() Michels, Tom ![]() ![]() ![]() in Abstract paper of the 20th Biennial ISSBD Meeting. Würzburg, Germany. (2008) Detailed reference viewed: 56 (1 UL)![]() Hoffmann, Martine ![]() ![]() in Abstract paper of the ESAW-ADAGE project meeting. Cardiff, Wales (2008) Detailed reference viewed: 49 (2 UL)![]() ; Baumann, Michèle ![]() in Psychology and Health (2008), 23(suppl. 1), 242 is a public health problem. This study assessed social disparities in alcohol abuse among young adults and whether they were mediated by psychological and social characteristics. Methods: 1,905 people ... [more ▼] is a public health problem. This study assessed social disparities in alcohol abuse among young adults and whether they were mediated by psychological and social characteristics. Methods: 1,905 people aged 18-34, randomly selected in north-eastern France completed a post-mailed questionnaire. The data were analyzed via logistic models. Findings: Alcohol abuse was common: 18.7%. Compared with upper/intermediate professionals, significant OR adjusted for sex were found for manual workers (159, 95%CI 1.05-2.42) and employees (1.55, 1.02-2.37) but not for other professionals, students, housewives, and unemployed people. Adjusting for all confounders did not reduce the OR for manual workers (1.48) and employees (1.56). The significant confounders were: sex, living alone, poor health, hearing/cognitive disabilities, being not-sociable, aggressive, and low income (1.28≤OR≤4.25). Discussion: There are social disparities in alcohol abuse among young adults, but they are slightly mediated by individual confounders. [less ▲] Detailed reference viewed: 108 (3 UL)![]() Albert, Isabelle ![]() ![]() in Abstract paper of the Workshop “Well-being of the elderly”, ESF Forward Looks project “Ageing, Health and Pensions in Europe” (2008) Detailed reference viewed: 62 (1 UL)![]() Albert, Isabelle ![]() ![]() in Abstract paper of the 4th Congress of the European Society on Family Relations, Jyväskylä, Finland. (2008) Detailed reference viewed: 76 (1 UL)![]() ![]() Roomp, Kirsten ![]() in Journal of Veterinary Internal Medicine (2008), 22(3), 790 Detailed reference viewed: 48 (1 UL)![]() ![]() Roomp, Kirsten ![]() in Journal of Veterinary Internal Medicine (2008), 22(3), 790-791 Detailed reference viewed: 73 (3 UL)![]() ![]() Roomp, Kirsten ![]() in Journal of Veterinary Internal Medicine (2008), 22(3), 791 Detailed reference viewed: 40 (1 UL)![]() ![]() Pigozzi, Gabriella ![]() ![]() ![]() in Proceedings of the Eighth International Conference on Logic and the Foundations of Game and Decision Theory, LOFT 2008 (2008) Judgment aggregation is a formal theory reasoning about how a group of agents can aggregate individual judgments on connected propositions into a collective judgment on the same propositions. Three ... [more ▼] Judgment aggregation is a formal theory reasoning about how a group of agents can aggregate individual judgments on connected propositions into a collective judgment on the same propositions. Three procedures for successfully aggregating judgments sets are: premise-based procedure, conclusion-based procedure and distance-based merging. The conclusion-based procedure has been little investigated because it pro- vides a way to aggregate the conclusions, but not the premises, thus it outputs an incomplete judgment set. The goal of this paper is to present a conclusion-based procedure outputting complete judgment sets. [less ▲] Detailed reference viewed: 57 (0 UL)![]() ![]() ; van der Torre, Leon ![]() in Proceedings of Eighteenth European Conference on Artificial Intelligence (ECAI2008) (2008) Various tasks need to consider preferences in a dynamic way. We start by discussing several possible meanings of preference change, and then focus on the one we think is the most natural: preferences ... [more ▼] Various tasks need to consider preferences in a dynamic way. We start by discussing several possible meanings of preference change, and then focus on the one we think is the most natural: preferences evolving after some new fact has been learned. We define a family of such preference change operators, parameterized by a revision function on epistemic states and a semantics for interpreting preferences over formulas. We list some natural properties that this kind of preference change should fulfill and give conditions on the revision function and the semantics of preference for each of these properties to hold. [less ▲] Detailed reference viewed: 56 (0 UL)![]() ![]() Pigozzi, Gabriella ![]() ![]() in Prague International Colloquium: Logic of change, change of logic, LOCCOL'08 (2008) Detailed reference viewed: 45 (4 UL)![]() ![]() Grossi, Davide ![]() ![]() ![]() in Proceedings of the 3rd International Workshop on Normative Multiagent Systems (NorMAS'08) (2008) Detailed reference viewed: 54 (1 UL)![]() ![]() ; van der Torre, Leon ![]() in Proceedings of Eighteenth European Conference on Artificial Intelligence (ECAI2008) (2008) Detailed reference viewed: 42 (1 UL)![]() ![]() ; ; et al in Proceedings of WLIAMAS 2008 (2008) Inferences about speech acts are often conditional, nonmonotonic, and involve the issue of time. Most agent communication languages, however, ignore these issues, due to the difficulty to combine them in ... [more ▼] Inferences about speech acts are often conditional, nonmonotonic, and involve the issue of time. Most agent communication languages, however, ignore these issues, due to the difficulty to combine them in a single formalism. This paper addresses such issues in defeasible logic, and shows how to express a semantics for ACLs in order to make nonmonotonic inferences on the basis of speech acts. [less ▲] Detailed reference viewed: 144 (7 UL)![]() Perrouin, Gilles ![]() ![]() ![]() in Abstract book of 12th International Software Product Line Conference (SPLC2008) (2008) Product derivation, i.e. reusing core assets to build products, did not receive sufficient attention from the product-line community, yielding a frustrating situation. On the one hand, automated product ... [more ▼] Product derivation, i.e. reusing core assets to build products, did not receive sufficient attention from the product-line community, yielding a frustrating situation. On the one hand, automated product derivation approaches are inflexible; they do not allow products meeting unforeseen, customer-specific, requirements. On the other hand, approaches that consider this issue do not provide adequate methodological guidelines nor automated support. This paper proposes an integrated product derivation approach reconciling the two views to offer both flexibility and automation. First, we perform a pre-configuration of the product by selecting desired features in a generic feature model and automatically composing their related product-line core assets. Then, we adapt the pre-configured product to its customer-specific requirements via derivation primitives combined by product engineers and controlled by constraints that flexibly set product line boundaries. Our process is supported by the Kermeta metamodeling environment and illustrated through an example. [less ▲] Detailed reference viewed: 145 (5 UL)![]() ![]() ; van der Torre, Leon ![]() in Abstract book of 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 1 (2008) Partial implication semantics in the context of a background theory has been introduced to formalize partial goal satisfaction in the context of beliefs. In this paper, we introduce strong partial ... [more ▼] Partial implication semantics in the context of a background theory has been introduced to formalize partial goal satisfaction in the context of beliefs. In this paper, we introduce strong partial implication prohibiting redundancies and weak partial implication allowing side effects, we study their semantic as well as complexity properties, and we apply the three notions of partial implication to goal change in the context of beliefs. [less ▲] Detailed reference viewed: 61 (1 UL)![]() ; Klein, Jacques ![]() in Abstract book of 7th IEEE International Conference on Composition Based Software Systems (2008) Large models for complex systems can be decomposed in separate pieces corresponding to different perspectives on the system. This decomposition allows the modeller to check properties locally on some ... [more ▼] Large models for complex systems can be decomposed in separate pieces corresponding to different perspectives on the system. This decomposition allows the modeller to check properties locally on some aspects of the system before considering the global complexity of the model. In this paper we consider two types of decomposition: according to the concerns identified in the requirements and according to structural and behavioural perspectives. Once the separate models are available and have been checked separately, they have to be composed to check global properties. In this work, we propose automatic composition operators for symmetric and asymmetric concern models, each concern being modelled from a structural and behavioural point of view. [less ▲] Detailed reference viewed: 127 (1 UL)![]() ![]() Genovese, Valerio ![]() ![]() in Proceedings of the 3rd International Workshop on Normative Multiagent Systems, NorMAS'08 (2008) The organization metaphor is often used in the design and implementation of multiagent systems. However, few agent programming languages provide facilities to define them. Several frameworks are proposed ... [more ▼] The organization metaphor is often used in the design and implementation of multiagent systems. However, few agent programming languages provide facilities to define them. Several frameworks are proposed to coordinate MAS with organizations, but they are not programmable with general purpose languages. In this paper we extend the JADE framework with primitives to program in Java organizations structured in roles and to enable agents to play roles in organizations. Roles facilitate the coordination of agents inside an organization and give new abilities in the context of organizations, called powers, to the agents which satisfy the requirements necessary to play the roles. As primitives to program organizations and roles we provide classes and protocols which enable an agent to enact a new role in an organization and to interact with the role by invoking the execution of powers, and to receive new goals to be fulfilled. Roles have state and behaviour, thus, they are instances of classes and are strictly connected with the organization offering them. Since roles and organizations can be on a different platform with respect to the role player, the communication with them happens via protocols. Moreover, since, besides using protocols, roles and organizations can have complex behaviours, they are implemented by extending the JADE agent class. [less ▲] Detailed reference viewed: 53 (0 UL)![]() ![]() Brucks, Claudine ![]() ![]() ![]() in Abstract book of 4th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy'08). ECAI 2008. (2008) Detailed reference viewed: 69 (6 UL)![]() ![]() Melakessou, Foued ![]() ![]() ![]() in Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications AICCSA'08 (2008) Detailed reference viewed: 136 (0 UL)![]() ![]() Hilker, Michael ![]() ![]() in Abstract book of 3rd International Workshop on Theory of Computer Viruses (TCV 2008) (2008) Detailed reference viewed: 64 (3 UL)![]() ![]() Ostaszewski, Marek ![]() ![]() in IEEE World Congress on Computational Intelligence, WCCI 2008, Congress on Evolutionary Computation CEC 2008, Honk-Kong, June (2008) In this paper we present a novel intrusion detection architecture based on Idiotypic Network Theory (INIDS), that aims at dealing with large scale network attacks featuring variable properties, like ... [more ▼] In this paper we present a novel intrusion detection architecture based on Idiotypic Network Theory (INIDS), that aims at dealing with large scale network attacks featuring variable properties, like Denial of Service (DoS). The proposed architecture performs dynamic and adaptive clustering of the network traffic for taking fast and effective countermeasures against such high-volume attacks. INIDS is evaluated on the MITpsila99 dataset and outperforms previous approaches for DoS detection applied to this set. [less ▲] Detailed reference viewed: 136 (0 UL)![]() ![]() van Deursen, Ton ![]() ![]() in Proceedings of the 1st Workshop on Advances in RFID, AIR'08 (2008) Detailed reference viewed: 105 (1 UL)![]() Golkowska, Katarzyna ![]() ![]() in Poster presentation at Biogas 2008 - Innovationskongress (2008) Detailed reference viewed: 53 (1 UL)![]() ![]() Jury, C. ![]() in SETAC Europe 18th annual meeting (2008) Detailed reference viewed: 43 (0 UL)![]() ![]() ; Sorger, Ulrich ![]() in Proceedings of 8th ITG Conference on Speech Communication (2008) A common technique to deploy linear prediction to non-stationary signals is time segmentation and local analy-sis. In [1], the temporal changes of linear prediction coef?cients (LPCs) are modeled as a ... [more ▼] A common technique to deploy linear prediction to non-stationary signals is time segmentation and local analy-sis. In [1], the temporal changes of linear prediction coef?cients (LPCs) are modeled as a Fourier series. This allows analysis and optimization of larger speech segments, i.e., virtually global analysis. Possibly resulting non-minimum-phase prediction error polynomials are subject to all-pass ?ltering. We show that introducing the stabilizing ?lter does not deteriorate the overall predictor performance. [less ▲] Detailed reference viewed: 67 (2 UL)![]() ![]() Bauer, J. ![]() ![]() in DVM-Tag 2008- PROCEEDINGS (2008) Detailed reference viewed: 86 (0 UL)![]() ![]() Pigozzi, Gabriella ![]() ![]() ![]() in Annales du LAMSADE (2008) Judgment aggregation (JA) studies how to aggregate individual judgments to form collective decisions. Examples are expert panels, legal courts, boards, and councils. The problems investigated in this new ... [more ▼] Judgment aggregation (JA) studies how to aggregate individual judgments to form collective decisions. Examples are expert panels, legal courts, boards, and councils. The problems investigated in this new field are relevant and common to many situations. Nevertheless, the existing procedures are idealized and, likewise the related problems of preference aggregation in social choice theory, the field is plagued by impossibility theorems. In this paper, we extend standard JA in order to offer a more realistic framework and to escape the impossibility results. We propose to distinguish between abstainers and neutral judgment as well as to model the notion of confidence a group member may have in the decision rule by assigning to each criterion a normalized weight. We then show how this new framework may help us to avoid indecision in most cases. [less ▲] Detailed reference viewed: 88 (1 UL)![]() ![]() ; Sorger, Ulrich ![]() in Proceedings of IEEE International Conference on Acoustics, Speech, and Signal Processing (2008) A common technique to deploy linear prediction to non-stationary signals is time segmentation and local analysis. Variations of a process within such a segment cause inaccuracies. In this paper, we model ... [more ▼] A common technique to deploy linear prediction to non-stationary signals is time segmentation and local analysis. Variations of a process within such a segment cause inaccuracies. In this paper, we model the temporal changes of linear prediction coef?cients (LPCs) as a Fourier series. We obtain a compact description of the vocal tract model limited by the predictor order and the maximum Doppler frequency. Filter stability is guaranteed by all-pass ?ltering, deploying the human ear?s insensitivity to absolute phase. The periodicity constraint induced by the Fourier series is counteracted by oversampling in the Doppler domain. With this approach, the number of coef?cients required for the vocal tract modeling is signi?cantly reduced compared to a LPC system with block-wise adaptation while exceeding its prediction gain. As a by-product it is found that the Doppler frequency of the vocal tract is in the order of 10 Hz. A generalization of the algorithm to an auto-regressive moving average model with time-correlated ?lter coef?cients is straight forward. [less ▲] Detailed reference viewed: 132 (1 UL)![]() ![]() ; Sorger, Ulrich ![]() in Proceedings of 5th International Symposium on Turbo Codes & Related Topics (2008) The convergence of iterative decoding schemes is considered. The class of dually coupled codes is recalled, being a super class to both Turbo and LDPC codes. It is proven that the output L-values of a ... [more ▼] The convergence of iterative decoding schemes is considered. The class of dually coupled codes is recalled, being a super class to both Turbo and LDPC codes. It is proven that the output L-values of a Turbo decoder cannot grow to in?nity, while those of an LDPC decoder can. Finally, a new decoder parameter is introduced by which the convergence behavior can be controlled. [less ▲] Detailed reference viewed: 150 (1 UL)![]() Petersen, Sibylle ![]() in International Journal of Psychology (2008) Detailed reference viewed: 55 (0 UL)![]() Petersen, Sibylle ![]() in International Journal of Psychology (2008), 43(3-4), 329-329 Detailed reference viewed: 41 (0 UL)![]() Petersen, Sibylle ![]() in Psychophysiology (2008), 45 Detailed reference viewed: 68 (0 UL)![]() Petersen, Sibylle ![]() in Personality and Individual Differences (2008), 46 Detailed reference viewed: 44 (0 UL)![]() ; ; Sorger, Ulrich ![]() in Proceedings of IEEE International Symposium on Information Theory (2008) Decisions on sources with memory transmitted over independent channels can be taken by employing trellis calculations. In this paper, it is shown that for a certain class of functions their moments can be ... [more ▼] Decisions on sources with memory transmitted over independent channels can be taken by employing trellis calculations. In this paper, it is shown that for a certain class of functions their moments can be computed in the trellis, too. This is done by generalizing the forward/backward recursion known from the BCJR algorithm [1]. In analogy to the symbol probabilities, by introducing a constraint at a certain depth in the trellis we obtain symbol moments. These moments are required for an ef?cient implementation of the discriminated belief propagation algorithm in [2], and can furthermore be utilized to compute conditional entropies in the trellis. The moment computation algorithm has the same asymptotic complexity as the BCJR algorithm. It is applicable to any commutative semi-ring, thus also providing a generalization of the Viterbi algorithm [3]. [less ▲] Detailed reference viewed: 139 (3 UL)![]() van Deursen, Ton ![]() in Electronic Notes in Theoretical Computer Science (2008), 1997(2), 159-167 Detailed reference viewed: 86 (1 UL)![]() Albert, Isabelle ![]() ![]() in XIth EARA Conference. Turin, Italy (2008) Detailed reference viewed: 64 (1 UL)![]() ![]() Varrette, Sébastien ![]() ![]() ![]() in International Conference on Metaheuristics and Nature Inspired Computing (META'08) (2008) Detailed reference viewed: 95 (0 UL)![]() ![]() ; ; et al in European Psychiatry (2008), 23(Supplement 2), 206-206 Detailed reference viewed: 127 (0 UL)![]() ; Busana, Gilbert ![]() ![]() in Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications 2008 (2008), 2008(1), 5065-5070 Educational multimedia focuses traditionally on the design of computer aided learning environments. Evaluation has to be viewed as an essential part of the learning environment. Beyond opportunities ... [more ▼] Educational multimedia focuses traditionally on the design of computer aided learning environments. Evaluation has to be viewed as an essential part of the learning environment. Beyond opportunities provided by its computerization (behaviours tracking, richer interactions, etc.), Computer Based Assessment provides teachers a measurement instrument where their students are put together with larger groups of students on the same assessment scale, using a unique competency model. It provides feedback to teachers that enable them to early detect shortcomings of their courses, pedagogical approach. ICT provides in this case a flexible way for the results collection, feedback reporting raising strengths and weaknesses, assurance of anonymity, data privacy. Moreover, it would give decision makers of the educational system information on the educational system steering efficiency. This paper describes ongoing assessment based on the TAO platform (http://www.tao.lu) with feedback to teachers done in Luxembourg. [less ▲] Detailed reference viewed: 101 (0 UL)![]() Leyer, Stephan ![]() in International Conference on Advances in Nuclear Power Plants, ICAPP 2008 (2008), 1 The SWR 1000 is an innovative boiling water reactor concept with passive safety systems. In order to verify the functionality of the passive components required for the transient and accident management ... [more ▼] The SWR 1000 is an innovative boiling water reactor concept with passive safety systems. In order to verify the functionality of the passive components required for the transient and accident management, the test facility INKA (Integral-Versuchstand Karlstein) is build up in Karlstein (Germany). The INKA test facility is designed to test the full scaled Emergency and Containment Cooling Condenser under steady state conditions as well as to simulate different postulated SWR 1000 transients and Loss of Coolant Accidents in a down scaled setup. The goal of the experiments is to obtain the power characteristics of the components and to demonstrate the ability of the passive safety systems to transfer the plant into a safe and stable state in case of a transient or LOCA. In this paper the INKA test facility setup including the tested components and the vessels, simulating the SWR 1000 containment will be described. [less ▲] Detailed reference viewed: 96 (0 UL)![]() ![]() Poillot, Elise ![]() in Droit & Patrimoine (2008) Detailed reference viewed: 75 (6 UL)![]() Hale, Jack ![]() in ASME International Mechanical Engineering Congress and Exposition, Proceedings (2008), 8 PART A Reverse osmosis and nanofiltration membranes remove colloids, macromolecules, salts, bacteria and even some viruses from water. In crossflow filtration, contaminated water is driven parallel to the ... [more ▼] Reverse osmosis and nanofiltration membranes remove colloids, macromolecules, salts, bacteria and even some viruses from water. In crossflow filtration, contaminated water is driven parallel to the membrane, and clean permeate passes through. A large pressure gradient exists across the membrane, with permeate flow rates two to three orders of magnitude smaller than that of the crossflow. Membrane filtration is hindered by two mechanisms, concentration polarization and caking. During filtration, the concentration of rejected particles increases near the membrane surface, forming a concentration polarization layer. Both diffusive and convective transport drive particles back into the bulk flow. However, the increase of the apparent viscosity in the concentration polarization layer hinders diffusion of particles back into the bulk and results in a small reduction in permeate flux. Depending on the number and type of particles present in the contaminated water, the concentration polarization will either reach a quasi-steady state or particles will begin to deposit onto the membrane. In the later case, a cake layer eventually forms on the membrane, significantly reducing the permeate flux. Contradictive theories suggest that the cake layer is either a porous solid or a very viscous (yield stress) fluid. New and refined models that shed light on these theories are presented. Copyright © 2007 by ASME. [less ▲] Detailed reference viewed: 323 (0 UL)![]() ; Mauw, Sjouke ![]() in Fifth Annual IEEE Consumer Communications & Networking Conference 2008 (CCNC'08) (2008) Detailed reference viewed: 111 (1 UL)![]() Waltering, Markus ![]() ![]() ![]() in International Modal Analysis Conference, IMAC-XXVI (2008) Detailed reference viewed: 90 (19 UL)![]() ![]() ; Poncelet, Débora ![]() in SRA 2008 Biennial Meeting (2008) Detailed reference viewed: 45 (3 UL)![]() Krolak-Schwerdt, Sabine ![]() ![]() in International Journal of Psychology (2008), 43 Detailed reference viewed: 70 (7 UL) |
||