3179 search results - page 366 / 636 » Applications of PCF Theory |
126
Voted
COMPGEOM
2009
ACM
15 years 10 months ago
2009
ACM
Topological persistence has proven to be a key concept for the study of real-valued functions defined over topological spaces. Its validity relies on the fundamental property tha...
119
Voted
ACISP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. XL was first introduced to solve determined or overdetermined systems of equations over a finite field as an “algebraic attack” against multivariate cryptosystems....
154
Voted
SMA
2003
ACM
15 years 9 months ago
2003
ACM
Dimensional reduction is a simplification technique that eliminates one or more dimensions from a boundary value problem. It results in significant computational savings with mini...
125
Voted
DBPL
1993
Springer
15 years 7 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
120
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
d Abstract) Gordon Plotkin1, LFCS, School of Informatics, University of Edinburgh, UK. The application of ideas from universal algebra to computer science has long been a major the...