Learning about knowledge: A complex network approach

This article describes an approach to modeling knowledge acquisition in terms of walks along complex networks. Each subset of knowledge is represented as a node, and relations between such knowledge are expressed as edges. Two types of edges are considered, corresponding to free and conditional transitions. The latter case implies that a node can only be reached after visiting previously a set of nodes (the required conditions). The process of knowledge acquisition can then be simulated by considering the number of nodes visited as a single agent moves along the network, starting from its lowest layer. It is shown that hierarchical networks, i.e. networks composed of successive interconnected layers, arise naturally as a consequence of compositions of the prerequisite relationships between the nodes. In order to avoid deadlocks, i.e. unreachable nodes, the subnetwork in each layer is assumed to be a connected component. Several configurations of such hierarchical knowledge networks are simulated and the performance of the moving agent quantified in terms of the percentage of visited nodes after each movement. The Barab\'asi-Albert and random models are considered for the layer and interconnecting subnetworks. Although all subnetworks in each realization have the same number of nodes, several interconnectivities, defined by the average node degree of the interconnection networks, have been considered. Two visiting strategies are investigated: random choice among the existing edges and preferential choice to so far untracked edges. A series of interesting results are obtained, including the identification of a series of plateaux of knowledge stagnation in the case of the preferential movements strategy in presence of conditional edges.Comment: 18 pages, 19 figure

Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling

Joint analysis of stressors and ecosystem services to enhance restoration effectiveness

With increasing pressure placed on natural systems by growing human populations, both scientists and resource managers need a better understanding of the relationships between cumulative stress from human activities and valued ecosystem services. Societies often seek to mitigate threats to these services through large-scale, costly restoration projects, such as the over one billion dollar Great Lakes Restoration Initiative currently underway. To help inform these efforts, we merged high-resolution spatial analyses of environmental stressors with mapping of ecosystem services for all five Great Lakes. Cumulative ecosystem stress is highest in near-shore habitats, but also extends offshore in Lakes Erie, Ontario, and Michigan. Variation in cumulative stress is driven largely by spatial concordance among multiple stressors, indicating the importance of considering all stressors when planning restoration activities. In addition, highly stressed areas reflect numerous different combinations of stressors rather than a single suite of problems, suggesting that a detailed understanding of the stressors needing alleviation could improve restoration planning. We also find that many important areas for fisheries and recreation are subject to high stress, indicating that ecosystem degradation could be threatening key services. Current restoration efforts have targeted high-stress sites almost exclusively, but generally without knowledge of the full range of stressors affecting these locations or differences among sites in service provisioning. Our results demonstrate that joint spatial analysis of stressors and ecosystem services can provide a critical foundation for maximizing social and ecological benefits from restoration investments. www.pnas.org/lookup/suppl/doi:10.1073/pnas.1213841110/-/DCSupplementa

Charge-state dependent vibrational relaxation in a single-molecule junction

The interplay between nuclear and electronic degrees of freedom strongly influences molecular charge transport. Herein, we report on transport through a porphyrin dimer molecule, weakly coupled to graphene electrodes, that displays sequential tunneling within the Coulomb-blockade regime. The sequential transport is initiated by current-induced phonon absorption and proceeds by rapid sequential transport via a non-equilibrium vibrational distribution. We demonstrate this is possible only when the vibrational dissipation is slow relative to sequential tunneling rates, and obtain a lower bound for the vibrational relaxation time of 8 ns, a value that is dependent on the molecular charge state.Comment: 8 pages, 7 figure

Pan-viral serology implicates enteroviruses in acute flaccid myelitis.

Since 2012, the United States of America has experienced a biennial spike in pediatric acute flaccid myelitis (AFM)1-6. Epidemiologic evidence suggests non-polio enteroviruses (EVs) are a potential etiology, yet EV RNA is rarely detected in cerebrospinal fluid (CSF)2. CSF from children with AFM (n = 42) and other pediatric neurologic disease controls (n = 58) were investigated for intrathecal antiviral antibodies, using a phage display library expressing 481,966 overlapping peptides derived from all known vertebrate and arboviruses (VirScan). Metagenomic next-generation sequencing (mNGS) of AFM CSF RNA (n = 20 cases) was also performed, both unbiased sequencing and with targeted enrichment for EVs. Using VirScan, the viral family significantly enriched by the CSF of AFM cases relative to controls was Picornaviridae, with the most enriched Picornaviridae peptides belonging to the genus Enterovirus (n = 29/42 cases versus 4/58 controls). EV VP1 ELISA confirmed this finding (n = 22/26 cases versus 7/50 controls). mNGS did not detect additional EV RNA. Despite rare detection of EV RNA, pan-viral serology frequently identified high levels of CSF EV-specific antibodies in AFM compared with controls, providing further evidence for a causal role of non-polio EVs in AFM

The {\eta}'-carbon potential at low meson momenta

The production of $\eta^\prime$ mesons in coincidence with forward-going protons has been studied in photon-induced reactions on $^{12}$C and on a liquid hydrogen (LH$_2$) target for incoming photon energies of 1.3-2.6 GeV at the electron accelerator ELSA. The $\eta^\prime$ mesons have been identified via the $\eta^\prime\rightarrow \pi^0 \pi^0\eta \rightarrow 6 \gamma$ decay registered with the CBELSA/TAPS detector system. Coincident protons have been identified in the MiniTAPS BaF$_2$ array at polar angles of $2^{\circ} \le \theta _{p} \le 11^{\circ}$. Under these kinematic constraints the $\eta^\prime$ mesons are produced with relatively low kinetic energy ($\approx$ 150 MeV) since the coincident protons take over most of the momentum of the incident-photon beam. For the C-target this allows the determination of the real part of the $\eta^\prime$-carbon potential at low meson momenta by comparing with collision model calculations of the $\eta^\prime$ kinetic energy distribution and excitation function. Fitting the latter data for $\eta^\prime$ mesons going backwards in the center-of-mass system yields a potential depth of V = $-$(44 $\pm$ 16(stat)$\pm$15(syst)) MeV, consistent with earlier determinations of the potential depth in inclusive measurements for average $\eta^\prime$ momenta of $\approx$ 1.1 GeV/$c$. Within the experimental uncertainties, there is no indication of a momentum dependence of the $\eta^\prime$-carbon potential. The LH$_2$ data, taken as a reference to check the data analysis and the model calculations, provide differential and integral cross sections in good agreement with previous results for $\eta^\prime$ photoproduction off the free proton.Comment: 9 pages, 13 figures. arXiv admin note: text overlap with arXiv:1608.0607

Molten core debris-sodium interactions: M-Series experiments. [LMFBR]

Five new kilogram-scale experiments have been carried out. Four of the experiments simulated the situation where molten core debris flows from a breached reactor vessel into a dry reactor cavity and is followed by a flow of sodium (Ex-vessel case) and one experiment simulated the flow of core debris into an existing pool of sodium (In-vessel case). The core debris was closely simulated by a thermite reaction which produced a molten mixture of UO/sub 2/, ZrO/sub 2/, and stainless steel. There was efficient fragmentation of the debris in all experiments with no explosive interactions observed

Angle resolved photoemission spectroscopy of Sr_2CuO_2Cl_2 - a revisit

We have investigated the lowest binding-energy electronic structure of the model cuprate Sr_2CuO_2Cl_2 using angle resolved photoemission spectroscopy (ARPES). Our data from about 80 cleavages of Sr_2CuO_2Cl_2 single crystals give a comprehensive, self-consistent picture of the nature of the first electron-removal state in this model undoped CuO_2-plane cuprate. Firstly, we show a strong dependence on the polarization of the excitation light which is understandable in the context of the matrix element governing the photoemission process, which gives a state with the symmetry of a Zhang-Rice singlet. Secondly, the strong, oscillatory dependence of the intensity of the Zhang-Rice singlet on the exciting photon-energy is shown to be consistent with interference effects connected with the periodicity of the crystal structure in the crystallographic c-direction. Thirdly, we measured the dispersion of the first electron-removal states along G->(pi,pi) and G->(pi,0), the latter being controversial in the literature, and have shown that the data are best fitted using an extended t-J-model, and extract the relevant model parameters. An analysis of the spectral weight of the first ionization states for different excitation energies within the approach used by Leung et al. (Phys. Rev. B56, 6320 (1997)) results in a strongly photon-energy dependent ratio between the coherent and incoherent spectral weight. The possible reasons for this observation and its physical implications are discussed.Comment: 10 pages, 8 figure

Simple conceptual graphs revisited: hypergraphs and conjunctive types for efficient projection algorithms

baget2003aInternational audienceSimple Conceptual Graphs (SGs) form the cornerstone for the "Conceptual Graphs" family of languages. In this model, the subsumptio operation is called projection; it is a labelled graphs homomorphism (a NP-hard problem). Designing efficient algorithms to compute projections between two SGs is thus of uttermost importance for the community building languages on top of this basic model. This paper presents some such algorithms, inspired by those developped for Constraint Satisfaction Problems. In order to benefit from the optimization work done in this community, we have chosen to present an alternate version of SGs, differences being the definition of these graphs as hypergraphs and the use of conjunctive types