Sciweavers

3406 search results - page 502 / 682
» Computational models of classical conditioning
Sort
View
BIB
2010
147views more  BIB 2010»
15 years 5 months ago
Toward the dynamic interactome: it's about time
Dynamic molecular interactions play a central role in regulating the functioning of cells and organisms.The availability of experimentally determined large-scale cellular networks...
Teresa M. Przytycka, Mona Singh, Donna K. Slonim
CORR
2008
Springer
69views Education» more  CORR 2008»
15 years 5 months ago
Solving Time of Least Square Systems in Sigma-Pi Unit Networks
The solving of least square systems is a useful operation in neurocomputational modeling of learning, pattern matching, and pattern recognition. In these last two cases, the soluti...
Pierre Courrieu
FAC
2008
92views more  FAC 2008»
15 years 5 months ago
Capture-avoiding substitution as a nominal algebra
Substitution is fundamental to the theory of logic and computation. Is substitution something that we define on syntax on a case-by-case basis, or can we turn the idea of substitut...
Murdoch James Gabbay, Aad Mathijssen
IANDC
2008
140views more  IANDC 2008»
15 years 5 months ago
Information flow security in Boundary Ambients
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...
Chiara Braghin, Agostino Cortesi, Riccardo Focardi
DEDS
2006
119views more  DEDS 2006»
15 years 5 months ago
Diagnosability of Discrete Event Systems with Modular Structure
The diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular approach is developed for diag...
Olivier Contant, Stéphane Lafortune, Demost...