Sciweavers

3134 search results - page 113 / 627
» simulation 2010
Sort
View
AUTOMATICA
2010
218views more  AUTOMATICA 2010»
15 years 3 months ago
Gossip consensus algorithms via quantized communication
This paper considers the average consensus problem on a network of digital links, and proposes algorithms based on pairwise "gossip" communications and updates. Through ...
Ruggero Carli, Fabio Fagnani, Paolo Frasca, Sandro...
123
Voted
AUTOMATICA
2010
171views more  AUTOMATICA 2010»
15 years 3 months ago
An adaptive high-gain observer for nonlinear systems
The main contribution of this paper is to provide a solution to the noise sensitivity of high-gain observers. We propose a nonlinear observer that possesses simultaneously the pro...
Nicolas Boizot, Eric Busvelle, Jean-Paul Gauthier
ENTCS
2010
119views more  ENTCS 2010»
15 years 3 months ago
Bio-PEPA for Epidemiological Models
Many models have been defined in order to describe the evolution of a disease in a population. The modelling of diseases is helpful to understand the mechanisms for their spread a...
Federica Ciocchetta, Jane Hillston
ECCC
2006
87views more  ECCC 2006»
15 years 3 months ago
The Learnability of Quantum States
Traditional quantum state tomography requires a number of measurements that grows exponentially with the number of qubits n. But using ideas from computational learning theory, we...
Scott Aaronson
124
Voted
ENTCS
2007
81views more  ENTCS 2007»
15 years 3 months ago
Error Diagnosis in Equivalence Checking of High Performance Microprocessors
We describe techniques for diagnosing errors in formal equivalence checking of RTL and transistor level models of high performance microprocessors at Freescale Semiconductor Inc. ...
Alper Sen