This paper addresses the hypothesis that during seizures, changes in the dynamics of [Ca] transients caused by saturation of intracellular calcium removal or buffering systems can result in observed alterations of seizure dynamics. Using large neural network models of single compartment neurons,...

This paper describes the application of four evolutionary algorithms to the selection of feature subsets for classification problems. Besides of a simple genetic algorithm (GA), the paper considers three estimation of distribution algorithms (EDAs): a compact GA, an extended compact GA, and the...

This paper describes an approach to the modeling of distributed systems using Dijkstra's Weakest Precondition (WP) method. WP is a general purpose formal method based on standard predicate logic. The distributed algorithm for mutual exclusion in computer networks proposed by Ricart and Agrawala,...

Constant Rank () state machines play an important role in the general structure theory of Finite State Machines. A machine is of constant rank if each input and input-sequence maps the state set onto the same number of next states. -machines are analysed via their sequential closure (semigroup),...

A new queueing model, the MM /GE/c/L G-queue with servers (heterogeneous being more general than homogeneous)is defined, proposed as a model for nodes in communication networks and solved efficiently for steady state probabilities and performance. The earlier queueing models, the MMCPP/GE/c...

One of the most serious challenges that web-service enabled e-marketplaces face is the lack of formal support for expressing service requests against UDDI-resident web-services in order to solve a complex business problem.In this paper we present a web-service request language (XSRL) developed...

Signal detection and pattern recognition for online grouping huge amounts of data and retrospective analysis is becoming increasingly important as knowledge based standards, such as XML and advanced MPEG, gain popularity. Independent component analysis (ICA) can be used to both cluster and...

Recent anatomical studies of extraocular muscles (EOM) demonstrate the stability of muscle paths. This is due to the fact that each rectus EOM passes through a pulley consisting of an encircling ring or sleeve of collagen. In this paper, a model of the eye for planer movements have been...

The main purpose of this paper is to show how a population of excitatory and inhibitory interconnection of cells, dynamically interacting to produce a wave of activity can encode the input signal that generates the wave. The population considered are from the visual cortex of freshwater turtles...

We propose a reliable method for automatic counting of cells in brain sections for different antibodies (NeuN, Parvalbumin, GABA and c-Fos) and Nissl-staining. The images of thin stained sections are binarized by thresholding. Then regions are clustered using a common clustering algorithm. After...