5510 search results - page 218 / 1102 » Mathematics |
166
click to vote
CASC
2009
Springer
15 years 5 months ago
2009
Springer
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
124
click to vote
CCIA
2009
Springer
15 years 5 months ago
2009
Springer
We present a mathematical framework for communicating about trust in terms of interactions. We argue that sharing an ontology about trust is not enough and that interactions are th...
123
click to vote
AMC
2007
15 years 4 months ago
2007
Adomian decomposition method has been used intensively to solve nonlinear boundary and initial value problems. It has been proved to be very efficient in generating series solutio...
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Sigma-Delta modulation is a popular method for analog-to-digital conversion of bandlimited signals that employs coarse quantization coupled with oversampling. The standard mathema...
162
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We relate the graph isomorphism problem to the solvability of certain systems of linear equations and linear inequalities. The number of these equations and inequalities is relate...