461 – 470 of 1706
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2015
-
Mark
A generalized method for proving polynomial calculus degree lower bounds
2015) 30th Conference on Computational Complexity, CCC 2015 In Leibniz International Proceedings in Informatics, LIPIcs 33. p.467-487(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Tight size-degree bounds for sums-of-squares proofs
2015) 30th Conference on Computational Complexity, CCC 2015 In Leibniz International Proceedings in Informatics, LIPIcs 33. p.448-466(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Space complexity in polynomial calculus
(
- Contribution to journal › Article
-
Mark
Asymptotic number of Z3Δ cells covering C(1) surface on uniform grid and complexity of recursive-partitioning simulation of septal tissue regions
(
- Contribution to journal › Article
-
Mark
Jfair : A scheduling algorithm to stabilize control applications
2015) 21st IEEE Real Time and Embedded Technology and Applications Symposium, RTAS 2015 In Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2015-May. p.63-72(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2014
-
Mark
Adaptive texture space shading for stochastic rendering
(
- Contribution to journal › Article
-
Mark
Reflecting on Evidence-Based Timelines
(
- Contribution to journal › Article
-
Mark
Guest editorial: special section on regression testing
(
- Contribution to journal › Debate/Note/Editorial
-
Mark
A case study on software risk analysis and planning in medical device development
(
- Contribution to journal › Article
-
Mark
Development of Safety-Critical Software Systems Using Open Source Software - A Systematic Map
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding