153 research outputs found

    Zero forcing number, constrained matchings and strong structural controllability

    Full text link
    The zero forcing number is a graph invariant introduced to study the minimum rank of the graph. In 2008, Aazami proved the NP-hardness of computing the zero forcing number of a simple undirected graph. We complete this NP-hardness result by showing that the non-equivalent problem of computing the zero forcing number of a directed graph allowing loops is also NP-hard. The rest of the paper is devoted to the strong controllability of a networked system. This kind of controllability takes into account only the structure of the interconnection graph, but not the interconnection strengths along the edges. We provide a necessary and sufficient condition in terms of zero forcing sets for the strong controllability of a system whose underlying graph is a directed graph allowing loops. Moreover, we explain how our result differs from a recent related result discovered by Monshizadeh et al. Finally, we show how to solve the problem of finding efficiently a minimum-size input set for the strong controllability of a self-damped system with a tree-structure.Comment: Submitted as a journal paper in May 201

    Secure Integration of Wireless Sensor Networks into Applications

    Get PDF
    Wireless sensors are small devices that are able to gather, process and deliver information from a physical environment to an external system. By doing so, they open new applications in different domains, such as healthcare, traffc control, defense and agriculture. The integration of Wireless Sensor Networks (WSN) with Business Applications (BA) raises technical and security related challenges. Existing approaches target technical issues such as interoperability between WSN and BAs or heterogeneity of acquired sensor data. In this work, we start by performing an analysis of the risks that such an integration of WSNs with BAs may present using the NIST SP 800-30 recommendations. We then introduce and analyze an effcient security scheme that does not use complex operations and guarantees end-to-end confidentiality of sensor data. Finally, we provide an in silico proof-of-concept and validate it using a real WSN co-developed with Cisco Systems France

    Strong Structural Controllability and Zero Forcing

    Get PDF
    In this chapter, we study controllability and output controllability of systems defined over graphs. Specifically, we consider a family of state-space systems, where the state matrix of each system has a zero/non-zero structure that is determined by a given directed graph. Within this setup, we investigate under which conditions all systems in this family are controllable, a property referred to as strong structural controllability. Moreover, we are interested in conditions for strong structural output controllability. We will show that the graph-theoretic concept of zero forcing is instrumental in these problems. In particular, as our first contribution, we prove necessary and sufficient conditions for strong structural controllability in terms of so-called zero forcing sets. Second, we show that zero forcing sets can also be used to state both a necessary and a sufficient condition for strong structural output controllability. In addition to these main results, we include interesting results on the controllability of subfamilies of systems and on the problem of leader selection.</p

    The need for standardisation in life science research - an approach to excellence and trust

    Get PDF
    Today, academic researchers benefit from the changes driven by digital technologies and the enormous growth of knowledge and data, on globalisation, enlargement of the scientific community, and the linkage between different scientific communities and the society. To fully benefit from this development, however, information needs to be shared openly and transparently. Digitalisation plays a major role here because it permeates all areas of business, science and society and is one of the key drivers for innovation and international cooperation. To address the resulting opportunities, the EU promotes the development and use of collaborative ways to produce and share knowledge and data as early as possible in the research process, but also to appropriately secure results with the European strategy for Open Science (OS). It is now widely recognised that making research results more accessible to all societal actors contributes to more effective and efficient science; it also serves as a boost for innovation in the public and private sectors. However for research data to be findable, accessible, interoperable and reusable the use of standards is essential. At the metadata level, considerable efforts in standardisation have already been made (e.g. Data Management Plan and FAIR Principle etc.), whereas in context with the raw data these fundamental efforts are still fragmented and in some cases completely missing. The CHARME consortium, funded by the European Cooperation in Science and Technology (COST) Agency, has identified needs and gaps in the field of standardisation in the life sciences and also discussed potential hurdles for implementation of standards in current practice. Here, the authors suggest four measures in response to current challenges to ensure a high quality of life science research data and their re-usability for research and innovation

    Vulnerability mapping for sustainable hazard mitigation in the city of Bukavu, South Kivu, DRCongo

    Full text link
    This study presents the natural as well as human factors which are responsible for the environmental degradation and the increasing vulnerability of the population of Bukavu to natural hazards. The city of Bukavu is located within the Albertine rift, a region which is prone to seismic activity. Moreover, the accentuated topography, the lithology and climate regime contribute considerably to the occurrence of both geomorphologic and hydroclimatic hazards. Over the last few decades the city has evolved at an exponential pace, without appropriate urban planning. Between 1970 and 2008 the population increased more than four times within a constant area of about 60 km2. The related change in land use has drastically amplified both the frequency and impact of natural hazards in the city. The zones at high risk of mass movements and flooding have been identified and mapped using remote sensing and Geographical Information System (GIS). The changes in land use and population density were also studied, and we propose several approaches to raise the resilience of the population in order to reduce the impact of natural hazards on the city

    Zero forcing propagation time on oriented graphs

    Full text link
    Zero forcing is an iterative coloring procedure on a graph that starts by initially coloring vertices white and blue and then repeatedly applies the following rule: if any blue vertex has a unique (out-)neighbor that is colored white, then that neighbor is forced to change color from white to blue. An initial set of blue vertices that can force the entire graph to blue is called a zero forcing set. In this paper we consider the minimum number of iterations needed for this color change rule to color all of the vertices blue, also known as the propagation time, for oriented graphs. We produce oriented graphs with both high and low propagation times, consider the possible propagation times for the orientations of a fixed graph, and look at balancing the size of a zero forcing set and the propagation time

    Specific gut microbial, biological, and psychiatric profiling related to binge eating disorders: A cross-sectional study in obese patients

    Get PDF
    Background & aimsBinge eating disorder (BED) is a frequent eating disorder associated with obesity and co-morbidities including psychiatric pathologies, which represent a big health burden on the society.The biological processes related to BED remain unknown. Based on psychological testing, anthropometry, clinical biology, gut microbiota analysis and metabolomic assessment, we aimed to examine the complex biological and psychiatric profile of obese patients with and without BED.MethodsPsychological and biological characteristics (anthropometry, plasma biology, gut microbiota, blood pressure) of 101 obese subjects from the Food4Gut cohort were analysed to decipher the differences between BED and Non BED patients, classified based on the Questionnaire for Eating Disorder Diagnosis (Q-EDD). Microbial 16S rDNA sequencing and plasma non-targeted metabolomics (liquid chromatography-mass spectrometry) were performed in a subcohort of 91 and 39 patients respectively.ResultsBED subjects exhibited an impaired affect balance, deficits in inhibition and self-regulation together with marked alterations of eating behaviour (increased emotional and external eating). BED subjects displayed a lower blood pressure and hip circumference. A decrease in Akkermansia and Intestimonas as well as an increase in Bifidobacterium and Anaerostipes characterized BED subjects. Interestingly, metabolomics analysis revealed that BED subjects displayed a higher level of one food contaminants, Bisphenol A bis(2,3-dihydroxypropyl) ether (BADGE.2H(2)O) and a food derived-metabolite the Isovalerylcarnitine.ConclusionsNon-targeted omics approaches allow to select specific microbial genera and two plasma metabolites that characterize BED obese patients. Further studies are needed to confirm their potential role as drivers or biomarkers of binge eating disorder
    • …
    corecore