Sciweavers

5404 search results - page 397 / 1081
» Global Computing for Bioinformatics
Sort
View
BC
2005
122views more  BC 2005»
15 years 6 months ago
On partial contraction analysis for coupled nonlinear oscillators
We describe a simple but general method to analyze networks of coupled identical nonlinear oscillators, and study applications to fast synchronization, locomotion, and schooling. ...
Wei Wang 0008, Jean-Jacques E. Slotine
CCE
2004
15 years 6 months ago
Part II. Future perspective on optimization
Following from part I, which presents a retrospective on optimization, we focus here on areas that are recent active research topics and are likely to strongly influence the futur...
Ignacio E. Grossmann, Lorenz T. Biegler
IEAAIE
2010
Springer
15 years 4 months ago
Modelling Greed of Agents in Economical Context
Abstract. A classical debate in economics addresses the advantages and drawbacks of modelling from a macroeconomics perspective as opposed to modelling from a microeconomics perspe...
Tibor Bosse, Ghazanfar F. Siddiqui, Jan Treur
FORTE
2009
15 years 4 months ago
Approximated Context-Sensitive Analysis for Parameterized Verification
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...
IBPRIA
2009
Springer
15 years 4 months ago
Real-Time Motion Detection for a Mobile Observer Using Multiple Kernel Tracking and Belief Propagation
We propose a novel statistical method for motion detection and background maintenance for a mobile observer. Our method is based on global motion estimation and statistical backgro...
Marc Vivet, Brais Martínez, Xavier Binefa