Search Sciweavers | Sciweavers

4591 search results - page 26 / 919

» The Global Computer

108

click to vote

MOC
1998

104views more MOC 1998»

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

15 years 3 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 »

149

Voted

ATAL
2011
Springer

224views Intelligent Agents» more ATAL 2011»

Decomposing constraint systems: equivalences and computational properties

14 years 3 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

16 years 22 days ago

Download conference.itcs.tsinghua.edu.cn

Alexandr Andoni, Constantinos Daskalakis, Avinatan...

claim paper

Read More »