3353 search results - page 288 / 671 » Laver and set theory |
177
Voted
MP
2002
15 years 6 months ago
2002
Using standard nonlinear programming (NLP) theory, we establish formulas for first and second order directional derivatives for optimal value functions of parametric mathematical ...
107
click to vote
RSA
1998
15 years 6 months ago
1998
A periodic tree Tn consists of full n-level copies of a finite tree T. The tree Tn is labeled by random bits. The root label is chosen randomly, and the probability of two adjace...
145
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Authoring documents in MKM formats like OMDoc is a very tedious task. After years of working on a semantically annotated corpus of STEX documents (GenCS), we identified a set of co...
157
click to vote
IPL
2010
15 years 5 months ago
2010
Branching vector addition systems are an extension of vector addition systems where new reachable vectors may be obtained by summing two reachable vectors and adding an integral v...
134
click to vote
JUCS
2010
15 years 5 months ago
2010
: This paper presents a qualitative shape description scheme which has been defined in order to have a formal theory to allow the construction of new shapes from a set of given sha...