Publications | Lund University Publications

11 – 20 of 47

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/publication?embed=1&q=keywords+exact+%22RESOLUTION%22&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

2016
Mark Narrow proofs may be maximally long
Atserias, Albert ; Lauria, Massimo and Nordström, Jakob ^LU (2016) In ACM Transactions on Computational Logic 17(3).
- Contribution to journal › Article
Mark On the role of the gas environment, electron-dose-rate, and sample on the image resolution in transmission electron microscopy
Ek, Martin ^LU ; Jespersen, Sebastian P.F. ; Damsgaard, Christian D. and Helveg, Stig (2016) In Advanced Structural and Chemical Imaging 2(1).
- Contribution to journal › Article
2015
Mark Effective dispersion and separation resolution in continuous particle fractionation
Cerbelli, Stefano ; Garofalo, Fabio ^LU and Giona, Massimiliano (2015) In Microfluidics and Nanofluidics 19(5). p.1035-1046
- Contribution to journal › Article
Mark Tight size-degree bounds for sums-of-squares proofs
Lauria, Massimo and Nordström, Jakob ^LU (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 From small space to small width in resolution
Filmus, Yuval ; Lauria, Massimo ; Mikša, Mladen ; Nordström, Jakob ^LU and Vinyals, Marc (2015) In ACM Transactions on Computational Logic 16(4).
- Contribution to journal › Article
Mark Space complexity in polynomial calculus
Filmus, Yuval ; Lauria, Massimo ; Nordström, Jakob ^LU ; Ron-Zewi, Noga and Thapen, Neil (2015) In SIAM Journal on Computing 44(4). p.1119-1153
- Contribution to journal › Article
2014
Mark From small space to small width in resolution
Filmus, Yuval ; Lauria, Massimo ; Mikša, Mladen ; Nordström, Jakob ^LU and Vinyals, Marc (2014) 31st International Symposium on Theoretical Aspects of Computer Science, STACS 2014 In Leibniz International Proceedings in Informatics, LIPIcs 25. p.300-311
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Narrow proofs may be maximally long
Atserias, Albert ; Lauria, Massimo and Nordström, Jakob ^LU (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
Tang, Jing ^LU ; Pilesjö, Petter ^LU and Persson, Andreas ^LU (2013) In Geodesy and Cartography 39(2). p.41-52
- Contribution to journal › Article
Mark Some trade-off results for polynomial calculus
Beck, Chris ; Nordström, Jakob ^LU and Tang, Bangsheng (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

your query:: Remove keywords: RESOLUTION