1021 search results - page 87 / 205 » On the generalized Navier-Stokes equations |
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
149
click to vote
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
Particle Swarm Optimisation (PSO) uses a population of particles that fly over the fitness landscape in search of an optimal solution. The particles are controlled by forces tha...
126
Voted
ASIACRYPT
2000
Springer
15 years 5 months ago
2000
Springer
At Asiacrypt ’99, Sun, Yang and Laih proposed three RSA variants with short secret exponent that resisted all known attacks, including the recent Boneh-Durfee attack from Eurocry...
122
click to vote
HYBRID
1997
Springer
15 years 4 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
APN
1993
Springer
15 years 4 months ago
1993
Springer
This paper introduces an efficient numerical algorithm for transient analysis of deterministic and stochastic Petri nets (DSPNs) and other discrete-event stochastic systems with ...