Sciweavers

1933 search results - page 197 / 387
» A Dynamic Theory of Ontology
Sort
View
SIAMMA
2010
49views more  SIAMMA 2010»
13 years 4 months ago
Nonlinear Degenerate Evolution Equations in Mixed Formulation
Abstract. We develop the theory of degenerate and nonlinear evolution systems in mixed formulation. It will be shown that many of the well-known results for the stationary problem ...
R. E. Showalter
NIPS
2007
13 years 10 months ago
Contraction Properties of VLSI Cooperative Competitive Neural Networks of Spiking Neurons
A non–linear dynamic system is called contracting if initial conditions are forgotten exponentially fast, so that all trajectories converge to a single trajectory. We use contra...
Emre Neftci, Elisabetta Chicca, Giacomo Indiveri, ...
CCE
2004
13 years 9 months ago
On the use of reduced order models in bifurcation analysis of distributed parameter systems
Bifurcation theory provides a powerful tool for analyzing the nonlinear dynamic behavior of process systems. However, although the theory in principle applies to lumped as well as...
Yi Liu, Elling W. Jacobsen
CADE
2007
Springer
14 years 9 months ago
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
ACMICEC
2007
ACM
225views ECommerce» more  ACMICEC 2007»
14 years 1 months ago
The game of scale: decision making with economies of scale
While diffusion of innovation topics in economics and majority games in game theory have been widely studied, the impact of economy-of-scale effects in aggregated decision making ...
Christopher J. Hazard, Peter R. Wurman