Sciweavers

798 search results - page 34 / 160
» presence 2006
Sort
View
56
Voted
IJON
2006
74views more  IJON 2006»
14 years 9 months ago
Spatio-temporal information coding in the cuneate nucleus
The dorsal column nuclei, cuneatus and gracilis, receive somesthetic information impinging on projection cells and local inhibitory interneurons. The presence of these interneuron...
Juan Navarro, Eduardo Sánchez, Antonio Cane...
INFORMATICALT
2006
65views more  INFORMATICALT 2006»
14 years 9 months ago
Iterative Estimation Algorithm of Autoregressive Parameters
This paper presents an iterative autoregressive system parameter estimation algorithm in the presence of white observation noise. The algorithm is based on the parameter estimation...
Kazys Kazlauskas, Jaunius Kazlauskas
JAPLL
2006
97views more  JAPLL 2006»
14 years 9 months ago
Model checking propositional dynamic logic with all extras
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context...
Martin Lange
IJUFKS
2000
68views more  IJUFKS 2000»
14 years 9 months ago
Non-Determinism and Uncertainty in the Situation Calculus
A novel approach is presented to modeling action and change within the Situation Calculus in the presence of both non-determinism and probabilistic behavior. Two examples are give...
Javier Pinto, Amílcar Sernadas, Cristina Se...
FUIN
2010
103views more  FUIN 2010»
14 years 8 months ago
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security
A formal model for diagnostics of biological systems modelled as P systems is presented. We assume the presence of some biologically motivated changes (frequently pathological) in ...
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...