IFIP Open Access Digital Library
Not a member yet
22614 research outputs found
Sort by
Flexible k-anonymity Scheme Suitable for Different Scenarios in Social Networks
No full textPart 4: Recommendation and Social ComputingInternational audienceSocial networks not only help expand interpersonal interactions, enable data analysis, and implement intelligent recommendations, but also can deeply examine social structures and dynamic changes between individuals, making them an indispensable part of contemporary society. However, malicious entities pose a significant threat to user identity and relationship information within social networks, raising concerns about privacy and security issues. Although existing k-anonymity schemes provide certain privacy protection, they lack the flexibility to adjust the intensity of privacy protection according to specific scenarios and user preferences, thus seriously compromising the utility of anonymized data. Based on the isomorphic algorithm, this paper proposes a new structural anonymity algorithm called α-partial isomorphic anonymity (α-PIA) to meet the privacy protection and data usage requirements in different scenarios of social networks. By capturing graph structure features at different levels to calculate the similarity between nodes, α-PIA can improve clustering quality. Extensive experiments are carried out based on two public datasets. Experimental results show that compared with similar schemes, α-PIA achieves better results in terms of information loss, average clustering coefficient and average shortest path length and better balances the privacy protection and practicality of graph data
Online Learning in Varying Feature Spaces with Informative Variation
No full textPart 1: Machine LearningInternational audienceMost conventional literature on online learning implicitly assumes a static feature space. However, in real-world applications, the feature space may vary over time due to the emergence of new features and the vanishing of outdated features. This phenomenon is referred to as online learning with Varying Feature Space (VFS). Recently, there has been increasing attention towards exploring this online learning paradigm. However, none of the existing approaches have taken into account the potentially informative information conveyed by the presence or absence (i.e., variation in this paper) of each feature. This indicates that the existence of certain features in the VFS can be correlated with the class labels. If properly utilized for the learning process, such information can potentially enhance predictive performance. To this end, we formally define and present a learning framework to address this specific learning scenario, which we refer to as Online learning in Varying Feature space with Informative Variation (abbreviated as OVFIV). The framework aims to answer two key questions: how to learn a model that captures the association between the existence of features and the class labels, and how to incorporate this information into the prediction process to improve performance. The validity of our proposed method is verified through theoretical analyses and empirical studies conducted on 17 datasets from diverse fields
Consumer Engagement Potentials in the Digitalization Process of Power System
No full textPart 2: Digital TransformationInternational audienceRecently different studies discussed the importance of consumer engagement in the power system. Since the power system is undergoing digitalization by harnessing the capabilities of digital technologies for consumers, it triggered our curiosity to understand the role of new actors referred to as smart service providers in building consumer engagement. Therefore, this paper explores consumer engagement potentials via the digitalization of power systems by centering on the development of a smart service provider as a case in Sweden. Our analysis uncovers three types of engagement potentials: Exclusive, connective, and inclusive. These types highlight the evolution from early technology adoption focused on individual benefits, towards a more inclusive model fostering collective action and sustainability in the energy sector. Our results illustrate the dynamic interaction between smart service providers, consumers, and the wider energy grid showcasing the multifaceted nature of consumer engagement. The implication of our result provides insights for policymakers and power system stakeholders in shaping strategies for inclusive and sustainable energy transitions
The Readiness of the Public Sector to Implement AI: A Government-Specific Framework
No full textPart 4: AI in GovernmentInternational audienceThe use of Artificial Intelligence (AI) systems in the provision of public services has increased considerably. AI is allegedly the main technology that can support the government’s digital transformation agenda. However, in practice, many government organizations still struggle to implement AI successfully, and research on the factors influencing governments’ readiness to integrate AI is lacking. This study develops a conceptual framework containing specific factors influencing governments’ readiness to implement AI. The framework comprises factors concerning data, technology, people, organization, environment, and public values. Through a systematic literature review synthesizing 42 articles, we identified 18 generic factors, 21 AI-specific factors, and 14 AI/government-specific factors. We conclude that readiness factors change throughout the stages of AI use in government, as the stage of planning and developing AI in government organizations is associated with readiness factors different from the stage of implementing AI. To our knowledge, this study is among the first to outline specific factors that characterize the stages of AI implementation in government
Interaction Techniques for Remote Maintenance in an AR Shared Environment
No full textPart 2: Late-Breaking ResultsInternational audienceIn today’s world, the importance of remote collaboration for maintenance scenarios is strongly increasing. Especially in the industrial context where machinery and other objects have to be maintained, traditional collaboration tools such as video conferencing systems are not helpful enough to communicate and interact about situation-specific spatial information. In this work, we identify and discuss current challenges in enhancing communication and interaction for mobile augmented reality (AR) based collaboration approaches. To address the identified challenges we introduce a mobile AR solution that integrates various features like voice communication, text chat, screen share, AR annotations, and AR animations to enhance the task of remote collaboration between an on-site technician and a remote expert. Based on a coffee machine maintenance example scenario we have conducted a user study and compared the benefits and drawbacks of different interaction techniques in our mobile AR collaboration solution
A Critical Examination of UCD4D Studies
No full textPart 3: PhD Student Discussion ForumInternational audienceUser-centred design (UCD) has been developed as a useful and effective design approach for designing interactive systems. However, some researchers point out that UCD methods created for the developed world imply assumptions that make them difficult to use in the developing world. The paper presents a systematic literature review focused on user-centered design initiatives for development in rural areas. A comprehensive analysis of 190 publications was conducted in order to systematically and critically examine existing design studies. The results support results from previous reviews and provide deeper insights into existing challenges and underlying assumptions and attitudes
Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax)
No full textPart 4: Tool PapersInternational audienceWe present language implementation based on a formulation of sessions types for message-passing programs in terms of an adjoint intuitionistic logic. This logical formulation can naturally describe asynchronous concurrency and can handle linear, affine, multicast and replicated types. This allows the resulting language to express a variety of common programming idioms such as service replicable, broadcast communication and message cancellations within the same programming, while still guaranteeing safety. Our tool consists of a type-checker and an interpreter. It is implemented in the Go language, leveraging its concurrency features in order to investigate the implementability of the operational interpretation proposed by the adjoint logic formulation. We assess the performance of our concurrent interpreter and show that it scales adequately to the number of concurrent processes executed
Conceptualisation and (Meta)modelling of Problem-Solution Chains in Early Business-IT Alignment and System Design
No full textPart 3: Process Mining and Business Process AnalysisInternational audienceThe Problem-Solution Chain (PSC) models proposed in this exploratory paper are conceived as describing chains of problem-solution links, thereby modelling specific multi-link ‘problem-solving’ paths, typically (but not exclusively) from a high-level business problem to lower-level functional solution components. The main elements are ‘Problems’ and ‘Solutions’. These may be selected from purpose-made, domain-specific collections of elements. Single ‘Problem-Solution links’ are comparable to compact, high-level descriptions of design patterns and can be directly related to design problem templates as used in Design Science. Coherent collections of such links would resemble boiled-down representations of pattern languages.Instantiations of PSCs for specific situations aim to help conceptualise and discuss pre-architectural, high-level overviews, for example, of (options for) functionalities or applications representing ‘solutions’ for ‘solving’ some business need or capability ‘problem’. A useful metaphor is that PSCs help describe and discuss basic ingredients (related problems and solutions) for some specific situation, which can later (out of scope here) be developed into a recipe (e.g. an enterprise or process architecture and roadmap) and eventually into an actual dish (realisation of the architecture/solution). Thus, PSCs can, for example, be conceptualisations and conversation aids in the early stages of business-IT alignment efforts and system design.This explorative, practice-oriented paper presents our initial conceptualisation of PSCs. We also present a syntax and notation for problem-solution chains as specified for the Simplified Modelling Platform (SMP), and we briefly discuss the possibility of supporting PSC modelling with guided conversations for PSC modelling. We demonstrate and evaluate our proposed concepts by applying them in a single real case. Much work lies ahead
Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking
No full textInternational audienceWe introduce a path-based coalgebraic temporal logic, Coalgebraic CTL (CCTL), as a categorical abstraction of standard Computation Tree Logic (CTL). Our logic can be used to formalize properties of systems modeled as coalgebras with branching. We present the syntax and path-based semantics of CCTL, and show how to encode this logic into a coalgebraic fixpoint logic with a step-wise semantics. Our main result shows that this encoding is semantics-preserving. We also present a polynomial-time model-checking algorithm for CCTL, inspired by the standard model-checking algorithm for CTL but described in categorical terms. A key contribution of our paper is to identify the categorical essence of the standard encoding of CTL into the modal mu-calculus. This categorical perspective also explains the absence of a similar encoding of PCTL (Probabilistic CTL) into the probabilistic mu-calculus
Generation of Pseudo-Isomorphic Cellular Automata
No full textPart 2: Contributed PapersInternational audienceThis paper explores isomorphism in one-dimensional finite cellular automata and introduces a new concept, named pseudo-isomorphism. An approach for generating pseudo-isomorphic cellular automata has been described here, that works by reversing cycles in the transition diagrams. Additionally, a new mathematical notion, named state-neighborhood relation has been introduced and is used to determine if a particular set of cycles in the transition diagram can be reversed to generate a pseudo-isomorphic cellular automaton