Sciweavers

3061 search results - page 386 / 613
» interactions 2010
Sort
View
CORR
2010
Springer
97views Education» more  CORR 2010»
15 years 6 months ago
Knowledge-Based Innovation Systems and the Model of a Triple Helix of University-Industry-Government Relations
The (neo-)evolutionary model of a Triple Helix of University-Industry-Government Relations focuses on the overlay of expectations, communications, and interactions that potentiall...
Loet Leydesdorff
CORR
2010
Springer
150views Education» more  CORR 2010»
15 years 6 months ago
Existence and Global Logarithmic Stability of Impulsive Neural Networks with Time Delay
The stability and convergence of the neural networks are the fundamental characteristics in the Hopfield type networks. Since time delay is ubiquitous in most physical and biologi...
A. K. Ojha, Dushmanta Mallick, C. Mallick
CORR
2010
Springer
109views Education» more  CORR 2010»
15 years 6 months ago
Experimenting with Innate Immunity
libtissue is a software system for implementing and testing AIS algorithms on real-world computer security problems. AIS algorithms are implemented as a collection of cells, antig...
Jamie Twycross, Uwe Aickelin
CORR
2010
Springer
182views Education» more  CORR 2010»
15 years 6 months ago
The Hitchhiker's Guide to Affiliation Networks: A Game-Theoretic Approach
We propose a new class of game-theoretic models for network formation in which strategies are not directly related to edge choices, but instead correspond more generally to the ex...
Christian Borgs, Jennifer T. Chayes, Jian Ding, Br...
CORR
2010
Springer
126views Education» more  CORR 2010»
15 years 6 months ago
Automatic Verification of Parametric Specifications with Complex Topologies
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
Johannes Faber, Carsten Ihlemann, Swen Jacobs, Vio...