Search Sciweavers | Sciweavers

6598 search results - page 71 / 1320

» Graph Theory with Applications

click to vote

ISSAC
2005
Springer

70views Mathematics» more ISSAC 2005»

Approximation of dynamical systems using s-systems theory: application to biological systems

15 years 9 months ago

Download www-sop.inria.fr

In this article we propose a new symbolic-numeric algorithm to ﬁnd positive equilibria of a n-dimensional dynamical system. This algorithm uses a symbolic manipulation of ODE in...

Laurent Tournier

claim paper

Read More »

Voted

BIRTHDAY
2004
Springer

113views Applied Computing» more BIRTHDAY 2004»

An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language

15 years 9 months ago

Download formal.cs.uiuc.edu

Gul Agha, Prasanna Thati

claim paper

Read More »

121

click to vote

COCO
2000
Springer

100views Algorithms» more COCO 2000»

An Application of Matroid Theory to the SAT Problem

15 years 8 months ago

Download www.cs.swan.ac.uk

Oliver Kullmann

claim paper

Read More »

147

click to vote

ISIPTA
1999
IEEE

236views Mathematics» more ISIPTA 1999»

Partial Probability: Theory and Applications

15 years 8 months ago

Download decsai.ugr.es

Frans Voorbraak

claim paper

Read More »

117

Voted

KBSE
1999
IEEE

84views Software Engineering» more KBSE 1999»

Industrial Applications of Software Synthesis via Category Theory

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers