5510 search results - page 82 / 1102 » Mathematics |
129
click to vote
BSL
2006
15 years 3 months ago
2006
We show that each of the five basic theories of second order arithmetic that play a central role in reverse mathematics has a natural counterpart in the language of nonstandard ari...
133
click to vote
JAPLL
2006
15 years 3 months ago
2006
This paper presents Automath encodings (which also are valid in LF/P) of various kinds of foundations of mathematics. Then it compares these encodings according to their size, to f...
127
click to vote
MP
2002
15 years 3 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 ...
155
click to vote
EDM
2009
15 years 1 months ago
2009
Identification of significant differences in sets of data is a common task of data mining. This paper describes a novel visualization technique that allows the user to interactivel...
346
click to vote
STACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this talk, I will review some of the work performed by the research community in cryptology and security since the invention of public key cryptography by Diffie and H...