21 – 30 of 45
- 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
- 2011
-
Mark
Fast Timing with Plastic Scintillators for In-beam Heavy-ion Spectroscopy
2011) In Nuclear Instruments & Methods in Physics Research. Section A: Accelerators, Spectrometers, Detectors, and Associated Equipment 654(1). p.354-360(
- Contribution to journal › Article
-
Mark
Analysing neutron scattering data using McStas virtual experiments
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2010
-
Mark
On the relative strength of pebbling and resolution
2010) 25th Annual IEEE Conference on Computational Complexity, CCC 2010 In Proceedings of the Annual IEEE Conference on Computational Complexity p.151-162(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2009
-
Mark
Swallowing and respiratory pattern in young healthy individuals recorded with high temporal resolution
(
- Contribution to journal › Article
-
Mark
Topography of vision and behaviour
(
- Contribution to journal › Article
-
Mark
Proton in-beam tests of the Lund (RB)-B-3 calorimeter prototype
2009) In Nuclear Instruments & Methods in Physics Research. Section A: Accelerators, Spectrometers, Detectors, and Associated Equipment 612(1). p.127-132(
- Contribution to journal › Article
-
Mark
A simplified way of proving trade-off results for resolution
(
- Contribution to journal › Article