Spiking neural P systems: matrix representation and formal verification

YesStructural and behavioural properties of models are very important in development of complex systems and applications. In this paper, we investigate such properties for some classes of SN P systems. First, a class of SN P systems associated to a set of routing problems are investigated through their matrix representation. This allows to make certain connections amongst some of these problems. Secondly, the behavioural properties of these SN P systems are formally verified through a natural and direct mapping of these models into kP systems which are equipped with adequate formal verification methods and tools. Some examples are used to prove the effectiveness of the verification approach.EPSRC research grant EP/R043787/1; DOST-ERDT research grants; Semirara Mining Corp; UPD-OVCRD

Coordination of Mobile Mules via Facility Location Strategies

In this paper, we study the problem of wireless sensor network (WSN) maintenance using mobile entities called mules. The mules are deployed in the area of the WSN in such a way that would minimize the time it takes them to reach a failed sensor and fix it. The mules must constantly optimize their collective deployment to account for occupied mules. The objective is to define the optimal deployment and task allocation strategy for the mules, so that the sensors' downtime and the mules' traveling distance are minimized. Our solutions are inspired by research in the field of computational geometry and the design of our algorithms is based on state of the art approximation algorithms for the classical problem of facility location. Our empirical results demonstrate how cooperation enhances the team's performance, and indicate that a combination of k-Median based deployment with closest-available task allocation provides the best results in terms of minimizing the sensors' downtime but is inefficient in terms of the mules' travel distance. A k-Centroid based deployment produces good results in both criteria.Comment: 12 pages, 6 figures, conferenc

Examining increased flexibility in assessment formats

There have been calls in the literature for changes to assessment practices in higher education, to increase flexibility and give learners more control over the assessment process (Boud and Falchikov 2006; Nicol and MacFarlane-Dick 2006; Taras 2002). This article explores the possibilities of allowing student choice in the format used to present their work, as a starting point for changing assessment, based on recent studies and current examples of flexible assessment practice in Higher Education. The benefits of this flexible assessment format approach are highlighted, along with a discussion of classic assessment considerations such as validity, reliability and marking concerns. The role of technology in facilitating assessment method choice is considered, in terms of new opportunities for providing student choice in the way they evidence their learning and present their work. Considerations for implementing flexible assessment choices into the curriculum are presented, along with a call that further research into such practice is needed to develop a comprehensive set of practical recommendations and best practice for implementation of flexible assessment choice into the curriculum. The article should be of interest to curriculum developers and academics considering implementing changes to the assessment process to increase student ownership and control

Nitric oxide of human colorectal adenocarcinoma cell lines promotes tumour cell invasion

The present study investigates the role of nitric oxide and the involvement of nitric oxide synthase II isoform on the invasion of human colorectal adenocarcinoma cell lines HRT-18 and HT-29. HRT-18 cells, which constitutively express nitric oxide synthase II mRNA were three-fold more invasive in a Matrigel® invasion assay than nitric oxide synthase II mRNA negative HT-29 cells. Treatment of HT-29 cells with the nitric oxide donor Deta NONOate (50 nM) as well as induction of nitric oxide synthase II mRNA and production of endogenous nitric oxide by inflammatory cytokines (IFN-γ and IL-1α) increased the invasiveness of HT-29 cells by approximately 40% and 75%, respectively. In HT-29 cells nitric oxide synthase II mRNA was also induced in co-culture with human monocytes. The invasiveness of HRT-18 cells and stimulated HT-29 cells was partly inhibited by the nitric oxide synthase II inhibitor 1400 W. These results show that nitric oxide increases the invasion of human colorectal adenocarcinoma cell lines HRT-18 and HT-29, and the involvement of nitric oxide synthase II isoform in tumour cell invasion. Therefore, the production of nitric oxide and secretion of pro-inflammatory cytokines by tumour-associated macrophages, which in turn induce nitric oxide synthase II isoform in tumour cells, promotes tumour cell invasiveness

Emerging issues and current trends in assistive technology use 2007-1010: practising, assisting and enabling learning for all

Following an earlier review in 2007, a further review of the academic literature relating to the uses of assistive technology (AT) by children and young people was completed, covering the period 2007-2011. As in the earlier review, a tripartite taxonomy: technology uses to train or practise, technology uses to assist learning and technology uses to enable learning, was used in order to structure the findings. The key markers for research in this field and during these three years were user involvement, AT on mobile mainstream devices, the visibility of AT, technology for interaction and collaboration, new and developing interfaces and inclusive design principles. The paper concludes by locating these developments within the broader framework of the Digital Divide

Convergence among Non-Sister Dendritic Branches: An Activity-Controlled Mean to Strengthen Network Connectivity

The manner by which axons distribute synaptic connections along dendrites remains a fundamental unresolved issue in neuronal development and physiology. We found in vitro and in vivo indications that dendrites determine the density, location and strength of their synaptic inputs by controlling the distance of their branches from those of their neighbors. Such control occurs through collective branch convergence, a behavior promoted by AMPA and NMDA glutamate receptor activity. At hubs of convergence sites, the incidence of axo-dendritic contacts as well as clustering levels, pre- and post-synaptic protein content and secretion capacity of synaptic connections are higher than found elsewhere. This coupling between synaptic distribution and the pattern of dendritic overlapping results in ‘Economical Small World Network’, a network configuration that enables single axons to innervate multiple and remote dendrites using short wiring lengths. Thus, activity-mediated regulation of the proximity among dendritic branches serves to pattern and strengthen neuronal connectivity

Proteins That Promote Filopodia Stability, but Not Number, Lead to More Axonal-Dendritic Contacts

Dendritic filopodia are dynamic protrusions that are thought to play an active role in synaptogenesis and serve as precursors to spine synapses. However, this hypothesis is largely based on a temporal correlation between filopodia formation and synaptogenesis. We investigated the role of filopodia in synapse formation by contrasting the roles of molecules that affect filopodia elaboration and motility, versus those that impact synapse induction and maturation. We used a filopodia inducing motif that is found in GAP-43, as a molecular tool, and found this palmitoylated motif enhanced filopodia number and motility, but reduced the probability of forming a stable axon-dendrite contact. Conversely, expression of neuroligin-1 (NLG-1), a synapse inducing cell adhesion molecule, resulted in a decrease in filopodia motility, but an increase in the number of stable axonal contacts. Moreover, RNAi knockdown of NLG-1 reduced the number of presynaptic contacts formed. Postsynaptic scaffolding proteins such as Shank1b, a protein that induces the maturation of spine synapses, increased the rate at which filopodia transformed into spines by stabilization of the initial contact with axons. Taken together, these results suggest that increased filopodia stability and not density, may be the rate-limiting step for synapse formation

Impact of Dendritic Size and Dendritic Topology on Burst Firing in Pyramidal Cells

Neurons display a wide range of intrinsic firing patterns. A particularly relevant pattern for neuronal signaling and synaptic plasticity is burst firing, the generation of clusters of action potentials with short interspike intervals. Besides ion-channel composition, dendritic morphology appears to be an important factor modulating firing pattern. However, the underlying mechanisms are poorly understood, and the impact of morphology on burst firing remains insufficiently known. Dendritic morphology is not fixed but can undergo significant changes in many pathological conditions. Using computational models of neocortical pyramidal cells, we here show that not only the total length of the apical dendrite but also the topological structure of its branching pattern markedly influences inter- and intraburst spike intervals and even determines whether or not a cell exhibits burst firing. We found that there is only a range of dendritic sizes that supports burst firing, and that this range is modulated by dendritic topology. Either reducing or enlarging the dendritic tree, or merely modifying its topological structure without changing total dendritic length, can transform a cell's firing pattern from bursting to tonic firing. Interestingly, the results are largely independent of whether the cells are stimulated by current injection at the soma or by synapses distributed over the dendritic tree. By means of a novel measure called mean electrotonic path length, we show that the influence of dendritic morphology on burst firing is attributable to the effect both dendritic size and dendritic topology have, not on somatic input conductance, but on the average spatial extent of the dendritic tree and the spatiotemporal dynamics of the dendritic membrane potential. Our results suggest that alterations in size or topology of pyramidal cell morphology, such as observed in Alzheimer's disease, mental retardation, epilepsy, and chronic stress, could change neuronal burst firing and thus ultimately affect information processing and cognition