Sciweavers

527 search results - page 31 / 106
» Words and Bisimulations of Dynamical Systems
Sort
View
MS
2003
13 years 9 months ago
Dynamic Model of Nickel Hydrogen Battery - The Virtual Test Bed Implementation
A dynamic model of a nickel hydrogen battery implemented in the Virtual Test Bed (VTB) is presented. The battery system is simplified as such one-electrontransfer redox reaction o...
Shengyi Liu, Roger Dougal, John W. Weidner, Lijun ...
IJON
2006
84views more  IJON 2006»
13 years 7 months ago
Dynamic regulation of spike-timing dependent plasticity in electrosensory processing
This study investigates the control of spike-timing dependent plasticity (STDP) by regulation of the dendritic spike threshold of the postsynaptic neuron. The control of synaptic ...
Patrick D. Roberts, Gerardo Lafferriere, Nathaniel...
AUTOMATICA
2006
91views more  AUTOMATICA 2006»
13 years 7 months ago
Necessary and sufficient conditions for reachability on a simplex
In this paper we solve the general problem of designing a feedback controller to reach a set of facets of an n-dimensional simplex in finite time, for a system evolving with linea...
Bartek Roszak, Mireille E. Broucke
KI
2009
Springer
14 years 2 months ago
Maximum a Posteriori Estimation of Dynamically Changing Distributions
This paper presents a sequential state estimation method with arbitrary probabilistic models expressing the system’s belief. Probabilistic models can be estimated by Maximum a po...
Michael Volkhardt, Sören Kalesse, Steffen M&u...
IASTEDSEA
2004
13 years 9 months ago
Java bytecode verification with dynamic structures
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...
Cinzia Bernardeschi, Luca Martini, Paolo Masci