Researchers have shown that the promptness to initiate a saccade is modulated by countless factors pertaining to the visual context and the task. However, experiments on saccadic eye movements are usually designed in such a way that oculomotor performance is dissociated from the natural role of saccades, namely that of making crucial perceptual information rapidly available for high-resolution,...

Service composition, which enables users to construct complex services from atomic services, is an essential feature for the usability of Mobile Ad hoc Networks (MANETs). Service composition in MANETs should be fault-tolerant and distributed. Efforts in this area are rare and sounds not meet the requirements very well. In this paper, we present a distributed Fault-Tolerant Service Composition P...

Here we show how a migratory songbird, the chipping sparrow (Spizella passerina), achieves prompt and precise vocal imitation. Juvenile chipping sparrow males develop five to seven potential precursor songs; the normal development of these songs requires intact hearing but not imitation from external models. The potential precursor songs conform with general species-typical song parameters but ...

In this paper, we explore the effectiveness of supervised learning methods in predicting the short-term viability of retail pharmaceutical businesses. We use data mining techniques such as linear discriminant analysis, k-nearest neighbour (k-NN) and the C4.5 Decision Tree to classify retail business units from the Greek pharmaceutical sector into viable and non-viable classes, while operating i...

In this paper we demonstrate the use of quantitative measures of learning in neural networks for detection of chronic disturbances. This is a first attempt to provide such a measure in the data-driven black-box engineering practice for detection of unknown non-cataleptic disturbances. Such events are characterized by the presence of unknown influences, but observable in measurable variables. Th...

Interval temporal logics are expressive formalisms for temporal representation and reasoning, which use time intervals as primitive temporal entities. They have been extensively studied for the past two decades and successfully applied in AI and computer science. Unfortunately, they lack the ability of expressing promptness conditions, as it happens with the commonly-used temporal logics, e.g.,...

Numerous properties of vector addition systems with states amount to checking the (un)boundedness of some selective feature (e.g., number of reversals, counter values, run lengths). Some of these features can be checked in exponential space by using Rackoff’s proof or its variants, combined with Savitch’s Theorem. However, the question is still open for many others, e.g., regularity detection p...

We describe an efficient and fault-tolerant algorithm for distributed cyclic garbage collection. The algorithm imposes few requirements on the local machines and allows for flexibility in the choice of local collector and distributed acyclic garbage collector to use with it. We have emphasized reducing the number and size of network messages without sacrificing the promptness of collection thro...

This meta-synthesis presents the results of qualitative studies on puerperal perception concerning woman’s care in the post-partum period. Four databases were researched using keywords such as “postnatal care” (or) “postpartum period”, (and) “care”, “women”, “perception”, “qualitative research”, “women’s health services”, “community health services”, “allied health personnel”, “primary health c...

Numerous properties of vector addition systems with states amount to checking the (un)boundedness of some selective feature (e.g., number of reversals, run length). Some of these features can be checked in exponential space by using Rackoff’s proof or its variants, combined with Savitch’s theorem. However, the question is still open for many others, e.g., reversal-boundedness. In the paper, we ...