11 – 20 of 45
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2014
-
Mark
Narrow proofs may be maximally long
2014) 29th Annual IEEE Conference on Computational Complexity, CCC 2014 In Proceedings of the Annual IEEE Conference on Computational Complexity p.286-297(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2013
-
Mark
Estimating slope from raster data : a test of eight algorithms at different resolutions in flat and steep terrain
(
- Contribution to journal › Article
-
Mark
Some trade-off results for polynomial calculus
2013) 45th Annual ACM Symposium on Theory of Computing, STOC 2013 In Proceedings of the Annual ACM Symposium on Theory of Computing p.813-822(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Pebble games, proof complexity, and time-space trade-offs
(
- Contribution to journal › Article
- 2012
-
Mark
High-Resolution Fluorescence Diffuse Optical Tomography Developed with Nonlinear Upconverting Nanoparticles
(
- Contribution to journal › Article
-
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