Search Sciweavers | Sciweavers

6598 search results - page 71 / 1320

» Graph Theory with Applications

123

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 11 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 »

108

click to vote

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 11 months ago

Download formal.cs.uiuc.edu

Gul Agha, Prasanna Thati

claim paper

Read More »

139

click to vote

COCO
2000
Springer

100views Algorithms» more COCO 2000»

An Application of Matroid Theory to the SAT Problem

15 years 10 months ago

Download www.cs.swan.ac.uk

Oliver Kullmann

claim paper

Read More »

170

click to vote

ISIPTA
1999
IEEE

236views Mathematics» more ISIPTA 1999»

Partial Probability: Theory and Applications

15 years 10 months ago

Download decsai.ugr.es

Frans Voorbraak

claim paper

Read More »

137

click to vote

KBSE
1999
IEEE

84views Software Engineering» more KBSE 1999»

Industrial Applications of Software Synthesis via Category Theory

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers