nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A 5/4 Linear Time Bin Packing Algorithm
|
Békési, József |
|
2000 |
60 |
1 |
p. 145-160 16 p. |
artikel |
2 |
Computational Sample Complexity and Attribute-Efficient Learning
|
Servedio, Rocco A. |
|
2000 |
60 |
1 |
p. 161-178 18 p. |
artikel |
3 |
Data Independence of Read, Write, and Control Structures in PRAM Computations
|
Lange, Klaus-Jörn |
|
2000 |
60 |
1 |
p. 109-144 36 p. |
artikel |
4 |
Deciding Bisimilarity and Similarity for Probabilistic Processes
|
Baier, Christel |
|
2000 |
60 |
1 |
p. 187-231 45 p. |
artikel |
5 |
Estimation of the Domain of Attraction and the Convergence Rate of a Hopfield Associative Memory and an Application
|
Cao, Jinde |
|
2000 |
60 |
1 |
p. 179-186 8 p. |
artikel |
6 |
Global Exponential Stability and Periodic Solutions of Delayed Cellular Neural Networks
|
Cao, Jinde |
|
2000 |
60 |
1 |
p. 38-46 9 p. |
artikel |
7 |
On Relationships between Statistical Zero-Knowledge Proofs
|
Okamoto, Tatsuaki |
|
2000 |
60 |
1 |
p. 47-108 62 p. |
artikel |
8 |
On the Inapproximability of Disjoint Paths and Minimum Steiner Forest with Bandwidth Constraints
|
Ma, Bin |
|
2000 |
60 |
1 |
p. 1-12 12 p. |
artikel |
9 |
Rooted Branching Bisimulation as a Congruence
|
Fokkink, Wan |
|
2000 |
60 |
1 |
p. 13-37 25 p. |
artikel |