Publications | Lund University Publications

211 – 220 of 534

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=issn+exact+%221611-3349%22&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

« previous
1
…
21
22
23
24
…
54
next »

2014
Mark Long Proofs of (Seemingly) Simple Formulas
Mikša, Mladen and Nordström, Jakob ^LU (2014) 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 In Lecture Notes in Computer Science 8561. p.121-137
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark A (biased) proof complexity survey for SAT practitioners
Nordström, Jakob ^LU (2014) 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 In Lecture Notes in Computer Science 8561. p.1-6
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2013
Mark A two-tiered formalization of social influence
Christoff, Zoé and Hansen, Jens Ulrik ^LU (2013) In Lecture Notes in Computer Science 8196. p.68-81
- Contribution to journal › Article
Mark Older People´s Involvement in the Development of a Social Assistive Robot
Östlund, Britt ^LU ; Frennert, Susanne ^LU and Eftring, Håkan ^LU (2013) In Lecture Notes in Computer Science 8239. p.8-18
- Contribution to journal › Letter
Mark Detecting and Counting Small Pattern Graphs
Floderus, Peter ^LU ; Kowaluk, Miroslaw ; Lingas, Andrzej ^LU and Lundell, Eva-Marta ^LU (2013) 24th International Symposium on Algorithms and Computation 8283. p.547-557
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Circular Higher-order Reference Attribute Grammars
Söderberg, Emma ^LU and Hedin, Görel ^LU (2013) 6th International Conference on Software Language Engineering (SLE'13) 8225. p.302-321
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Improved Object Detection and Pose Using Part-Based Models
Jiang, Fangyuan ^LU ; Enqvist, Olof ^LU ; Kahl, Fredrik ^LU and Åström, Karl ^LU (2013) 18th Scandinavian Conference on Image Analysis (SCIA 2013) 7944. p.396-407
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark CopyMe3D: Scanning and Printing Persons in 3D
Sturm, Jürgen ; Bylow, Erik ^LU ; Kahl, Fredrik ^LU and Cremers, Daniel (2013) 35th German Conference on Pattern Recognition (GCPR 2013) 8142. p.405-414
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Risk Identification on the Interface Between Business Case and Requirements
Callele, David ; Penzenstadler, Birgit and Wnuk, Krzysztof ^LU (2013) International Workshop on Requirements Engineering: Foundation for Software Quality, 2013 7830. p.253-268
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Simultaneous Multiple Rotation Averaging using Lagrangian Duality
Fredriksson, Johan ^LU and Olsson, Carl ^LU (2013) 11th Asian Conference on Computer Vision (ACCV 2012), 2012 7726. p.245-258
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding

« previous
1
…
21
22
23
24
…
54
next »

your query:: Remove issn: 1611-3349