751 – 760 of 1707
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2012
-
Mark
Space complexity in polynomial calculus
2012) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing In Proceedings of the Annual IEEE Conference on Computational Complexity p.334-344(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On the virtue of succinct proofs : Amplifying communication complexity hardness to time-space trade-offs in proof complexity
2012) 44th Annual ACM Symposium on Theory of Computing, STOC '12 In Proceedings of the Annual ACM Symposium on Theory of Computing p.233-247(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On the relative strength of pebbling and resolution
(
- Contribution to journal › Article
-
Mark
Cryptographic protection of usage restrictions in electronic devices
2012) 8225110(
- Patent › Patent
-
Mark
Supporting Intelligibility in a Healthcare scenario using Palcom
2012) Second Workshop on Intelligibility and Control in Pervasive Computing(
- Contribution to conference › Paper, not in proceeding
-
Mark
Auto-tuning Interactive Ray Tracing using an Analytical GPU Architecture Model
2012) GPGPU5(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Secure client-side aggregation of web applications
2012) US8272065(
- Patent › Patent
-
Mark
Sphere detector performing depth-first search until terminated
2012) U.S. Patent 8,311,161(
- Patent › Patent
-
Mark
Developing Mobile Systems using PalCom -- A Data Collection Example
2012) Pervasive 2012(
- Contribution to conference › Paper, not in proceeding
-
Mark
The data chicken and egg problem
2012) p.7-10(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding