941 search results - page 7 / 189 » The Second Order Particle System |
JSYML
2002
14 years 11 months ago
2002
A propositional system of modal logic is second-order if it contains quantifiers p and p, which, in the standard interpretation, are construed as ranging over sets of possible worl...
ISIPTA
2003
IEEE
15 years 5 months ago
2003
IEEE
A second-order hierarchical uncertainty model of a system of independent random variables is studied in the paper. It is shown that the complex nonlinear optimization problem for ...
ICCS
2009
Springer
15 years 6 months ago
2009
Springer
The role of the second order adjoint in targeting strategies is studied and analyzed. Most targeting strategies use the first order adjoint to identify regions where additional in...
105
click to vote
ISSAC
2004
Springer
15 years 5 months ago
2004
Springer
There exist sound literature and algorithms for computing Liouvillian solutions for the important problem of linear ODEs with rational coefficients. Taking as sample the 363 secon...
77
Voted
SIAMCOMP
2008
14 years 11 months ago
2008
Abstract. Monadic second-order unification is second-order unification where all function constants occurring in the equations are unary. Here we prove that the problem of deciding...