161 search results - page 19 / 33 » Equation Solving in Conditional AC-Theories |
SIAMJO
2008
13 years 7 months ago
2008
This paper discusses how to find the global minimum of functions that are summations of small polynomials ("small" means involving a small number of variables). Some spa...
RECOMB
2009
Springer
14 years 8 months ago
2009
Springer
The dynamics of biological processes are often modeled as systems of nonlinear ordinary differential equations (ODE). An important feature of nonlinear ODEs is that seemingly minor...
FSE
2008
Springer
13 years 9 months ago
2008
Springer
In this article we find collisions for step-reduced SHA-256. We develop a differential that holds with high probability if the message satisfies certain conditions. We solve the eq...
UAI
2008
13 years 9 months ago
2008
Assume that cause-effect relationships between variables can be described as a directed acyclic graph and the corresponding linear structural equation model We consider the identi...
MCS
2006
Springer
13 years 7 months ago
2006
Springer
The finite volume method is used as a numerical method for solving the fluid flow equations. This method is appropriate to employ under structured and unstructured meshes. Mixed g...