9 research outputs found

    Self Reordering for security in generalized english auctions (GEA)

    No full text

    Self Reordering for security in generalized english auctions (GEA)

    Get PDF

    Proceedings of the 6th International Conference EEDAL'11 Energy Efficiency in Domestic Appliances and Lighting

    Get PDF
    This book contains the papers presented at the sixth international conference on Energy Efficiency in Domestic Appliances and Lighting. EEDAL'11 was organised in Copenhagen, Denmark in May 2011. This major international conference, which was previously been staged in Florence 1997, Naples 2000, Turin 2003, London 2006, Berlin 200h9a s been very successful in attracting an international community of stakeholders dealing with residential appliances, equipment, metering liagnhdti ng (including manufacturers, retailers, consumers, governments, international organisations aangde ncies, academia and experts) to discuss the progress achieved in technologies, behavioural aspects and poliacineds , the strategies that need to be implemented to further progress this important work. Potential readers who may benefit from this book include researchers, engineers, policymakers, and all those who can influence the design, selection, application, and operation of electrical appliances and lighting.JRC.F.7-Renewable Energ

    Multidisciplinary Aspects of Design. Objects, Processes, Experiences and Narratives

    Get PDF
    The book addresses the contemporary perspectives of design on a multidisciplinary through 4 key words: objects, processes, experiences, narratives. It aims at further investigating the role of the archive for the design culture reflecting on “Memory and Future” and “The Tools of Design and the Language of Representation”, and also themes that are yet at the center of the multidisciplinary debate on design. The tenets of the conference (OPEN: objects, processes, experiences and narratives) will hence also correspond to the book sections: -Objects. Design as focused on the object, on its functional and symbolic dimension, and at the same time on the object as a tool for representing cultures; -Processes. The designer’s self-reflective moment which is focused on the analysis and on the definition of processes in various contexts, spanning innovation, social engagement, reflection on emergencies or forecasting. -Experiences. Design as a theoretical and practical strategy aimed at facilitating experiential interactions among people, people and objects or environments. -Narratives. Making history, representing through different media, archiving, narrating, and exhibiting design

    BEHAVIOUR AND PARTICIPATION OF COMMUNITY ORGANIZATIONS AS LOCAL ACTORS IN POLICY IMPLEMENTATION IN DENPASAR

    Get PDF
    This research is entitled “Behaviour and Participation of Local Community Organizations as Local Actors in Policy Implementation in Denpasar” Denpasar city as one of a Metropolis City is a dense city with a high heterogeneity with all of its development policy problems. A development that can fulfill the citizen needs is a demand that can not be postponed again in this area of regional autonomy. However, in practice, this often encountered many obstacles and problems. Ideally, regional development should involve community participation and based on the neds of citizen itself. Observation methods used by the autor is qualitative descriptive method. The data source obtained from aspect of place, person, and paper. Data collection techniques include observation, interviews, and documentation. The role and participation of community organizations in the city of Denpasar in policy implementation in the city of Denpasar is required by the government to create a synergy of development in the city of Denpasar. Each actor reveals that there is still a lot of the problems that exist in the city of Denpasar, its because Denpasar itself which is now evolving into a dense city with large numbers of immigrants, with all of that problems it really needs synergy between the parties in order to solve it. Based on this observation, as a form of the problematic solution that there are methods of public organizations participation is one that is expected to be implemented. The most expected to be implemented. The most expected participation of actors involved in a variety of policy implementation in the city of Denpasar is the public organization

    DIGITAL LOCAL GOVERNMENT

    Get PDF
    Digital system with its programssuch website, SMS center, e- paper, one stop permit service, electronic identity card,e-planning, e-budgeting, e-procurement, ewarehouse can enhance regional budget managementsystem, legal assurance and order to rules of lawfor local government apparatuses in perfomingtheir duties, with the digital system, effectiveness and efficiency in works can be enhanced too. Digital system that gives transparence space at last can enhance responses of the apparatuse, the society as the sovereignty holder are also given the same space equality in gaining services from the local government apparatuses

    Diagnostic distribué de systèmes respectant la confidentialité

    Get PDF
    Dans cette thèse, nous nous intéressons à diagnostiquer des systèmes intrinsèquement distribués (comme les systèmes pairs-à-pairs) où chaque pair n'a accès qu'à une sous partie de la description d'un système global. De plus, en raison d'une politique d'accès trop restrictive, il sera pourra qu'aucun pair ne puisse expliquer le comportement du système global. Dans ce contexte, le challenge du diagnostic distribué est le suivant: expliquer le comportement global d'un système distribué par un ensemble de pairs ayant chacun une vision limitée, tout comme l'aurait fait un unique pair diagnostiqueur ayant, lui, une vision globale du système.D'un point de vue théorique, nous montrons que tout nouveau système, logiquement équivalent au système pair-à-pairs initialement observé, garantit que tout diagnostic local d'un pair pourra être prolongé par un diagnostic global (dans ce cas, le nouveau système est dit correct pour le diagnostic distribué).Nous montrons aussi que si ce nouveau système est structuré (c-à-d: il contient un arbre couvrant pour lequel tous les pairs contenant une même variable forme un graphe connecté) alors il garantit que tout diagnostic global pourra être retrouvé à travers un ensemble de diagnostics locaux des pairs (dans ce cas le nouveau système est dit complet pour le diagnostic distribué).Dans un souci de représentation succincte et afin de respecter la politique de confidentialité du vocabulaire de chacun des pairs, nous présentons un nouvel algorithme Token Elimination (TE), qui décompose le système de pairs initial vers un système structuré.Nous montrons expérimentalement que TE produit des décompositions de meilleurs qualité (c-à-d: de plus petites largeurs arborescentes) que les méthodes envisagées dans un contexte distribué. À partir du système structuré construit par TE, nous transformons chaque description locale en une Forme Normale Disjonctive (FND) globalement cohérente.Nous montrons que ce dernier système garantit effectivement un diagnostic distribué correct et complet. En plus, nous exhibons un algorithme capable de vérifier efficacement que tout diagnostic local fait partie d'un diagnostic minimal global, faisant du système structuré de FNDs un système compilé pour le diagnostic distribué.In this thesis, we focus on diagnosing inherently distributed systems such as peer-to-peer, where each peer has access to only a sub-part of the description of an overall system.In addition, due to a too restrictive access control policy, it can be possible that neither peer nor supervisor is able to explain the behaviour of the overall system.The goal of distributed diagnosis is to explain the behaviour of a distributed system by a set of peers (each having a limited local view) as a single diagnosis engine having a global view of the overall system.First, we show that any new system logically equivalent to the initially observed peer-to-peer setting ensures that all diagnosis of a peer may be extended to a global diagnosis (in this case the new system ensures correctness of the distributed diagnosis).Moreover, we prove that if the new system is structured (i.e.it contains a spanning tree for which all peers containing the same variable form a connected graph) then it ensures that any global diagnosis can be found through a set of local diagnoses (in this case the new system ensures the completeness of the distributed diagnoses).For a succinct representation and in order to comply with the privacy policy of the vocabulary of each peer, we present a new algorithm Token Elimination (TE), which decomposes the original peer system to a structured one.We experimentally show that TE produces better quality decompositions (i.e. smaller tree widths) than proposed methods in a distributed context.From the structured system built by TE, we transform each local description into globally consistent DNF.We demonstrate that the latter system is correct and complete for the distributed diagnosis.Finally, we present an algorithm that can effectively check that any local diagnosis is part of a global minimal diagnosis, turning the structured system of DNFs into a compiled system for distributed diagnosis.PARIS11-SCD-Bib. électronique (914719901) / SudocSudocFranceF
    corecore