Abstract delta modelling

Article / Letter to editorLeiden Inst Advanced Computer Science

Dual identities in fractional difference calculus within Riemann

We Investigate two types of dual identities for Riemann fractional sums and differences. The first type relates nabla and delta type fractional sums and differences. The second type represented by the Q-operator relates left and right fractional sums and differences. These dual identities insist that in the definition of right fractional differences we have to use both the nabla and delta operators. The solution representation for higher order Riemann fractional difference equation is obtained as well

Formal Modeling of Connectionism using Concurrency Theory, an Approach Based on Automata and Model Checking

This paper illustrates a framework for applying formal methods techniques, which are symbolic in nature, to specifying and verifying neural networks, which are sub-symbolic in nature. The paper describes a communicating automata [Bowman & Gomez, 2006] model of neural networks. We also implement the model using timed automata [Alur & Dill, 1994] and then undertake a verification of these models using the model checker Uppaal [Pettersson, 2000] in order to evaluate the performance of learning algorithms. This paper also presents discussion of a number of broad issues concerning cognitive neuroscience and the debate as to whether symbolic processing or connectionism is a suitable representation of cognitive systems. Additionally, the issue of integrating symbolic techniques, such as formal methods, with complex neural networks is discussed. We then argue that symbolic verifications may give theoretically well-founded ways to evaluate and justify neural learning systems in the field of both theoretical research and real world applications

Modelling Oscillator synchronisation during vertebrate axis segmentation

he somitogenesis clock regulates the periodicity with which somites form in the posterior pre-somitic mesoderm. Whilst cell heterogeneity results in noisy oscillation rates amongst constituent cells, synchrony within the population is maintained as oscillators are entrained via juxtracine signalling mechanisms. Here we consider a population of phase-coupled oscillators and investigate how biologically motivated perturbations to the entrained state can perturb synchrony within the population. We find that the ratio of mitosis length to clock period can influence levels of desynchronisation. Moreover, we observe that random cell movement, and hence change of local neighbourhoods, increases synchronisation