391 – 400 of 1706
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2016
-
Mark
Faster data structures and graphics hardware techniques for high performance rendering
2016)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Relevant scenarios for home monitoring solutions for older adults
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Reviews and taxonomies
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Datasets
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Monitoring technology
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Supercritical space-width trade-offs for resolution
2016) 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016 In Leibniz International Proceedings in Informatics, LIPIcs 55.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
How Limited Interaction Hinders Real Communication (and What It Means for Proof and Circuit Complexity)
2016) 57th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2016 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS 2016-December. p.295-304(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler - Leman Refinement Steps
2016) 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016 In Proceedings - Symposium on Logic in Computer Science 05-08-July-2016. p.267-276(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Trade-offs between time and memory in a tighter model of CDCL SAT solvers
2016) 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016 In Lecture Notes in Computer Science 9710. p.160-176(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Self-triggered controllers and hard real-time guarantees
2016) 19th Design, Automation and Test in Europe Conference and Exhibition, DATE 2016 In Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016 p.636-641(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding