9471 – 9480 of 11370
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2016
-
Mark
The Industrial Application Requirement for Biotech Inventions in Light of Recent EPO and UK Case Law: A Plausible Approach or a Mere "Hunting Licence"?
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
An undisclosed story of roses : church, state, and nation in contemporary Georgia
(
- Contribution to journal › Article
-
Mark
Supercritical space-width trade-offs for resolution
2016) 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016 In Leibniz International Proceedings in Informatics, LIPIcs 55.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
How Limited Interaction Hinders Real Communication (and What It Means for Proof and Circuit Complexity)
2016) 57th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2016 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS 2016-December. p.295-304(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler - Leman Refinement Steps
2016) 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016 In Proceedings - Symposium on Logic in Computer Science 05-08-July-2016. p.267-276(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Trade-offs between time and memory in a tighter model of CDCL SAT solvers
2016) 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016 In Lecture Notes in Computer Science 9710. p.160-176(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Narrow proofs may be maximally long
(
- Contribution to journal › Article
-
Mark
Primärvården styrs dubbelt upp
(
- Contribution to specialist publication or newspaper › Specialist publication article
-
Mark
Förstärk den externa styrningen av vårdcentraler
2016) In Dagens Samhälle(
- Contribution to specialist publication or newspaper › Specialist publication article
-
Mark
The rhetorics of futurity: scenarios, design fiction, prototypes, and other evaporated modalities of science fiction.
(
- Contribution to journal › Article