Search Sciweavers | Sciweavers

4591 search results - page 26 / 919

» The Global Computer

click to vote

MOC
1998

104views more MOC 1998»

Chaos in the Lorenz equations: A computer assisted proof. Part II: Details

13 years 7 months ago

Download www.ams.org

Abstract. Details of a new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. The technique abstract existence results based...

Konstantin Mischaikow, Marian Mrozek

claim paper

Read More »

click to vote

ATAL
2011
Springer

224views Intelligent Agents» more ATAL 2011»

Decomposing constraint systems: equivalences and computational properties

12 years 7 months ago

Download www.ifaamas.org

Distributed systems can often be modeled as a collection of distributed (system) variables whose values are constrained by a set of constraints. In distributed multi-agent systems...

Wiebe van der Hoek, Cees Witteveen, Michael Wooldr...

claim paper

Read More »

click to vote

ICS
2010
Tsinghua U.

138views Distributed And Parallel Com...» more ICS 2010»

Global Alignment of Molecular Sequences via Ancestral State Reconstruction

14 years 5 months ago

Download conference.itcs.tsinghua.edu.cn

Alexandr Andoni, Constantinos Daskalakis, Avinatan...

claim paper

Read More »