12052 search results - page 457 / 2411 » computing 2010 |
162
click to vote
AML
2010
15 years 7 months ago
2010
We investigate the development of terms during cut-elimination in first-order logic and Peano arithmetic for proofs of existential formulas. The form of witness terms in cut-free p...
156
click to vote
APPML
2010
15 years 7 months ago
2010
The problem of computing numerically the boundary exact control for the system of linear elasticity in 2D is addressed. A numerical method which has been recently proposed in [Stu...
133
click to vote
DCG
2010
15 years 7 months ago
2010
We study discrete curvatures computed from nets of curvature lines on a given smooth surface and prove their uniform convergence to smooth principal curvatures. We provide explicit...
194
click to vote
DM
2010
15 years 7 months ago
2010
We compute the generating function for triangulations on a cylinder, with the restriction that all vertices belong to its boundary and that the intersection of a pair of different ...
140
click to vote
DM
2010
15 years 7 months ago
2010
We investigate further the concept of asymptotic connectivity as defined previously by the first author. In particular, we compute an upper bound on the asymptotic connectivity of ...