 [2013-1-5]Informed Local Managers and Global Financial Crises
|
2013-01-04 |
| [12-27]MadLINQ: large-scale distributed matrix computation for the cloud
|
2012-12-21 |
| [12-20]Foreseeing the Unseen: Probability Estimation over Large Alphabets
|
2012-12-18 |
| [12-10]A Role for Mereology in Domain Science and Engineering
|
2012-11-06 |
| [12-6]Progress on Algorithmic randomness
|
2012-12-01 |
| [11-22]Optimizing Data Shuffling in Data-Parallel Computation by Understanding User-Defined Functions
|
2012-11-21 |
| [11-12]Verification of Artifact-Centric Multi-Agent Systems
|
2012-11-06 |
| [11-1]Random Polynomials and Expected Complexity of Real Solving
|
2012-10-31 |
| [10-30]GNU TeXmacs, a scientific editing platform
|
2012-10-27 |
| [10-25]Basics of Research Studies that They Don't Teach You at the Graduate School
|
2012-10-16 |
| [10-18]Exponential Lower Bounds for the PPSZ k-SAT Algorithm
|
2012-10-16 |
| [10-12]Experimental Program Analysis
|
2012-10-09 |
| [10-11]Termination of higher-order rewrite systems using the notion of computability closure
|
2012-10-09 |
| [9-26]Modular discrete time approximations of distributed hybrid automata
|
2012-09-17 |
| [9-21]Adaptive business processes for multi-tenant cloud applications
|
2012-09-19 |
