Sciweavers

3676 search results - page 514 / 736
» Scalable component abstractions
Sort
View
BC
2008
38views more  BC 2008»
15 years 6 months ago
Spike-timing in primary sensory neurons: a model of somatosensory transduction in the rat
Abstract In previous work, we constructed a simple electromechanical model of transduction in the rat mystacial follicle that was able to replicate primary afferent response profil...
Benjamin Mitchinson, Ehsan Arabzadeh, Mathew E. Di...
CORR
2008
Springer
91views Education» more  CORR 2008»
15 years 6 months ago
Significant Diagnostic Counterexamples in Probabilistic Model Checking
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
Miguel E. Andrés, Pedro R. D'Argenio, Peter...
COMBINATORICS
2006
221views more  COMBINATORICS 2006»
15 years 6 months ago
Kernels of Directed Graph Laplacians
Abstract. Let G denote a directed graph with adjacency matrix Q and indegree matrix D. We consider the Kirchhoff matrix L = D - Q, sometimes referred to as the directed Laplacian. ...
John S. Caughman IV, J. J. P. Veerman
IIE
2008
95views more  IIE 2008»
15 years 6 months ago
Cognitive Personality Traits and Technical Knowledge of Young People in Lithuania
Abstract. The review of research works presented in the paper leads to the supposition that scientists abroad usually analyze the components of technical knowledge in relationship ...
Ala Kovieriene
IPM
2006
151views more  IPM 2006»
15 years 6 months ago
Document clustering using nonnegative matrix factorization
A methodology for automatically identifying and clustering semantic features or topics in a heterogeneous text collection is presented. Textual data is encoded using a low rank no...
Farial Shahnaz, Michael W. Berry, V. Paul Pauca, R...