 [4-28]The Small Community Phenomena in Networks
|
2011-04-22 |
| [4-25]Evolutionary mechanics: degeneracy and the emergence of flexibility in a dynamic and uncertain world
|
2011-04-20 |
| [4-25]Systematic applications of SAT -- towards a better understanding of SAT
|
2011-04-22 |
| [4-25]Process Determination via the Incremental Commitment Spiral Model
|
2011-04-18 |
| [4-11]From Computing to Interaction
|
2011-04-07 |
| [4-7]Kolmogorov complexity, Computability and Probability.
|
2011-04-01 |
| [3-17]Transformations and Expressiveness Relations for Quantified Boolean Formulas, Boolean Circuits, and Boolean Functions
|
2011-03-11 |
| [3-8]A Vision for Computer Science - The System Perspective
|
2011-03-03 |
| [3-1]Secure Verification Platform based on HOL and MDG
|
2011-02-28 |
| [2-23]Migration of Legacy Applications to Heterogeneous Architectures using HMPP
|
2011-02-22 |
| [1-24]Image processing based on partial differential equations
|
2011-01-20 |
| [1-13]A Complete Method to Polynomial Differential Invariant Generation for Hybrid Systems
|
2011-01-10 |
| [1-10]Trends in One-sided Communication Models
|
2011-01-08 |
| [1-6]Incremental Component-based Construction and Verification
|
2011-01-05 |
| [2011-1-6]Seeking practical scientific creativity in Human Computer Interaction
|
2011-01-05 |
