 [2018-5-25] LARS: A Logic-Based Framework for Analytic Reasoning over Streams
|
2019-12-23 |
| [2018-5-23] Data-To-Text: Generating Textual Summaries of Complex Data
|
2019-12-23 |
| [2018-4-24] CDSAT: Conflict-Driven SATisfiability modulo theories and assignments
|
2019-12-23 |
| [2018-4-19] Towards a syntax for higher dimensional categories
|
2019-12-23 |
| [2018-4-9] Perturbation analysis in probabilistic verification
|
2019-12-23 |
| [2018-1-9] From Indoor Localization to Wireless Sensing
|
2019-12-23 |
| [2017-12-26] Visual Analytics for Multi-Dimensional Data
|
2019-12-23 |
| [2017-12-26] Computer Vision for Active and Assisted Living
|
2019-12-23 |
| [2017-12-22] IoT and Service Research Engagement
|
2019-12-23 |
| [2017-12-14] Mathematics and Physics Foundation for Visual Computing and Virtual Environments
|
2019-12-23 |
| [2017-12-11] Dependable Internet of Things
|
2019-12-23 |
| [2017-12-8] A compositional semantics for the reversible pi-calculus
|
2019-12-23 |
| [2017-12-8] Can we make readable formal proofs ?
|
2019-12-23 |
| [2017-11-17] Programming with Higher Inductive Types
|
2019-12-23 |
| [2017-11-15]An Introduction to Quantum Programming using Quipper
|
2019-12-23 |
